логические константы


логические константы
(Логические постоянные) - термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как "не", "и", "или", "есть", "каждый", "некоторый" и т. п. Л. к. не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не обозначают. Вместе с тем они позволяют из одних содержательных выражений получать другие. Установление точного смысла Л. к. и выяснение самых общих законов, относящихся к ним, - одна из основных задач логики (см.: Логическая форма, Символы собственные и несобственные, Символика логическая).

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

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

  • ЛОГИЧЕСКИЕ КОНСТАНТЫ — см. Константа. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 …   Философская энциклопедия

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

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

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

  • эрлангенская школа —         ЭРЛАНГЕНСКАЯ ШКОЛА была основана математиком и философом Паулем Лоренценом, который начинал как специалист в области оснований математики, а после приглашения в 1946 возглавить кафедру философии в Эрлангенском университете предпринял… …   Энциклопедия эпистемологии и философии науки

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

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

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

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

  • Математические обозначения — Список используемых в математике специфических символов можно увидеть в статье Таблица математических символов Математические обозначения («язык математики»)  сложная графическая система обозначений, служащая для изложения абстрактных… …   Википедия


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

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

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