Wolfgang Stegmüller

Œuvres (4)

Couverture : Selbstreferenz. Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Selbstreferenz. Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

1983
Couverture : Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schliessen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schliessen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

1983
Couverture : Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische ... Unvollständigkeit und Unentscheidbarkeit

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische ... Unvollständigkeit und Unentscheidbarkeit

1983
Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. 1, Erklärung, Begründung, Kausalität (2. Aufl.)

Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. 1, Erklärung, Begründung, Kausalität (2. Aufl.)

1983