Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'LOT 2' and 'Letters to Antoine Arnauld'

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


93 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom is the science of happiness [Leibniz]
1. Philosophy / A. Wisdom / 2. Wise People
Wise people have fewer acts of will, because such acts are linked together [Leibniz]
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Who cares what 'philosophy' is? Most pre-1950 thought doesn't now count as philosophy [Fodor]
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Metaphysics is geometrical, resting on non-contradiction and sufficient reason [Leibniz]
1. Philosophy / F. Analytic Philosophy / 3. Analysis of Preconditions
Definitions often give necessary but not sufficient conditions for an extension [Fodor]
2. Reason / D. Definition / 4. Real Definition
Definitions can only be real if the item is possible [Leibniz]
3. Truth / A. Truth Problems / 1. Truth
A truth is just a proposition in which the predicate is contained within the subject [Leibniz]
The predicate is in the subject of a true proposition [Leibniz]
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 / 2. Logical Connectives / d. and
A truth-table, not inferential role, defines 'and' [Fodor]
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]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Names in thought afford a primitive way to bring John before the mind [Fodor]
'Paderewski' has two names in mentalese, for his pianist file and his politician file [Fodor]
5. Theory of Logic / K. Features of Logics / 2. Consistency
P-and-Q gets its truth from the truth of P and truth of Q, but consistency isn't like that [Fodor]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
There is no multiplicity without true units [Leibniz]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
What is not truly one being is not truly a being either [Leibniz]
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
A thing 'expresses' another if they have a constant and fixed relationship [Leibniz]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
A substance contains the laws of its operations, and its actions come from its own depth [Leibniz]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Philosophy needs the precision of the unity given by substances [Leibniz]
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Accidental unity has degrees, from a mob to a society to a machine or organism [Leibniz]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
We find unity in reason, and unity in perception, but these are not true unity [Leibniz]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
A body is a unified aggregate, unless it has an indivisible substance [Leibniz]
Unity needs an indestructible substance, to contain everything which will happen to it [Leibniz]
Every bodily substance must have a soul, or something analogous to a soul [Leibniz]
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
Aggregates don’t reduce to points, or atoms, or illusion, so must reduce to substance [Leibniz]
9. Objects / D. Essence of Objects / 1. Essences of Objects
Basic predicates give the complete concept, which then predicts all of the actions [Leibniz]
Essences exist in the divine understanding [Leibniz]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Bodies need a soul (or something like it) to avoid being mere phenomena [Leibniz]
9. Objects / D. Essence of Objects / 10. Essence as Species
Truths about species are eternal or necessary, but individual truths concern what exists [Leibniz]
10. Modality / B. Possibility / 1. Possibility
There's statistical, logical, nomological, conceptual and metaphysical possibility [Fodor]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
If varieties of myself can be conceived of as distinct from me, then they are not me [Leibniz]
If someone's life went differently, then that would be another individual [Leibniz]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
Some beliefs are only inferred when needed, like 'Shakespeare had not telephone' [Fodor]
11. Knowledge Aims / A. Knowledge / 6. Knowing How
Knowing that must come before knowing how [Fodor]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
I cannot think my non-existence, nor exist without being myself [Leibniz]
11. Knowledge Aims / B. Certain Knowledge / 5. Cogito Critique
I can't just know myself to be a substance; I must distinguish myself from others, which is hard [Leibniz]
12. Knowledge Sources / D. Empiricism / 3. Pragmatism
Pragmatism is the worst idea ever [Fodor]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
Nothing should be taken as certain without foundations [Leibniz]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Nature is explained by mathematics and mechanism, but the laws rest on metaphysics [Leibniz]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
To fully conceive the subject is to explain the resulting predicates and events [Leibniz]
15. Nature of Minds / A. Nature of Mind / 1. Mind / b. Purpose of mind
Mind is a thinking substance which can know God and eternal truths [Leibniz]
15. Nature of Minds / A. Nature of Mind / 1. Mind / c. Features of mind
Mental states have causal powers [Fodor]
15. Nature of Minds / A. Nature of Mind / 7. Animal Minds
It seems probable that animals have souls, but not consciousness [Leibniz]
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
The different types of resemblance don't resemble one another [Fodor]
16. Persons / F. Free Will / 7. Compatibilism
Everything which happens is not necessary, but is certain after God chooses this universe [Leibniz]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
In the Representational view, concepts play the key linking role [Fodor]
17. Mind and Body / E. Mind as Physical / 4. Connectionism
Only the labels of nodes have semantic content in connectionism, and they play no role [Fodor]
18. Thought / A. Modes of Thought / 1. Thought
Connectionism gives no account of how constituents make complex concepts [Fodor]
Associative thinking avoids syntax, but can't preserve sense, reference or truth [Fodor]
18. Thought / B. Mechanics of Thought / 4. Language of Thought
Ambiguities in English are the classic reason for claiming that we don't think in English [Fodor]
18. Thought / B. Mechanics of Thought / 5. Mental Files
We think in file names [Fodor]
Mental representations name things in the world, but also files in our memory [Fodor]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
Frame Problem: how to eliminate most beliefs as irrelevant, without searching them? [Fodor]
18. Thought / C. Content / 5. Twin Earth
If concept content is reference, then my Twin and I are referring to the same stuff [Fodor]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Concepts are what unite a proposition [Leibniz]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
Nobody knows how concepts are acquired [Fodor]
18. Thought / D. Concepts / 2. Origin of Concepts / c. Nativist concepts
We have an innate capacity to form a concept, once we have grasped the stereotype [Fodor]
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
Having a concept isn't a pragmatic matter, but being able to think about the concept [Fodor]
Concepts have two sides; they are files that face thought, and also face subject-matter [Fodor]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
Cartesians put concept individuation before concept possession [Fodor]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Frege's puzzles suggest to many that concepts have sense as well as reference [Fodor]
If concepts have sense, we can't see the connection to their causal powers [Fodor]
Belief in 'senses' may explain intentionality, but not mental processes [Fodor]
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
You can't think 'brown dog' without thinking 'brown' and 'dog' [Fodor]
18. Thought / D. Concepts / 4. Structure of Concepts / d. Concepts as prototypes
Maybe stereotypes are a stage in concept acquisition (rather than a by-product) [Fodor]
One stereotype might be a paradigm for two difference concepts [Fodor]
18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism
For the referential view of thought, the content of a concept is just its reference [Fodor]
Compositionality requires that concepts be atomic [Fodor]
18. Thought / E. Abstraction / 2. Abstracta by Selection
Abstractionism claims that instances provide criteria for what is shared [Fodor]
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
'Inferential-role semantics' says meaning is determined by role in inference [Fodor]
19. Language / B. Reference / 1. Reference theories
Co-referring terms differ if they have different causal powers [Fodor]
We refer to individuals and to properties, and we use singular terms and predicates [Fodor]
19. Language / C. Assigning Meanings / 2. Semantics
Semantics (esp. referential semantics) allows inferences from utterances to the world [Fodor]
Semantics relates to the world, so it is never just psychological [Fodor]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
Before you can plan action, you must decide on the truth of your estimate of success [Fodor]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
Beauty increases with familiarity [Leibniz]
22. Metaethics / C. The Good / 2. Happiness / a. Nature of happiness
Happiness is advancement towards perfection [Leibniz]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
I think the corpuscular theory, rather than forms or qualities, best explains particular phenomena [Leibniz]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Each possible world contains its own laws, reflected in the possible individuals of that world [Leibniz]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
Motion alone is relative, but force is real, and establishes its subject [Leibniz]
28. God / B. Proving God / 3. Proofs of Evidence / e. Miracles
Everything, even miracles, belongs to order [Leibniz]
Miracles are extraordinary operations by God, but are nevertheless part of his design [Leibniz]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
Immortality without memory is useless [Leibniz]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
The soul is indestructible and always self-aware [Leibniz]
29. Religion / D. Religious Issues / 2. Immortality / c. Animal Souls
Animals have souls, but lack consciousness [Leibniz]