Overview

free logic


More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

Any logic differing from classical logic in that there is no presumption that the names used actually refer to anything. Thus from Fa it need not follow that (∃x)(Fx), any more than, in natural language, it follows from the fact that Pegasus is a flying horse that there is such a thing as a flying horse (although an alternative is to say that in the sense in which Pegasus is a flying horse, there are flying horses: i.e. to interpret both statements as implicitly governed by an operator such as ‘in the myths it is said that…’).

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.