Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Concepts' and 'Varieties of Things'

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


65 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
Philosophy tries to explain how the actual is possible, given that it seems impossible [Macdonald,C]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
'Did it for the sake of x' doesn't involve a sake, so how can ontological commitments be inferred? [Macdonald,C]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Naturalistic philosophers oppose analysis, preferring explanation to a priori intuition [Margolis/Laurence]
2. Reason / F. Fallacies / 5. Fallacy of Composition
Don't assume that a thing has all the properties of its parts [Macdonald,C]
3. Truth / A. Truth Problems / 2. Defining Truth
Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach]
If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach]
Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationists say truth merely serves to express infinite conjunctions [Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
To prove the consistency of set theory, we must go beyond set theory [Halbach]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
7. Existence / C. Structure of Existence / 2. Reduction
Reduce by bridge laws (plus property identities?), by elimination, or by reducing talk [Macdonald,C]
8. Modes of Existence / A. Relations / 2. Internal Relations
Relational properties are clearly not essential to substances [Macdonald,C]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
Being taller is an external relation, but properties and substances have internal relations [Macdonald,C]
8. Modes of Existence / B. Properties / 12. Denial of Properties
Does the knowledge of each property require an infinity of accompanying knowledge? [Macdonald,C]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Tropes are abstract (two can occupy the same place), but not universals (they have locations) [Macdonald,C]
Properties are sets of exactly resembling property-particulars [Macdonald,C]
Tropes are abstract particulars, not concrete particulars, so the theory is not nominalist [Macdonald,C]
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
How do a group of resembling tropes all resemble one another in the same way? [Macdonald,C]
Trope Nominalism is the only nominalism to introduce new entities, inviting Ockham's Razor [Macdonald,C]
8. Modes of Existence / D. Universals / 2. Need for Universals
Numerical sameness is explained by theories of identity, but what explains qualitative identity? [Macdonald,C]
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
How can universals connect instances, if they are nothing like them? [Macdonald,C]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Real Nominalism is only committed to concrete particulars, word-tokens, and (possibly) sets [Macdonald,C]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
Resemblance Nominalism cannot explain either new resemblances, or absence of resemblances [Macdonald,C]
9. Objects / A. Existence of Objects / 5. Individuation / c. Individuation by location
A 'thing' cannot be in two places at once, and two things cannot be in the same place at once [Macdonald,C]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
We 'individuate' kinds of object, and 'identify' particular specimens [Macdonald,C]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Unlike bundles of properties, substances have an intrinsic unity [Macdonald,C]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
The bundle theory of substance implies the identity of indiscernibles [Macdonald,C]
9. Objects / B. Unity of Objects / 2. Substance / e. Substance critique
A phenomenalist cannot distinguish substance from attribute, so must accept the bundle view [Macdonald,C]
When we ascribe a property to a substance, the bundle theory will make that a tautology [Macdonald,C]
Substances persist through change, but the bundle theory says they can't [Macdonald,C]
A substance might be a sequence of bundles, rather than a single bundle [Macdonald,C]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
A statue and its matter have different persistence conditions, so they are not identical [Macdonald,C]
9. Objects / C. Structure of Objects / 7. Substratum
A substance is either a bundle of properties, or a bare substratum, or an essence [Macdonald,C]
Each substance contains a non-property, which is its substratum or bare particular [Macdonald,C]
The substratum theory explains the unity of substances, and their survival through change [Macdonald,C]
A substratum has the quality of being bare, and they are useless because indiscernible [Macdonald,C]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
At different times Leibniz articulated three different versions of his so-called Law [Macdonald,C]
The Identity of Indiscernibles is false, because it is not necessarily true [Macdonald,C]
12. Knowledge Sources / D. Empiricism / 2. Associationism
Modern empiricism tends to emphasise psychological connections, not semantic relations [Margolis/Laurence]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
In continuity, what matters is not just the beginning and end states, but the process itself [Macdonald,C]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Body-type seems to affect a mind's cognition and conceptual scheme [Margolis/Laurence]
18. Thought / B. Mechanics of Thought / 4. Language of Thought
Language of thought has subject/predicate form and includes logical devices [Margolis/Laurence]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Concepts are either representations, or abilities, or Fregean senses [Margolis/Laurence]
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
A computer may have propositional attitudes without representations [Margolis/Laurence]
Do mental representations just lead to a vicious regress of explanations [Margolis/Laurence]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
Maybe the concept CAT is just the ability to discriminate and infer about cats [Margolis/Laurence]
The abilities view cannot explain the productivity of thought, or mental processes [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Concept-structure explains typicality, categories, development, reference and composition [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / c. Classical concepts
Classically, concepts give necessary and sufficient conditions for falling under them [Margolis/Laurence]
The classical theory explains acquisition, categorization and reference [Margolis/Laurence]
Typicality challenges the classical view; we see better fruit-prototypes in apples than in plums [Margolis/Laurence]
It may be that our concepts (such as 'knowledge') have no definitional structure [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / d. Concepts as prototypes
People don't just categorise by apparent similarities [Margolis/Laurence]
Many complex concepts obviously have no prototype [Margolis/Laurence]
Prototype theory categorises by computing the number of shared constituents [Margolis/Laurence]
Complex concepts have emergent properties not in the ingredient prototypes [Margolis/Laurence]
The prototype theory is probabilistic, picking something out if it has sufficient of the properties [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
The theory theory of concepts says they are parts of theories, defined by their roles [Margolis/Laurence]
The theory theory is holistic, so how can people have identical concepts? [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism
Maybe concepts have no structure, and determined by relations to the world, not to other concepts [Margolis/Laurence]
18. Thought / D. Concepts / 5. Concepts and Language / c. Concepts without language
People can formulate new concepts which are only named later [Margolis/Laurence]