scientific article; zbMATH DE number 1515261
Carnap never completed his investigations on general axiomatics which grew to a typescript of 105 pages now stored in the Archives for Scientific Philosophy, University of Pittsburgh Libraries. In the meritorious edition under review the typescript is published in the state as it was in the first half of 1929 when Carnap stopped working on it. The edition is supplemented by a valuable introduction by the editors (pp.\ 1-52) providing a summary of Carnap's text together with detailed information on its context. Readers will obtain a vivid picture of the state of research in logic and the foundations of mathematics in the pre-Gödelian period being heavily influenced by \textit{David Hilbert} and \textit{Wilhelm Ackermann}'s ``Grundzüge der theoretischen Logik [Berlin, Julius Springer (1928; JFM 54.0055.01)]. Logical research at that time aimed at formulating logical formal systems as suitable tools for proof theory which was itself needed for providing consistency proofs for axiomatic systems. The edition covers a first part with three sections. Carnap's plan for a second part with another three sections is documented by Carnap's working agenda (pp.\ 153-155). Carnap proposed a strict logicism maintaining the identity of logic and mathematics which he applied to a Hilbert style theory of axiomatic systems. According to the agenda set by Hilbert and Ackermann the completeness of axiomatized theories stood in the focus of Carnap's interest. He especially developed a theory of forking: an axiom system is forkable if there is a proposition \(S\), such that \(S\) or \(\neg S\) can be added to the axioms without contradiction, i.e. \(S\) and \(\neg S\) are independent from the axiom system. This forking theory is applied to model theory, especially to the isomorphism of models, and to the decidability problem.
- Carnap on extremal axioms, ``completeness of the models, and categoricity
- Carnap's early metatheory: scope and limits
- Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
- Carnap's work in the foundations of logic and mathematics in a historical perspective
- The role of universal language in the early work of Carnap and Tarski
- Carnapian and Tarskian semantics
- Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
- Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
- Carnap's early semantics
- Submodels in Carnap's early axiomatics revisited
- Carnap on extremal axioms, ``completeness of the models, and categoricity
- Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
- Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
- Kurt Gödel and the logic of concepts
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507804)
