11 ideas
| 10365 | We might use 'facta' to refer to the truth-makers for facts [Mellor, by Schaffer,J] |
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 4785 | Causal statements relate facts (which are whatever true propositions express) [Mellor, by Psillos] |
| 8408 | Probabilistic causation says C is a cause of E if it increases the chances of E occurring [Mellor, by Tooley] |