Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 7 of 7
Full-Text Articles in Logic and Foundations
Ancestor Worship In The Logic Of Games. How Foundational Were Aristotle's Contributions?, John Woods
Ancestor Worship In The Logic Of Games. How Foundational Were Aristotle's Contributions?, John Woods
Baltic International Yearbook of Cognition, Logic and Communication
Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the preferred way to do it?'' A recent suggestion is that at least part of the desired support might be found in the Greek dialectical writings. If so, perhaps we could say that those works possess a kind of foundational significance. The relation of being foundational for is interesting in its own right. In this paper, I explore its ancient applicability to relevant, paraconsistent and …
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 …
Constructive Type Theory And The Dialogical Approach To Meaning, Shahid Rahman, Nicolas Clerbout
Constructive Type Theory And The Dialogical Approach To Meaning, Shahid Rahman, Nicolas Clerbout
Baltic International Yearbook of Cognition, Logic and Communication
In its origins Dialogical logic constituted one part of a new movement called the Erlangen School or Erlangen Constructivism. Its goal was to provide a new start to a general theory of language and of science. According to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The resulting project of intentionally constructing a scientific language was called the Orthosprache-project. Unfortunately, the Orthosprache-project was not further developed and seemed to fade away. It is possible that one of the reasons for this fading away is that …
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.
Argumentation And Inference: A Unified Approach, Christophe Fouqueré, Myriam Quatrini
Argumentation And Inference: A Unified Approach, Christophe Fouqueré, Myriam Quatrini
Baltic International Yearbook of Cognition, Logic and Communication
We propose in this paper to use Ludics as a unified framework for the analysis of dialogue and the reasoning system. Not only is Ludics a logical theory, but it may also be built by means of concepts of game theory. We first present the main concepts of Ludics. A design is an abstraction and a generalization of the concept of proof. Interaction between designs is equivalent to cut elimination or modus ponens in logical theories. It appears to be a natural means for representing dialogues and also for reasoning. A design is a set of sequences of alternate actions …
Antilogic, Benoît Castelnérac, Mathieu Marion
Antilogic, Benoît Castelnérac, Mathieu Marion
Baltic International Yearbook of Cognition, Logic and Communication
This paper is an interim report of joint work begun in (Castelnérac & Marion 2009) on dialectic from Parmenides to Aristotle. In the first part we present rules for dialectical games, understood as a specific form of antilogikê developed by philosophers, and explain some of the key concepts of these dialectical games in terms of ideas from game semantics. In the games we describe, for a thesis A asserted by the answerer, a questioner must elicit the answerer’s assent to further assertions B1, B2,…, Bn, which form a scoreboard from which the questioner seeks …
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)).