19 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] |
12154 | Are 'word token' and 'word type' different sorts of countable objects, or two ways of counting? [Geach, by Perry] |
8969 | We should abandon absolute identity, confining it to within some category [Geach, by Hawthorne] |
16075 | Denial of absolute identity has drastic implications for logic, semantics and set theory [Wasserman on Geach] |
12152 | Identity is relative. One must not say things are 'the same', but 'the same A as' [Geach] |
16073 | Leibniz's Law is incomplete, since it includes a non-relativized identity predicate [Geach, by Wasserman] |
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] |