display all the ideas for this combination of philosophers
3 ideas
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
Full Idea: In a famous paper, Wallace argued that all interpretations of quantifiers (including the substitutional interpretation) are, in the end, variants of that proposed by Tarski (in 1936). | |
From: report of Wallace, J (On the Frame of Reference [1970]) by Thomas Baldwin - Interpretations of Quantifiers | |
A reaction: A significant-looking pointer. We must look elsewhere for Tarski's account, which will presumably subsume the objectual interpretation as well. The ontology of Tarski's account of truth is an enduring controversy. |