Combining Texts

All the ideas for 'Introduction to 'Properties'', 'Plural Quantification Exposed' and 'Conditionals'

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

18 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
4037 Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
10779 A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10781 A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
14352 '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
10778 Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
10783 Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
8. Modes of Existence / B. Properties / 6. Categorical Properties
4027 Properties are respects in which particular objects may be alike or differ [Mellor/Oliver]
8. Modes of Existence / B. Properties / 12. Denial of Properties
4029 Nominalists ask why we should postulate properties at all [Mellor/Oliver]
9. Objects / A. Existence of Objects / 1. Physical Objects
10782 The modern concept of an object is rooted in quantificational logic [Linnebo]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
14360 Possible worlds for subjunctives (and dispositions), and no-truth for indicatives? [Jackson]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
14353 Modus ponens requires that A→B is F when A is T and B is F [Jackson]
14354 When A and B have the same truth value, A→B is true, because A→A is a logical truth [Jackson]
14355 (A&B)→A is a logical truth, even if antecedent false and consequent true, so it is T if A is F and B is T [Jackson]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
14358 In the possible worlds account of conditionals, modus ponens and modus tollens are validated [Jackson]
14359 Only assertions have truth-values, and conditionals are not proper assertions [Jackson]
14357 Possible worlds account, unlike A⊃B, says nothing about when A is false [Jackson]
10. Modality / B. Possibility / 8. Conditionals / f. Pragmatics of conditionals
14356 We can't insist that A is relevant to B, as conditionals can express lack of relevance [Jackson]
18. Thought / E. Abstraction / 5. Abstracta by Negation
4039 Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver]