Havas Katalin, G.: Arisztotelésztől napjainkig. Logika vagy logikák? (Budapest, 2001)

Tartalom

A MODERN LOGIKA KIALAKULÁSA ........................................................................66 Negyedik előadás..................................................................................................66 Hagyományos logika, modem logika .......................................................66 Ellentmondó tudományos rendszerek? .....................................................67 Klasszikus logikai kalkulusok ................................................... 69 „Új világ”....................................................................................................70 A HALMAZOK LOGIKÁJA ..........................................................................................73 Negyedik szeminárium........................................................................................73 Válasz István kérdésére ..............................................................................73 A halmazok ................................................................................................78 Egyszerű kijelentések formalizálása a halmazok logikájában..................80 A szillogizmusok halmazelméleti igazolásáról.........................................83 Feladatok .....................................................................................................87 A KIJELENTÉSEK LOGIKÁJA ....................................................................................89 Ötödik előadás.......................................................................................................89 Az összetett kijelentések fajtái....................................................................90 Az egy kijelentésből képezhető összetett kijelentések .............................90 A két és a kettőnél több kijelentésből képzett összetett kijelentések ... 92 Következtetések érvényességének igazolása...........................................100 Ötödik szeminárium ........................................................................................106 A következményfogalomról......................................................................106 Az áramkörök logikája..............................................................................109 A RELÁCIÓK LOGIKÁJA.............................................................................................117 Hatodik előadás (első rész) ..............................................................................117 Relációk .....................................................................................................118 A relációk néhány sajátossága..................................................................120 A PREDIKÁTUMOK LOGIKÁJA ÉS AZ ELDÖNTÉSPROBLÉMA.........................124 Hatodik előadás (második rész) ......................................................................124 Kijelentések formalizálása a predikátumkalkulusban.............................124 Néhány kifejezési azonosság....................................................................128 Lefordíthatók-e a szillogizmusok a predikátumkalkulus nyelvére? ... 129 Az eldöntésprobléma................................................................................129 K. Gödel tétele ..........................................................................................130 ÚTRA VALÓ ...................................................................................................................133 TÁRGYMUTATÓ...........................................................................................................135 IDÉZETT MŰVEK JEGYZÉKE ..................................................................................139

Next