@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 19 Mar 2024},
author = {Lorenzen,Paul},
subject = {Vollständigkeit},
note = {Berka I 187
Vollständigkeit/intuitionistischer Prädikatenkalkül/Berka: Die Vollständigkeit hinsichtlich der Semantiken von Kripke und Lorenzen ist mehrfach bewiesen worden, aber immer mit klassischen Mitteln.
vgl. >Kripke-Semantik.
Einen intuitionistischen Vollständigkeits-Beweis hat man noch nicht gefunden. Im Gegenteil. Kreisel (1962)(1) bewies, dass intuitionistisch aus der intuitionistischen Church-These die Unvollständigkeit des intuitionistischen Prädikatenkalküls folgt.
>Church-These, >Intuitionismus, >Prädikatenkalkül.
1. G. Kreisel. On Weak Completeness of Intuitionistic Predicate Logic. J.Symbolic Logic Volume 27, Issue 2 (1962), 139-158.},
note = {Paul Lorenzen
Berka I
P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200; nachgedruckt in: Karel Berka/L. Kreiser Logik Texte Berlin 1983
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 },
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=912400}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=912400}
}