Язык классической логики предикатов первого порядка

Классическая логика предикатов (КЛП) – это логическая теория, изучающая внутреннюю структуру как сложных, так и простых суждений, отношения между ними и выводы, построенные с учетом этой структуры.

Основоположниками КЛП считаются Готлоб Фреге и Бертран Рассел. По сути логика предикатов представляет собой своего рода «надстройку» над пропозициональной логикой, предназначенную для анализа простых высказыванийи в частности – их количественного аспекта. Здесь принцип компо-зициональности распространя-ется не только на сложные, но и на простые суждения.

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

Выразительные возможности КЛП гораздо шире, чем у большинства других логических систем – ее язык охватывает выражения практически всех важнейших семантических категорий (см. Тему I, §2).

Алфавит КЛП включает в себя:

Дата добавления: 2015-06-30; просмотров: 296; Нарушение авторских прав

Мы поможем в написании ваших работ!