Combining Texts

All the ideas for 'Intensional Logic', 'The Question of Ontology' and 'Ontology and Mathematical Truth'

expand these ideas     |    start again     |     specify just one area for these texts

24 ideas

4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
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]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
9967 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
9968 A model is 'fundamental' if it contains only concrete entities [Jubien]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
9965 There couldn't just be one number, such as 17 [Jubien]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
12215 The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
9966 The subject-matter of (pure) mathematics is abstract structure [Jubien]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
9963 If we all intuited mathematical objects, platonism would be agreed [Jubien]
9962 How can pure abstract entities give models to serve as interpretations? [Jubien]
9964 Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien]
12211 It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
12209 The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K]
7. Existence / A. Nature of Existence / 1. Nature of Existence
12214 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K]
7. Existence / A. Nature of Existence / 4. Abstract Existence
12212 Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
12216 Real objects are those which figure in the facts that constitute reality [Fine,K]
12218 Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K]
7. Existence / D. Theories of Reality / 1. Ontologies
12217 For ontology we need, not internal or external views, but a view from outside reality [Fine,K]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
12213 Ontological claims are often universal, and not a matter of existential quantification [Fine,K]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
9969 The empty set is the purest abstract object [Jubien]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]