PDC Homepage
Home » Products » Purchase

Roczniki Filozoficzne

Volume 1, 1948

Antoni Korcik
Pages 138-164

Gottlob Frege, auteur du premier systeme axiomatique de la logique des propositions contemporaines

Gottlob Frege (1848—1925), auteur du premier système axiomatique de la logique contemporaine des propositions marque une nouvelle époque dans l’histoire de la logique. Le système axiomatique de la logique des propositions, exposé par Frege dans l’ouvrage intitulé Begriffsschrift, eim der arithmetischen nach gebildete Formelsprache des reinen Denkens, Halle a. S., 1879, se fonde sur certaines thèses et règles de démonstration. Les thèses du système de Frege sont suivantes: un terme primitif ou indéfinissable (la négation), un terme secondaire ou définissable (l’implication), et neuf thèses fondamentales ou axiomes. Les règles de démonstration sont les suivantes: la règle de substitution et la règle d* inférence (au sens de modus ponens). C’est pour la première fois qu’une analyse fouillée de la Begriffsschrift est entreprise. A cette occasion, l’auteur, s’appuyant aussi sur les autres travaux de Frege, présente son idéographie dans la première phase de son évolution.

Usage and Metrics
PDC