Article
Licensed
Unlicensed
Requires Authentication
Das mehrsortige axiomatische System MS
-
Alexander Zimmermann
Published/Copyright:
November 13, 2014
Summary
In this article we define in an exact and clear way a many-sorted axiomatical first-order system with identity and we prove its weak consistency and weak completeness. In e.g. Wang (1952) and Oberschelp (1962), the necessary definitions and proofs are often only sketched. In this article we intend to present a complete demonstration of each result. Thus we will set out each proof in a systematic way, stating all necessary definitions and lemmata. The base of our system is the axiomatical system in Mates (1972), pp. 215ff, but we do without propositional constants and propositional variables.
Online erschienen: 2014-11-13
Erschienen im Druck: 2008-12-1
© 2014 by Walter de Gruyter Berlin/Boston
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Titelei
- Iota und Lambda, Sprache und Theorie. Antworten auf Einwände von Sebastian Paasch
- Das mehrsortige axiomatische System MS
- Time and Invariance
- Wieviele moralische Wahrheiten gibt es?
- Hamblins zweites Fragen-Postulat aus inferentialistischer Sicht
- Einstein und die Wissenschaftslehre
Articles in the same Issue
- Titelei
- Iota und Lambda, Sprache und Theorie. Antworten auf Einwände von Sebastian Paasch
- Das mehrsortige axiomatische System MS
- Time and Invariance
- Wieviele moralische Wahrheiten gibt es?
- Hamblins zweites Fragen-Postulat aus inferentialistischer Sicht
- Einstein und die Wissenschaftslehre
