Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Логика предикатов – основной раздел современной логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний.
Содержание книги
- Традиционная и современная логика
- Формальная логика – наука о законах и операциях правильного мышления.
- Под интуитивной логикой обычно понимают интуитивные представления о правильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления.
- Некоторые схемы правильных рассуждений
- Традиционная и современная логика
- Современная логика и другие науки
- Язык представляет собой систему знаков, используемую для целей коммуникации и познания.
- Основные функции, или употребления, языка – это те основные) задачи, которые решаются языком в процессе коммуникации и познания.
- Деление должно быть непрерывным.
- Условное высказывание, импликация, эквивалентность
- Описательные и оценочные высказывания
- Неточные имена не дают ясного представления о том, какие именно вещи подпадают под них, А какие нет.
- Крайние случаи бессмысленного
- Логика высказываний является теорией тех логических связей высказываний, которые не зависят от внутреннего строения (структуры) простых высказываний.
- Логические законы тождества, двойного отрицания и другие
- Законы ассоциативности и коммутативности
- Логика предикатов – основной раздел современной логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний.
- Модальная логика – раздел логики, в котором исследуются логические связи модальных высказываний.
- Логическое исследование ценностей
- Категорическое высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
- Прямое и косвенное доказательство
- Виды косвенных доказательств
- Опровержение – это рассуждение, направленное против выдвинутого тезиса и имеющее целью установление его ложности или недоказанности.
- Индукция как вероятное рассуждение
- Некоторых предметов данного класса, принято называть неполной индукцией.
- Методы установления причинных связей
- Если с изменением одного явления изменяется и другое, А остальные обстоятельства остаются неизменными, то между данными явлениями существует, по всей вероятности, причинная связь.
- Аналогия свойств и аналогия отношений
- Понимание языковых выражений
- Понимание языкового выражения – это подведение значений входящих в него слов под соответствующие представления.
- Косвенное подтверждение – подтверждение в опыте логических следствий обосновываемого положения.
- Контекстуальная аргументация – это аргументация, эффективность которой ограничена определенными аудиториями.
- Аргументация в поддержку оценок
- Целевое обоснование – обоснование позитивной оценки какого-то объекта ссылкой на то, что с его помощью может быть получен другой объект, имеющий позитивную ценность.
- Спор представляет собой столкновение мнений или позиций, в ходе которого стороны приводят аргументы в поддержку своих убеждений и критикуют несовместимые с последними представления другой стороны.
- Споры об истине и споры о ценностях
Логика предикатов является расширением логики высказываний: все законы логики высказываний являются также законами логики предикатов, но не наоборот. В этом смысле логика высказываний более фундаментальна, чем логика предикатов.
Предикат – это языковое выражение, обозначающее какое-то свойство или отношение. Предикат, указывающий на свойство отдельного предмета, например, "быть зеленым", называется одноместным. Предикат, обозначающий отношение, называется двухместным, трехместным и т.д. в зависимости от числа членов данного отношения. Например, "любит" – двухместный предикат, "находится между" – трехместный.
В современной логике предикация рассматривается как частный случай функциональной зависимости. Предикатами называются функции, значениями которых служат высказывания. Например, выражение "...есть зеленый" (или " х есть зеленый") является функцией от одной переменной, "... любит... " (" х любит у") – функция от двух переменных и т.д. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных.
В логике предикатов – в дополнение к средствам логики высказываний – вводятся логические операторы  ("для всех") и  ("для некоторых", или "существует"), называемые кванторами общности и существования соответственно. Для выявления субъектно-предикатной структуры высказываний вводится бесконечный перечень индивидных переменных: х, у, z,..., х1, у1, z1,..., представляющих различные объекты, и бесконечный перечень предикатных переменных: Р, Q, R,..., Р1, Ql, R1,..., представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области; наряду с этими переменными могут вводиться индивидные константы, или имена собственные.
Запись ( x) Р(х) означает "Всякий х обладает свойством Р", ( х) Р(х) – "Некоторые х обладают свойством Р", ( x) Q(x, у) – "Существует х, находящийся в отношении Q с у " и т.п.
Формула логики предикатов называется общезначимой, если она истинна в каждой интерпретации, в каждом приписывании содержательного смысла входящим в нее символам. Тавтология логики высказываний является частным случаем общезначимой формулы. В логике предикатов, в отличие от логики высказываний, нет эффективной процедуры, позволяющей для произвольно взятой формулы решить, является ли она общезначимой или нет.
Глава 8
МОДАЛЬНАЯ ЛОГИКА
ЛОГИЧЕСКИЕ МОДАЛЬНОСТИ
Модальность – это оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий "необходимо", "возможно", "доказуемо", "опровержимо", "обязательно", "разрешено" и т.п. Модальные высказывания – это высказывания, содержащие хотя бы одно из таких понятий. Модальные высказывания делятся на типы в зависимости от той точки зрения, на основе которой формулируются выражаемые ими характеристики. Ранее, при обсуждении модальных высказываний, проводилось различие между логическими, физическими, эпистемическими, нормативными и оценочными модальными высказываниями.
|
