.

0 (hodnocen0 x )

BK

1. vyd.

Praha : Svoboda, 1970

226 s.

Obsahuje bibliografii

Ucelený, souhrnný a soustavný výklad neklasických logik (intuicionistické, modálních, logik striktní implikace a více hodnotových) se pohybuje na jisté elementární úrovni a je orientován hlavně k problémům výrokové logiky, v jejíž sféře se právě vyznačené logické systémy navzájem liší. Autor je podrobuje kritickému hodnocení z hlediska kritéria logičnosti soustav a vyjasňuje vzájemné vztahy mezi nimi a klasickou logikou. Celá práce je cenným přínosem pro podrobnější poznání situace v moderní logice..

000067590

Předmluva 5 // I. Systémy výrokové logiky 11 // 1. Výroky a výrokové spojky 11 // 2. Axiomaticky založené výrokové systémy 16 // 3. Maticově založené výrokové systémy 24 // 4. Extenzionální a neextenzionální systémy 30 // II. Klasická výroková logika 35 // 1. Axiomatická a maticová konstrukce klasické výrokové logiky 35 // 2. Extenzionalita, dvouhodnotovost, funkční úplnost a syntaktická úplnost 38 // 3. Klasické formule s implikací a negací 44 // 4. Paradoxy implikace 48 // 5. Klasická konjunkce, disjunkce a ekvivalence 52 // 6. Poznámka o klasickém pojetí kvantifikátorů 57 // III. Intuicionistická logika 60 // 1. Východisko intuicionismu 60 // 2. Matematická tvrzení a interpretace logických termínů 67 3. Zákon vyloučeného třetího 72 // 4. Formální systém intuicionistické logiky 75 // 5. Větší bohatství termínů v intuicionistické matematice a logice 85 // 6. Přísnější systémy intuicionistického směru 87 // 7. Pokusy o interpretaci intuicionistické logiky 90 // IV. Modálni logiky a logiky striktní implikace // 1. Motivy vytvoření logiky striktní implikace 95 // 2. Logika striktní implikace 100 // 3. Systémy, S1—S5 110 // 4. Wrightova formulace modálních logik 113 // 5. Formulace se striktní implikací jako základním termínem 123 // 6. Ackermannův systém „přísné“ implikace 128 // 7. Churchův systém „slabé“ implikace 134 //

V. Vícehodnotové logiky 136 // 1. Motivy vzniku Lukasiewiczovy trojhodnotové logiky 136 // 2. Lukasiewiczova trojhodnotová logika 141 // 3. Axiomatizace trojhodnotové logiky. Systémy Wajsberga a Slupeckého 150 // 4. Vícehodnotové logiky 161 // 5. Otázka použitelnosti vícehodnotových logik 164 // VI. Neklasické logiky a princip tolerance 167 // 1. Princip tolerance 167 // 2. Kritérium logičnosti systémů 171 // 3. Existence více logických systémů 180 // 4. Lukasiewicz o konvencionalismu 185 // VII. Vztahy mezi klasickou logikou a neklasickými systémy. 189 // 1. Obsažení neklasických logik v logice klasické 189 // 2. Obsažení klasické logiky v neklasických systémech 195 // 3. Obsažení klasické logiky v logice intuicionistické 200 // 4. Obsažení klasické logiky v logice minimální a v Churchově systému 211 // 5. Obsažení klasické logiky v systému Ackermannově, Lewisových systémech a Lukasiewiczově trojhodnotové logice 213 // 6. Vztahy obsažení mezi klasickou logikou a vícehodnotovými logikami a mezi vícebodnotovými logikami navzájem 217 // VIII. Klasická logika a neklasické systémy 220 // Závěrečná poznámka 220 // Seznam citované literatury 224

(OCoLC)42164654

cnb000125928