Přirozená dedukce vs. sémantická tabla …:

Prirodzená dedukcia, či analytické tably?

Mgr. Igor SEDLÁR, Ph.D.
Kat. logiky a met. vied, FiF UK, Bratislava
sedlar@fphil.uniba.sk



Abstrakt

V prvej časti príspevku upozorním na niektoré nedostatky systému prirodzenej dedukcie, ktorý tvorí súčasť populárnych učebníc Logika pre každého (F. Gahér) a Základy logiky pre spoločenskovedné a humanitné odbory (M. Zouhar). Nedostatky sa týkajú najmä prvorádovej verzie systému. V druhej časti predostriem niekoľko alternatív. Prvou je systém prirodzenej dedukcie založený na parametroch a druhou je systém analytických tabiel. Ponúknem niekoľko argumentov v prospech tvrdenia, že druhá alternatíva je prijateľnejšia.

Prezentace

Článek ve sborníku