Философска логика
Тъй като философията се състои от рационални разсъждения, логиката е основният атрибут на философията. За да се анализират различни философски концепции, да се сравнят помежду им, е необходимо да се извърши критичен анализ (англ.) бълг. различни философски твърдения и теории. Поради факта, че човешкото мислене е формулирано текстово, логиката е тясно свързана с анализа на текстове и езици. Логиката формализира текстовото разсъждение и определя неговите форми, които са приемливи за анализ. Първата стъпка към логическата формализация на разсъждението беше идентифицирането на силогизми или разсъждение на формата:
(1) всички животни са смъртни; (2) слонът е животно;следователно(3) слонът е смъртен.
Правилното използване на силогизми отваря пътя за основано на доказателства разсъждение във философията, математиката, природните науки или за формализиране на дедуктивното мислене [1] .
Въпреки цялата си привидна простота, изборът на силогизми от обикновената човешка реч не се случи веднага и не навсякъде [2] . Комбинацията от философия и математика, разпространена в древна Гърция, допринесе за избора на силогизми като метод на доказателство. Първото официално представяне на концепцията за силогизъм и най-простата логическа система е направено от Аристотел [⇨] . Логиката на Аристотел остава непроменена в продължение на две хиляди години, до началото на 20 век, когато изследванията в областта на математиката и аналитичната философия отварят пътя за развитието на логиката [⇨] . Формализирана е „логиката от първи ред“ или „логиката на предикатите“, която досега е добре проучена. Въпреки това, както се оказа, за пълноценен анализ на философската аргументация и още повече на естествената човешка реч е необходимо използването на модална логика и логики от по-високи порядки, по-специално логика от втори ред. С изключениеТази връзка между формалния символен език и естествената реч се изучава от логическата семантика и семиотиката. Тези дисциплини, заедно с модалната логика от по-висок порядък, продължават да бъдат област на активно интердисциплинарно изследване. Съвременната логика се състои от нетривиални, дълбоко математически концепции, които се изучават от философи, математици, лингвисти, а напоследък и от програмисти и експерти в областта на теорията на решенията и изкуствения интелект. Следователно логиката е едновременно една от най-древните и една от най-модерните дисциплини [3][4][5].