Логика

СВОБОДНАЯ ЛОГИКА - раздел современной логики, в котором анализируются свойства высказываний с пустыми (необозначающими) терминами. Свободной логикой называют также логику, свободную от экзистенциальных (от лат. exsistentia — существование) допущений. Классическая логика является экзистенциальной логикой. Это обусловлено двумя моментами: а) универсум рассуждения, на котором осуществляется интерпретация этой логики, обязательно должно быть непустым множеством; б) все термы (аналоги имен) в обязательном порядке должны иметь значения в универсуме рассуждения. Нарушение этих условий приводит к несоблюдению целого ряда дедуктивных принципов классической логики...

КВАНТОВАЯ ЛОГИКА — раздел логики, изучающий применение логических методов в квантовой механике. Различают логику квантовой механики и квантовую (ортомодулярную) логику. Первая изучает рассуждения в квантовой механике, вторая представляет собой недистрибутивную ортомодулярную решетку, соответствующую математическому формализму квантовой теории. Исторически начало логических исследований структур квантовой теории связывают с монографией И. фон Неймана «Математические основы квантовой механики» (1932). В 1936 году фон Нейман и Г. Биргкоф создают математический формализм в виде ортомодулярной решетки замкнутых подпространств Гильбертова пространства, вполне соответствующий известному эксперименту с прохождением электрона через две щели экрана, в результате которого вместо точечного следа на мишени получалась дифракционная картина...

ПАРАДОКС, -а, м. (сер. XVIII в.). Мнение, суждение, резко расходящееся с общепринятым; взгляд, противоречащий здравому смыслу. Сплошные парадоксы. Относиться к парадоксам спокойно. Это парадокс.

— Франц. paradox — парадокс < греч. paradoxos — не-обычный, противоречащий общепринятому мнению, от para— пере- и doxa — мнение.

ПАРАДОКСАЛЬНЫЙ, -ая, -ое (2 пол. XIX в.). Являющийся парадоксом; необычайный, невероятный. Парадоксальный случай. Парадоксальная ситуация. Парадоксальное известие. Парадоксальная реакция. Парадоксальное явление.

ЭКСПЛИКАЦИЯ (лат. explicatio – объяснение, развертывание) – в широком смысле разъяснение, уточнение позиции, понятия, значения слова. В более узком и точном смысле, сформулированном Р. Карнапом в его концепции логической семантики, – замещение представления обыденного сознания точным научным понятием. Экспликация обычно выступает как разработка исходных научных понятий в процессе формирования первоначальных концептуальных структур – типологий, первичных объяснительных схем и т.д., при использовании смыслового содержания обыденного сознания. Экспликация в этом смысле выступает как исходная для всякого теоретического сознания процедура рефлексии над смыслом и значением представлений обыденного сознания, предполагающая концептуально-теоретический ответ на вопрос: «Что это такое?»...

АКСИОМА (греч. ἀξίωμα – принятое положение) – предложение, по какой-либо причине принимаемое в качестве исходного для каких-либо дальнейших рассуждений. Это общее понимание аксиомы всякий раз конкретизируется вместе с уточнением того, что понимается под предложением, причиной и под дальнейшими рассуждениями. Типичные примеры аксиом: 1) некоторое выражение символического языка исчисления, если под дальнейшими рассуждениями понимаются использующие его выводы в рамках данного исчисления. В этом случае причина принятия аксиом – само определение рассматриваемого исчисления. Здесь сомнения по поводу принятия аксиом бессмысленны...

РЕЛЕВАНТНАЯ ЛОГИКА – направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии «релевантная» (термины «релевантный», «релевантность» представляют собой кальку с английского, и их можно перевести как «уместный», «относящийся к делу», «уместность») нашло отражение то обстоятельство, что в ней исключаются свойственные классической логике принципы, которые с точки зрения интуиции и, главное, реальной практики рассуждений трактуются как неуместные, не соответствующие этой практике, парадоксальные. Релевантная логика отличается от классической логики в двух основных пунктах. Во-первых, в объектный язык исчислений вводится интенсионально понимаемая импликация (см. Логические связки), истинностное значение которой в отличие от экстенсиональной материальной импликации не детерминируется истинностными значениями связываемых высказываний...

ЭЛИМИНАЦИОННАЯ ТЕОРЕМА - фундаментальная теорема доказательств теории. Термин «элиминационная теорема» введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом в виде «Основной теоремы» (Hauptsatz) для исчисления секвенций классической и интуиционистской логики предикатов в работе «Исследования логических выводов» (1934). Согласно этой теореме, любой вывод в классическом или интуиционистском исчислении секвенций можно преобразовать в вывод с той же конечной секвенцией, не содержащий применений правила сечения. Идейно устранение сечения связано со следующей характерной особенностью секвенциальных исчислений. Все правила вывода (кроме сечения) действуют так, что любая формула, использованная в дереве вывода, оказывается подформулой формулы, входящей в результат вывода (конечную секвенцию)...

ЗНАЧЕНИЕ (в семиотике) — объект, который обозначается, замещается, репрезентируется другим объектом — знаком; между двумя объектами, выступающими соответственно в роли знака и значения, в процессе семиозиса устанавливается отношение обозначения. Установление такого отношения зависит от природы знаков: для индексов, иконических и сопричастных знаков можно сказать, что интерпретатор усматривает существующую (реальную или воображаемую) связь между знаком и его значением, которая состоит в причинно-следственной связи между ними, их сходстве или в наличии общей природы у знака и его значения, тогда как для условных знаков отношение обозначения устанавливается интерпретатором произвольно или по соглашению с другими интерпретаторами...

ИНДУКЦИЯ В ИСТОРИЧЕСКОМ ИССЛЕДОВАНИИ (лат inductio - наведение) - 1) логическое суждение, основанное на методе «восхождения от конкретного к абстрактному», от частных (отдельных) фактов к общему выводу; 2) общенаучный метод изучения явлений посредством сбора и описания эмпирических данных (признаков и проявлений) и выведения на их основе общих свойств и характеристик. Термин «индукция» встречается у Сократа, Аристотеля, который рассматривал ее как способ умозаключения, противоположный силлогизму. Родоначальником современного учения об индукции как основном методе научного познания выступает Р. Бэкон...

СИЛЛОГИЗМ (греч. συλλογισμός) – вид дедуктивного умозаключения, в котором из двух высказываний (посылок) субъектно-предикатной структуры следует новое высказывание (заключение) той же логической структуры. Обычно силлогизмом называют категорический силлогизм, состоящий из трех терминов, попарно связанных в высказываниях посредством одного из следующих четырех логических отношений: «Всякое... есть...», «Ни одно... не есть...», «Некоторое... есть...», «Некоторое... не есть...» (обозначаемых соответственно буквами А, Е, I, О).