L'idée de la logique est depuis toujours celle d'une théorie de la conséquence, et en particulier de la conséquence formelle et nécessaire : en un mot, de la conséquence " logique ". Mais sur quoi repose la logicité pure d'une conséquence? La logique contemporaine classique répond : sur la préservation de la vérité. La logique pertinente lui objecte qu'on est en droit de demander plus : un élément intensionnel de pertinence des prémisses pour la conclusion doit être pris en compte (...) pour la validité des inférences. Et elle ajoute que cet élément est, serait-ce silencieusement, à l'œuvre dans nos inférences ordinaires, celles selon lesquelles nous raisonnons en fait. Peut-on formaliser, axiomatiquement, sémantiquement, ou par des systèmes de déduction, ce composant de la notion de conséquence? C'est d'une telle question que traite cet ouvrage, dans le sillage de la " bible " des logiques pertinentes, Entailment, the Logic of Relevance and Necessity, d'Anderson et Belnap. Cette question en ouvre bien sûr d'autres, certaines inattendues, par exemple : y a-t-il une, ou plusieurs négations distinctes? Quelle est la portée des constructions sémantiques de structures de modèle? Et finalement, c'est la question du pluralisme logique qui est posée, à travers la multiplicité des systèmes où s'incarnent différentes idées de ce qu'est la relation de conséquence. La position soutenue par cet ouvrage est celle d'un pluralisme modéré, faisant droit à l'unité de la logique, que le point de vue structural permet de mettre électivement en lumière. (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.

Ramsey était‐il “deflationniste”? C'est douteux, à lire attentivement le manuscrit “On Truth”. La position de Ramsey a nénmoins quelque chose de curieux, comme Austin l'a fait remarquer: quel est l'intérêt d'éliminer le prédicat de vérité sile problème de la vérité n'est pas en même temps éliminé? En poursuivant ces remarques, je suggére, à titre d'expérience de pensée, de lire autrement les fameuses “équivalencesT”.

Ramsey était‐il “deflationniste”? C'est douteux, à lire attentivement le manuscrit “On Truth”. La position de Ramsey a nénmoins quelque chose de curieux, comme Austin l'a fait remarquer: quel est l'intérêt d'éliminer le prédicat de vérité sile problème de la vérité n'est pas en même temps éliminé? En poursuivant ces remarques, je suggére, à titre d'expérience de pensée, de lire autrement les fameuses “équivalencesT”.

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 (...) les deux disciplines au cours du XXe siecle. La premiere partie, consacree a la notion de categorie semantique et/ou syntaxique, raconte comment les theories a priori de la signification (Husserl, Frege, Russell) ont progressivement donne lieu au programme des grammaires categorielles, d'inspiration plus descriptive et empirique. La deuxieme partie traite d'un autre episode, datant des annees cinquante a soixante-dix, et lie a la naissance des grammaires generatives: celui au cours duquel l'opposition entre la these avancee par Chomsky de l'autonomie de la syntaxe, et l'idee de la priorite conceptuelle de la semantique, soutenue par des logiciens comme Montague, vient au premier plan. Enfin la troisieme partie traite des recherches tout a fait contemporaines concernant l'etude des expressions indefinies et des relations anaphoriques qu'elles soutiennent, theme ou se dessinent des convergences nouvelles entre l'analyse logique et l'analyse linguistique: la comprehension des rapports entre generalite et reference dans les langages naturels y gagnera certainement en finesse et en adequation empirique. (shrink)

[The existence of logical objects according to Frege].

Un trait du langage qui menace de saper la sûreté de la pensée est sa tendance à former des noms propres auxquels aucun objet ne correspond. [...] Un exemple particulièrement remarquable de cela est la formation d’un nom propre selon le schéma «l’extension du concept a», par exemple «l’extension du concept étoile». À cause de l’article défini, cette expression semble désigner un objet; mais il n’y a aucun objet pour lequel cette expression pour-rait être une désignation appropriée. De là les (...) paradoxes de la théorie des ensembles, qui ont porté un coup mortel à la théorie des ensembles elle-même. J’étais moi-même sous cette illusion quand afin de fournir une fondation logique aux nombres, j’ai tenté de construire les nombres comme des ensembles. (shrink)

[Some notes on the Emergence of the Problem of Belief in the Philosophy of Mind].

Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d’accès, et son ambition, puisqu’on y trouve notamment une démonstration de la complétude d’un certain système déductif S1 pour la logique classique des prédicats, ainsi qu’une version synoptique du théorème de Gödel, selon lequel toute théorie du premier ordre complète axiomatisable est décidable, d’où il s’ensuit que l’arithmétique, c’est-à-dire l’ensemble des énoncés du premier ordre vrais dans, n’est pas axiomatisable; ce qu’on exprime souvent (...) en disant que tout système formel pour l’arithmétique est incomplet, au sens où il y a des énoncés vrais qui ne sont pas des théorèmes du système. (shrink)

Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d’accès, et son ambition, puisqu’on y trouve notamment une démonstration de la complétude d’un certain système déductif S1 pour la logique classique des prédicats, ainsi qu’une version synoptique du théorème de Gödel, selon lequel toute théorie du premier ordre complète axiomatisable est décidable, d’où il s’ensuit que l’arithmétique, c’est-à-dire l’ensemble des énoncés du premier ordre vrais dans, n’est pas axiomatisable; ce qu’on exprime souvent (...) en disant que tout système formel pour l’arithmétique est incomplet, au sens où il y a des énoncés vrais qui ne sont pas des théorèmes du système. (shrink)

Parmi les travaux contemporains en sémantique du langage ordinaire, le "programme de Davidson " se distingue par sa portée philosophique : la théorie de la vérité que propose Davidson à titre de cadre sémantique s'épanouit en effet en une véritable philosophie du langage, connue sous le nom d'interprétation radicale. Cet ouvrage tente une évaluation critique du programme de Davidson, à partir d'une question à la fois historique et conceptuelle : quels ont les rapports entre le projet d'une théorie de la (...) vérité "à la Tarski ", et celui d'une sémantique formelle du langage ordinaire? (shrink)

Cet article se propose de dissiper certaines confusions, d'ordre à la fois conceptuel et historique, qui continuent d'entourer l'œuvre de Tarski sur la vérité. Dans la première partie, j'examine deux interprétations philosophiques tout à fait opposées de la conception sémantique du vrai. Dans la seconde partie, je me propose de montrer l'incompatibilité entre ce que Tarski avait en vue — établir les conditions d'un usage cohérent du concept de vérité —, et le projet des sémantiques véri-conditionnelles, qu'il s'agisse de celui (...) de Carnap ou de celui de Davidson. This paper aims at explaining various confusions, of both conceptual and historical sorts, that continue to surround the work of Tarski on truth. In the first part, I discuss two opposite philosophical interpretations of the semantic conception of truth. In the second part of the paper, I turn to the very incompatibility between Tarski's own concern, — to lay down conditions for a consistent use of the concept of truth, and the project of truth-conditional semantics, both the project of Carnap and the prospect for a theory of truth à la Davidson. (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 × 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.