19 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] |
20440 | Art is a referential activity, hence indefinable, but it has a set of symptoms [Goodman] |
20439 | Artistic symbols are judged by the fruitfulness of their classifications [Goodman, by Giovannelli] |
20438 | A performance is only an instance of a work if there is not a single error [Goodman] |
20437 | A copy only becomes an 'instance' of an artwork if there is a system of notation [Goodman] |