Combining Texts

All the ideas for 'Katzav on limitations of dispositions', 'Intensional Logic' and 'Existence and Quantification'

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

22 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
5745 Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine]
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]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
8789 Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine]
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]
7. Existence / A. Nature of Existence / 3. Being / b. Being and existence
16966 Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
16965 All we have of general existence is what existential quantifiers express [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
16963 Existence is implied by the quantifiers, not by the constants [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / c. Commitment of predicates
16964 Theories are committed to objects of which some of its predicates must be true [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
4216 Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe]
18966 Ontological commitment of theories only arise if they are classically quantified [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
14490 You can be implicitly committed to something without quantifying over it [Thomasson on Quine]
7. Existence / E. Categories / 1. Categories
16961 In formal terms, a category is the range of some style of variables [Quine]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
6613 The natural kinds are objects, processes and properties/relations [Ellis]
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
6616 Least action is not a causal law, but a 'global law', describing a global essence [Ellis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
6615 A species requires a genus, and its essence includes the essence of the genus [Ellis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
6614 A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
6612 Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis]