Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Lorenzen, Paul
 
Bücher bei Amazon
Intuitionismus P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983

Berka I 269
Intuitionistische/klassische Logik/Lorenzen: hat man die intuitionistische Logik auf diese Weise konstruktiv gerechtfertigt, so ist die Interpretation der klass. Logik z.B. vermittels der Elimination von v, >, Allquantifikation kein Problem mehr.
Quantifikation: aber natürlich ist die Verwendung von Quantoren an die Bedingung gebunden, dass die Behauptungen, ein Element gehöre zum Bereich einer quantifizierten Variablen, schon vorher einen dialogisch definiten Sinn habe.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Lorenzen
> Gegenargumente zu Intuitionismus



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 30.03.2017