15 ideas
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] |
13097 | Force in substance makes state follow state, and ensures the very existence of substance [Leibniz] |