79 found
Order:
  1.  64
    Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions.Fausto Barbero & Gabriel Sandu - 2020 - Journal of Philosophical Logic 50 (3):471-521.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  64
    On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  3. The fallacies of the new theory of reference.Jaakko Hintikka & Gabriel Sandu - 1995 - Synthese 104 (2):245 - 283.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  4.  31
    Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    Part I of Frege’s Grundgesetze is devoted to the “exposition [Darlegung]” of his formal system.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  37
    Jaakko Hintikka on Knowledge and Game Theoretical Semantics.Hans van Ditmarsch & Gabriel Sandu (eds.) - 2018 - Cham, Switzerland: Springer.
    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 (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Aspects of compositionality.Gabriel Sandu & Jaakko Hintikka - 2001 - Journal of Logic, Language and Information 10 (1):49-61.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  22
    The Skeleton in Frege's Cupboard: The Standard Versus Nonstandard Distinction.Jaakko Hintikka & Gabriel Sandu - 1992 - Journal of Philosophy 89 (6):290.
  8.  37
    Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9. Games in philosophical logic.Ahti Pietarinen & Gabriel Sandu - 1999 - Nordic Journal of Philosophical Logic 4:143-174.
  10. If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11. The skeleton in Frege's cupboard: The standard versus nonstandard distinction.Jaakko Hintikka & Gabriel Sandu - 1992 - Journal of Philosophy 89 (6):290-315.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12. A Revolution In Logic?Jaakko Hintikka & Gabriel Sandu - 1996 - Nordic Journal of Philosophical Logic 1:169-183.
     
    Export citation  
     
    Bookmark   9 citations  
  13.  40
    Partially ordered connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. Fitch’s paradox and ceteris paribus modalities.Carlo Proietti & Gabriel Sandu - 2010 - Synthese 173 (1):75-87.
    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.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  50
    Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  88
    Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17. From Lagrange to Frege: Functions and Expressions.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur - 2015 - In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms. Cham, Switzerland: Springer Verlag.
    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 (...)
     
    Export citation  
     
    Bookmark   3 citations  
  18.  35
    Read on the Liar.Gabriel Sandu - 2011 - Discusiones Filosóficas 12 (19):277 - 290.
  19.  33
    Tarski’s Guilty Secret: Compositionality.Jaakko Hintikka & Gabriel Sandu - 1999 - Vienna Circle Institute Yearbook 6:217-230.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  20. Joint action and group action made precise.Gabriel Sandu & Raimo Tuomela - 1995 - Synthese 105 (3):319 - 345.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  16
    Partially ordered connectives and finite graphs.Lauri Hella & Gabriel Sandu - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 79--88.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  13
    Ramsey and the notion of arbitrary function.Gabriel Sandu - 2005 - In Maria J. Frapolli Sanz (ed.), F. P. Ramsey. Critical Reassessments. Continuum International Publishing Group. pp. 237-256.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  24
    IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.
  24.  56
    Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):821-832.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  31
    Logic and linguistics in the twentieth century.Alessandro Lenci & Gabriel Sandu - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  52
    Logic and semantics in the twentieth century.Gabriel Sandu & Tuomo Aho - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 562.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  47
    Numerical Quantifiers in game-theoretical semantics.Gyula Klima & Gabriel Sandu - 1990 - Theoria 56 (3):173-192.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. What is a quantifier?Jaakko Hintikka & Gabriel Sandu - 1994 - Synthese 98 (1):113 - 129.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Frege, Russell, Ramsey and the Notion of an Arbitrary Function.Gabriel Sandu - 2015 - In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms. Cham, Switzerland: Springer Verlag.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Stenius on Logical Constants.Markku Keinänen & Gabriel Sandu - 1996 - In Keinänen Markku & Sandu Gabriel (eds.), Logica Yearbook. pp. 93-106.
    The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. What is Logic?Hintikka Jaakko & Gabriel Sandu - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 13--39.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Introduction.Juliette Kennedy & Gabriel Sandu - 2003 - Synthese 137 (1-2):1-1.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  33.  27
    Uses and Misuses of Frege’s Ideas.Jaakko Hintikka & Gabriel Sandu - 1994 - The Monist 77 (3):278-293.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  69
    Deflationism and arithmetical truth.Tapani Hyttinen & Gabriel Sandu - 2004 - Dialectica 58 (3):413–426.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. IF first-order logic and truth-definitions.Gabriel Sandu - 1997 - Journal of Philosophical Logic 26.
    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.
     
    Export citation  
     
    Bookmark   2 citations  
  36. Equilibrium semantics.Gabriel Sandu & Merlijn Sevenster - forthcoming - Annals of Pure and Applied Logic.
     
    Export citation  
     
    Bookmark   1 citation  
  37.  29
    Probabilistic IF Logic.Gabriel Sandu - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 69--79.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  16
    Quantification and Anaphora in Natural Language.Gabriel Sandu & Justine Jacot - 2012 - In Richard Schantz (ed.), Prospects for Meaning. Walter de Gruyter. pp. 609-628.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  56
    Erratum to: Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):973-974.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  27
    Metaphor and the Varieties of Lexical Meaning.Jaakko Hintikka & Gabriel Sandu - 1990 - Dialectica 44 (1‐2):55-78.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  29
    Truth and definite truth.Tapani Hyttinen & Gabriel Sandu - 2004 - Annals of Pure and Applied Logic 126 (1-3):49-55.
    In this paper we consider truth as a vague predicate and inquire into the relation between truth and definite truth. We use some tools from modal logic to clarify this distinction, as done in McGee . Finally, we consider the question whether some of the results given by McGee can be transferred to the case in which the underlying logic is stronger than first-order logic. The result will be seen to be negative.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  49
    Romanian Studies in Philosophy of Science.Ilie Parvu, Gabriel Sandu & Iulian D. Toader (eds.) - 2015 - Boston Studies in the Philosophy and History of Science, vol. 313: Springer.
    This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research. The book is useful to those interested in the philosophy of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  5
    Functional Anaphora.Justine Jacot & Gabriel Sandu - 2008 - In Cedric Degremont, Laurent Keiff & Helge Ruckert (eds.), Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman.
    Our aim in this paper is to provide a referential account of functional anaphora within a Skolem functions framework. We will give an interpretation of indefinite NPs as Skolem terms in order to show that the referential link established between an anaphoric pronoun and its antecedent is a descriptive one. Then we will argue that functional anaphora can be understood as a particular kind of E-type pronouns, in the sense that, for a large corpus, the pronoun can be replaced by (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. History of Logic.Juliette Kennedy & Gabriel Sandu - 2003 - Synthese 137:459-460.
     
    Export citation  
     
    Bookmark  
  45. Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386.Allen L. Mann, Gabriel Sandu & Merlijn Sevenster - 2012 - Bulletin of Symbolic Logic 18 (2):272-273.
  46.  34
    If Logic, Game-Theoretical Semantics, and the Philosophy of Science.Ahti-Veikko Pietarinen & Gabriel Sandu - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 105--138.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  40
    Bivalence and future contingency.Carlo Proietti, Gabriel Sandu & Francois Rivenc - forthcoming - In Vincent Hendricks & Sven Ove Hansson (eds.), Handbook of Formal Philosophy. Springer.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  19
    Entre logique et langage.François Rivenc & Gabriel Sandu - 2009 - Vrin.
    Linguistique et philosophie logique du langage: deux traditions de pensee que bien des choses opposent. La premiere est plutot mentaliste, et orientee vers l'etude de la syntaxe; la seconde, plus preoccupee de semantique, cherche volontiers le sens dans les conditions de verite des phrases. Ce portrait n'est pas faux, mais il est incomplet: entre logique et linguistique, les relations n'ont pas ete, ne sont pas que d'opposition. Dans cet ouvrage, les auteurs proposent une sorte d'histoire conceptuelle des interactions fecondes entre (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  10
    Bivalence and Future Contingency.Gabriel Sandu, Carlo Proietti & François Rivenc - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 333-347.
    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 × 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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  1
    Compositionality and The Context Principle.Gabriel Sandu - 2012 - In Markus Werning, Wolfram Hinzen & Edouard Machery (eds.), The Oxford Handbook of Compositionality. Oxford University Press.
    Hodges' Extension Theorem is perfectly designed for the kind of extension problem of principle of compositionality, which arises in the so-called IF languages. These languages satisfy the conditions of the application of the Extension Theorem. They are extensions of standard first-order languages closed under atomic and negations of atomic formulas and disjunctions and conjunctions of IF-formulas. Hodges' extension theorem shows that when certain conditions are satisfied, a language has a unique compositional interpretation, which agrees with the initially given partial one. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 79