Combining Texts

All the ideas for 'Must We Believe in Set Theory?st1=George Boolos', 'Dissoi Logoi - on Double Arguments' and 'Potentiality'

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


53 ideas

2. Reason / E. Argument / 1. Argument
Slippery slope arguments are challenges to show where a non-arbitrary boundary lies [Vetter]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
True and false statements can use exactly the same words [Anon (Diss)]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
Deontic modalities are 'ought-to-be', for sentences, and 'ought-to-do' for predicates [Vetter]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 is undesirable, as it prevents necessities from having contingent grounds [Vetter]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan formula endorses either merely possible things, or makes the unactualised impossible [Vetter]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
The logic of ZF is classical first-order predicate logic with identity [Boolos]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
A few axioms of set theory 'force themselves on us', but most of them don't [Boolos]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Infinite natural numbers is as obvious as infinite sentences in English [Boolos]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Mathematics and science do not require very high orders of infinity [Boolos]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Mathematics isn't surprising, given that we experience many objects as abstract [Boolos]
7. Existence / A. Nature of Existence / 1. Nature of Existence
The world is either a whole made of its parts, or a container which contains its parts [Vetter]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
Grounding can be between objects ('relational'), or between sentences ('operational') [Vetter]
7. Existence / C. Structure of Existence / 5. Supervenience / d. Humean supervenience
The Humean supervenience base entirely excludes modality [Vetter]
8. Modes of Existence / B. Properties / 3. Types of Properties
A determinate property must be a unique instance of the determinable class [Vetter]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
I have an 'iterated ability' to learn the violin - that is, the ability to acquire that ability [Vetter]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional
We should think of dispositions as 'to do' something, not as 'to do something, if ....' [Vetter]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
Nomological dispositions (unlike ordinary ones) have to be continually realised [Vetter]
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
How can spatiotemporal relations be understood in dispositional terms? [Vetter]
8. Modes of Existence / D. Universals / 1. Universals
It is lunacy to think we only see ink-marks, and not word-types [Boolos]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
I am a fan of abstract objects, and confident of their existence [Boolos]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos]
9. Objects / E. Objects over Time / 12. Origin as Essential
Why does origin matter more than development; why are some features of origin more important? [Vetter]
We take origin to be necessary because we see possibilities as branches from actuality [Vetter]
10. Modality / A. Necessity / 2. Nature of Necessity
The modern revival of necessity and possibility treated them as special cases of quantification [Vetter]
It is necessary that p means that nothing has the potentiality for not-p [Vetter]
10. Modality / B. Possibility / 1. Possibility
Possibilities are potentialities of actual things, but abstracted from their location [Vetter]
All possibility is anchored in the potentiality of individual objects [Vetter]
Possibility is a generalised abstraction from the potentiality of its bearer [Vetter]
10. Modality / B. Possibility / 4. Potentiality
Potentiality is the common genus of dispositions, abilities, and similar properties [Vetter]
Water has a potentiality to acquire a potentiality to break (by freezing) [Vetter]
A potentiality may not be a disposition, but dispositions are strong potentialities [Vetter, by Friend/Kimpton-Nye]
Potentiality does the explaining in metaphysics; we don't explain it away or reduce it [Vetter]
Potentiality logic is modal system T. Stronger systems collapse iterations, and necessitate potentials [Vetter]
There are potentialities 'to ...', but possibilities are 'that ....'. [Vetter]
Potentialities may be too weak to count as 'dispositions' [Vetter]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
If worlds are sets of propositions, how do we know which propositions are genuinely possible? [Vetter]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Are there possible objects which nothing has ever had the potentiality to produce? [Vetter]
13. Knowledge Criteria / E. Relativism / 4. Cultural relativism
Anything can be acceptable in some circumstances and unacceptable in others [Anon (Diss)]
Lydians prostitute their daughters to raise a dowery, but no Greek would marry such a girl [Anon (Diss)]
Thracians think tattooing adds to a girl's beauty, but elsewhere it is a punishment [Anon (Diss)]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Explanations by disposition are more stable and reliable than those be external circumstances [Vetter]
Grounding is a kind of explanation, suited to metaphysics [Vetter]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
How could someone who knows everything fail to act correctly? [Anon (Diss)]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
Every apparent crime can be right in certain circumstances [Anon (Diss), by PG]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
It is right to lie to someone, to get them to take medicine they are reluctant to take [Anon (Diss)]
24. Political Theory / D. Ideologies / 5. Democracy / b. Consultation
The first priority in elections is to vote for people who support democracy [Anon (Diss)]
25. Social Practice / E. Policies / 5. Education / c. Teaching
We learn language, and we don't know who teaches us it [Anon (Diss)]
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
The view that laws are grounded in substance plus external necessity doesn't suit dispositionalism [Vetter]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
Dispositional essentialism allows laws to be different, but only if the supporting properties differ [Vetter]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
If time is symmetrical between past and future, why do they look so different? [Vetter]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
Presentists explain cross-temporal relations using surrogate descriptions [Vetter]