Combining Texts

All the ideas for 'Metaphysics: the logical approach', 'Knowledge and the Philosophy of Number' and 'Introduction: Truth and Truth-Making'

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


49 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics focuses on Platonism, essentialism, materialism and anti-realism [Benardete,JA]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
There are the 'is' of predication (a function), the 'is' of identity (equals), and the 'is' of existence (quantifier) [Benardete,JA]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytical philosophy analyses separate concepts successfully, but lacks a synoptic vision of the results [Benardete,JA]
1. Philosophy / G. Scientific Philosophy / 1. Aims of Science
Presumably the statements of science are true, but should they be taken literally or not? [Benardete,JA]
3. Truth / B. Truthmakers / 1. For Truthmakers
There are five problems which the truth-maker theory might solve [Rami]
The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
The truth-making relation can be one-to-one, or many-to-many [Rami]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Most theorists say that truth-makers necessitate their truths [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami]
'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Maybe a truth-maker also works for the entailments of the given truth [Rami]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Truth-making is usually internalist, but the correspondence theory is externalist [Rami]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theories assume that truth is a representation relation [Rami]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationist truth is an infinitely disjunctive property [Rami]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Truth-maker theorists should probably reject the converse Barcan formula [Rami]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA]
The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Predicativism says only predicated sets exist [Hossack]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
'Before' and 'after' are not two relations, but one relation with two orders [Hossack]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Greeks saw the science of proportion as the link between geometry and arithmetic [Benardete,JA]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Negatives, rationals, irrationals and imaginaries are all postulated to solve baffling equations [Benardete,JA]
Natural numbers are seen in terms of either their ordinality (Peano), or cardinality (set theory) [Benardete,JA]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Numbers are properties, not sets (because numbers are magnitudes) [Hossack]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
We can only mentally construct potential infinities, but maths needs actual infinities [Hossack]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
If slowness is a property of walking rather than the walker, we must allow that events exist [Benardete,JA]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Early pre-Socratics had a mass-noun ontology, which was replaced by count-nouns [Benardete,JA]
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations depend either on the existence of the relata, or on their properties [Rami]
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
If there is no causal interaction with transcendent Platonic objects, how can you learn about them? [Benardete,JA]
9. Objects / C. Structure of Objects / 5. Composition of an Object
Why should packed-together particles be a thing (Mt Everest), but not scattered ones? [Benardete,JA]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Could a horse lose the essential property of being a horse, and yet continue to exist? [Benardete,JA]
9. Objects / E. Objects over Time / 2. Objects that Change
If a soldier continues to exist after serving as a soldier, does the wind cease to exist after it ceases to blow? [Benardete,JA]
9. Objects / E. Objects over Time / 8. Continuity of Rivers
One can step into the same river twice, but not into the same water [Benardete,JA]
9. Objects / F. Identity among Objects / 5. Self-Identity
Absolutists might accept that to exist is relative, but relative to what? How about relative to itself? [Benardete,JA]
Maybe self-identity isn't existence, if Pegasus can be self-identical but non-existent [Benardete,JA]
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
The clearest a priori knowledge is proving non-existence through contradiction [Benardete,JA]
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
If we know truths about prime numbers, we seem to have synthetic a priori knowledge of Platonic objects [Benardete,JA]
Logical positivism amounts to no more than 'there is no synthetic a priori' [Benardete,JA]
Assertions about existence beyond experience can only be a priori synthetic [Benardete,JA]
Appeals to intuition seem to imply synthetic a priori knowledge [Benardete,JA]
27. Natural Reality / C. Space / 3. Points in Space
Rationalists see points as fundamental, but empiricists prefer regions [Benardete,JA]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
In the ontological argument a full understanding of the concept of God implies a contradiction in 'There is no God' [Benardete,JA]