Prototetyka

Prototetyka – jeden z systemów Stanisława Leśniewskiego, będący podstawą dla pozostałych. Jest uogólnionym rachunkiem zdań, a więc rachunkiem zdań z kwantyfikatorami wiążącymi zmienne zdaniowe, funktory zdaniotwórcze od argumentów zdaniowych, funktory od argumentów funktorowych od argumentów zdaniowych itd.^[1]

Najkrótszy znany aksjomat prototetyki został podany przez Bolesława Sobocińskiego^[2]:

∀ p,q: (p ↔ q) ↔ (∀ f: f(p f(p ∀ u: u)) ↔ ∀ r: f(qr) ↔ (q ↔ p))

Przypisy edytuj

↑ Jan Woleński: Filozoficzna szkoła lwowsko-warszawska. Warszawa: Państwowe Wydawnictwo Naukowe, 1985, s. 144. ISBN 83-01-05334-8.
↑ Bolesław Sobociński. On the single axioms of the protothetic. I.. „Notre Dame Journal of Formal Logic”. 1 (1-2), s. 52-73, 1960-01-01. DOI: 10.1305/ndjfl/1093956428. ISSN 0029-4527. [dostęp 2015-08-24].