-
5Précis de philosophie des sciences (edited book)Vuibert. 2011.Le Précis de philosophie des sciences vise à présenter, de manière pédagogique, l'état actuel des grandes questions et des grands domaines de la philosophie des sciences. C'est un ouvrage de niveau "intermédiaire", entre les ouvrages d'initiation et les ouvrages de recherche. Il peut être utilisé comme manuel pour des cours de philosophie des sciences au niveau Master, ainsi que dans le cadre de la préparation aux nouvelles épreuves d'épistémologie des CAPES scientifiques. Il a notamment pour vo…Read more
-
The ways of logicality : invariance and categoricityIn Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning, Cambridge University Press. 2021.
-
15La vision par ordinateur est un des domaines de l’intelligence artificielle qui connaît les succès les plus fulgurants. Depuis une vingtaine d’années, les machines n’ont cessé de progresser dans leur capacité à extraire des informations à partir d’images et à identifier des objets. Mais faut-il en conclure que ces machines sont littéralement des machines voyantes, ou ne s’agit-il que d’une façon imagée de décrire des capacités de détection? Le présent article se propose de fournir les bases d’un…Read more
-
67Carnap’s Problem for Modal LogicReview of Symbolic Logic 16 (2): 578-602. 2023.We take Carnap’s problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics. This paper studies Carnap’s problem for basic modal logic. Setting the stage, we show that neighborhood semantics is the most general form of compositional possible worlds semantics, and proceed to ask which standard modal logics (if any) constrain the box operator to be in…Read more
-
Deflationary Truth Is a Logical NotionIn Gabriele Pulcini & Mario Piazza (eds.), Truth, Existence and Explanation, Springer Verlag. 2018.
-
31The philosophy of science. A companion (edited book)Oxford University Press. 2018.Philosophy of science studies the methods, theories, and concepts used by scientists. It mainly developed as a field in its own right during the twentieth century and is now a diversified and lively research area. This book surveys the current state of the discipline by focusing on central themes like confirmation of scientific hypotheses, scientific explanation, causality, the relationship between science and metaphysics, scientific change, the relationship between philosophy of science and sci…Read more
-
31Weighted averaging, Jeffrey conditioning and invarianceTheory and Decision 85 (1): 21-39. 2018.Jeffrey conditioning tells an agent how to update her priors so as to grant a given probability to a particular event. Weighted averaging tells an agent how to update her priors on the basis of testimonial evidence, by changing to a weighted arithmetic mean of her priors and another agent’s priors. We show that, in their respective settings, these two seemingly so different updating rules are axiomatized by essentially the same invariance condition. As a by-product, this sheds new light on the q…Read more
-
54Invariance and Definability, with and without EqualityNotre Dame Journal of Formal Logic 59 (1): 109-133. 2018.The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, g…Read more
-
50Tonk Strikes Back∗Australasian Journal of Logic 3 33-44. 2005.What is a logical constant? In which terms should we characterize the meaning of logical words like “and”, “or”, “implies”? An attractive answer is: in terms of their inferential roles, i.e. in terms of the role they play in building inferences. More precisely, we favor an approach, going back to Dosen and Sambin, in which the inferential role of a logical constant is captured by a double line rule which introduces it as reflecting structural links (for example, multiplicative conjunction reflec…Read more
-
107Consequence Mining: Constans Versus Consequence RelationsJournal of Philosophical Logic 41 (4): 671-709. 2012.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, a…Read more
-
37Metacognitive perspectives on unawareness and uncertaintyIn Michael J. Beran, Johannes Brandl, Josef Perner & Joëlle Proust (eds.), The foundations of metacognition, Oxford University Press. pp. 322. 2012.
-
35Margins for error in contextIn G. Carpintero & M. Koelbel (eds.), Relative Truth, Oxford University Press. pp. 103--107. 2008.
-
19Independence and gamesPhilosophia Scientiae 9 (2): 295-304. 2005.La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici quelques ar…Read more
-
Groundedness, Truth and DependenceIn T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth, Imprint: Springer. 2015.
-
28Version 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".
-
125Logical Constants, or How to use Invariance in Order to Complete the Explication of Logical ConsequencePhilosophy Compass 9 (1): 54-65. 2014.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 it should be …Read more
-
Comptes rendus. I.Hacking, L'émergence de la probabilitéArchives de Philosophie 66 (4): 707-708. 2003.
-
237Vagueness, uncertainty and degrees of claritySynthese 174 (1). 2010.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 t…Read more
-
26Preuves et jeux sémantiquesPhilosophia Scientiae 8 (2): 105-123. 2004.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 …Read more
-
3Independence and gamesPhilosophia Scientiae 9 295-304. 2005.La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici quelques ar…Read more
-
14Compositionality and MolecularismIn Gerhard Schurz, Edouard Machery & Markus Werning (eds.), Applications to Linguistics, Psychology and Neuroscience, De Gruyter. pp. 41-62. 2005.
-
50Since 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 (Dubuc…Read more
-
1382Logicality and InvarianceBulletin of Symbolic Logic 14 (1): 29-68. 2006.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.
-
6Du point de vue logique: neuf essais logico-philosophiquesLibrairie Philosophique Vrin. 2003.Ensemble d'articles fondamentaux en relation avec l'épistémologie, l'ontologie et la philosophie du langage, qui laissent apparaître les enjeux philosophiques de l'oeuvre de W. V. A. Quine. Ces neuf essais témoignent de l'articulation du logique et du philosophique et mettent en évidence la créativité de la logique, définie en conclusion du dernier essai.
-
13Preuves et jeux sémantiquesPhilosophia Scientiae 8 105-123. 2004.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 …Read more
-
186Inexact Knowledge with IntrospectionJournal of Philosophical Logic 38 (2): 179-227. 2009.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.
-
55Carnap's criterion of logicalityIn Pierre Wagner (ed.), Carnap's Logical Syntax of Language, Palgrave-macmillan. pp. 147-165. 2009.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 sentence…Read more
Denis Bonnay
Université Paris Nanterre
-
Université Paris NanterreAssistant Professor
University of Paris 1 Panthéon-Sorbonne
Department for Teaching and Research in Philosophy (UFR10)
PhD, 2006