display all the ideas for this combination of texts
11 ideas
| 15326 | Doubt is thrown on classical logic by the way it so easily produces the liar paradox [Horsten] |
| Full Idea: Aside from logic, so little is needed to generate the liar paradox that one wonders whether the laws of classical logic are unrestrictedly valid after all. (Many theories of truth have therefore been formulated in nonclassical logic.) | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.2) | |
| A reaction: Kripke uses Strong Kleene logic for his theory. The implication is that debates discussed by Horsten actually have the status of classical logic at stake, as well as the nature of truth. |
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
| Full Idea: Modus ponens is just one of the five different inference rules identified by the Stoics. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
| A reaction: Modus ponens strikes me as being more like a definition of implication than a 'rule'. Implication is what gets you from one truth to another. All the implications of a truth must also be true. |
| 15341 | Deduction Theorem: ψ only derivable from φ iff φ→ψ are axioms [Horsten] |
| Full Idea: The Deduction Theorem says ψ is derivable in classical predicate logic from ψ iff the sentence φ→ψ is a theorem of classical logic. Hence inferring φ to ψ is truth-preserving iff the axiom scheme φ→ψ is provable. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.2) | |
| A reaction: Horsten offers this to show that the Tarski bi-conditionals can themselves be justified, and not just the rule of inference involved. Apparently you can only derive something if you first announce that you have the ability to derive it. Odd. |
| 6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
| Full Idea: We hold fast to the position, defended by Chrysippus, that every proposition is either true or false. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by M. Tullius Cicero - On Fate ('De fato') 38 | |
| A reaction: I am intrigued to know exactly how you defend this claim. It may depend what you mean by a proposition. A badly expressed proposition may have indeterminate truth, quite apart from the vague, the undecidable etc. |
| 15328 | A theory is 'non-conservative' if it facilitates new mathematical proofs [Horsten] |
| Full Idea: A theory is 'non-conservative' if it allows us to prove mathematical facts that go beyond what the background mathematical theory can prove on its own. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.4) | |
| A reaction: This is an instance of the relationship with mathematics being used as the test case for explorations of logic. It is a standard research method, because it is so precise, but should not be mistaken for the last word about a theory. |
| 15349 | It is easier to imagine truth-value gaps (for the Liar, say) than for truth-value gluts (both T and F) [Horsten] |
| Full Idea: It is easier to imagine what it is like for a sentence to lack a truth value than what it is like for a sentence to be both truth and false. So I am grudgingly willing to entertain the possibility that certain sentences (like the Liar) lack a truth value. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.5) | |
| A reaction: Fans of truth value gluts are dialethists like Graham Priest. I'm with Horsten on this one. But in what way can a sentence be meaningful if it lacks a truth-value? He mentions unfulfilled presuppositions and indicative conditionals as gappy. |
| 15366 | Satisfaction is a primitive notion, and very liable to semantical paradoxes [Horsten] |
| Full Idea: Satisfaction is a more primitive notion than truth, and it is even more susceptible to semantical paradoxes than the truth predicate. | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.3) | |
| A reaction: The Liar is the best known paradox here. Tarski bases his account of truth on this primitive notion, so Horsten is pointing out the difficulties. |
| 13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
| Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
| 15353 | The first incompleteness theorem means that consistency does not entail soundness [Horsten] |
| Full Idea: It is a lesson of the first incompleteness theorem that consistency does not entail soundness. If we add the negation of the gödel sentence for PA as an extra axiom to PA, the result is consistent. This negation is false, so the theory is unsound. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.3) |
| 15355 | Strengthened Liar: 'this sentence is not true in any context' - in no context can this be evaluated [Horsten] |
| Full Idea: The Strengthened Liar sentence says 'this sentence is not true in any context'. It is not hard to figure out that there is no context in which the sentence can be coherently evaluated. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.6) |