The principles of mathematics revisited
The principles of mathematics revisited
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
| Hi-index | 0.00 |
In the present paper Hintikka's game-theoretical semantics and the dialogical logic of Lorenzen and Lorenz are discussed and compared from the viewpoint of their underlying philosophical meaning theories. The question of whether the proposed meaning theories can be claimed to suffer from circularity is taken up. The relations of the two frameworks to verificationist and anti-realist ideas are considered. Finally, van Heijenoort's concept of 'logic as calculus' generalized by Hintikka to the idea of 'language as calculus' will be reformulated as a view we label 'anti-universalism.' We discuss briefly the fourfold division of foundational views obtained by relating a distinction between 'universalism' and 'anti-universalism' to the distinction between 'realism' and 'anti-realism.'