Untersuchungen zur allgemeinen Axiomatik from 1928 as a "large-scale project to reconcile axiomatic definitions with logicism, and transform implicit into explicit definitions." (ibid., 29) It is argued that Carnap's central idea was to balance a Fregean (or Russellian) foundational stance with the modern model-theoretic viewpoint introduced in Hilbert's Grundlagen der Geometrie (see (Reck 2004)). It was also shown in recent literature that Carnap's attempt to provide a logicist reconstruction of axiomatics is limited in several ways.2 No closer attention, however, has so far been dedicated to some of the details of his proposed reconciliation." /> Carnap's Untersuchungen - Schiemer Georg | sdvig press

Carnap's Untersuchungen

logicism, formal axiomatics, and metatheory

Georg Schiemer

pp. 13-36


This document is unfortunately not available for download at the moment.

Not implemented yet !