"Logika współczesna wyskakuje [jak Minerwa z
głowy Zeusa] z genialnej głowy Gottloba Fregego [portret obok]. W roku 1879
Frege wydaje rozprawę pt. Begriffsschrift[...], w której logika
przedstawiona jest po raz pierwszy jako system dedukcyjny."
(Jan Łukasiewicz, "Zur Geschichte der Aussagenlogik",
Erkenntnis V, 1935, zeszyt 2; przekład własny Jana Łukasiewicza).
Rozpoczęta w tym punkcie ewolucja logiki doprowadziła do systemu TABEL
ANALITYCZNYCH (1955, nowa postać 1968 etc). Nad systemami w stylu Fregego
góruje on zdolnością rozpoznawania także przypadków negatywnych (tj. gdy
formuła nie jest tautologią) oraz algorytmicznością postępowania,
sterowanego ANALIZĄ syntaktyczną badanej formuły (stąd nazwa "analityczne";
słowo "tabele" nawiązuje do rozgałęzień wnioskowania, przypominających
dwuwymiarowość tabeli). Cechy te czynią go efektywniejszym, a zarazem
nieporównanie łatwiejszym dla ludzi i dla komputerów.
Zestaw reguł systemu Tabel Analitycznych (TA).
O doniosłości i aktualności metody tabel
analitycznych.
Krótkie omówienie tomu Handbook of Tableaux
Method.
Analizy logiczne sławnych rozumowań
Rozumowanie św. Augustyna o wierze i
sprawiedliwości.
Rozumowanie La Mettrie'ego o religijności
i uczciwości.
Rozumowanie Kanta o interwencji w sprawy innego
państwa.
Rozumowanie matrymonialne Telimeny.
Rozumowanie matrymonialne Telimeny - wariant
B.
Spośród wariantów pomyślanych jako materiał do ćwiczeń zawartych w tekście
poprzednim wybrano jeden, nazwany B, do wzorcowego opracowania.
Rozumowanie Herodota o przyczynie wylewów
Nilu [w przygotowaniu].
LECTORIUM