Формална логика: обект на изследване, характеристики, видове и примери

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

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

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

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

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

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

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

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

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

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

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

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

функции

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

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

- Това е структура без значение.

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

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

- Изводите от правилната или валидна аргументация възникват, защото се анализира структурата на истинските помещения.

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

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

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

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

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

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

тип

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

Той идва от древния гръцки δέον [τος] déon [кашлица] и означава "какво се дължи" или "това, което е необходимо". Австрийският логик Алоис Хьофлер е олицетворение на това понятие, което се отнася до изучаването и анализа на стандартите.

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

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

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

Плуривалентна или поливалентна логика

Този тип логика се ражда от проучванията, проведени от философите Ян asукасиевич и Емил Пост, в които се посочва, че могат да се приемат други стойности, различни от обикновените „истина“ и „невярно“, и че тези стойности могат да достигнат на практика до безкрайност.

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

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

Примери

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

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

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

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

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

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

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

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

- Кракът има пет пръста. Хората имат десен крак и ляв крак. Всеки човек има десет пръста на краката си.

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

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

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

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

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