RésuméLa définition de la condition suspensive, telle qu’elle nous est donnée dans l’article 1181 du Code civil français, est aujourd’hui au centre de différents projets de réforme. Si aucun projet de réforme n’a réussi à emporter l’assentiment de tous les juristes, nombre d’entre eux semblent s’accorder sur la nécessité de réformer ce texte—inchangé depuis 1804. Pourquoi un tel consensus sur ce besoin de réécriture de la définition de la condition suspensive mène à une discussion doctrinale où deux positions principales s’opposent? (...) C’est à cette question que nous tâchons de répondre en traquant l’origine de cette scission dans la lettre même du texte dont nous analysons à la fois la structure logique et la signification des termes employés pour sa rédaction. Cette analyse nous permet de mettre en évidence la sémantique ambiguë du terme “incertain”, terme pour lequel nous proposons une analyse logique de sa signification que nous comparons ensuite à celle du terme “inconnu”. (shrink)

RésuméL'objectif principal de cet article est de clarifier le sens et l'extension du concept d'analyticité tel qu'il s'applique aux systèmes formels de la logique. L'enjeu plus général de cette étude est une évaluation ékthodologique des approches philosophiques axées sur la reconstruction formelle et l'analyse logique des langues naturelles. Nous avons d'abord soutenu que la reconstruction formelle de l'analyticitéélaborée par Rudolf Carnap dans Meaning and Necessity met en place des conditions correspondant aux propriétés éktalogiques de complétude déductive et (...) de néga‐complétude. A la lumère des théorèmes de complétude et d'incomplhde de Kurt Gödel, nous avons ensuite cherchéà déterminer dans quelle mesure et dans quelles circonstances ces propriétés pouvaient être réalisées dans des systèmes formels de la logique. Nous avons conch de cette étude, premièrement que la reconstruction carnapéenne de I'analyticité se butait à des contraintes inhérentes aux formalismes et ne pouvait par conséquent pas constituer une explication du concept d'analyticité, et deuxieèmement, que fort peu de systèmes formels étaient analytiques au sens oú Carnap I'entend et que peu d'entre eux, par conséquent, étaient susceptibles de représenter les conditions de l'analyticité que presuppose une analyse logique du langage. (shrink)

RésuméL'objectif principal de cet article est de clarifier le sens et l'extension du concept d'analyticité tel qu'il s'applique aux systèmes formels de la logique. L'enjeu plus général de cette étude est une évaluation ékthodologique des approches philosophiques axées sur la reconstruction formelle et l'analyse logique des langues naturelles. Nous avons d'abord soutenu que la reconstruction formelle de l'analyticitéélaborée par Rudolf Carnap dans Meaning and Necessity met en place des conditions correspondant aux propriétés éktalogiques de complétude déductive et (...) de néga‐complétude. A la lumère des théorèmes de complétude et d'incomplhde de Kurt Gödel, nous avons ensuite cherchéà déterminer dans quelle mesure et dans quelles circonstances ces propriétés pouvaient être réalisées dans des systèmes formels de la logique. Nous avons conch de cette étude, premièrement que la reconstruction carnapéenne de I'analyticité se butait à des contraintes inhérentes aux formalismes et ne pouvait par conséquent pas constituer une explication du concept d'analyticité, et deuxieèmement, que fort peu de systèmes formels étaient analytiques au sens oú Carnap I'entend et que peu d'entre eux, par conséquent, étaient susceptibles de représenter les conditions de l'analyticité que presuppose une analyse logique du langage. (shrink)

A logical theory of oppositions deals with the relation between propositions and their truth values. On the basis of a formal semantics that proceeds by means of questions-answers, three theses are claimed in the following: (1) the concept of opposition usually refers to incompatibility, but our logical analysis focusses upon a broader relation of difference; (2) more generally, opposition has to do with negativity; our semantics accounts for it through opposite-forming operators; (3) subalternation is a particular case of non-contradiction expressing (...) an “opposition of an opposition”; it is not a proper opposition, accordingly, but its very meaning depends upon the latter. There is not only one but rather a number of expressions for negativity and the paper presents a detailed analysis of these "floating" expressions in a twofold sense of the word: floating quantification is closely related to the logical operations of sentential negation and denial; to what extent natural languages do not clearly express the meaning of a negative thought will be exemplified. L'objectif du texte qui suit est double : non seulement proposer une analyse logique du concept d'opposition, susceptible d'apporter de la précision à cette notion tout aussi vague que courante ; mais aussi, proposer une explication des différentes façons dont la négation se manifeste dans les langues naturelles, en particulier dans notre modèle local de la langue française. Tandis que la communauté des linguistes propose couramment une distinction entre une négation logique et une négation linguistique, l'article qui suit a la prétention d'une explication unifiée de la négation, c'est-à-dire un cadre théorique commun dans lequel ces deux aspects de l'opérateur de négation apparaissent comme des cas particuliers aux significations distinctes. Il n'y aurait donc pas une négation logique, d'un côté, et une négation linguistique ou "métalinguistique", de l'autre. Une approche structurelle des expressions négatives devrait apporter un éclairage sur ce point, par le biais d'une analyse algébrique de la signification en termes de questions-réponses. Mais revenons pour commencer sur l'origine philosophique du concept d'opposition, avant d'en exposer les propriétés logiques par la suite et les expressions linguistiques pour conclure. (shrink)