Combining Texts

All the ideas for 'fragments/reports', 'Logical Consequence' and 'Ordinary Objects'

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


39 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Carneades' pinnacles of philosophy are the basis of knowledge (the criterion of truth) and the end of appetite (good) [Carneades, by Cicero]
3. Truth / B. Truthmakers / 10. Making Future Truths
Future events are true if one day we will say 'this event is happening now' [Carneades]
We say future things are true that will possess actuality at some following time [Carneades, by Cicero]
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
Maybe analytic truths do not require truth-makers, as they place no demands on the world [Thomasson]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 6. Entailment
Analytical entailments arise from combinations of meanings and inference rules [Thomasson]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Existence might require playing a role in explanation, or in a causal story, or being composed in some way [Thomasson]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
Rival ontological claims can both be true, if there are analytic relationships between them [Thomasson]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
Theories do not avoid commitment to entities by avoiding certain terms or concepts [Thomasson]
9. Objects / A. Existence of Objects / 1. Physical Objects
Ordinary objects may be not indispensable, but they are nearly unavoidable [Thomasson]
The simple existence conditions for objects are established by our practices, and are met [Thomasson]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
It is analytic that if simples are arranged chair-wise, then there is a chair [Thomasson, by Hofweber]
Eliminativists haven't found existence conditions for chairs, beyond those of the word 'chair' [Thomasson]
Ordinary objects are rejected, to avoid contradictions, or for greater economy in thought [Thomasson]
To individuate people we need conventions, but conventions are made up by people [Thomasson]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
Wherever an object exists, there are intrinsic properties instantiating every modal profile [Thomasson]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
If the statue and the lump are two objects, they require separate properties, so we could add their masses [Thomasson]
Given the similarity of statue and lump, what could possibly ground their modal properties? [Thomasson]
9. Objects / F. Identity among Objects / 6. Identity between Objects
Carneades denied the transitivity of identity [Carneades, by Chisholm]
Identity claims between objects are only well-formed if the categories are specified [Thomasson]
Identical entities must be of the same category, and meet the criteria for the category [Thomasson]
10. Modality / A. Necessity / 3. Types of Necessity
Carneades distinguished logical from causal necessity, when talking of future events [Long on Carneades]
10. Modality / C. Sources of Modality / 3. Necessity by Convention
Modal Conventionalism says modality is analytic, not intrinsic to the world, and linguistic [Thomasson]
12. Knowledge Sources / E. Direct Knowledge / 1. Common Sense
A chief task of philosophy is making reflective sense of our common sense worldview [Thomasson]
16. Persons / F. Free Will / 2. Sources of Free Will
Voluntary motion is intrinsically within our power, and this power is its cause [Carneades, by Cicero]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
Some actions are within our power; determinism needs prior causes for everything - so it is false [Carneades, by Cicero]
16. Persons / F. Free Will / 6. Determinism / b. Fate
Even Apollo can only foretell the future when it is naturally necessary [Carneades, by Cicero]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
How can causal theories of reference handle nonexistence claims? [Thomasson]
Pure causal theories of reference have the 'qua problem', of what sort of things is being referred to [Thomasson]
19. Language / E. Analyticity / 1. Analytic Propositions
Analyticity is revealed through redundancy, as in 'He bought a house and a building' [Thomasson]
22. Metaethics / B. Value / 2. Values / i. Self-interest
Carneades said that after a shipwreck a wise man would seize the only plank by force [Carneades, by Tuck]
25. Social Practice / D. Justice / 1. Basis of justice
People change laws for advantage; either there is no justice, or it is a form of self-injury [Carneades, by Lactantius]