Syllabus
Contents:
-Symbolic Language
-Analytical Tableaux
-Sets
-Structures and Models
-Tautologies and Contradictions
-Consistency and Following
-Homeomorphism and Isomorphism
-Using of Free Variables
-Relations and Orderings
-Non-Formal Logic
Annotation
The course introduces to main concepts and skills of modern symbolic logic and foundations of mathematics (e.g. concepts of first order language, structure and set, and skills of using analytical tableaux and creating models and isomorphisms). It also introduces to non-formal logic.