Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used for modelling some (...) classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set of applications will be outlined.

Part I of Frege’s Grundgesetze is devoted to the “exposition [Darlegung]” of his formal system.

We introduce several senses of the principle ofcompositionality. We illustrate the difference between them with thehelp of some recent results obtained by Cameron and Hodges oncompositional semantics for languages of imperfect information.

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory. This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of (...) Hintikka’s career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters. The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka. (shrink)

In this paper we show that first-order languages extended with partially ordered connectives and partially ordered quantifiers define, under a certain interpretation, their own truth-predicate. The interpretation in question is in terms of games of imperfect information. This result is compared with those of Kripke and Feferman.

In this paper, we introduce a new approach to independent quantifiers, as originally introduced in Informational independence as a semantic phenomenon by Hintikka and Sandu [9] under the header of independence-friendly languages. Unlike other approaches, which rely heavily on compositional methods, we shall analyze independent quantifiers via equilibriums in strategic games. In this approach, coined equilibrium semantics, the value of an IF sentence on a particular structure is determined by the expected utility of the existential player in any of the (...) game’s equilibriums. This approach was suggested in Henkin quantifiers and complete problems by Blass and Gurevich [2] but has not been taken up before. We prove that each rational number can be realized by an IF sentence. We also give a lower and upper bound on the expressive power of IF logic under equilibrium semantics. (shrink)

Against some very common views (e.g. Dummett), this paper argues that Frege did not have a standard interpretation of higher-order logic and for this reason his programme in the foundations of mathematics was a nonstarter.

Independence‐Friendly logic introduced by Hintikka and Sandu studies patterns of dependence and independence of quantifiers which exceed those found in ordinary first‐order logic. The present survey focuses on the game‐theoretical interpretation of IF‐logic, including connections to solution concepts in classical game theory, but we shall also present its compositional interpretation together with its connections to notions of dependence and dependence between terms.

We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.

Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension $L_{*}^{1}$ (H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close $L_{*}^{1}$ (H) with respect to Boolean operations, and obtain the language L¹(H). At the next level, we consider an extension $L_{*}^{2}$ (H) of L¹(H) in which every sentence is an L¹(H)-sentence prefixed with (...) a Henkin quantifier. We repeat this construction to infinity. Using the (un)definability of truth - in - N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996). (shrink)

Both Frege's Grundgesetze, and Lagrange's treatises on analytical functions pursue a foundational purpose. Still, the former's program is not only crucially different from the latter's. It also depends on a different idea of what foundation of mathematics should be like . Despite this contrast, the notion of function plays similar roles in their respective programs. The purpose of my paper is emphasising this similarity. In doing it, I hope to contribute to a better understanding of Frege's logicism, especially in relation (...) to its crucial differences with a set-theoretic foundational perspective. This should also spread some light on a question arisen by J. Hintikka and G. Sandu in a widely discussed paper, namely whether Frege should or should not be credited with the notion of arbitrary function underlying our standard interpretation of second-order logic. In section 1, I account for Lagrange's notion of function. In section 2, I advance some remarks on connected historical matters. This will provide an appropriate framework for discussing the role played by the notion of function in Frege's Grundgesetze. Section 3 is devoted to this. Some concluding remarks will close the paper. (shrink)

The paper argues that there are two main kinds of joint action, direct joint bringing about (or performing) something (expressed in terms of a DO-operator) and jointly seeing to it that something is the case (expressed in terms of a Stit-operator). The former kind of joint action contains conjunctive, disjunctive and sequential action and its central subkinds. While joint seeing to it that something is the case is argued to be necessarily intentional, direct joint performance can also be nonintentional. Actions (...) performed by social groups are analyzed in terms of the notions of joint action (basically DO and Stit).A precise semantical analysis of the aforementioned kinds of joint action is given in terms of time-trees. With each participant a tree is connected, and the trees are joined defining joint possible worlds in terms of state-expressing nodes from the trees. Sentences containing DO and Stit are semantically evaluated with respect to such joint possible worlds. Intentional joint actions are characterized in terms of the notion of we-intention (joint intention), characterized formally by means of a special operator. (shrink)

Tarski has exerted enormous influence not only on the development of mathematical logic, but on twentieth-century philosophy and philosophical analysis. This influence has been twofold, with the two components pulling in a sense in opposite directions. A comparison with the influence of the Vienna Circle provides an instructive vantage point in viewing Tarski’s influence. On the one hand, Tarski has provided powerful tools for logical analysis in philosophy. His first and most important contribution was to show that — and how (...) — the crucial semantical concept of truth can be defined for various formal languages. They include the most central types of language used and studied by twentieth century logicians and philosophers. The subsequent work by Tarski and his school in creating contemporary model theory in its narrow sense as a branch of technical logic has likewise enriched tremendously the conceptual arsenal of philosophers. The extent and depth of Tarski’s influence is in fact easily underestimated. In comparison, Carnap’s well-known books in logical syntax and logical semantics did not in the same way contribute to the logical techniques that philosophers might find useful. A large part of Tarski’s influence lies in facilitating a switch of emphasis from purely syntactical to model-theoretical, semantical methods. It was Gödel’s and Tarski’s early work that forced logicians and philosophers for the first time to take seriously the distinction between semantical and syntactical concepts and methods. The general theoretical implications of the distinction were not realized at once. In the light of hindsight, it is for instance quite striking that Tarski still in his classical monograph repeatedly assimilates to each other the task of defining truth for some part of mathematics or logic and axiomatizing its truths in a sense that involves explicit syntactical rules of inference. It was nevertheless Tarski more than anyone else who began to develop and exploit systematically model-theoretical concepts in logical theory. In comparison, Gödel never developed systematically the model-theoretical aspects of logic. Others, for instance Quine, stubbornly remained within the syntactical tradition. Carnap, who did switch his attention from the syntactical to a semantical approach, was not powerful enough a logician to create a sufficiently rich store of model-theoretical techniques and ideas to be equally helpful in philosophical analysis. In contrast, several major developments in analytic philosophy have had their starting points in Tarski’s ideas. Well-known cases in point are Davidson’s truth-conditional semantics and the possible worlds semantics developed by Tarski’s favorite former student Richard Montague. (shrink)

We consider two versions of truth as grounded in verification procedures: Dummett's notion of proof as an effective way to establish the truth of a statement and Hintikka's GTS notion of truth as given by the existence of a winning strategy for the game associated with a statement. Hintikka has argued that the two notions should be effective and that one should thus restrict one's attention to recursive winning strategies. In the context of arithmetic, we show that the two notions (...) do not coincide: on the one hand, proofs in PA do not yield recursive winning strategies for the associated game; on the other hand, there is no sound and effective proof procedure that captures recursive GTS truths. We then consider a generalized version of Game Theoretical Semantics by introducing games with backward moves. In this setting, a connection is made between proofs and recursive winning strategies. We then apply this distinction between two kinds of verificationist procedures to a recent debate about how we recognize the truth of Gödelian sentences. (shrink)

This chapter explores logical semantics, that is, the structural meaning of logical expressions like connectives, quantifiers, and modalities. It focuses on truth-theoretical semantics for formalized languages, a tradition emerging from Carnap's and Tarski's work in the first half of the last century that specifies the meaning of these expressions in terms of the truth-conditions of the sentences in which they occur. It considers Tarski-style definitions of the semantics of a given language in a stronger metalanguage, Tarski's impossibility results, and attempts (...) to overcome them in the post-Tarskian tradition. (shrink)

The paper argues that unlike Ramsey, Frege and Russell lacked the idea of an arbitrary function and this had important consequences for their foundational programs.

This chapter begins with a discussion of the three phases of the interaction between logic and linguistics on the nature of universal grammar. It then attempts to reconstruct the dynamics and interactions between these approaches in logic and in linguistic theory, which represent the major landmarks in the quest for the individuation of the universal structure of language.

Frege has one magnificent achievement to his credit, viz. the creation of modern formal logic. As a philosopher and as a theoretical logician, he was nevertheless as parochial as he was, geographically speaking. Hence Frege’s concepts and problems offer singularly unfortunate starting points for constructive work in the foundations of logic and mathematics. Even if he is right in some of his views, they depend on severely restrictive assumptions that have to be noted and eliminated. These restrictive assumptions have not (...) been sufficiently acknowledged in most of the recent discussions of Frege’s ideas. This has given rise to wild overstatements of Frege’s achievements. To give only two examples, Frege is sometimes said to have had within his reach “the concepts necessary to frame the notion of the completeness of a formalization of logic as well as soundness.” Or, he is credited with the creation of mathematical logic “issuing in a formal system logic incorporating propositional calculus, first- and second-order quantification theory, and a theory of sets developed within second-order quantification theory.” We will soon see that both these claims are not only severely exaggerated but that they miss some of the most characteristic features of Frege’s entire way of thinking about logical and semantical matters. (shrink)

The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.

This paper shows that the logic known as Information-friendly logic (IF-logic) introduced by Jaakko Hintikka and Gabriel Sandu defines its own truth-predicate. The result is interesting given that IF logic is a much stronger logic than ordinary first-order logic and has also a well behaved notion of negation which, on its first-order subfragment, behaves like classical, contradictory negation.

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like 'All the theorems are true', 'Everything Peter said is true', etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first-order logic, full second-order logic, and existential second-order (?11-) logic. (shrink)

In his article The Foundations of Mathematics (1925) Ramsey was concerned with the nature of the statements of 'pure mathematics' and the way these statements differ from those in empirical sciences. He thought that the answer given to these questions by Hilbert and the formalist school according to which mathematical statements are meaningless formulas, is unsatisfactory for several reasons, which will not be discussed here. He also expressed serious doubts about the intuitionist program developed by Brouwer and Weyl. It is (...) the logicist school of Frege, Russell and Whitehead, which attempted to reduce mathematics to few logical concepts, that came closest to Ramsey’s views, although he was not completely satisfied with it, either. (shrink)

It is far from clear what is meant by logic or what should be meant by it. It is nevertheless reasonable to identify logic as the study of inferences and inferential relations. The obvious practical use of logic is in any case to help us to reason well, to draw good inferences. And the typical form the theory of any part of logic seems to be a set of rules of inference. This answer already introduces some structure into a discussion (...) of the nature of logic, for in an inference we can distinguish the input called a premise or premises from the output known as the conclusion. The transition from a premise or a number of premises to the conclusion is governed by a rule of inference. If the inference is in accordance with the appropriate rule, it is called valid. Rules of inference are often thought of as the alpha and omega of logic. Conceiving of logic as the study of inference is nevertheless only the first approximation to the title question, in that it prompts more questions than it answers. It is not clear what counts as an inference or what a theory of such inferences might look like. What are the rules of inference based on? Where do we find them? The ultimate end. (shrink)

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

This is a collection of studies by contemporary Romanian philosophers of science. As it happens, it ruffled a lot of feathers, to the extent that the book is largely ignored in Romania, although it does quite well internationally, with some really good citations. Check it out!

This book collects articles on knowledge and game-theoretical semantics dedicated to the memory of the Finnish philosopher and logician Jaakko Hintikka. Many of the contributors have been Hintikka's closed collaborators. The book contains a short overview of Hintikka's contributions to logic and an extensive bibliography of Hintikka's works.

In this paper I am going to inquire to what extent the main requirements of a minimalist theory of truth and falsity (as formulated, for example, by Horwich and Field) can be consistently implemented in a formal theory. I will discuss several of the existing logical theories of truth, including Tarski-type (un)definability results, Kripke’s partial interpretation of truth and falsity, Barwise and Moss’ theory based upon non-well-founded sets, McGee’s treatment of truth as a vague predicate, and Hintikka’s languages of imperfect (...) information, to see which axioms of the minimalist theory they satisfy or fail to satisfy. Finally, I will discuss the relation between the minimalist program and compositionality. (shrink)

Logics in which a relation R is semantically incomplete in a particular universe E, i.e. the union of the extension of R with its anti-extension does not exhaust the whole universe E, have been studied quite extensively in the last years. (Cf. van Benthem (1985), Blamey (1986), and Langholm (1988), for partial predicate logic; Muskens (1996), for the applications of partial predicates to formal semantics, and Doherty (1996) for applications to modal logic.) This is not so with semantically incomplete generalized (...) quantifiers which constitute the subject of the present paper. The only systematic study of these quantifiers from a purely logical point of view, is, to the best of my knowledge, that by van Eijck (1995). We shall take here a different approach than that of van Eijck and mention some of the abstract properties of the resulting logic. Finally we shall prove that the two approaches are interdefinable. (shrink)