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”.

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)

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)