Moderná logika

Viac o knihe

Pozrieť ukážkuUkážka

Táto kniha pojednáva o modernej logike. Jej predmete, metódach a problémoch. Dodajme, že nie o všetkých, iba o tých základných. Nájdeme len ozaj málo vedných disciplín, ktoré sa od konca 19. storočia až podnes rozvíjali takým tempom a v takom zábere, ako práve moderná logika.

Svätoslav Mathé

Čítať viac

Naše katalógové číslo

116984

Počet strán

166

Väzba

pevná väzba

Rozmer

150×210 mm

Hmotnosť

335 g

ISBN

9788089256686

Rok vydania

2011

Jazyk

slovenčina

Vydavateľstvo

IRIS

Kategorizácia

• Knihy
• Odborné a náučné
• Humanitné a spoločenské vedy
• Filozofia

Našli ste chybu alebo škodlivý obsah? Dajte nám, prosím, vedieť!

Nahlásiť chybu alebo škodlivý obsah

Máte o knihe viac informácií ako je na tejto stránke alebo ste našli chybu? Budeme vám veľmi vďační, ak nám pomôžete s doplnením informácií na našich stránkach.

Hodnotenia

Ako sa páčila kniha vám?

Pridať recenziu

Recenzie čitateľov

Vladimír Kvasnická

Overený nákup

4.1.2012

Názor čitateľa

Táto kniha je určite kuriozitou na našom knižnom trhu, ktorá vyšla 22 rokov po páde komunistického režimu u nás. Mám k nej tieto tri pripomienky:
(1) Za autora je označený Svätoslav Mathé, podobné meno sa v súčasnosti vyskytuje aj na politologických a historických knihách vydávaných Maticou Slovenskou. Je to absurdná predstava, aby tento autor publikoval knihu o logike, ktorá je až neobvykle tesne naviazaná na slovenský preklad známej knihy Raymonda M. Smullyana: First-order logic, ktorá vyšla v r. 1968 v Springer Verlag. Ako prekladateľ je označený S. Mathé.. Nechápem, aký zmysel má má v súčasnosti táto konšpirácia?
(2) Všeobecný a existenčný kvantifikátor sú označené symbolmi A resp. E. Toto hádam už dnes nemá miesto v tlači vedeckých publikácií, v dobe existencie pokročilých textových editorov a laserových tlačiarní, to na mňa pôsobí až pitoreskne a smiešne.
(3) V kapitole 2.1 je naznačené odvodenie sémantických tabiel, ktoré sú v knihe označované v zhode s prekladom Smullyanovej knihy ako analytické tablá (v súčasnej, tak českej, ako aj slovenskej logike sa používa termín sémantické tablo). V zmienenej kapitole sa ad-hoc prezentuje rozklad formuly výrokovej logiky na stromovú štruktúru, ale prečo a načo sa to robí sa robí tak ako sa uvádza sa nevysvetľuje. Až na záver sa uvádza "veta", že ak táto stromová štruktúra zostrojená pre negáciu formuly má každú vetvu uzavretú (obsahujúcu dvojicu komplementárnych literálov), potom je formula tautológia. V tejto súvislosti mi chýba hlbšie odôvodnenie tohto faktu (založeného na skutočnosti, že každá formula môže byť pretransformovaná do tvaru ekvivalentnej DNF formuly, potom môžeme ľahko dokázať, že formula je kontradikcia, ak v jej DNF tvare, každá konjunktívna klauzula obsahuje dvojicu komplementárnych literárov). Tiež sa v tejto kapitole uvádza, že Gentzenova metóda prirodzenej dedukcie je ekvivalentná metóde sémantických tabiel. Žiaľ, táto skutočnosť nie je vôbec jednoduchá, je potrebné špecifikovať v čom spočíva ich vzájomná ekvivalentnosť (sú tam dva problémy, sémantické tablá dokazujú kontradikčnosť danej formuly, zatiaľ čo Gentzenova metóda tautologičnosť, a taktiež dôkaz podľa Gentzena je inverzné čítanie sémantického stromu).
Záverom, táto kniha je veľkou nevyužitou príležitosťou prezentovať modernú logiku pomocou moderných metód založených na sémantických tablách. Nie je mi jasné, pre koho je určená, snáď už len pre "historikov" našej slovenskej logiky. Čítať viac

---