логика функциональная


логика функциональная
(Функциональная логика) (теория квантификации) (кванторная логика) - основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расширенным вариантом логики высказываний.
В Л. п. - в дополнение к средствам логики высказываний -вводятся логические операторы" ("для всех") и $ ("для некоторых" или "существует"), называемые кванторами общности и существования соответственно. Для выявления субъектно-предикатной структуры высказываний вводится бесконечный пере-
чень индивидных переменных: х, у, z, ..., х1, у1, zl, ..., представляющих различные объекты, и бесконечный перечень предикатных переменных: Р, Q, R, ..., Р1, Q1, Л1, ..., представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области; наряду с этими переменными могут вводиться индивидные константы, или имена собственные.
Запись ("х)Р (х) означает "Всякий х обладает свойством Р"; ($х)Р(х) - "Некоторые х обладают свойством Р"; ($x)Q(xy) - "Существует х, находящийся в отношении Q с у" и т. п. Индивидная переменная, входящая в область действия квантора по этой переменной, называется связанной; переменная, не являющаяся связанной, называется свободной. Так, во всех трех приведенных формулах переменная х связана, в последней формуле переменная у свободна. Подлинной переменной является только свободная переменная: вместо нее можно подставить одно из ее значений и получить осмысленное выражение. Связанные переменные называются фиктивными.
Формула Л. п. называется общезначимой, если она истинна в каждой интерпретации. Тавтология логики высказываний является частным случаем общезначимой формулы. В Л. п., в отличие от логики высказываний, нет эффективного процесса, позволяющего для произвольно взятой формулы решить, является она общезначимой или нет.
Для Л. п. доказан ряд важных теорем, характеризующих ее основные свойства (см.: Непротиворечивость, Полнота, Разрешимость теории).

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "логика функциональная" в других словарях:

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • Логика второго порядка — в математической логике  формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… …   Википедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • логика многозначная —         ЛОГИКА МНОГОЗНАЧНАЯ обобщение классической двузначной логики С2 Логика высказываний), посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются другие истинностные значения. Именно на этом пути была впервые… …   Энциклопедия эпистемологии и философии науки

  • Функциональная полнота — Функциональная полнота  множества логических операций или булевых функций  это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества. Логика обычно использует такой набор операций:… …   Википедия

  • логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …   Современный философский словарь

  • Функциональная стилистика, или учение о функциональных стилях — – одно из центральных направлений стилистики, изучающее закономерности функционирования языка в различных сферах речевого общения, соответствующих тем или иным разновидностям деятельности и представляющих прежде всего функц. стили (см.), а также… …   Стилистический энциклопедический словарь русского языка

  • функциональная логическая схема с эмиттерными связями — funkcinis loginis grandynas su susietais emiteriais statusas T sritis automatika atitikmenys: angl. emitter function logic vok. Emitterfunktionslogik, f rus. функциональная логическая схема с эмиттерными связями, f; эмиттерно функциональная… …   Automatikos terminų žodynas

  • Функциональная система —         важный объект математической кибернетики, представляющий собой множество функций с некоторым набором операций, применяемых к этим функциям. Ф. с. является формализованным отражением следующих главных особенностей реальных и абстрактных… …   Большая советская энциклопедия

Книги

Другие книги по запросу «логика функциональная» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.