Combining Texts

All the ideas for 'fragments/reports', 'Existence and Quantification' and 'Grundgesetze der Arithmetik 1 (Basic Laws)'

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]
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 / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
13733 Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
9874 Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
18252 Real numbers are ratios of quantities, such as lengths or masses [Frege]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
18271 We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
10623 Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright]
9975 Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
18165 My Basic Law V is a law of pure logic [Frege]
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]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
9190 A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett]
13665 Frege took the study of concepts to be part of logic [Frege, by Shapiro]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / k. Ethics from nature
6000 The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
5999 The good is what is perfect by nature [Diogenes of Babylon, by Blank]
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
6001 Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank]