Combining Texts

All the ideas for 'Timaeus', 'Mathematical logic and theory of types' and 'Philosophy of Language'

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


44 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
For relaxation one can consider the world of change, instead of eternal things [Plato]
1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Philosophy is the supreme gift of the gods to mortals [Plato]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
Nothing can come to be without a cause [Plato]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Classes can be reduced to propositional functions [Russell, by Hanna]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
The universal and existential quantifiers were chosen to suit mathematics [Soames]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell]
Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave]
Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock]
Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock]
Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock]
7. Existence / A. Nature of Existence / 3. Being / c. Becoming
Before the existence of the world there must have been being, space and becoming [Plato]
The apprehensions of reason remain unchanging, but reasonless sensation shows mere becoming [Plato]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Plato's Forms were seen as part of physics, rather than of metaphysics [Plato, by Annas]
Something will always be well-made if the maker keeps in mind the eternal underlying pattern [Plato]
In addition to the underlying unchanging model and a changing copy of it, there must also be a foundation of all change [Plato]
For knowledge and true opinion to be different there must be Forms; otherwise we are just stuck with sensations [Plato]
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
The universe is basically an intelligible and unchanging model, and a visible and changing copy of it [Plato]
10. Modality / A. Necessity / 5. Metaphysical Necessity
We understand metaphysical necessity intuitively, from ordinary life [Soames]
There are more metaphysically than logically necessary truths [Soames]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Only bird-brained people think astronomy is entirely a matter of evidence [Plato]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
Plato says the soul is ordered by number [Plato, by Plutarch]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
No one wants to be bad, but bad men result from physical and educational failures, which they do not want or choose [Plato]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames]
Tarski's account of truth-conditions is too weak to determine meanings [Soames]
19. Language / D. Propositions / 4. Mental Propositions
We should use cognitive states to explain representational propositions, not vice versa [Soames]
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
Music has harmony like the soul, and serves to reorder disharmony within us [Plato]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
One should exercise both the mind and the body, to avoid imbalance [Plato]
22. Metaethics / C. The Good / 3. Pleasure / e. Role of pleasure
Everything that takes place naturally is pleasant [Plato]
25. Social Practice / E. Policies / 5. Education / a. Aims of education
Intelligence is the result of rational teaching; true opinion can result from irrational persuasion [Plato]
25. Social Practice / E. Policies / 5. Education / b. Education principles
Bad governments prevent discussion, and discourage the study of virtue [Plato]
26. Natural Theory / A. Speculations on Nature / 1. Nature
The creator of the cosmos had no envy, and so wanted things to be as like himself as possible [Plato]
The cosmos must be unique, because it resembles the creator, who is unique [Plato]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
We must consider the four basic shapes as too small to see, only becoming visible in large numbers [Plato]
26. Natural Theory / C. Causation / 1. Causation
There are two types of cause, the necessary and the divine [Plato]
27. Natural Reality / D. Time / 2. Passage of Time / a. Experience of time
Heavenly movements gave us the idea of time, and caused us to inquire about the heavens [Plato]
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
Time came into existence with the heavens, so that there will be a time when they can be dissolved [Plato]
27. Natural Reality / E. Cosmology / 1. Cosmology
Clearly the world is good, so its maker must have been concerned with the eternal, not with change [Plato]
27. Natural Reality / E. Cosmology / 3. The Beginning
If the cosmos is an object of perception then it must be continually changing [Plato]