Combining Texts

All the ideas for 'Symposium', 'Russell's Mathematical Logic' and 'A Defense of Presentism'

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

23 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
14001 People who use science to make philosophical points don't realise how philosophical science is [Markosian]
2. Reason / D. Definition / 8. Impredicative Definition
10041 Impredicative Definitions refer to the totality to which the object itself belongs [Gödel]
3. Truth / B. Truthmakers / 9. Making Past Truths
13991 Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21716 In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
10035 Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10042 Reference to a totality need not refer to a conjunction of all its elements [Gödel]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
10038 A logical system needs a syntactical survey of all possible expressions [Gödel]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
10046 The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10039 Some arithmetical problems require assumptions which transcend arithmetic [Gödel]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10043 Mathematical objects are as essential as physical objects are for perception [Gödel]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
10045 Impredicative definitions are admitted into ordinary mathematics [Gödel]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
14002 Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
14000 'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian]
22. Metaethics / B. Value / 2. Values / h. Fine deeds
5845 Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
13990 Presentism is the view that only present objects exist [Markosian]
13992 Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian]
13994 Presentism seems to entail that we cannot talk about other times [Markosian]
13995 Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian]
13996 Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian]
13997 Maybe Presentists can paraphrase singular propositions about the past [Markosian]
13993 Special Relativity denies the absolute present which Presentism needs [Markosian]
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
13998 Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian]
13999 People are mistaken when they think 'Socrates was a philosopher' says something [Markosian]