Advertisement

Modèles à Variables de Différentes Sortes Pour les Logiques Modales M″ ou S 5

  • Robert Feys
Chapter
Part of the Synthese Library book series (SYLI, volume 3)

Résumé

0.1 La logique modale a été recréée à notre époque, à l’occasion de certains ‘paradoxes’ de l’implication matérielle, que Lewis entendait éliminer. Mais sa logique modale offre à son tour quelque chose de paradoxal: ses interprétations ont quelque chose d’essentiellement instable; elles paraissent se dérober lorsque’on tente de les fixer catégoriquement. En logique modale l’affirmation simple ‘il pleut’ se situe dans un présent ambigu; l’affirmation ‘il pleuvait hier’ semble affirmer la vérité présente d’une réalité passée, et on ne sait si ‘l’étoile du matin’ et ‘l’étoile du soir’ doivent être effectivement distinguées. Ces difficultés d’interprétation semblent annoncer ce que nous appelerions des antinomies structurelles, l’impossibilité de formuler des règles cohérentes de structure.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. Barcan, R. — (FSI) A Functional Calculus od First Order Based on Strict Implication. JSL. XI (1946). (IIS) The Identity of Individuals in a Strict Functional Calculus of the Second order. JSL X II (1947).Google Scholar
  2. Bayart, A. — (CLM) La correction de la logique modale de premier et second Ordre S5. Logique et Analyse I (1958). (QAM) Quasi-adéquation de la logique modale de second ordre S5 et adéquation de la logique modale de premier ordre S5. Ibid I I 1959 ).Google Scholar
  3. Carnap, R. — ( M Ne) Meaning and Necessity. Chicago, 1947.Google Scholar
  4. Church, A. — (ATT) A Formulation of the Simple Theory of Types - JSL V (1940).Google Scholar
  5. Feys, R. — (LNM) Les Logiques nouvelles des modalités. Rev. Phil. Louvain 40, 41 (1937-1938). (FMA) Les systèmes formalisés des modalités aristotéliciennes. Ibid. 48 (1950).Google Scholar
  6. Lewis, C. I. and Langford, C. H. — ( SyL) Symbolic Logic. New York, 1932.Google Scholar
  7. Prior, A. N. — ( FoL) — Formal Logic. Oxford, 1955.Google Scholar
  8. Von Wright, G. H. — ( EML) An Essay in Modal Logic. Amsterdam, 1951.Google Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, The Netherlands 1961

Authors and Affiliations

  • Robert Feys
    • 1
  1. 1.Université de LouvainBelgium

Personalised recommendations