Символик логик

Зорилго

Энэ хичээл формаль сэтгэлгээ, түүний дотроос математик логик сэтгэлгээ хөгжүүлэх гол зорилготой. Формаль сэтгэлгээний математик үндсийн талаар онолын суурь мэдлэг эзэмших, жишээ бодлогууд дээр ажиллах дадал сууна. Философийн салбарын оюутнууд энэ хичээлээр логикийн математикийн чиглэлийг судална.

Товч агуулга

Хичээлийн эхний хэсэ нь хэллэгийн тооллын, хоёрдугаар хэсэгт предикатын тооллын логик зндсийн судална. Математик логикийн удиртгал буюу хэллэгийн тоолол, нэгдүгээр эрэмбийн онолууд, предикатын тооллын формаль хэл, төрөлх хэлний илэрхийллийг формальчлах арга, зарчим, дүрмүүдийг авч үзэж, бодлого, дасгалууд ажиллана.