Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Lorenzen, Paul
 
Bücher bei Amazon
Kalkül Thiel I 216
Ein "vollformalisierter" Kalkül für die Arithmetik bei Lorenzen 1962 besteht aus 75 Regeln, darunter solchen mit 7 Prämissen.
I 217
Wir können solche Regelsysteme "linearisieren": d.h. grundlegende Regeln ohne Prämissen einführen, dann aufsteigend fortsetzen.
I 219
Ideal ist das lückenlose syntaktische Erfassen von Beweisen.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995

> Gegenargumente gegen Lorenzen



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