Логика - это область философии, которая направлена на изучение формальной структуры утверждений (предложений) и их правил. Короче говоря, логика служит правильному мышлению, а значит, является инструментом правильного мышления.
Логика происходит от греческого слова логотипы, что означает причину, аргумент или речь. Идея разговора и спора предполагает, что сказанное имеет значение для слушателя.
Этот смысл основан на логической структуре, когда что-то «имеет логику» означает, что это имеет смысл, это рациональный аргумент.
Логика в философии
Это был греческий философ Аристотель (384 г. С.-322 а. С.), создавший исследование логики, он назвал его аналитическим.
По его мнению, любое знание, претендующее на истинное и универсальное знание, должно уважать некоторые принципы, логические принципы.
Логика (или аналитика) стала пониматься как инструмент правильного мышления и определения логических элементов, лежащих в основе истинного знания.
Логические принципы
Аристотель разработал три основных принципа которые руководят классической логикой.
1. принцип идентичности
Существо всегда идентично самому себе: THE é THE. Если мы заменим THE для Марии, например, это так: Мария - это Мария.
2. Принцип непротиворечивости
Невозможно быть и не быть в одно и то же время, или чтобы единое целое было одновременно и своей противоположностью. невозможно, чтобы THE быть THE а также не-А, в то же время. Или, следуя предыдущему примеру: Мэри не может быть Марией и не быть Марией.
3. Принцип исключенной третьей стороны или исключенной третьей стороны
В предложениях (подлежащем и сказуемом) есть только два варианта: утвердительный или отрицательный: THE é Икс или же THE é нет-х. Мария учитель или Мария не учитель. Третьей возможности нет.
Смотрите также:Аристотелевская логика.
Предложение
В аргументе то, что сказано и имеет форму подлежащего, глагола и сказуемого, называется предложением. Предложения - это утверждения, утверждения или опровержения, и их достоверность или ложность анализируется логически.
Из анализа предложений изучение логики становится инструментом правильного мышления. Чтобы мыслить правильно, необходимы (логические) принципы, гарантирующие его обоснованность и истинность.
Все, что говорится в аргументе, является заключением мыслительного процесса (мысли), который оценивает и оценивает некоторые возможные существующие отношения.
Силлогизм
Из этих принципов у нас есть дедуктивное логическое рассуждение, то есть из двух предыдущих определений (предположений) делается новый вывод, который прямо не упоминается в предпосылках. Это называется силлогизмом.
Пример:
Каждый человек смертен. (предпосылка 1)
Сократ - мужчина. (предпосылка 2)
Следовательно, Сократ смертен. (заключение)
Это основная структура силлогизма и основа логики.
Три термина силлогизма можно классифицировать по их количеству (универсальное, частное или единичное) и их качеству (утвердительное или отрицательное).
Предложения могут различаться по качеству:
- Утверждения: S есть P. Каждый человек смертен, Мария - работница.
- Минус: S - это не P.Сократ не египтянин.
Они также могут различаться по своему количеству:
- Универсалии: Каждый S - это P.все люди смертны.
- Частный: Некоторые S - это P. Некоторые мужчины греки.
- Одиночные игры: Это S - P.Сократ - грек.
Это основа аристотелевской логики и ее выводов.
Смотри тоже: Что такое силлогизм?
Формальная логика
В формальной логике, также называемой символической логикой, предложения сводятся к четко определенным концепциям. Таким образом, самое главное не то, что сказано, а его форма.
Логическая форма утверждений прорабатывается посредством (символического) представления предложений буквами: п, какиеа также р. Он также будет исследовать отношения между предложениями через их логические операторы: союзы, дизъюнкции а также кондиционирование.
логика высказываний
Таким образом, предложения могут обрабатываться по-разному и служить основой для формальной проверки утверждения.
Логические операторы устанавливают отношения между предложениями и делают возможной логическую цепочку их структур. Несколько примеров:
Отрицание
Это противоположность термину или предложению, представленному символом ~ или ¬ (отрицание п ~ p или ¬ П). В таблице для p true у нас есть ~ p false. (солнечно = п, не солнечно = ~ п или ¬ п).
Соединение
Это союз между предложениями, символ ∧ представляет слово «и» (сегодня солнечно а также Я иду на пляж, п ∧ какие). Чтобы соединение было истинным, оба должны быть истинными.
Дизъюнкция
Это разделение предложений, символ v представляет "или же" (Я собираюсь на пляж или же Оставайся дома, п v какие). Для действительности хотя бы один (или же другой) должно быть правдой.
Условный
Это установление причинно-следственной связи или обусловленности, символ ⇒ представляет "если... тогда..." (если идет дождь, тогда Я останусь дома, п ⇒ какие).
двухусловный
Это установление двусторонних отношений обусловленности, есть двойное значение, символ ⇔ представляет "если и только если,". (Я хожу в класс тогда и только тогда, когда я не в отпуске, п ⇔ какие).
Применяя таблицу истинности, мы имеем:
| п | какие | ~ р | ~ что | п ∧ какие | п v какие | п ⇒ какие | п ⇔ какие |
|---|---|---|---|---|---|---|---|
| V | V | F | F | V | V | V | V |
| V | F | F | V | F | V | F | F |
| F | V | V | F | F | V | V | F |
| F | F | V | V | F | F | V | V |
Буквы F и V можно заменить на ноль и единицу. Этот формат широко используется в вычислительной логике (F = 0 и V = 1).
Смотри тоже: Таблица истинности.
Другие виды логики
Есть несколько других типов логики. Эти типы, в общем, являются производными классической формальной логики, представляют собой критику традиционной модели или новый подход к решению проблем. Вот несколько примеров:
1. Математическая логика
Математическая логика происходит от формальной логики Аристотеля и развивается из ее ценностных отношений предложений.
В XIX веке математики Джордж Буль (1825-1864) и Август Де Морган (1806-1871) были отвечает за адаптацию принципов Аристотеля к математике, дав начало новому наука.
В нем возможности истины и лжи оцениваются через их логическую форму. Предложения преобразуются в математические элементы и анализируются на основе их отношений между логическими значениями.
Смотри тоже: Математическая логика.
2. Вычислительная логика
Вычислительная логика происходит от математической логики, но выходит за рамки этого и применяется к компьютерному программированию. Без него были бы невозможны некоторые технологические достижения, такие как искусственный интеллект.
Этот тип логики анализирует отношения между значениями и преобразует их в алгоритмы. Для этого он также использует логические модели, которые расходятся с моделью, первоначально предложенной Аристотелем.
Эти алгоритмы отвечают за ряд возможностей, от кодирования и декодирования сообщений до таких задач, как распознавание лиц или возможность автономных автомобилей.
Как бы то ни было, в наши дни все отношения с компьютерами проходят через такую логику. Он объединяет основы традиционной аристотелевской логики с элементами так называемых неклассических логик.
3. Неклассическая логика
Под неклассической или антиклассической логикой понимается серия логических процедур, которые отказываются от одного или нескольких принципов, разработанных традиционной (классической) логикой.
Например, нечеткая логика (нечеткий), широко используемый для разработки искусственного интеллекта, не использует третий принцип исключения. Он принимает любое реальное значение от 0 (ложь) до 1 (истина).
Примеры неклассических логик:
- Логика нечеткие;
- Интуиционистская логика;
- Непротиворечивая логика;
- Модальная логика.
Любопытства
Задолго до любой вычислительной логики логика служила основой всех существующих наук. Некоторые приводят это рассуждение, выраженное от своего имени, используя суффикс "логия", греческого происхождения.
Биология, социология и психология - вот некоторые примеры, которые делают их отношения с логотипы Греческий, понимаемый из идеи логического и систематического изучения.
Таксономия, классификация живых существ (царство, тип, класс, порядок, семейство, род и виды) даже сегодня следует логической модели классификации по категориям, предложенной Аристотелем.
Смотрите также:
- Логическое рассуждение - упражнения
- Философские упражнения
