@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024},
author = {Lukasiewicz,Jan},
subject = {Truth Functions},
note = {Berka I 142
Truth Functions/Statement Calculus/Bivalence/Functor/Lukasiewicz: in a bivalent system only four different functions can be formed with one argument - namely, if φ forms a functor with one argument, then the following cases can occur:
(1) φ0 = 0 and φ1 = 0 ( "Fp" falsum, wrong)
(2) φ0 = 0 and φ1 = 1 (φp is equivalent to p)
(3) φ0 = 1 and φ1 0 = : (Negation)
(4) φ0 = 1 and φ1 = 1: "Vp" (verum, true).
Possibility/N.B.: the "Mp" must be identical to one of these four cases.
>Functors, >Functions, >Truth values.
Problem: each of the theses (1), (2), and (18) now excludes certain cases.(1)
(1) CNMpNp
(2) CNpNMp.
(18) N∏pNKMpMNp
>Possibility, >Necessity.
1. J. Lukasiewicz, Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls, CR Varsovie Cl. III, 23, 51-77},
note = {
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 },
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=439730}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=439730}
}