27 found
Order:
See also:
Profile: Denis Bonnay (Université Paris X)
  1. Denis Bonnay (2006). Logicality and Invariance. Bulletin of Symbolic Logic 14 (1):29-68.
    What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  2.  85
    Denis Bonnay & Paul Égré (2009). Inexact Knowledge with Introspection. Journal of Philosophical Logic 38 (2):179 - 227.
    Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidean. The semantics corresponds to a system of modular knowledge, in which iterated (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  3.  90
    Paul Égré & Denis Bonnay (2010). Vagueness, Uncertainty and Degrees of Clarity. Synthese 174 (1):47 - 78.
    In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensional semantics, and the system we call Centered semantics. (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  4.  14
    Denis Bonnay & Paul Egré (2008). Margins for Error in Context. In G. Carpintero & M. Koelbel (eds.), Relative Truth. Oxford University Press 103--107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  9
    Denis Bonnay & Paul Egré, Vagueness and Introspection.
    Version of March 05, 2007. An extended abstract of the paper appeared in the Proceedings of the 2006 Prague Colloquium on "Reasoning about Vagueness and Uncertainty".
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  43
    Denis Bonnay & Dag Westerståhl (2012). Consequence Mining: Constans Versus Consequence Relations. Journal of Philosophical Logic 41 (4):671-709.
    The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  24
    Denis Bonnay & Dag Westerståhl (2016). Compositionality Solves Carnap’s Problem. Erkenntnis 81 (4):721-739.
    The standard relation of logical consequence allows for non-standard interpretations of logical constants, as was shown early on by Carnap. But then how can we learn the interpretations of logical constants, if not from the rules which govern their use? Answers in the literature have mostly consisted in devising clever rule formats going beyond the familiar what follows from what. A more conservative answer is possible. We may be able to learn the correct interpretations from the standard rules, because the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  11
    Denis Bonnay (2009). Carnap's Criterion of Logicality. In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave Macmillan
    Providing a principled characterization of the distinction between logical and non-logical expressions is a longstanding issue in the philosophy of logic. In the Logical Syntax of Language, Carnap proposes a syntactic solution to this problem, which aims at grounding the claim that logic and mathematics are analytic. Roughly speaking, his idea is that logic and mathematics correspond to the largest part of science for which it is possible to completely specify by "syntactic" means which sentences are valid and which are (...)
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  27
    Denis Bonnay (2014). Logical Constants, or How to Use Invariance in Order to Complete the Explication of Logical Consequence. Philosophy Compass 9 (1):54-65.
    The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  4
    Denis Bonnay (2004). Preuves Et Jeux Sémantiques. Philosophia Scientiae 8 (2):105-123.
    Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of games. In order to ground Hintikka’s claim that truth-constituting games are genuine verification and falsification games that make explicit the language games underlying the use of logical constants, it would be desirable to establish a substantial link between these two kinds of games. Adapting a result from Thierry Coquand, (...)
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  14
    Paul Egré & Denis Bonnay (2012). Metacognitive Perspectives on Unawareness and Uncertainty. In Michael Beran, Johannes Brandl, Josef Perner & Joëlle Proust (eds.), The Foundations of Metacognition. Oxford University Press 322.
  12.  22
    Denis Bonnay & Mikaël Cozic, Which Logic for the Radical Anti-Realist ?
    Since the ground-breaking contributions of M. Dummett (Dummett 1978), it is widely recognized that anti-realist principles have a critical impact on the choice of logic. Dummett argued that classical logic does not satisfy the requirements of such principles but that intuitionistic logic does. Some philosophers have adopted a more radical stance and argued for a more important departure from classical logic on the basis of similar intuitions. In particular, J. Dubucs and M. Marion (?) and (Dubucs 2002) have recently argued (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  13.  12
    Denis Bonnay (2011). L'objet propre de la logique. Les Etudes Philosophiques 97 (2):259.
    La logique est une théorie normative du raisonnement, qui vise à caractériser la classe des arguments déductifs valides en déterminant si la conclusion est conséquence logique des prémisses. Mais, selon la définition sémantique devenue classique, la caractérisation de la relation de conséquence logique dépend elle-même de la caractérisation de la classe des mots logiques, ces mots qui, comme « non », « et », « tous » ou « certains » servent à articuler nos raisonnements. J’examine dans cet article à (...)
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  12
    Johan Van Benthem & Denis Bonnay (2008). Modal Logic and Invariance. Journal of Applied Non-Classical Logics 18 (2-3):153-173.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15.  4
    Denis Bonnay (2005). Compositionality and Molecularism. In Gerhard Schurz, Edouard Machery & Markus Werning (eds.), Applications to Linguistics, Psychology and Neuroscience. De Gruyter 41-62.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  6
    Denis Bonnay & Sandra Laugier (2003). La logique sauvage de Quine à Lévi-Strauss. Archives de Philosophie 1:49-72.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  4
    Denis Bonnay (2008). Les avatars quiniens de l'analyticité. Archives de Philosophie 4 (4):549-562.
    Quine est célèbre pour sa critique de la notion d’analyticité, mais il en a également proposé des substituts définissables en termes behavioristes. Cet article examine la question de savoir si de tels substituts peuvent ou non jouer un rôle épistémologique, en les comparant avec des tentatives récentes de réhabilitation de l’a priori. Il apparaît que la caractérisation de ce qu’est une définition acceptable en termes behavioristes est cruciale, et qu’un élargissement de la classe des comportements linguistiques pertinents peut ouvrir la (...)
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Denis Bonnay & Paul Égré (2009). Inexact Knowledge with Introspection. Journal of Philosophical Logic 38 (2):179-227.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  4
    Denis Bonnay & Benjamin Simmenauer (2005). Tonk Strikes Back. Australasian Journal of Logic 3:33-44.
    Bonnay and I propose a local procedure to define logical constants inside a sequent calculus framework, BL. In Tonk Strikes Back, we have proved that this procedure can be applied to a system of inference rules in order to banish the 'tonk'-like pathological connectives from it.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    Denis Bonnay (2005). Independence and Games. Philosophia Scientiae 9 (2):295-304.
    Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic. But they are alternatives to Hintikka’s game-theoretic approach; one could use instead Henkin quantifiers. We will present here some arguments of both technical and philosophical nature in favor of IF. We will show that its notion of independence, once extended to connectives, can indeed claim to be fully general, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Denis Bonnay & Paul Egré, A Non-Standard Semantics for Inexact Knowledge with Introspection.
    Forthcoming in S. Artemov and R. Parikh, Proceedings of the ESSLLI 2006 Workshop on Rationality and Knowledge.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22. Denis Bonnay (2005). Independence and Games. Philosophia Scientae 9:295-304.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Denis Bonnay & Paul Egré, Inexact Knowledge with Introspection.
    This paper supersedes an ealier version, entitled "A Non-Standard Semantics for Inexact Knowledge with Introspection", which appeared in the Proceedings of "Rationality and Knowledge". The definition of token semantics, in particular, has been modified, both for the single- and the multi-agent case.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24. Denis Bonnay (2004). Preuves Et Jeux Sémantiques. Philosophia Scientae 8:105-123.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Denis Bonnay & Mickael Cozic (2009). Textes Clés de Philosophie de la Logique: Conséquence, Preuve, Vérité. Vrin.
    La logique est un compagnon naturel de la philosophie. Qu’est-ce qu’un raisonnement correct? Qu’est-ce qu’une preuve? Peut-on définir le concept de vérité? Que faire face aux paradoxes? Ces questions sont débattues par les philosophes depuis l’Antiquité; et la logique moderne, usant de langages formels, développe une analyse rigoureuse de ces concepts les plus fondamentaux.Les onze textes classiques réunis ici proposent un retour réflexif sur cette discipline et sur la signification philosophique de ses achèvements. Ils s’adressent à quiconque souhaite prendre la (...)
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  26. Denis Bonnay, Sandra Laugier, Layla RAÏD, Fabrice Pataut & Roger Schmit (2008). Willard von Orman Quine. Archives de Philosophie 71 (4).
     
    Export citation  
     
    My bibliography  
  27. Floris Tijmen van Vugt & Denis Bonnay (2015). Groundedness, Truth and Dependence. In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Netherlands
    No categories
     
    Export citation  
     
    My bibliography