Combining Texts

All the ideas for 'fragments/reports', 'Laudatio: Prof Ruth Barcan Marcus' and 'Epistemic Two-Dimensional Semantics'

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


5 ideas

3. Truth / D. Coherence Truth / 1. Coherence Truth
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.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If a property is possible, there is something which can have it [Williamson]
     Full Idea: Barcan's axiom says if there can be something that has a certain property, then there is something that can have that property. It and its converse are not obviously correct or incorrect. They claim that it is non-contingent what individuals there are.
     From: Timothy Williamson (Laudatio: Prof Ruth Barcan Marcus [2011], p.1)
     A reaction: Williamson defends the two Barcan formulas, but the more I understand them the less plausible they sound to me.
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
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.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.