Філософська логіка
Оскільки філософія складається із раціональних міркувань, логіка є первинним атрибутом філософії. Для аналізу різних філософських концепцій, для їхнього зіставлення один з одним необхідне проведення критичного аналізу (англ.) українців. різних філософських тверджень та теорій. У зв'язку з тим, що людське мислення формулюється текстуально, логіка тісно пов'язана з аналізом текстів та мов. Логіка формалізує текстуальне міркування та визначає його форми, які є прийнятними для аналізу. Першим кроком до логічної формалізації міркування послужило виявлення силогізмів, або міркувань виду:
(1) усі тварини смертні; (2) слон - це тварина;отже(3) слон смертний.
Коректне використання силогізмів відкриває дорогу для доказових міркувань у філософії, математиці, природничих науках або для формалізації дедуктивного мислення [1] .
При всій своїй простоті виділення силогізмів зі звичайної людської мови відбулося не відразу і не скрізь [2] . Виділення силогізмів як способу доказу сприяло поєднання філософії та математики, поширене у Стародавній Греції. Перший формальний виклад поняття силогізму та найпростішої логічної системи було зроблено Арістотелем [⇨]. Логіка Аристотеля залишалася незмінною дві тисячі років, до початку XX століття, коли дослідження в математиці та аналітичній філософії відкрили дорогу для розвитку логіки [⇨]. Була формалізована «логіка першого порядку» або «логіка предикатів», яка зараз добре вивчена. Проте, як виявилося, для повноцінного аналізу філософської аргументації, а тим паче природного людського мовлення, потрібне застосування модальної логіки та логік вищих порядків, зокрема логіки другого порядку. Крімцього взаємозв'язок формальної символічної мови та природного мовлення досліджують логічна семантика та семіотика. Ці дисципліни разом із модальною логікою вищих порядків продовжують залишатися областю активних міждисциплінарних досліджень. Сучасна логіка складається з нетривіальних, глибоко математичних концепцій, які вивчаються філософами, математиками, лінгвістами, а останнім часом ще й програмістами та фахівцями у галузі теорії рішень та штучного інтелекту. Логіка, таким чином, є як однією з найдавніших, так і однією з найсучасніших дисциплін [3] [4] [5] .