@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} }