17 ideas
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
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] |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
22881 | Should we value environmental systems for human benefit, or for their own sake? [Hildebrand] |