Combining Texts

All the ideas for 'Logical Consequence', 'Mr Strawson on Logical Theory' and 'Two Dogmas of Empiricism'

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


47 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Any statement can be held true if we make enough adjustment to the rest of the system [Quine]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Philosophy is largely concerned with finding the minimum that science could get by with [Quine]
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Good algorithms and theories need many occurrences of just a few elements [Quine]
2. Reason / D. Definition / 1. Definitions
Definition rests on synonymy, rather than explaining it [Quine]
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]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
The logician's '→' does not mean the English if-then [Quine]
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
It is important that the quantification over temporal entities is timeless [Quine]
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 / 8. Material Implication
A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Logical languages are rooted in ordinary language, and that connection must be kept [Quine]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine]
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]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine]
9. Objects / A. Existence of Objects / 1. Physical Objects
If physical objects are a myth, they are useful for making sense of experience [Quine]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Aristotelian essence of the object has become the modern essence of meaning [Quine]
10. Modality / A. Necessity / 6. Logical Necessity
Contrary to some claims, Quine does not deny logical necessity [Quine, by McFetridge]
10. Modality / A. Necessity / 11. Denial of Necessity
Quine's attack on the analytic-synthetic distinction undermined necessary truths [Quine, by Shoemaker]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Metaphysical analyticity (and linguistic necessity) are hopeless, but epistemic analyticity is a priori [Boghossian on Quine]
Quine challenges the claim that analytic truths are knowable a priori [Quine, by Kitcher]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
Science is empirical, simple and conservative; any belief can hence be abandoned; so no a priori [Quine, by Horwich]
Quine's objections to a priori knowledge only work in the domain of science [Horwich on Quine]
Logic, arithmetic and geometry are revisable and a posteriori; quantum logic could be right [Horwich on Quine]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism makes a basic distinction between truths based or not based on facts [Quine]
Our outer beliefs must match experience, and our inner ones must be simple [Quine]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The second dogma is linking every statement to some determinate observations [Quine, by Yablo]
14. Science / B. Scientific Theories / 6. Theory Holism
Statements about the external world face the tribunal of sense experience as a corporate body [Quine]
19. Language / A. Nature of Meaning / 1. Meaning
It is troublesome nonsense to split statements into a linguistic and a factual component [Quine]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
If we understand a statement, we know the circumstances of its truth [Quine]
19. Language / A. Nature of Meaning / 8. Synonymy
'Renate' and 'cordate' have identical extensions, but are not synonymous [Quine, by Miller,A]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Once meaning and reference are separated, meaning ceases to seem important [Quine]
19. Language / E. Analyticity / 1. Analytic Propositions
Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine]
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
Quine's attack on analyticity undermined linguistic views of necessity, and analytic views of the a priori [Quine, by Boghossian]
Quine attacks the Fregean idea that we can define analyticity through synonyous substitution [Quine, by Thomasson]
The last two parts of 'Two Dogmas' are much the best [Miller,A on Quine]
Erasing the analytic/synthetic distinction got rid of meanings, and saved philosophy of language [Davidson on Quine]
The analytic needs excessively small units of meaning and empirical confirmation [Quine, by Jenkins]
If we try to define analyticity by synonymy, that leads back to analyticity [Quine]
Did someone ever actually define 'bachelor' as 'unmarried man'? [Quine]
27. Natural Reality / D. Time / 2. Passage of Time / f. Tenseless (B) series
Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider]