16 ideas
| 14782 | Philosophy is an experimental science, resting on common experience [Peirce] |
| 14787 | Self-contradiction doesn't reveal impossibility; it is inductive impossibility which reveals self-contradiction [Peirce] |
| 9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
| 9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
| 14783 | Logic, unlike mathematics, is not hypothetical; it asserts categorical ends from hypothetical means [Peirce] |
| 9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
| 9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
| 14788 | Mathematics is close to logic, but is even more abstract [Peirce] |
| 14786 | Some logical possibility concerns single propositions, but there is also compatibility between propositions [Peirce] |
| 14789 | Experience is indeed our only source of knowledge, provided we include inner experience [Peirce] |
| 14785 | The world is one of experience, but experiences are always located among our ideas [Peirce] |
| 13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
| 9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
| 9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
| 9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
| 14784 | Ethics is the science of aims [Peirce] |