Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit.

DOI10.2307/2266445MaRDI QIDQ2590243zbMATH OpenOpenAlexFDO

Authors Andrzej Mostowski

Publication date 1939

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

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

Review text

Im Anschluß an die vorhergehende Arbeit von \textit{Tarski} bemerkt Verf., daß eine Aussagenmenge \(E\) in bezug auf eine Definition inhaltlich widerspruchsfrei sein kann, ohne diese Eigenschaft in bezug auf eine andere Definition zu haben. Er beweist die beiden Sätze: (1) Enthält \(E\) alle Formeln des Aussagenkalküls und ist \(E\) in bezug auf die Abtrennungsregel abgeschlossen, so ist sie dann und nur dann inhaltlich widerspruchsfrei, wenn sie ausschließlich aus wahren Aussagen besteht. (2) Für jede widerspruchsfreie und rekursive Aussagenmenge \(E\) gibt es eine Definition, in bezug auf welche \(E\) inhaltlich widerspruchsfrei ist.

This page was built for publication: Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit.

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