5 ideas
| 14713 | Truth in a scenario is the negation in that scenario being a priori incoherent [Chalmers] |
| Full Idea: The epistemic 1-intension for a sentence S is True at a scenario W iff (W and not-S) is a priori incoherent. | |
| From: David J.Chalmers (Epistemic Two-Dimensional Semantics [2004], p.180-4), quoted by Laura Schroeter - Two-Dimensional Semantics | |
| A reaction: See Two-Dimensional Semantics (in 'Language') and Chalmers for the background to this idea. I love the coherence view of justification, but get a bit nervous when people start defining truth in that way. |
| 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) |
| 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) |
| 14712 | A sentence is a priori if no possible way the world might actually be could make it false [Chalmers] |
| Full Idea: The Core Thesis for rationalist 2D semantics is that for any sentence S, S is apriori iff S has a necessary 1-intension. (That is, there is no possible way the world might be that, if it actually obtained, would make S false). | |
| From: David J.Chalmers (Epistemic Two-Dimensional Semantics [2004], p.165), quoted by Laura Schroeter - Two-Dimensional Semantics 2.3.2 | |
| A reaction: [The parenthesis is by Schroeter] A '1-intension' is defined by a diagonal on a 2D semantic matrix. Chalmers defends conceivability as the guide to possibility. This is a very traditional view of the a priori, expressed in modern terms. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |