LECTORIUM CALCULEMUS


Witold Marciszewski
L O G I K A
2003/2004, drugi semestr

Metoda Tabel Analitycznych


"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].

Do początku strony