@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} }