Analitinio mąstymo logika

Dalyko anotacija lietuvių kalba

Kursas skirtas supažindinti studentus su mąstymu, kaip tiesos pažinimo ir tikslingos elgsenos organizavimo instrumentu. Žmogaus mąstymo struktūros nagrinėjamos nuosekliai pradedant nuo elementarių minčių ir baigiant žinojimo visumos logine sandara. Siekiant tolygiau pristatyti visus mąstymo aspektus, kurse pateikiamos tokios rečiau sutinkamos temos, kaip klausimų logika, uždavinio samprata, santykiais pagrįsti samprotavimai ir kit. Ypatingas dėmesys skiriamas praktinių įgūdžių, skirtų analizuoti tekstų loginį taisyklingumą ir identifikuoti klaidas, formavimui.

Dalyko anotacija užsienio kalba

This course aims at introducing reasoning as a human instrument that provides insights about objective truth and helps organizing rational behavior. Forms of human reasoning are investigated in a sequence: starting from elementary thoughts and ending with the logical strructures of knowledge ensemble. The course includes such rarely adressed topics as the logic of questions, the concept of task, relation-based reasoning and others. Emphasis is given to acquiring practical skills of expliciting the underlying logic of printed texts, finding and identifying errors they may contain.

Dalyko studijų rezultatai

Baigę kursą studentai gebės:
Tiksliai ir taisyklingai reikšti savo mintis;
Analizuoti tekstus loginės sintaksės semantikos ar pragmatikos aspektais;
Formaliai simboliškai užrašyti minčių prasmes klasių, savybių, santykių ar teiginių logikos priemonėmis;
Patikrinti ir nustatyti įrodymų pagrįstumą;
Paskaičiuoti sudėtingų tekstų teisingumus žinant jų sudedamųjų dalių teisingumus;
Kritiškai vertinti savo mąstymo galimybes ir ribas, išvengti loginių mąstymo klaidų;
Atpažinti ir pagrįsti mąstymo sintaksės klaidas, semantikos klaidas, pragmatikos klaidas.

Dalyko turinys

1. Mąstymas, jo prigimtis, dėsniai ir struktūros.
2. Mąstymo elementų rūšys, žymėjimai, tekstų formalizavimas.
3. Bazinės matematinės sąvokos logikoje.
4. Teiginių logikos loginės funkcijos, teiginių logikos dėsniai (teiginių loginė sintaksė).
5. Nepriklausomi teiginiai, teiginių logikos indukcija, loginiai santykiai ir priklausomybės (teiginių loginė semantika).
6. Prepozicinės funkcijos, savybių logikos dėsniai, samprotavimų savybių logikoje pagrindimas. Argumentai.
7. Santykis kaip Dekarto sandaugos poaibis, kvantorių įvairovė, veiksmai su santykiais, santykių savybės, samprotavimų su santykiais specifika.
8. Loginių klasių savybės ir veiksmai.
9. Veno diagramos, silogistika.
10. Klasifikacija, kaip žinių modelis, formalus žinių užrašymas.
11. Klausimų semantinė struktūra, klausimų rūšys, klausimų užrašymo sintaksė, uždavinys kaip semantinė kategorija, tikslo sąvoka (pragmatika).
12. Dedukcinis metodas, įrodymų logika, įrodymas aksiominėse sistemose, formaliosios sistemos.
13. Sąvoka, esminiai požymiai, pseudosąvokos, būtinos ir pakankamos sąlygos.
14. Žinių visumos loginė struktūra, bendrosios sąvokos ir postulatai, prieštaravimų eliminavimas, žinių visumos dinamika. Modalumai, tikėtini samprotavimai
15. Loginės klaidos ir jų rūšys. Sudėtingų tekstų struktūros analizė, sintaksinės klaidos. Loginė tiesos samprata; semantika, semantinės klaidos.
16. Mąstymas ir komunikacija; loginė pragmatika, pragmatinės klaidos. Įrodymas ir įtikinimas.

Dalyko studijos valandomis

Paskaitos – 45 val.
Savarankiškas studento darbas (tame tarpe - pasirengimas kolokviumui ir egzaminui) – 55 val.

Studijų rezultatų vertinimas

Testas – 25%, Kolokviumas – 25%, Egzaminas - 50 %

Literatūra

1. 2004 Plečkaitis R. Logikos pagrindai Tyto alba
2. 2002 Lomanienė N. Logika. Deduktyvaus samprotavimo analizės pagrindai. Uždavinynas Justitia
3. 2007 Raškinis A., Karoblis G., Logikos užduočių pratybos. VDU
4. 2009 Eidukienė D. Logika. Parama
5. 2006 Eidukienė D. Logikos pratimai. Mokomoji knyga. Technika
6. 2003. Bubelis R., JakimenkoV Logika I dalis. Lietuvos teisės universitetas
Papildoma literatūra
1. 2003 Asher N., Lascarides A. Logics of conversation. Cambridge University Press
2. 1998 Copi, I. M., Cohen C. Introduction to logic. Prentice-Hall
3. 1990 Kahane H. Logic and philosophy: a modern introduction Belmont (Ca.): Wadsworth.