Elimination of extra-logical postulates.

DOI10.2307/2266863MaRDI QIDQ2589530zbMATH OpenOpenAlexFDO

Authors W. V. Quine, Nelson Goodman

Publication date 1940

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

Review text

Verf. betrachten Systeme, die außer dem Mechanismus der Logik gewisse außerlogische Konstante und zugehörige Axiome enthalten. Unter Umständen lassen sich dann die vorkommenden Konstanten so mit Hilfe von anderen, neu einzuführenden Konstanten der gleichen Art definieren, daß die ersten die gleiche inhaltliche Bedeutung wie vorher haben, während die zugehörigen Axiome jetzt in logische Identitäten übergehen, ohne daß für die neuen Konstanten Axiome erforderlich sind. Als Bedingung für die Ausführbarkeit dieser Elimination der Axiome wird die Existenz eines logischen Modells für das Axiomensystem gefunden.

This page was built for publication: Elimination of extra-logical postulates.

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