Moderná logika

Více o knize

Prohlédnout ukázkuUkázka

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é

Číst víc

Naše katalogové číslo

116984

Počet stran

166

Vazba

pevná vazba

Rozměr

150×210 mm

Hmotnost

335 g

ISBN

9788089256686

Rok vydání

2011

Jazyk

slovenština

Nakladatel

IRIS

Kategorizace

• Knihy
• Odborné a naučné
• Humanitní a společenské vědy
• Filozofie

Našli jste chybu nebo škodlivý obsah? Dejte nám, prosím, vědět!

Nahlásit chybu nebo škodlivý obsah

Máte o knize více informací než je na této stránce nebo jste našli chybu? Budeme vám velmi vděční, když nám pomůžete s doplněním informací na našich stránkách.

Hodnocení

Jak se líbila kniha vám?

Přidat recenzi

Čtenářské recenze

Vladimír Kvasnická

Ověřený 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. Číst víc

---