Oddiy ko'rinishda sodda bo'lsa-da, oddiy inson nutqidan silogizmlar ajratib olish bir zumda yoki hamma joyda sodir bo'lmagan. Silogizmlarni isbotlash usuli sifatida ajratib ko'rish, qadimgi Gretsiyada keng tarqalgan falsafa va matematika kombinatsiyasiga yordam berdi. Silogizm tushunchasi va eng oddiy mantiqiy tizimning birinchi rasmiy bayonini Aristotel yaratgan. Aristotelning mantiq nazariyasi ikki ming yil davomida, XX asrning boshlariga qadar, o'zgarmagan holda saqlanib qoldi, bu vaqt matematikada va tahliliy falsafa tadqiqotlari mantiqaning rivojlanishiga yo'l ochdi. Birinchi darajali yoki hozirgi kunda yaxshi o'rganilgan predicatlar mantiqlari rasmiylashtirildi. Ammo, falsafiy dalillarni to'liq tahlil qilish uchun, ayniqsa tabiiy inson nutqini tahlil qilish uchun modal mantiq va yuqori tartibdagi mantiqlarni, xususan ikkinchi tartibdagi mantiqlarni qo'llash kerakligi aniqlandi. Bundan tashqari, ramziy tilning formal va tabiiy nutq o'rtasidagi o'zaro bog'liqligini mantiqiy semantika va semiotika o'rganadi. Bu fanlar, yuqori darajadagi modal mantiq bilan birgalikda, faol fanlararo tadqiqotlar sohasi bo'lib qolmoqda. Zamonaviy mantiq netivial, chuqur matematik kontseptsiyalar dan iborat bo'lib, u falsafachilar, matematiklar, tilshunoslar, so'nggi paytlarda esa dasturchilar va yechimlar nazariyasi va sun'iy intellekt sohasi mutaxassislari tomonidan o'rganilmoqda. Shunday qilib, mantiqa eng qadimgi va eng zamonaviy fanlardan biri hisoblanadi.
Zamonaviy mantiqqa nima kiradi?
netivial, chuqur matematik kontseptsiyalar