ФОРМАЛЬНА ЛОГІКА: ОБ’ЄКТ ДОСЛІДЖЕННЯ, ХАРАКТЕРИСТИКИ ТА ПРИКЛАДИ - ФІЛОСОФІЯ - 2024

Формальна логіка , яка також називається логічним теоретичної або математичної логіки, яка визначає дійсні і правильні форми мислення є. Завдяки цій практиці ми прагнемо розмежувати те, що є правильним, від неправильного.

У формальній логіці символи використовуються однозначно і найяснішим способом, щоб ними не можна було маніпулювати. Завдяки цій практиці можна розвивати власні ідеї.

Альфред Норт Уайтхед був одним із прихильників формальної логіки. Джерело: Wellcome Trust

Слово "логіка" походить від давньогрецького λογικήlogik ḗ, що означає "наділений інтелектуальною, діалектичною, аргументативною причиною". Логіка - одна з галузей філософії та математики, і вона вважається великою користю для цих дисциплін.

Загалом логіка вивчає форму думки. Перші твори, здійснені стосовно логіки, приписуються грецькому філософу Аристотелю, саме тому він відомий як батько-засновник цієї сфери думки.

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

Альфред Тарскі, Курт Гьодель, Бертран Рассел та Віллард Ван Орман Куйн, серед інших, також були чудовими захисниками.

Об'єкт дослідження

Формальна логіка використовує такі аспекти, як міркування, концепція, судження та демонстрація як об’єкт дослідження. З цих елементів він аналізує та вивчає всі ресурси мови та семантики, щоб дійти висновку.

У цьому сенсі встановлено, що у формальній логіці міркування вивчаються зі структурованої точки зору, з його обгрунтованості чи недійсності.

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

Ця логіка також відома як теоретична чи чиста логіка і прагне здійснити абстрактне вивчення змісту чи логічних форм дедуктивних аргументів, висловлювань, пропозицій та наполегливо використаних речень.

Проведення вичерпного вивчення закономірностей формальної логіки дозволить кожній людині точно знати процедури, пов'язані з їх мисленням.

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

Нижче наведені найбільш конкретні характеристики, які відрізняють формальну логіку від інших типів логіки:

-Це наука, яка вивчає форму приміщення, на відміну від інших видів логіки, які вивчають лише матеріал.

-Це структура без матерії.

-Встановлюється під підмножиною формальних систем.

- Застосовуйте методи настільки ефективні, що за допомогою формальної логіки ви можете відрізнити те, що не так, від правильного.

-Висновки правильних міркувань чи обґрунтованості виникають через те, що аналізується структура справжніх приміщень.

-Вивчайте та аналізуйте людей, щоб безпосередньо перейти до думки, і таким чином зможете встановити нові зразки у свідомості кожної людини.

-Вона характеризується символічністю.

-З точки зору формальної науки, вона відіграє важливу роль у математиці, філософії, інформатиці та статистиці.

-Зв’язане з граматикою завдяки вивченню семантики.

-Студові структури, через що його порівнюють з математикою.

-Та це також пов'язано з психологією, оскільки фокусується на вивченні думки кожної людини.

Типи

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

Він походить від давньогрецького δέον déon і означає "що належить" або "що потрібно". Австрійський логік Алоїс Геффлер є піонером цієї концепції, яка стосується вивчення та аналізу норм.

Двовалентна логіка

Саме тип логіки підтримує лише істинні та хибні значення. Він не вірить у відтінки, все чорне чи біле; сіра шкала неможлива в такій логіці.

Його принципи засновані на арістотелівській логіці, що є ідентичністю, непротиріччістю та виключеною стороною.

Багатовалентна або багатоцільова логіка

Цей тип логіки народився в результаті досліджень, проведених філософами Яна Лукасевича та Еміля Поста, в яких вони стверджують, що цінність, крім вже поширених "справжнього" та "помилкового", може бути визнана, і що ці цінності практично можуть досягти до нескінченності.

У цьому сенсі вона відрізняється від двовалентної логіки, яка допускає лише два значення. Дослідження показують, що багатовалентна або багатоцільова логіка обробляє такі значення, як можливість, необхідність, невідповідність, правда, неправдивість і неможливість.

Так само цей тип формальної логіки також відповідає за вивчення філософських та структурних аспектів аргументів.

Приклади

Через формальну логіку можна додати значення істини чи неправди конкретному міркуванню.

Як ми вже пояснювали раніше, формальна логіка не зосереджується на всіх можливостях, які можна витягти з аргументу; вона фокусується лише на тому, чи це правда, чи помилка. У цьому сенсі нижче ми наводимо кілька прикладів, заснованих на формальній логіці:

-Буенос-Айрес - столиця Аргентини; то всі, хто народився в Буенос-Айресі, - аргентинець.

-Joao розмовляє португальською. Жоао народився в Португалії. Всі в Португалії говорять португальською.

-Корови дають молоко. Корови - ссавці. Всі ссавці дають молоко.

-Педро білий, а Марія - брюнетка, тому є білі та коричневі люди.

-Марія грає в рок-оркестрі. Музиканти - це ті, хто грає в рок-оркестрі. Марія - музикант.

-Жозе має чорне волосся. Олена має каштанове волосся. Їх дочка могла народитися з чорним або каштановим волоссям.

-Нога має п’ять пальців. У людини є права нога і ліва стопа. У кожної людини десять пальців ніг.

-Іспанія - країна. Іспанія залишається в Європі. Всі іспанці є європейцями.

- Ана - жива істота. Ана смертна. Все живе є смертним.

- Хосе змочився водою. Вода намокає.

- Марія їла свою гарячу їжу. Марія отримала опік, їдячи її гарячу їжу. Гаряча їжа горить.

- Земля - ​​частина Всесвіту. У Всесвіті є планети. Земля - ​​це планета.

- електричне світло горить. На вулицях електричне світло. Електричне світло освітлює вулиці.

Список літератури

1. "Формальна логіка" в новій світовій енциклопедії. Отримано 21 квітня 2019 року з Нової світової енциклопедії: newworldencyclopedia.org.
2. Мортон Л. Шагрін Ге Хьюз "Формальна логіка" в матеріалі, отриманому 21 квітня 2019 року з Britannica: britannica.com.
3. "Логіка та її класифікація" в Академії. Отримано 23 квітня 2019 року з Academia: academia.edu.
4. "Формальна логіка" у філософському словнику. Отримано 23 квітня 2019 року з Філософського словника: philoso.org.
5. "Полівалентна логіка" у філософському словнику. Отримано 23 квітня 2019 року з Філософського словника: philoso.org.
6. «Загальні аспекти логіки» у «Клубних нарисах» (18 серпня 2013 р.). Отримано 23 квітня 2019 року з клубних випробувань: clubensayos.com.
7. "Деонтична логіка" у Вікіпедії . Отримано 23 квітня 2019 року з Вікіпедії: es.wikipedia.org.
8. "Багатоцільова логіка" у Вікіпедії . Отримано 23 квітня 2019 року з Вікіпедії: es.wikipedia.org.
9. "Двовалентна логіка" у Вікіпедії . Отримано 23 квітня 2019 року з Вікіпедії: es.wikipedia.org