Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Plato on Parts and Wholes' and 'Analyticity Reconsidered'

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


26 ideas

2. Reason / D. Definition / 4. Real Definition
A sentence may simultaneously define a term, and also assert a fact [Boghossian]
2. Reason / F. Fallacies / 7. Ad Hominem
An ad hominem refutation is reasonable, if it uses the opponent's assumptions [Harte,V]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology began as a nominalist revolt against the commitments of set theory [Harte,V]
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Arithmetical undecidability is always settled at the next stage up [Koellner]
7. Existence / B. Change in Existence / 1. Nature of Change
Traditionally, the four elements are just what persists through change [Harte,V]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
Mereology treats constitution as a criterion of identity, as shown in the axiom of extensionality [Harte,V]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
What exactly is a 'sum', and what exactly is 'composition'? [Harte,V]
If something is 'more than' the sum of its parts, is the extra thing another part, or not? [Harte,V]
The problem with the term 'sum' is that it is singular [Harte,V]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
'Snow is white or it isn't' is just true, not made true by stipulation [Boghossian]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
The a priori is explained as analytic to avoid a dubious faculty of intuition [Boghossian]
That logic is a priori because it is analytic resulted from explaining the meaning of logical constants [Boghossian]
We can't hold a sentence true without evidence if we can't agree which sentence is definitive of it [Boghossian]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
We may have strong a priori beliefs which we pragmatically drop from our best theory [Boghossian]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian]
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
If meaning depends on conceptual role, what properties are needed to do the job? [Boghossian]
'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian]
19. Language / A. Nature of Meaning / 8. Synonymy
Could expressions have meaning, without two expressions possibly meaning the same? [Boghossian]
19. Language / E. Analyticity / 2. Analytic Truths
There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins]
19. Language / E. Analyticity / 3. Analytic and Synthetic
Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian]