Қарапайым көрінгенімен, силогизмдердің қарапайым адам тілінен бөлінуі бірден және барлық жерде пайда болған жоқ. Дәлелдеу тәсілі ретінде силогизмдерді ерекшелендіруге ежелгі Грецияда кең тараған философия мен математиканың үйлесімі ықпал етті. Силлогизм және қарапайым логикалық жүйе ұғымының алғашқы ресми баяндамасын Аристотель жасаған. Аристотельдің логикасы екі мың жыл бойы, ХХ ғасырдың басына дейін, математика мен аналитикалық философиядағы зерттеулер логиканың дамуына жол ашқанға дейін өзгеріссіз қалды. Бірінші реттік логика немесе предикаттар логикасы формальданды, ол қазіргі уақытта жақсы зерттелген. Алайда, философиялық аргументацияны, әсіресе адамның табиғи сөйлеуін толыққанды талдау үшін модальдық логика мен жоғары тәртіптегі логикаларды, атап айтқанда екінші тәртіптегі логиканы қолдану қажет екені анықталды. Бұдан басқа, формальды символикалық тіл мен табиғи сөйлеудің өзара байланысын логикалық семантика мен семиотика зерттейді. Бұл пәндер жоғары тәртіптегі модальдық логикамен бірге белсенді пәнаралық зерттеулер саласы болып қала береді. Қазіргі заманғы логика нетривиалды, терең математикалық тұжырымдамалардан тұрады, оларды философтар, математиктер, лингвистер, соңғы кездері бағдарламашылар және шешімдер теориясы мен жасанды интеллект саласындағы мамандар зерттейді. Логика, осылайша, ең көне және ең заманауи пәндердің бірі болып табылады.
Қазіргі заманғы логика неден тұрады?
нетривиалды, терең математикалық тұжырымдамалардан