• Какво е логика?
• Философска логика
• Аристотелова логика
• Математическа логика
• Изчислителна логика
• Формална и неформална логика

Обясняваме какво е логика и характеристиките на философската, аристотеловата, математическата, изчислителната, формалната и неформалната логика.

Логиката се използва в различни процеси като доказателство, извод или дедукция.

Какво е логика?

Логиката е а формална наука, която е част от философия и на математика. Той се фокусира върху изучаването на валидни и невалидни процедури на мисълт.е. в процеси като демонстрация, изводи или дедукция, както и в понятия като заблуди, парадокси и на истина.

Логиката е а дисциплина изключително древен, независимо роден сред мислителите на великите класически и древни цивилизации, като китайците, гърците или индийците. От самото начало тя се разбираше като начин за преценка на мисълта, за да се провери нейната формална валидност, тоест да се разпознае коя е идеалната процедура за обосновавам се, този, който наистина води до истината.

Въпреки това, от 20-ти век нататък тя се счита за област, по-близка до математиката, тъй като приложенията на последната придобиха голямо индустриално, социално и технологично значение.

Думата "логика" произлиза от гръцкия глас logiké („Надарен с разум“), от термина лога, еквивалентно на "дума" или "мисъл".

Въпреки това, в ежедневния език ние използваме тази дума като синоним на "здрав разум", тоест в ценен или ценен начин на мислене, в техния съответен контексти възможен. Използва се и като а синоним на „начин на мислене“, както когато се говори за „спортна логика“, „военна логика“ и т.н.

Философска логика

С този термин ние наричаме областите на философията, в които методи на логиката за разрешаване или напредване на определени философски дилеми, като може да се работи в рамките на разглежданата традиционна логика или, напротив, некласическа логика. С други думи, логиката в рамките на философията.

Това е дисциплина, много близка до философията на език, и по същество е продължение на логиката на древността, съсредоточена върху мисълта и естествения език. Обикновено използваме това име, за да го разграничим от най-новата математическа логика.

Аристотелова логика

В рамките на философската логика традицията на мисленето, която започва с трудовете на гръцкия философ Аристотел де Естагира (384-322 г. пр. н. е.), смятан за западния основател на логиката и един от най-важните автори, е известна като аристотелова логика. Важни части от световната философска традиция.

Основните трудове на Аристотел по логика са събрани в неговите Орган (от гръцки „инструмент“), съставен от Андроник от Родос няколко века след написването. В тях се разгръща цяла логическа система, която беше изключително влиятелна в Европа и Близкия изток до след това Средна възраст.

Освен това в тази работа Аристотел постулира основните аксиоми на логиката:

• Принципът на непротиворечивостта. Според което нещо не може да бъде и да не бъде едновременно (A и ¬A не могат да бъдат истинни едновременно).
• Принципът на идентичността. Според което нещо винаги е идентично на себе си (А винаги е равно на А).
• Принципът на изключеното трето. Според което нещо е или не е вярно, без никакви възможни градации (A или след това ¬A).

Математическа логика

Известна е като математическа логика, наричана още символна логика, формална логика, теоретична или логистична логика, към приложението на логично мислене към определени области на математиката и наука.

Това предполага изучаването на процеса на заключение чрез формални системи за представяне, като пропозиционална логика, модална логика или логика от първи ред, които позволяват „превеждане“ на естествения език на математически език, за да се развият строги демонстрации.

Математическата логика обхваща четири основни области, които са:

• Теория на моделите. Което предлага изучаването на аксиоматичните теории и математическата логика чрез математически структури, известни като групи, тела или графики, като по този начин се приписва семантично съдържание на чисто формалните конструкции на логиката.
• Теория на демонстрацията. Наричана още теория на доказателствата, тя предлага доказателства с помощта на математически обекти и техники математиката като начин за проверка на логически задачи. По този начин, където теорията на моделите се занимава с даването на a семантика (смисъл) на формалните структури на логиката, Теорията на доказателството се занимава по-скоро с техните синтаксис (подреждането му).
• Теория на комплекти. Фокусиран върху изучаването на абстрактни колекции от обекти, разбирани сами по себе си като обекти, както и техните основни операции и взаимовръзки. Този клон на математическата логика е един от най-фундаменталните, които съществуват, дотолкова, че представлява основен инструмент на всяка математическа теория.
• Теория на изчислимостта. Споделена област между математиката и изчисление или изчисление, изучава проблемите на решението, на които а алгоритъм (еквивалент на машина на Тюринг) може да се справи. За да направи това, той използва теорията на множествата, разбирайки ги като изчислими или неизчислими множества.

Изчислителна логика

Изчислителната логика създава интелигентни изчислителни системи.

Изчислителната логика е същата математическа логика, но се прилага в областта на изчисленията, тоест на различни фундаментални нива на изчисленията: изчислителни схеми, програмиране логика и алгоритми за управление. Изкуственият интелект, сравнително скорошно направление в областта, също е част от него.

Може да се каже, че най-общо казано, изчислителната логика се стреми да захранва компютърна система чрез логически структури, които изразяват на математически език различните възможности на човешката мисъл, като по този начин създават интелигентни компютърни системи.

Формална и неформална логика

Също така често се прави разлика между две отделни области на логиката: формална и неформална, въз основа на техния подход към езика, на който са изразени твърденията.

• Формална логика. Той е този, който се грижи за формалния език, тоест за начина на изразяване на съдържанието му, използвайки го стриктно, без неясноти, по такъв начин, че дедуктивният път да може да се анализира от валидността на съдържанието му. форми (оттук и името му).
• Неформална логика. Вместо това изучете техните аргументи a posteriori, разграничавайки валидни и невалидни форми от предоставената информация, независимо от нейната логическа форма или нейния формален език. Този вариант се появява в средата на 20-ти век като дисциплина във философията.