Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Logic and Foundations
Games And Logic, Gabriel Sandu
Games And Logic, Gabriel Sandu
Baltic International Yearbook of Cognition, Logic and Communication
The idea behind these games is to obtain an alternative characterization of logical notions cherished by logicians such as truth in a model, or provability (in a formal system). We offer a quick survey of Hintikka's evaluation games, which offer an alternative notion of truth in a model for first-order langauges. These are win-lose, extensive games of perfect information. We then consider a variation of these games, IF games, which are win-lose extensive games of imperfect information. Both games presuppose that the meaning of the basic vocabulary of the language is given. To give an account of the linguistic conventions …
Ludics, Dialogue And Inferentialism, Alain Lecomte
Ludics, Dialogue And Inferentialism, Alain Lecomte
Baltic International Yearbook of Cognition, Logic and Communication
In this paper, we try to show that Ludics, a (pre-)logical framework invented by J-Y. Girard, enables us to rethink some of the relationships between Philosophy, Semantics and Pragmatics. In particular, Ludics helps to shed light on the nature of dialogue and to articulate features of Brandom's inferentialism.
Trust And Risk In Games Of Partial Information, Robin Clark
Trust And Risk In Games Of Partial Information, Robin Clark
Baltic International Yearbook of Cognition, Logic and Communication
Games of partial information have been used to explicate Gricean implicature; their solution concept has been murky, however. In this paper, I will develop a simple solution concept that can be used to solve games of partial information, depending on the players' mutual trust and tolerance for risk. In addition, I will develop an approach to non-conventional quantity implicatures that relies on "face" (Goffman (1967), Brown and Levinson (1987)).