Combining Texts

All the ideas for 'fragments/reports', 'fragments/reports' and 'Alfred Tarski: life and logic'

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


30 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman]
Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman]
Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman]
The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman]
Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman]
Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman]
Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 4. Completeness
If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 7. Decidability
'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman]
Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
No perceptible object is truly straight or curved [Protagoras]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
Everything that exists consists in being perceived [Protagoras]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Protagoras was the first to claim that there are two contradictory arguments about everything [Protagoras, by Diog. Laertius]
13. Knowledge Criteria / E. Relativism / 1. Relativism
Man is the measure of all things - of things that are, and of things that are not [Protagoras]
There is no more purely metaphysical doctrine than Protagorean relativism [Benardete,JA on Protagoras]
13. Knowledge Criteria / E. Relativism / 3. Subjectivism
If my hot wind is your cold wind, then wind is neither hot nor cold, and so not as cold as itself [Benardete,JA on Protagoras]
You can only state the problem of the relative warmth of an object by agreeing on the underlying object [Benardete,JA on Protagoras]
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
God is "the measure of all things", more than any man [Plato on Protagoras]
Protagoras absurdly thought that the knowing or perceiving man is 'the measure of all things' [Aristotle on Protagoras]
Relativists think if you poke your eye and see double, there must be two things [Aristotle on Protagoras]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
Early sophists thought convention improved nature; later they said nature was diminished by it [Protagoras, by Miller,FD]
23. Ethics / B. Contract Ethics / 1. Contractarianism
For Protagoras the only bad behaviour is that which interferes with social harmony [Protagoras, by Roochnik]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
Protagoras contradicts himself by saying virtue is teachable, but then that it is not knowledge [Plato on Protagoras]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Protagoras seems to have made the huge move of separating punishment from revenge [Protagoras, by Vlastos]
25. Social Practice / E. Policies / 5. Education / a. Aims of education
Successful education must go deep into the soul [Protagoras]
25. Social Practice / E. Policies / 5. Education / b. Education principles
He spent public money on education, as it benefits the individual and the state [Protagoras, by Diodorus of Sicily]
28. God / C. Attitudes to God / 5. Atheism
He said he didn't know whether there are gods - but this is the same as atheism [Diogenes of Oen. on Protagoras]