15 ideas
| 15390 | Metaphysics attempts to give an account of everything, in terms of categories and principles [Simons] |
| 2661 | Dialectic is speech cast in the form of logical argument [Cicero] |
| 2673 | There cannot be more than one truth [Cicero] |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| 2669 | Dialectic assumes that all statements are either true or false, but self-referential paradoxes are a big problem [Cicero] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 2664 | If we have complete healthy senses, what more could the gods give us? [Cicero] |
| 2665 | How can there be a memory of what is false? [Cicero] |
| 20800 | Every true presentation can have a false one of the same quality [Cicero] |
| 2672 | Virtues must be very detached, to avoid being motivated by pleasure [Cicero] |