ФОРМАЛНА ЛОГИКА: ОБЕКТ НА ИЗСЛЕДВАНЕ, ХАРАКТЕРИСТИКИ И ПРИМЕРИ - ФИЛОСОФИЯ - 2025

Най- формална логика, известна още като логично теоретичен или математическата логика, която определя валидни и правилни форми на разсъждение са. Чрез тази практика се стремим да разграничим кое е правилно от кое е неправилно.

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

Алфред Норт Уайтхед беше един от привържениците на формалната логика. Източник: Wellcome Trust

Думата „логика“ идва от древногръцкия λογικήlogik ḗ, което означава „надарен с интелектуална, диалектическа, аргументативна причина“. Логиката е един от отраслите на философията и математиката и се счита за голяма полза за тези дисциплини.

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

В историята различни философи, математици и логици са защитавали формалната логика. Сред тях можем да назовем математика и логик Алонцо Църква; философът, математик и логик Готлоб Фреге; и също математикът и философ Алфред Норт Уайтхед.

Алфред Тарски, Курт Гьодел, Бертран Ръсел и Уилард Ван Орман Куин, между другото, също бяха страхотни защитници.

Обект на изследване

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

В този смисъл се установява, че във формалната логика разсъжденията се изучават от структурирана гледна точка, от нейната валидност или недействителност.

Формалната логика не е емпирично проучване на процеса на разсъждение. Не бива да се бърка и с убеждаване, тъй като тя взема структурата на аргументите, за да получи заключение.

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

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

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

По-долу са най-конкретните характеристики, които отличават формалната логика от другите видове логика:

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

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

-Създава се под подгрупа от формални системи.

-Прилагайте методи толкова ефективни, че чрез формална логика можете да различите какво не е наред и кое е правилно.

-Заключенията за правилни разсъждения или валидност възникват, защото се анализира структурата на истинските предпоставки.

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

-Характеризира се със символичност.

-От гледна точка на формалната наука, тя играе важна роля в математиката, философията, компютърните науки и статистиката.

-Той е свързан с граматиката поради изучаването на семантиката.

-Study структури, поради което се сравнява с математиката.

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

Видове

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

Произхожда от древногръцкия δέον déon и означава „на какво се дължи“ или „това, което е необходимо“. Австрийският логик Алоис Хофлер е пионерът на тази концепция, която се отнася до изучаването и анализа на нормите.

Двувалентна логика

Той е от типа логика, който поддържа само истински и фалшиви стойности. Не вярва в нюанси, всичко е черно или бяло; сивата скала е невъзможна при този вид логика.

Нейните принципи се основават на аристотеловата логика, които са идентичност, непротиворечивост и изключената трета страна.

Многовалентна или многоцелева логика

Този тип логика се роди в резултат на проучванията, проведени от философите Ян Łukasiewicz и Емил Пост, в които те заявяват, че ценности, различни от вече общоприетите „истински“ и „фалшиви“, могат да бъдат допуснати и че тези ценности могат на практика да достигнат до безкрайност.

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

По същия начин този тип формална логика отговаря и за изучаването на философските и структурните аспекти на аргументите.

Примери

Чрез формална логика е възможно да се добави стойност на истината или лъжата към конкретно разсъждение.

Както вече обяснихме, формалната логика не се фокусира върху всички възможности, които могат да бъдат извлечени от аргумент; тя се фокусира само върху това дали това е вярно или невярно. В този смисъл по-долу изброяваме някои примери, основани на формална логика:

-Буенос Айрес е столицата на Аржентина; тогава всички родени в Буенос Айрес са аржентински.

-Joao говори португалски. Жоао е роден в Португалия. Всички в Португалия говорят португалски.

-Кравите дават мляко. Кравите са бозайници. Всички бозайници дават мляко.

-Педро е бял, а Мария е брюнетка, затова има бели и кафяви хора.

-Мариа свири в рок оркестъра. Музикантите са тези, които свирят в рок оркестъра. Мария е музикант.

-José има черна коса. Елена има кафява коса. Дъщеря им може да се роди с черна или кафява коса.

-По стъпалото има пет пръста. Човешките същества имат десен и лев крак. Всеки човек има десет пръста на краката.

-Spain е страна. Испания остава в Европа. Всички испанци са европейци.

- Ана е живо същество. Ана е смъртна. Всички живи същества са смъртни.

- Хосе се намокри с вода. Водата се намокри.

- Мария яде люта храна. Мария се изгори, ядейки горещата си храна. Горещата храна изгаря.

- Земята е част от Вселената. Във Вселената има планети. Земята е планета.

- Електрическата светлина свети. По улиците има електрическа светлина. Електрическата светлина осветява улиците.

Препратки

1. „Формална логика“ в енциклопедията на Новия свят. Произведено на 21 април 2019 г. от Новата световна енциклопедия: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes „Формална логика“ в Произведено на 21 април 2019 г. от Britannica: britannica.com.
3. „Логиката и нейната класификация“ в Академията. Проверено на 23 април 2019 г. от Academia: academia.edu.
4. „Формална логика“ във Философски речник. Произведено на 23 април 2019 г. от Философски речник: philoso.org.
5. „Поливалентна логика“ във Философския речник. Произведено на 23 април 2019 г. от Философски речник: philoso.org.
6. „Общи аспекти на логиката“ в Club Essays (18 август 2013 г.). Получено на 23 април 2019 г. от Клубни изпитания: clubensayos.com.
7. „Деонтична логика“ в уикипедия . Произведено на 23 април 2019 г. от Wikipedia: es.wikipedia.org.
8. „Многоцелева логика“ в уикипедия . Произведено на 23 април 2019 г. от Wikipedia: es.wikipedia.org.
9. „Двувалентна логика“ в уикипедия . Произведено на 23 април 2019 г. от Wikipedia: es.wikipedia.org