This volume presents mathematical game theory as an interface between logic and philosophy.

Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this (...) context was called. This theory gave a justification for the validity of what we todayexpress through the formulae ¬ and ¬. Hugh MacColl and, more recently, Storrs McCall searched for a formal system in which the validity ofthese formulae could be expressed. Unfortunately neither of the resulting systems is very satisfactory. In this paper we introduce dialogical games with the help of a new connexive If-Then (), the structural rules of which allow the Proponent to develop winning strategies not only for the above-mentioned connexive theses but also for ¬ and ¬. Further on, we developthe corresponding tableau systems and conclude with some remarks on possibleperspectives and consequences of the dialogical approach to connexivity including the loss of uniform substitution leading to a new concept of logical form. (shrink)

We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic. As far as we know it is the first thorough result for dialogical games where finiteness of plays is guaranteed by means of what we call repetition ranks.

This investigation uses the technique of the profile of dialogue as a tool for the evaluation of arguments from ignorance (also called lack-of-evidence arguments, negative evidence, ad ignorantiam arguments and ex silentio arguments). Such arguments have traditionally been classified as fallacies by the logic textbooks, but recent research has shown that in many cases they can be used reasonably. A profile of dialogue is a connected sequence of moves and countermoves in a conversational exchange of a type that is goal-directed (...) and can be represented in a normative model of dialogue. Selected case studies are used to probe special features of using the profile technique as applied to arguments from ignorance of a kind that occur frequently in everyday conversational exchanges. One of these special features is the use of Gricean implicature. Another is the need to use negative profiles of argument. (shrink)

Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set (...) of S-dialogically valid formulas is closed under modus ponens. Solving the composition problem is fundamental for the dialogical approach to logic; despite its simplicity, it often requires an indirect solution with the help of significant logical machinery such as cut-elimination. Direct solutions to the composition problem can, however, sometimes be had. As an example, we give a set N of dialogue rules which is well-justified from the dialogical point of view, but whose set N of dialogically valid formulas is both non-trivial and non-standard. We prove that the composition problem for N can be solved directly, and introduce a tableaux system for N. (shrink)

Cauchy’s contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, (...) the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Björling, an infinitesimal definition of the criterion of uniform convergence. Cauchy’s foundational stance is hereby reconsidered. (shrink)

We introduce game-theoretic semantics for systems without the conveniences of either a De Morgan negation, or of distribution of conjunction over disjunction and conversely. Much of game playing rests on challenges issued by one player to the other to satisfy, or refute, a sentence, while forcing him/her to move to some other place in the game’s chessboard-like configuration. Correctness of the game-theoretic semantics is proven for both a training game, corresponding to Positive Lattice Logic and for more advanced games for (...) the logics of lattices with weak negation and modal operators. (shrink)

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The problem of ending a (...) dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs. (shrink)

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The problem of ending a (...) dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs. (shrink)

An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the reviewed concepts and results are Giles’s characterization of Łukasiewicz logic and some of its generalizations to other fuzzy logics, including interval based logics, a parallel version of Lorenzen’s game for intuitionistic logic that is adequate for finite- and infinite-valued Gödel logics, and a truth comparison game for infinite-valued Gödel logic.

This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.

The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An agent , working as a slave for its master , can carry out the task αβ if it can carry out any one of the two tasks α, β, depending on which of them was requested by the master; similarly, it can carry out xα if it can carry out α for any particular (...) value for x selected by the master; an agent can carry out α→β if it can carry out β as long as it has, as a slave , an agent who carries out α; finally, carrying out P, where P is an atomic formula, simply means making P true; in particular, is a task that no agent can carry out. When restricted to the language of classical logic, the meaning of formulas is isomorphic to their classical meaning, which makes our semantics a conservative extension of classical semantics.This semantics can claim to be a formalization of the resource philosophy associated with linear logic, if resources are understood as agents carrying out tasks. The classical operators of our language correspond to the multiplicative operators of linear logic, while and correspond to the additive conjunction and universal quantifier, respectively.Our formalism may also have a potential to be used in AI as an alternative logic of planning and action. Its main appeal is that it is immune to the frame problem and the knowledge preconditions problem.The paper axiomatically defines a logic L in the above language and proves its soundness and completeness with respect to the task semantics in the following intuitive sense: L α iff α can be carried out by an agent who has nothing but its intelligence for carrying out tasks. This logic is shown to be semidecidable in the full language and decidable when the classical quantifier is forbidden in it. (shrink)