Two valued logic.
Die Logik wird vom Verf. als die Lehre von logischen ``Werten aufgefaßt, als welche er zunächst die ``Wahrheit und ``Unwahrheit gelten läßt. Diese Werte, welche mit l bzw. mit 0 bezeichnet werden, sind die einzigen Objekte, mit welchen die Logik zu tun hat. Die so gedachte ``zweiwertige Logik ist als Einführung in eine viel allgemeinere Lehre zu betrachten, welche ``dreiwertige Logik genannt wird und welche in einem umfassenden Werke vom Verf. bearbeitet werden soll. Die ``zweiwertige Logik ist hier zu einem symbolischen System ausgebaut worden, wobei die Boole-Schrödersche Schreibweise als Grundlage benutzt wurde. Als Fundamentalbegriffe gelten neben den erwähnten Objekten 0, 1, das Implikationszeichen \(<\), die Bejahungs- und Verneinungszeichen \(U\), \(N\) und zwei Quantifikatore \(\varPi_p\), \(\varSigma_p\). Es ist hervorzuheben, daß die Verfahrungsregeln von den Axiomen streng geteilt sind. Wir haben im ganzen 4 Verfahrungsregeln und 18 Axiome. Wirkliche Veränderliche werden überhaupt nicht verwendet. Die hier benutzte Methode scheint mir schon deswegen bemerkenswert zu sein, weil sie den Extensionssatz ohne weiteres zu gewinnen erlaubt, wenn man den Begriff der Urteilsfunktion in das System einführt.
- Uniformization and skolem functions in the class of trees
- Towards a polarized semantics for assertion and denial
- Jan Łukasiewicz's program of the logicization of philosophy: its genesis, content and realizations
- Strong and weak hypotheses
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
This page was built for publication: Two valued logic.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1463942)
