- •1.1. Что такое логика?
- •1.3. Формы и законы мышления
- •1.4. Символический язык. Исчисление предикатов
- •Символический язык
- •2.1. Определение и образование понятия
- •Что такое понятие?
- •Определение понятия
- •Методы образования понятий
- •2.1.2. Понятие и язык
- •2.2. Структура понятия
- •Различие понятий по содержанию и объему
- •2.3. Виды понятий
- •Отношения между понятиями по содержанию
- •Отношения между понятиями по объему
- •2.2.П е р е с е к а т ь с я. В отношение пересечения вступают сходные или
- •Несовместимые понятия
- •2.5. Логические операции с понятиями
- •Операция определения понятий
- •2.5.1. Определение
- •2.5.2. Правила и ошибки явного определения
- •2.5.3. Деление понятий
- •2.5.5. Обобщение и ограничение понятий
- •Обобщение и ограничение понятий
- •3.1. Логический анализ простых суждений
- •3.1.1. Определение суждения и его отличие от понятия
- •В чем отличие суждения от понятия?
- •Как «узнать» суждение в языке?
- •3.1.2. Структура суждения
- •Какие бывают суждения?
- •3.1.3. Виды суждений
- •Категорические суждения
- •Виды категорических суждений
- •1. Деление суждений по качеству
- •2. Деление суждений по количеству
- •4. Суждение о.
- •3.1.4. Отношения между суждениями
- •Логический квадрат
- •3.1.5. Операции с простыми суждениями
- •1. Противопоставление субъекту.
- •2. Противопоставление предикату.
- •3.2.Логический анализ сложных суждений
- •3.2.1. Образование сложных суждений
- •3.2.2. Классификация сложных суждений
- •3.2.3. Проблема истинности
- •3.3. Логика вопросов и ответов
- •3.3.1. Вопрос как форма мысли
- •3.3.2. Функции вопроса
- •3.3.3. Виды вопросов
- •Определение ответа
- •3.3.4. Понятие ответа
- •4.1. Общая характеристика закона мышления
- •5.1.1. Выводы из простых суждений
- •Истинность мысли и правильность мысли
- •5.1.2. Простой категорический
- •Структура пкс
- •6.1. Выводы из сложных суждений
- •7.1. Индуктивные умозаключения
- •7.2. Виды индуктивных обобщений
- •7.3. Умозаключение по аналогии
- •8.4. Правила и ошибки доказательства и опровержения
1.4. Символический язык. Исчисление предикатов
Математическая логика имеет ряд разделов, пользующихся искусственным языком. В отличие от естественного языка, в искусственном каждому символу придано одно единственное значение. Формализация простых высказываний (или суждений) привела к созданию пропозициональной логики,или исчисления высказываний.Сложные высказывания образуются из простых при помощи логических союзов. Их таблица приведена в III главе, посвященной анализу сложных суждений. Суждение в математической логике принято называть высказыванием. Так, символическая запись: р^^ будет означать сложное высказывание типа: «если это дерево, то оно не проводит электрический ток». Логика предикатов,или кван- торнаялогика является расширением логики высказываний за счет двух кван- торных символов: V и 31.В общем виде символический язык исчисления предикатов включает:
а, Ъ, с, ... - предметные постоянные. Их используют для собственных или описательных, т.е. единичных имен предметов;
х, у, 2, ... - предметные переменные. Символы, обозначающие общие имена предметов, принимающих значение в той или иной области;
р, г, ... - пропозициональные переменные. Это - символы высказываний.
Р1, О1, К1, ... , Рп, Кп, ... - предикатные переменные с "п" - местностью;
V; 3- кванторы "всеобщности" и "существования", соответствующие словам "все" и "некоторые" естественного языка;
логические союзы:
•; &; л- конъюнкция («и»); V; V ; V - дизъюнкция («или», «либо, либо»);^ ; з- импликация («если, то»);= •<-- эквиваленция («если и только если.»);|• - отрицание («не», «неверно, что»).
7) технические знаки: ( ; ) - левая и правая скобки.
Символический язык
Других
знаков алфавит языка логики предикатов
не содержит.
С помощью данного искусственного языка и правильно построенных формул (ППФ) строится формализованная логическая система. Элементы языка
логики предикатов используются и в изложении содержания курса формальной
2
логики .
Следуя исторической эволюции логического знания, изучение логики необходимо начинать с классической формальной логики. Практическое значение логики раскрывается поэтапно, в ходе анализа содержания данной науки в последующих главах.
О каком языке идет речь в следующем рассуждении: «Причина трагической судьбы художника (в прямом смысле, художника, музыканта) - в том, что он хочет добиться того, что в принципе невозможно. Он хочет, чтобы окружающие «заговорили» на «его» языке, на языке, понятном ему одному. На самом деле они могут лишь догадываться, интерпретировать, пытаться с малой вероятностью уловить авторский смысл. Художник говорит на условном, символическом языке».
Итак,
человек познает мир в разных формах;
чувственное познание является непосредственным и образным;
^ образ фиксирует чувственные данные и предполагает сходство с оригиналом;
логическое познание - более высокая ступень познания;
в основе логического познания лежит способность классифицировать существенные признаки и абстрагироваться от несущественных;
поэтому абстрактное мышление устанавливает сходство и различие между предметами в их существенных чертах;
^ результатом логического познания являются разные формы мысли;
^ простейшая форма мысли - понятие;
^ более сложными формами мысли являются суждение и умозаключение;
логика стремится к определению правильных форм рассуждения;
они устанавливаются правилами и законами этой науки;
Подумайте ...
мышление неразрывно связано с языком;
^ формальная логика «говорит» преимущественно на естественном языке, а символическая - на искусственном, символическом языке;
^ периодизация истории логики совпадает с историей науки и техники, а также с общефилософской периодизацией человеческой истории;
^ все направления логики изучают человеческое мышление, но каждая в отдельности определяет условия его истинности в зависимости от области его использования.
Контрольные вопросы
Что изучает логика?
Является ли логика единственной наукой, исследующей мышление?
В чем отличие логики от психологии?
Как человек познает мир?
В чем отличие абстрактного мышления от других форм познания?
Как и почему связаны мышление и язык?
В чем разница между естественными и искусственными языками? Зачем создаются последние?
Каков язык логики предикатов?
Что Вы знаете об истории логики?
Какие «логики» существуют сегодня? Какие проблемы они решают?
Какая из них устанавливает нормы речевого общения?
12.Что такое «логическая форма»? Какие формы мысли изучает логика?
За что «отвечают» законы мышления?
Как логика определяет свой предмет?
Каково практическое значение логики?
понятие и его роль в мыслительном
процессе
Определение и образование понятия.
Структура понятия.
Виды понятий.
Отношения между понятиями.
Логические операции с понятиями: определение, деление, ограничение и обобщение понятий.
Контрольные вопросы.
Изучение логики принято начинать с понятия. И это не случайно. Содержание любой науки формируется в процессе исследования ее проблем. Определяя круг своих вопросов, логика исходит из предпосылки, что мышление человека неразрывно связано с действительностью и невозможно без языка, через который оно выражается. Поэтому анализ мышления логика начинает с выявления его структуры, определения тех форм, в которых оно протекает, и выяснения роли, которую играет каждая из них в интеллектуальной деятельности человека.