ФОРМАЛЬНАЯ ЛОГИКА: ОБЪЕКТ ИССЛЕДОВАНИЯ, ХАРАКТЕРИСТИКИ И ПРИМЕРЫ - ФИЛОСОФИЯ - 2026

Формальная логика , которая также называется логическим теоретической или математической логики, которая определяет действительные и правильные формы мышления являются. С помощью этой практики мы стремимся отличить правильное от неправильного.

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

Альфред Норт Уайтхед был одним из сторонников формальной логики. Источник: Wellcome Trust

Слово «логика» происходит от древнегреческого λογικήlogik ḗ, что означает «наделенный интеллектуальным, диалектическим, аргументированным разумом». Логика является одним из разделов философии и математики и считается очень полезным для этих дисциплин.

В общем, логика изучает форму мысли. Первые работы, выполненные в отношении логики, приписываются греческому философу Аристотелю, поэтому он известен как основоположник этой области мысли.

На протяжении всей истории различные философы, математики и логики защищали формальную логику. Среди них можно назвать математика и логика Алонсо Черча; философ, математик и логик Готлоб Фреге; а также математик и философ Альфред Норт Уайтхед.

Альфред Тарски, Курт Гёдель, Бертран Рассел и Уиллард Ван Орман Куайн, среди прочих, также были отличными защитниками.

Объект исследования

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

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

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

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

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

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

Ниже приведены наиболее характерные особенности, отличающие формальную логику от других типов логики:

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

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

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

- Применяйте настолько эффективные методы, чтобы с помощью формальной логики можно было отличить, что неправильно, от того, что правильно.

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

-Изучите и проанализируйте людей, чтобы напрямую прийти к мысли и, таким образом, иметь возможность устанавливать новые шаблоны в сознании каждого человека.

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

-С точки зрения формальной науки, он играет важную роль в математике, философии, информатике и статистике.

-Это связано с грамматикой из-за изучения семантики.

-Изучайте структуры, поэтому их сравнивают с математикой.

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

Типы

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

Оно происходит от древнегреческого δέον déon и означает «то, что причитается» или «что необходимо». Австрийский логик Алоис Хёффлер является пионером этой концепции, которая относится к изучению и анализу норм.

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

Это тип логики, который поддерживает только истинные и ложные значения. Он не верит в оттенки, все черное или белое; В такой логике оттенки серого невозможны.

Его принципы основаны на логике Аристотеля: идентичность, непротиворечивость и исключенная третья сторона.

Многовалентная или универсальная логика

Этот тип логики родился в результате исследований, проведенных философами Яном Лукасевичем и Эмилем Постом, в которых они заявляют, что могут быть допущены ценности, отличные от уже распространенных «истинного» и «ложного», и что эти ценности могут практически достигаться. до бесконечности.

В этом смысле она отличается от бивалентной логики, допускающей только две ценности. Исследования показывают, что многовалентная или многоцелевая логика обрабатывает такие ценности, как возможность, необходимость, ненужность, истина, ложь и невозможность.

Точно так же этот тип формальной логики также отвечает за изучение философских и структурных аспектов аргументов.

Примеры

С помощью формальной логики можно придать определенному рассуждению значение истины или лжи.

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

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

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

-Коровы дают молоко. Коровы - млекопитающие. Все млекопитающие дают молоко.

-Педро белый, а Мария брюнетка, поэтому есть белые и коричневые люди.

-Мария играет в рок-оркестре. Именно музыканты играют в рок-оркестре. Мария - музыкант.

-Хосе черные волосы. У Елены каштановые волосы. Их дочь могла родиться с черными или каштановыми волосами.

-У стопы пять пальцев. У людей есть правая нога и левая нога. У каждого человека по десять пальцев на ногах.

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

- Ана - живое существо. Ана смертна. Все живые существа смертны.

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

- Мария ела горячую пищу. Мария получила ожог, поедая горячую пищу. Ожоги горячей пищей.

- Земля - ​​часть Вселенной. Во вселенной есть планеты. Земля - ​​это планета.

- Горит электрический свет. На улицах есть электричество. Электрический свет освещает улицы.

Ссылки

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 г. из Philosophical Dictionary: Philosophia.org.
5. «Поливалентная логика» в Философском словаре. Получено 23 апреля 2019 г. из Philosophical Dictionary: Philosophia.org.
6. «Общие аспекты логики» в Club Essays (18 августа 2013 г.). Получено 23 апреля 2019 г. из пробных версий Club: clubensayos.com.
7. «Деонтическая логика» в Википедии . Получено 23 апреля 2019 г. из Википедии: es.wikipedia.org.
8. «Многоцелевая логика» в википедии . Получено 23 апреля 2019 г. из Википедии: es.wikipedia.org.
9. «Бивалентная логика» в Википедии . Получено 23 апреля 2019 г. из Википедии: es.wikipedia.org.