|
3425
|
Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim]
|
|
Full Idea:
Ernest Nagel defines reduction as the possibility of deriving all laws of one theory by logic and mathematics to another theory, with appropriate 'bridging principles' (either definitions, or empirical laws) connecting the expressions of the two theories.
|
|
From:
report of Ernest Nagel (The Structure of Science [1961]) by Jaegwon Kim - Philosophy of Mind p.213
|
|
A reaction:
This has been labelled as 'weak' reduction, where 'strong' reduction would be identity, as when lightning is reduced to electrical discharge. You reduce x by showing that it is y in disguise.
|
|
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.
|