Základy logiky pre spoločenskovedné a humanitné odbory - Marián Zouhar
Logika sa zaoberá metódami, ktorých pomocou možno odlíšiť platné a neplatné argumenty. Vytvára a študuje formálne jazyky, do ktorých sa dajú argumenty z prirodzených jazykov preložiť, aby sa…
Specifikacia Základy logiky pre spoločenskovedné a humanitné odbory - Marián Zouhar
Logika sa zaoberá metódami, ktorých pomocou možno odlíšiť platné a neplatné argumenty. Vytvára a študuje formálne jazyky, do ktorých sa dajú argumenty z prirodzených jazykov preložiť, aby sa zvýraznili tie aspekty, ktoré sú relevantné pre platnosť, resp. neplatnosť argumentov. Kniha Základy logiky pre spoločenskovedné a humanitné odbory približuje najdôležitejšie logické systémy práve ako teórie určitých výrazov, ktoré sa uplatňujú v argumentoch. S týmto cieľom sa preberá výroková a predikátová logika prvého rádu a vysvetľujú sa základy niektorých tzv. neklasických logík konkrétne aletickej, epistemickej a deontickej logiky. Cieľovou skupinou, pre ktorú táto učebnica vznikla, sú predovšetkým študenti a záujemcovia o spoločenskovedné a humanitné disciplíny. Formálny výklad jednotlivých logických systémov sa preto dopĺňa neformálnym vysvetlením základných ideí a aplikáciou aparátu daného logického systému na relevantné oblasti prirodzených jazykov
Úvod do logiky pre informatikov
Základy logiky přesvědčení