Combining Texts

All the ideas for 'Mathematical Methods in Philosophy', 'Clarification and Defense of Grounding' and 'The Ways of Paradox'

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


28 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
The set scheme discredited by paradoxes is actually the most natural one [Quine]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Russell's antinomy challenged the idea that any condition can produce a set [Quine]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
5. Theory of Logic / L. Paradox / 3. Antinomies
Antinomies contradict accepted ways of reasoning, and demand revisions [Quine]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
A barber shaves only those who do not shave themselves. So does he shave himself? [Quine]
Membership conditions which involve membership and non-membership are paradoxical [Quine]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
If we write it as '"this sentence is false" is false', there is no paradox [Quine]
7. Existence / A. Nature of Existence / 1. Nature of Existence
If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Avoid 'in virtue of' for grounding, since it might imply a reflexive relation such as identity [Audi,P]
Ground relations depend on the properties [Audi,P]
A ball's being spherical non-causally determines its power to roll [Audi,P]
Ground is irreflexive, asymmetric, transitive, non-monotonic etc. [Audi,P]
The best critique of grounding says it is actually either identity or elimination [Audi,P]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
Grounding is a singular relation between worldly facts [Audi,P]
If grounding relates facts, properties must be included, as well as objects [Audi,P]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
We must accept grounding, for our important explanations [Audi,P]
7. Existence / C. Structure of Existence / 1. Grounding / d. Grounding and reduction
Reduction is just identity, so the two things are the same fact, so reduction isn't grounding [Audi,P]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
Worldly facts are obtaining states of affairs, with constituents; conceptual facts also depend on concepts [Audi,P]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Two things being identical (like water and H2O) is not an explanation [Audi,P]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
There are plenty of examples of non-causal explanation [Audi,P]