Портал учебных материалов.
Реферат, курсовая работы, диплом.


  • Архитктура, скульптура, строительство
  • Безопасность жизнедеятельности и охрана труда
  • Бухгалтерский учет и аудит
  • Военное дело
  • География и экономическая география
  • Геология, гидрология и геодезия
  • Государство и право
  • Журналистика, издательское дело и СМИ
  • Иностранные языки и языкознание
  • Интернет, коммуникации, связь, электроника
  • История
  • Концепции современного естествознания и биология
  • Космос, космонавтика, астрономия
  • Краеведение и этнография
  • Кулинария и продукты питания
  • Культура и искусство
  • Литература
  • Маркетинг, реклама и торговля
  • Математика, геометрия, алгебра
  • Медицина
  • Международные отношения и мировая экономика
  • Менеджмент и трудовые отношения
  • Музыка
  • Педагогика
  • Политология
  • Программирование, компьютеры и кибернетика
  • Проектирование и прогнозирование
  • Психология
  • Разное
  • Религия и мифология
  • Сельское, лесное хозяйство и землепользование
  • Социальная работа
  • Социология и обществознание
  • Спорт, туризм и физкультура
  • Таможенная система
  • Техника, производство, технологии
  • Транспорт
  • Физика и энергетика
  • Философия
  • Финансовые институты - банки, биржи, страхование
  • Финансы и налогообложение
  • Химия
  • Экология
  • Экономика
  • Экономико-математическое моделирование
  • Этика и эстетика
  • Главная » Логика. Учебник » 4.3. Исчисление предикатов

    4.3. Исчисление предикатов

    Построение исчисления предикатов осуществляется, с одной стороны, аналогично построению исчисления высказываний, а с другой – качественно отличается от него.
    Сходство и даже связь между обоими исчислениями заключается, во-первых, в том, что значение, которое принимает пропозициональная функция (предикат) из универсума рассуждения, при соответствующих аргументах быть может либо истинным, либо ложным. Во-вторых, все логические связки (операторы), которые рассматривались в предыдущей главе – отрицание, дизъюнкция, конъюнкция, импликация – используются и в исчислении предикатов. Следовательно, для определения истинностного значения пропозициональной функции таблица истинности, с которой мы знакомы, может применяться в принципе и здесь, однако на практике такой способ оказывается крайне громоздким и неэффективным.
    Прежде всего в исчислении предикатов используются кванторы. Кроме того, для определения истинности    пропозициональной функции необходимо установить определенное соответствие между функцией и теми независимыми переменными (аргументами), которые составляют область ее определения (универсум рассуждения). Например, если универсум для отношения х < у составляет множество пар целых положительных чисел, то для определения значения истинности    этого отношения необходимо установить соответствие (функцию) между любой парой чисел х и у из универсума и отношением х < у. Очевидно, что при х = 2 и у = 3 высказывание, полученное путем подстановки этих чисел в формулу, будет истинным, а при х=5 и у=3– ложным.
    Функция, которая соотносит независимым переменным из ее универсума соответствующее значение истинности    или ложности, называют логической, интерпретационной либо семантической.
    В общем случае, если предикат Р зависит от п индивидных (предметных) переменных, т.е. Р (х1, х2,..., xn), то каждой п-ке переменных из универсума семантическая функция будут соотносить значение "истина" или "ложь". Если n=0, мы получим отдельное, нерасчлененное высказывание (законы исчисления таких высказываний рассматривались в предыдущей главе). Следовательно, исчисление высказываний быть может получено в качестве частного случая исчисления предикатов, а тем самым устанавливается связь между ними.
    При п = 1, т.е. Р(х), предикат является свойством, при п = 2, 3, 4 получаем бинарные, тернарные и тому подобные отношения.
    Поскольку в исчислении предикатов применяются кванторы, при определении истинностного значения пропозициональной функции необходимо установить процедуру для вычисления формул вида:
    (х) А и (Ех) А,
    где А, как обычно, обозначает любую формулу предметного языка.
    Их значения мы сможем вычислить лишь тогда, когда сумеем соотнести    некоторую семантическую функцию с в формуле А. Другими словами, когда при произвольном выборе элемента х из универсума – причем свободно входящего в формулу А – сможем приписать А в качестве ее значения семантическую функцию с. Тогда будем считать, что формула (х) А будет истинна, если приписанная ей семантическая функция будет всегда принимать значение истины. В противном случае (х) А будет ложно. Аналогично этому (Ех) А будет истинно, если среди значений его семантической функции найдется по крайней мере одно истинное утверждение. В противном случае оно будет считаться ложным.
    Опираясь на эти определения, мы можем теперь вычислить таблицу истинности    для произвольной формулы, например, формулы, универсум которой состоит всего из двух объектов: 1 и 2.
    Чтобы вычислить истинностные значения, например, формулы
    Р(у) v (х) (Р(х) → Q).
    необходимо учесть определенное распределение, состоящее из семантической функции для Р(х), значения истинности    подформулы Q и значения для свободной переменной у. В связи с этим на входах таблицы истинности    для рассматриваемой формулы будут три величины. Но предварительно следует выписать список четырех (22) распределений значений истины семантической функции одной переменной для универсума |1, 2| (табл.12).

    Основываясь на этом распределении, можно вычислить таблицу истинности    для рассматриваемой функции (табл.13).
     
     
     
     
     
     
     
     
     
     
     
    Таблица 13

     
    Этот пример показывает, что построение таблицы истинности    для исчисления предикатов составляет несравненно более трудную задачу, чем построение таблицы для исчисления высказываний. В самом деле, если универсум рассуждения будет состоять из 10 элементов, то для этого придется построить 210 = 1024 семантические функции только для одной независимой переменной, а число строк в таблице в огромной степени возрастает по мере усложнения формул. В нашем примере речь шла только о двух объектах универсума рассуждений, а формула была крайне проста. Поэтому к таблицам истинности    в исчислении предикатов обращаются главным образом для иллюстраций, используя для этого весьма простые формулы с крайне ограниченным универсумом рассуждений.
    Тем не менее аналогия с исчислением высказываний оказывается весьма полезной для объяснения таких понятий, как общезначимая (или тождественно истинная) формула исчисления предикатов и логическое следование в этом исчислении.
    Формула А считается общезначимой в исчислении предикатов, если при всяком выборе универсума рассуждений (области    ее значений) столбец ее значений в таблице будет состоять только из истин. Если универсум будет фиксирован, то формула называется общезначимой только в этом универсуме.
    Поскольку проверка формулы на общезначимость, как мы видели, представляет собой крайне трудную задачу, то выход часто ищут в противоположной операции: в установлении необщезначимости    формулы. Для этого в принципе достаточно найти такую единственную строку в таблице, где формула принимает ложное значение. В приведенном выше примере (см. табл.13) этими строками являются 8 и 11.
    В некоторых случаях поиск необщезначимой формулы быть может ускорен, если воспользоваться сокращенными способами, основанными на определениях логических операций дизъюнкции, конъюнкции и импликации.
    Например, если нам было бы известно, что один из дизъюнктивных членов рассматриваемой формулы был бы истинен, тогда истинной была бы вся формула. Если же ложным оказался один член конъюнкции, то вся формула окажется ложной.
    « Предыдущая страница Оглавление Следующая страница »

    Об авторах
    Введение
    1 ГЛАВА. Предмет и задачи логики
    1.1. Логика как наука
    1.2. Основные этапы развития логики
    1.3. Логика и другие науки
    1.4. Понятие о логической форме и правильности мышления
    1.5. Логика и язык
    Проверьте себя
    2 ГЛАВА. Понятие как форма мышления
    2.1. Понятие как результат обобщения
    2.2. Определение понятий. Их основные виды
    2.3. Деление понятий и классификация
    2.4. Понимание и аргументация
    3 ГЛАВА. Логика высказываний
    3.1. Высказывание и предложение
    3.2. Логическая структура высказываний
    3.3. Способы образования сложных высказываний
    3.4. Основные логические операции над высказываниями
    3.5. Логическое следование
    3.6. Доказуемость и выводимость
    3.7. Логический анализ рассуждений естественного языка
    3.8. О модальности суждений
    3.9. Непосредственные умозаключения традиционной логики
    4 ГЛАВА. Логика предикатов
    4.1. Свойства, отношения и предикаты
    4.2. Кванторы
    4.3. Исчисление предикатов
    4.4. Логическое следование
    4.5. Выводимость и доказуемость
    4.6. Категорический силлогизм и другие умозаключения дедуктивной логики
    4.7. Логический анализ рассуждений в естественном языке
    5 ГЛАВА. Правдоподобные рассуждения
    5.1. Статистическая и логическая вероятность
    5.2. Основные формы индуктивных рассуждений
    5.3. Методы индукции Бэкона– Милля
    5.4. Причинность, индукция и гипотеза в социально-гуманитарном познании
    5.5. Умозаключения по аналогии
    5.6. Статистические умозаключения
    6 ГЛАВА. Основные законы логики
    6.1. Закон тождества
    6.2. Закон противоречия
    6.3. Закон исключенного третьего
    6.4. Закон достаточного основания
    Часть вторая. Логические основы аргументации
    7 ГЛАВА. Доказательство и опровержение
    7.1. Общее понятие о доказательстве
    7.2. Структура доказательства
    7.3. Основные способы демонстрации тезиса
    7.4. Прямые и косвенные доказательства
    7.5. Опровержение
    7.6. Правила доказательства и опровержения
    7.7. Паралогизмы, софизмы и парадоксы
    8 ГЛАВА. Аргументация и диалог
    8.1. Диалог как форма поиска истины и способ аргументации
    8.2. Спор, дискуссия и полемика
    8.3. Ошибки и уловки, допускаемые в ходе аргументации
    9 ГЛАВА. Общая структура и методы аргументации
    9.1. Графические схемы структуры аргументации
    9.2. Основные стадии процесса аргументации
    9.3. Важнейшие методы аргументации
    10 ГЛАВА. Анализ и оценка данных аргументации
    10.1. Основные виды данных и требования, предъявляемые к ним
    10.2. О природе ценностей в аргументации
    10.3 Доверие как источник убеждения
    Заключение

     

    Похожие работы:

    Воспользоваться поиском

     

    Похожие учебники:

    Педагогика начальной школы

    MySQLi connect error: Connection refused