Infopaket

Modern logic

ОК.08

Обов’язкова дисципліна для ОП

First

2021/2022

2 Semester

4

1. Communicate freely on professional issues in national and foreign languages orally and in writing, use languages for effective intercultural communication. 4. To organize the process of training and self-education.

Full-time form

1. Before starting this course, students should know the subject and method of logic; the main stages of the development of logical knowledge; basics of logico-semiotic analysis of language; tabular definition of logical connectors; basic formal and logical laws; types of reasoning. 2. To be able to identify a logical form of reasoning with the help of the formalization method; build reasoning in accordance with the laws and rules of logic; find errors in texts related to their violation. 3. To have basic skills of working with specialized literature.

The discipline "Modern logic" introduces students to the periods of development of modern logic, the characteristic features of classical and non-classical logic, the specifics of building logical theories at the semantic and syntactic levels. The languages of classical logic of statements, classical logic of predicates, and modal logic are considered. Semantic methods of classical propositional logic (truth tables, analytical tables), syntactic constructions of classical propositional logic (axiomatic calculus, natural calculus) are clarified. The semantic structure of the classical logic of predicates, the three-valued and four-valued logics of Ya. Lukasevich, aletic modal logic is determined. The specifics of practical considerations are considered.

1. Aleksiuk I.A. Logic. - K., 2017. 2. Konversky A.E. Logic (traditional and modern). - K., 2008. 3. Konversky A.E. Modern logic (classical and non-classical). 2nd edition processing and additional - K., 2017. 4. Khomenko I.V. Logic is for lawyers. - K., 1997.

Lectures, seminars, self-study

Examination evaluation takes place in written form. The ticket consists of a theoretical block and a practical task, each of which is evaluated on a scale of 20 points, which gives a total of 40 points for the exam. To receive an overall positive grade in the discipline, the grade for the exam cannot be less than 24 points. The recommended minimum admission to the exam is 36 points. Thus, the final grade for the discipline (minimum 60, maximum 100 points) consists of the sum of the number of points for the semester (minimum 36, maximum 60 points) and the examination paper (minimum 24, maximum 40 points).

Ukrainian