13 ideas
| 10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
| 10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
| 10846 | Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis] |
| 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] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 8979 | Slow and continuous events (like balding or tree-growth) are called 'processes', not 'events' [Simons] |
| 8981 | Maybe processes behave like stuff-nouns, and events like count-nouns [Simons] |
| 8973 | Einstein's relativity brought events into ontology, as the terms of a simultaneity relationships [Simons] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |