ФОРМАЛНА ЛОГИКА: ПРЕДМЕТ ПРОУЧАВАЊА, КАРАКТЕРИСТИКЕ И ПРИМЕРИ - ФИЛОЗОФИЈА - 2025

Формална логика , такође назива логичан теоријски или математичка логика, која одређује валидне и коректне облике размишљања су. Кроз ову праксу желимо разликовати шта је тачно од онога што је нетачно.

У формалној логици, симболи се користе недвосмислено и на најјаснији могући начин тако да се њима не може манипулисати. Захваљујући овој пракси могуће је развијати сопствене идеје.

Алфред Нортх Вхитехеад био је један од заговорника формалне логике. Извор: Веллцоме Труст

Реч "логика" потиче од старогрчког λογικηлогик е, што значи "обдарена интелектуалним, дијалектичким, аргументованим разлогом". Логика је једна од грана филозофије и математике и сматра се од велике користи за те дисциплине.

Уопште, логика проучава облик мишљења. Прва дела изведена у вези са логиком приписују се грчком филозофу Аристотелу, због чега је познат као отац утемељитељ овог подручја размишљања.

Кроз историју су разни филозофи, математичари и логичари бранили формалну логику. Међу њима можемо назвати математичара и логичара Алонза Цхурцх; филозоф, математичар и логичар Готтлоб Фреге; и математичар и филозоф Алфред Нортх Вхитехеад.

Алфред Тарски, КуртГодел, Бертранд Русселл и Виллард Ван Орман Куине, између осталих, такође су били сјајни браниоци.

Предмет проучавања

Формална логика користи аспекте као што су резоновање, концепт, просудбе и демонстрације као предмет проучавања. Из ових елемената анализира и проучава све ресурсе језика и семантике, како би дошао до закључка.

У том смислу, установљено је да се у формалној логици расуђивање проучава са структурираног становишта, из његове валидности или неваљаности.

Формална логика није емпиријска студија процеса резоновања. Не треба је мешати ни са убеђивањем, јер је потребна структура аргумената за добијање закључка.

Ова логика је позната и као теоријска или чиста логика и жели да изврши апстрактно истраживање садржаја или логичких облика дедуктивних аргумената, изјава, пропозиција и потврдно коришћених реченица.

Извођење исцрпне студије формалних логичких образаца омогућиће сваком појединцу да тачно зна поступке повезане са својим размишљањем.

карактеристике

Испод су најконкретније карактеристике које разликују формалну логику од осталих врста логике:

-То је наука која проучава облик премисе, за разлику од других врста логике које проучавају само материјал.

-То је структура без материје.

-Она се успоставља под подскуп формалних система.

- Примјените методе толико ефикасне да кроз формалну логику можете разликовати шта није у реду од онога што је исправно.

- Закључци тачног образложења или ваљаности настају зато што се анализира структура истинских премиса.

-Проучавајте и анализирајте људе да бисте директно прешли на размишљање и на тај начин били у могућности да успоставите нове обрасце у уму сваког појединца.

-Карактерише је то што је симболичан.

- Са становишта формалне науке, она има важну улогу у математици, филозофији, рачунарској науци и статистици.

-Повезана је са граматиком због проучавања семантике.

-Студи структуре, због чега се упоређује са математиком.

-Повезана је и са психологијом, јер се фокусира на проучавање мишљења сваког појединца.

Врсте

Деонтска логика

Потјече из старогрчког δεον деон и значи „оно што треба“ или „оно што је неопходно“. Аустријски логичар Алоис Хоффлер пионир је овог концепта, који се односи на проучавање и анализу норми.

Бивалентна логика

То је врста логике која подржава само истините и лажне вредности. Не верује у нијансе, све је црно или бело; нијанса сиве није могућа у оваквој логици.

Њени принципи се заснивају на аристотеловској логици, а то су идентитет, неуставност и искључена трећа страна.

Вишевалентна или вишенаменска логика

Ова врста логике рођена је као резултат студија које су спровели филозофи Јан Łукасиевицз и Емил Пост, у којима се наводи да се могу признати и друге вредности осим већ уобичајених "истинитих" и "лажних" и да те вредности могу практично достићи до бесконачности.

У том се смислу разликује од бивалентне логике која признаје само двије вриједности. Студије показују да мултивалентна или поливалентна логика обрађује вредности као што су могућност, неопходност, непотребност, истина, неистина и немогућност.

Исто тако, ова врста формалне логике је такође задужена за проучавање филозофских и структуралних аспеката аргумената.

Примери

Кроз формалну логику могуће је додати вредност истине или неистине одређеном резоновању.

Као што смо претходно објаснили, формална логика није усмерена на све могућности које се могу извући из аргумента; фокусира се само на то да ли је то истина или неистина. У том смислу, у наставку наводимо неколико примера заснованих на формалној логици:

-Буенос Ајрес је главни град Аргентине; тада су сви рођени у Буенос Аиресу Аргентинци.

-Јоао говори португалски. Јоао је рођен у Португалу. Сви у Португалу говоре португалски.

- Краве дају млеко. Краве су сисари. Сви сисари дају млеко.

-Педро је бел, а Мариа црнка, тако да има и белих и браон људи.

-Марија свира у рок оркестру. Музичари су они који свирају у рок оркестру. Мариа је музичарка.

-Јосе има црну косу. Елена има смеђу косу. Њихова ћерка могла се родити са црном или смеђом косом.

- Стопало има пет ножних прстију. Људска бића имају десно и лево стопало. Свака особа има десет прстију.

- Шпанија је земља. Шпанија остаје у Европи. Сви Шпанци су европски.

- Ана је живо биће. Ана је смртна. Сва жива бића су смртна.

- Јосе се натопио водом. Вода се влажи.

- Марија је јела топлу храну. Марија је изгорела једући топлу храну. Врућа храна гори.

- Земља је део свемира. У свемиру постоје планете. Земља је планета.

- Електрично светло светли. На улицама је електрично светло. Електрично светло осветљава улице.

Референце

1. "Формална логика" у енциклопедији Новог света. Преузето 21. априла 2019. године из Нове светске енциклопедије: невворлденцицлопедиа.орг.
2. Мортон Л. Сцхагрин Ге Хугхес „Формална логика“ преузето 21. априла 2019 из Британнице: британница.цом.
3. "Логика и њена класификација" у Академији. Преузето 23. априла 2019. из Ацадемиа: ацадемиа.еду.
4. "Формална логика" у Филозофском речнику. Преузето 23. априла 2019. из Филозофског речника: пхилосо.орг.
5. "Поливалентна логика" у Филозофском речнику. Преузето 23. априла 2019. из Филозофског речника: пхилосо.орг.
6. „Општи аспекти логике“ у клупским есејима (18. август 2013.). Преузето 23. априла 2019 из клупских суђења: цлубенсаиос.цом.
7. "Деонтична логика" у википедији . Преузето 23. априла 2019. са Википедије: ес.википедиа.орг.
8. "Вишенаменска логика" у википедији . Преузето 23. априла 2019. са Википедије: ес.википедиа.орг.
9. "Бивалентна логика" у википедији . Преузето 23. априла 2019. са Википедије: ес.википедиа.орг