17 ideas
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] |
13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
3364 | All mental phenomena contain an object [Brentano] |
3225 | Mental unity suggests that qualia and intentionality must connect [Brentano, by Rey] |