Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten

[englisch]

Inhaltliche Beanstandungen

Begriff/Autor

Richtig: Jahr / Ort / Seite

/ /

Richtigstellung
(max 500 Zeichen)

Einsender*

oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*

Bitte Captcha Code hier eingeben

Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

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.
>Einführung, >Prämissen, >Systeme, >Regelsysteme.
I 219
Ideal ist das lückenlose syntaktische Erfassen von Beweisen.
>Beweis, >Beweisbarkeit, vgl. >Vollständigkeit.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.