y) from its dependence on another quantifier, say (Q 1x), in whose syntactical scope it occurs, viz., by writing it (Q2y/Q1x). The result is a stronger logic, independence friendly (IF) first-order logic. (For it, see e.g., Hintikka (1996) and (2002a).) It is the true basic logic, not the received first-order logic." /> On the epistemology of game-theoretical semantics - Hintikka Jaakko | sdvig press

On the epistemology of game-theoretical semantics

Jaakko Hintikka

pp. 57-66

Full Text
Download
Other Editions

Text

This document is unfortunately not available for download at the moment.

Not implemented yet !