Dalyko anotacija

Šiame įvadiniame logikos kurse nagrinėjami šio mokslo pagrindiniai klausimai, tokie kaip fakto ir proto tiesų skirtingumas, mintinių struktūrų formalios analizės prielaidos, pagrindiniai loginiai santykiai (tautologija, kontradikcija ir išvedamumas), išvestinio žinojimo loginio pagrįstumo klausimai, formalūs ir neformalūs reikalavimai įrodymui, pagrindiniai įrodymo metodai. Kurse supažindinama su paprasto kategorinio silogizmo teorija, išsamiai pristatoma ir taikoma teiginių logikos teorija. Didelis dėmesys skiriamas natūralios kalbos formalizavimo praktikai, kalbinių išraiškų vertimui į ekvivalentiškas išraiškas, samprotavimo bei įrodymo loginės analizės metodams, teiginių analizei neprieštaringumo požiūriu. Pagrindiniai kurse taikomi analizės metodai: matricų (teisingumo lentelių) metodas, tiesioginio, sąlyginio ir netiesioginio įrodymo metodai, Venno diagramų metodas.

Dalyko tikslas

Supažindinti studentus su teoriniais logikos mokslo pagrindais, pagrindiniais loginės analizės metodais bei jų taikymu.

Dalyko studijų siekiniai

• Suvokti teorinius logikos mokslo pagrindus bei pagrindinius loginės analizės metodus;
• Sugebėti atpažinti formalias ir neformalias logines klaidas samprotavime bei įrodyme;
• Mokėti įvertinti, ar teiginiai (visų pirma – samprotavimo prielaidos / įrodymo argumentai) nėra prieštaringi;
• Gebėti struktūriškai ir nuosekliai mąstyti;
• Suvokti loginio išvedimo svarbą; atpažinti ir taisyti neformalias argumentavimo klaidas.

Annotation

This introductory logic course is focused on the basic issues in logic, such as the distinction between factual and logical truths, the conditions of the formal analysis of thought, elementary logical relations (contradiction and entailment), the issues of validity of inferential knowledge, formal and informal requirements for arguments and proofs, and the most widely used methods of formal proofs. The student will become familiar with the theory of categorical syllogism and propositional calculus. In addition to that classroom exercises are devoted to the practice of formalization – translating the expressions of natural language into the formal language, formal analysis of validity of arguments and consistency of propositions. The main methods applied during the course are as follows: Venn diagramms, truth tables, and natural deduction proof methods (including conditional and indirect proofs).

Aims of the course

This course aims to introduce students to the theoretical basics of logic, main methods of logical analysis and their applications.

Learning outcomes

• To understand theoretical basics of logic and main methods of logical analysis.
• Be able to recognize formal and informal fallacies of reasoning and proofs.
• Be able to determine if the statements (assumptions of an inference and premises of a proof) are consistent.
• Be able to think in a structured and consistent way.
• To perceive importance of the logical inference, be able to correct informal fallacies in argumentation.