Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Theory of Effective Propositional Paraconsistent Logics
Azda najkontraintuitívnejšou vlastnosťou klasickej logiky (ako aj jej najznámejšieho konkurenta, intuicionistickej logiky) je skutočnosť, že umožňuje odvodiť ľubovoľnú propozíciu z jedinej dvojice protichodných výrokov. Veľa práce a úsilia sa v priebehu rokov venovalo vývoju alternatív ku klasickej logike, ktoré by nemali túto nevýhodu. Tieto alternatívy sa dnes nazývajú "parakonzistentné systémy" a príslušná oblasť výskumu --- parakonzistentné uvažovanie.
Cieľom tejto knihy je poskytnúť komplexnú metodologickú prezentáciu bohatej matematickej teórie, ktorá v súčasnosti existuje a týka sa najviac.
Základná časť parakonzistentného usudzovania: výrokové (monotónne) logiky. Spomedzi týchto logík sa zameriava najmä na tie, ktoré sú efektívne.
(v tom zmysle, že sú rozhodnuteľné, majú konkrétnu sémantiku a možno ich vybaviť implementovateľnými analytickými dôkazovými systémami).
V prvej časti knihy sú po preštudovaní všetkých potrebných úvodov presne definované všetky základné pojmy, ktoré súvisia s parakonzistenciou. V ďalších častiach sú podrobne opísané všetky hlavné prístupy k tejto téme. Patrí sem sémantika konečných hodnôt (funkcionálna aj nedeterministická)
logiku formálnej nekonzistentnosti.
Relevantné logiky.
Konštruktívne parakonzistentné logiky, ktoré sú založené na pozitívnej intuicionistickej logike.
A parakonzistentné logiky, ktoré sú založené na modálnych logikách. Kniha sa zaoberá tisíckami parakonzistentných logík, pričom každá z nich sa skúma zo sémantického aj z dôkazového hľadiska.
Teoretické hľadiská. Okrem toho je väčšina týchto logík charakterizovaná z hľadiska vlastností minimality alebo maximality, ktoré môžu mať.