LOGIC
Logic is usually defined as the science of the forms and laws of thinking. We prefer a more accessible description of logic as the science of correct thinking. The founder of logic is the brilliant ancient Greek thinker Aristotle (IY century BC).
The science of Logic has four main parts: Theory of Concepts, Theory of Judgment, Theory of Inferences, Theory of Proof. The main requirements of logic are expressed by the basic laws of thinking: Law of Identity: Each term in the course of each proof must be used in the same sense. The law of contradiction: it is unacceptable to both affirm and deny a given thought. Law of the excluded middle: every statement is either true or false, there is no middle ground. Modern time researchers actively developed inductive logic comprising incomplete induction and analogy. 20th century invented “thinking machines” – computers that are able to solve problems by calculation. Our days seem to be the epoch of Artificial Intelligence aimed to think as humans – by understanding.
Bachelor Course for third year. 2 credits.
60 hours general from which 22 hours lectures, 8 hours practical lessons, 30 hours students’ independent work.
MastersCourse for second year. 2 credits.
60 hours general from which 18 hours lectures, 6 hours practical lessons, 36 hours students’ independent work.






















