Formal logic in finite terms

DOI10.2307/1968200MaRDI QIDQ1565178zbMATH OpenOpenAlexWikidataFDO

Authors Alfred L. Foster

Publication date 1931

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1968200

zbMATH Keywords

formal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Review text

Den Hauptgegenstand der vorstehenden Abhandlung bilden die Grundlagen des Formalismus. Der Verf. ermittelt und diskutiert ein finites Modell, von dem die klassische formale Logik eine partielle Realisation bildet. Er bemüht sich (dahin faßt er seine Ausführungen zusammen), die gesamte ,,Sprache der mathematischen Logik als ein widerspruchsfreies deduktives System aufzubauen, ohne den Boden des Finiten zu verlassen. Er glaubt zeigen zu können, daß von trivialen Fällen abgesehen die Behauptung gilt: In einer Mathematik, die auf dem Satz vom ausgeschlossenen Dritten beruht und streng deduktiv vorgeht, ist der reine Existentialsatz \((Ez)F(x)\) in dem Sinne leer, daß nichts aus ihm gefolgert werden kann.

Cited in

(3)

• Finite sum-product logic
• scientific article; zbMATH DE number 988311 (Why is no real title available?)
• scientific article; zbMATH DE number 3074845 (Why is no real title available?)

This page was built for publication: Formal logic in finite terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1565178)