existential import

Existential import refers to the assumption that a statement implies the existence of the entities it discusses. For example, in classical logic, the statement "All unicorns are magical" doesn't imply that unicorns actually exist. However, in some contexts, such as everyday reasoning, it might be taken to mean that there are unicorns that are magical. The concept highlights how language and logic can affect our understanding of existence, particularly in philosophical discussions about categories and the implications of certain statements.