-
22Forthcoming in S. Artemov and R. Parikh, Proceedings of the ESSLLI 2006 Workshop on Rationality and Knowledge.
-
58Modal logic and invarianceJournal of Applied Non-Classical Logics 18 (2-3): 153-173. 2008.Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics. Drawing on previous work on invariance for first-order operations, we find an abstract connection between the kind of logical operations a system uses and…Read more
-
4Philosophie de la logique: conséquence, preuve et véritéLibrairie Philosophique Vrin. 2009.La logique est un compagnon naturel de la philosophie. Qu'est-ce qu'un raisonnement correct? Qu'est-ce qu'une preuve? Peut-on definir le concept de verite? Que faire face aux paradoxes? Ces questions sont debattues par les philosophes depuis l'Antiquite; et la logique moderne, usant de langages formels, developpe une analyse rigoureuse de ces concepts les plus fondamentaux. Les onze textes classiques reunis ici proposent un retour reflexif sur cette discipline et sur la signification philosophiq…Read more
-
11Les avatars quiniens de l'analyticitéArchives de Philosophie 4 (4): 549-562. 2008.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 comportemen…Read more
-
110Consequence 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.
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