Combining Texts

All the ideas for 'fragments/reports', 'Tarski's Theory of Truth' and 'Elements of Geometry'

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


26 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
2. Reason / E. Argument / 6. Conclusive Proof
Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege]
3. Truth / A. Truth Problems / 4. Uses of Truth
The notion of truth is to help us make use of the utterances of others [Field,H]
3. Truth / A. Truth Problems / 9. Rejecting Truth
In the early 1930s many philosophers thought truth was not scientific [Field,H]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarski reduced truth to reference or denotation [Field,H, by Hart,WD]
Tarski really explained truth in terms of denoting, predicating and satisfied functions [Field,H]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
Tarski just reduced truth to some other undefined semantic notions [Field,H]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / c. Derivations rules of PC
If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon]
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory is unusual in restricting the range of the quantifiers [Field,H]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
A unit is that according to which each existing thing is said to be one [Euclid]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Postulate 2 says a line can be extended continuously [Euclid, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
'Valence' and 'gene' had to be reduced to show their compatibility with physicalism [Field,H]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
Field says reference is a causal physical relation between mental states and objects [Field,H, by Putnam]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]