Hostname: page-component-586b7cd67f-t7czq Total loading time: 0 Render date: 2024-11-28T17:58:30.678Z Has data issue: false hasContentIssue false
  • English
  • Français

Schémas pour le calcul des propositions fondé sur la conjonction et la négation

Published online by Cambridge University Press:  12 March 2014

Jean Porte
Jean Porte*
Affiliation:
Centre National de la Recherche Scientifique, Paris
Get access Rights & Permissions [Opens in a new window]

Extract

On sait que la conjonction et la négation constituent un système de connecteurs suffisant pour formuler le calcul des propositions classiques. Un certain intêrêt s'attache à ces formulations par suite des faits suivants: – les thèses du calcul intuitioniste qui ne comprennent pas d'autres connecteurs que la conjonction et la négation sont identiques aux thèses classiques;

– Lewis ayant formulé ses calculs modaux en prenant la conjonction, la négation et la possibilité comme connecteurs primitifs (voir Lewis-Langford 1932, ch. VI) et ayant été suivi par beaucoup de chercheurs s'occupant de modalités, le calcul classique fondé sur la conjonction et la négation est contenu dans la plupart des systèmes modaux que l'on trouve dans la littérature.

Un système logistique pour le calcul classique fondé sur la conjonction et la négation a été étudié par Rosser (voir Rosser 1953, ch. 4; aussi Copi 1954, ch. 7).

Dans cet article je vais définir cinq autres systèmes logistiques fondés sur les mêmes connecteurs, démontrer leur suffisance (en utilisant les résultats publiés de Rosser et de Copi), et — sauf un cas — démontrer l'indépendance des axiomes de chacun de ces systèmes.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 23 , Issue 4 , December 1958 , pp. 421 - 431
Copyright
Copyright © Association for Symbolic Logic 1958

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Church, Alonzo, Introduction to mathematical logic, vol. I, Princeton, 1956.Google Scholar
Copi, Irving M., Symbolic logic, New York, 1954.Google Scholar
Curry, Haskell B., Leçons de logique algébrique, Paris, 1952.Google Scholar
Lewis, C. I. and Langford, C. H., Symbolic logic, New York, 1942.Google Scholar
Łukasiewicz, Jan und Tarski, Alfred, Untersuchungen über den Aussagenkalkül, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, vol. 23 (1930) classe II, pp. 30–50.Google Scholar
Rosser, J. B., Logic for mathematicians, New York, 1953.Google Scholar
Sobociński, Bolełsaw, Axiomatization of a conjunctive-negative calculus of propositions, Journal of computing systems, vol. I (1954), pp. 229–242.Google Scholar