хэлбэр

Бидний хийж буй дүгнэлтүүд ...

• Бидний хүсэлт зоргоос шалтгаалж, зөвхөн нөхцөлдөө захирагдаж байдаг.

• Бидний хүсэлт зоргоос шалтгаалахгүй, зөвхөн нөхцөлдөө захирагдаж байдаг.

• Бидний хүсэлт зоргоос шалтгаалахгүй

• бусад

Логик хэмээх үг грек хэлний logo... гэсэн утгатай үг

• сэтгэхүй

• үг, ойлголт

• бодомж

• хууль

Формаль логик юу судалдаг вэ?

• Сэтгэлгээг судална.

• Хэлийг судлана.

• Сэтгэхүйн хууль, зарчмыг нээн илрүүлэх

• бусад

Бүх шувуу нисдэг хэмээснийг Бүх S бол P мөн гэсэн бүдүүвчээр илэрхийлснийг .. гэнэ

• Эргэцүүлийн логик тэмдэглэгээ

• Эргэцүүлийн тэмдэгт

• Эргэцүүллийн томьёо

• эргэцүүллийн логик хэлбэр

Хүмүүс бодит байдлйн тухай мэдээ мэдээллийг уг мэдээллийг агуулж байгаа юмстай нь заавал шууд харьцах замаар бус харин тэдгээрийг илэрхийлсэн тэмдэгтүүдтэй харьцах замаар олж авдаг. ШУ-нууд өөрийн тэмдгийн систэм буюу хэлний ү.а-тай. Хэлийг гарал үүслээр нь хэрхэн ангилдаг вэ?

• Бүтээсэн, өөрийн

• Зохиомол, өөрийн

• Төрөлх, зохиомол

• Уугуул, зохиомол

Зохиомол хэлийг олоорой.

• философийн хэл

• Археологийн хэл

• Математикийн хэл

• Формальчлагдсан хэл болон машины хэл

• эксперанто

Формаль логик нь ... судалдаг

• хэлбэрээс хөндийрч, агуулгыг судалдаг

• агуулгаас хөндийрч, хэлбэрийг судалдаг

• Хэлбэр, агуулгаас хөндийрч томьёог судалдаг

Формальчлагдсан хэлний онцлог юу вэ?

• Ердийн хэлний үгсийг тоо, тусгай томьёо илэрхийлдэгт оршино.

• Ердийн хэлний үгсийг хувьсагч, тусгай тэмдэгтүүдээр илэрхийлдэгт оршино.

• Ердийн хэлний үгсийг хувьсагч, тусгай томьёо илэрхийлдэгт оршино.

• Ердийн хэлний үгсийг хувьсагч, тусгай үсгээр илэрхийлдэгт оршино

"Бүх багш сурган хүмүүжүүлэгч мөн" хэмээх өгүүлбэрийн бүтцийг хувьсагчаар зөв илэрхийлсэнийг олоорой.

• Хэрэв... бол... байна.

• Зарим S P биш

• Бүх S P мөн

• Зарим S P мөн

Бидний бодол санаа, эргэцүүлэл логик хэлбэрт захирагдаж байвал... гэж үзнэ. Бодит байдалтай таарч тохирч байвал ... гэж үзнэ.

• Зөв байна, үнэн байна

• Үнэн байна, зөв байна,

• логиктой байна, үнэн байна