Понятие «Дамский аргумент»
выражение, которым обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до карикатуры.
язык, который содержит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым.
Подобные антиномии возникают в случаях, когда язык, в котором строится антиномия, содержит для собственных...
Одним из них является различение метаязыка и языка-объекта при строгом определении в метаязыке соответствующих...
Языки, характеризующиеся семантической замкнутостью, имеющие всюду определенные стандартные и семантические...
), можно свести рассуждения к исследованиям пресуппозициональных языков....
рассматриваемых семантиках можно ввести предикат «Быть истинным высказыванием» (как в естественном языке
В статье рассматривается возможность определения предиката «истина» в семантически замкнутом языке при условии отказа от некоторых постулатов классической логики. В центре исследования «усиленный Лжец» проблема, возникающая для подходов к устранению парадоксальности, которые сохраняют самоприменимые предложения, содержащие семантические предикаты, в качестве правильно построенных предложений языка. Предлагается система, в которой парадоксальность может быть нейтрализована при помощи идей контекстной характеристики и обоснованности предложения.
Применение семантических таблиц
Определение 1
Семантические таблицы для квазиматричной логики...
Для формул, составленных с помощью языка логики предикатов, и содержащих знаки отрицания, дизъюнкции...
Определение 3
Альтернативные подтаблицы (а при их отсутствии – сама таблица) называют замкнутыми,...
Определение 4
Таблица называется замкнутой, если замкнуты все входящие в нее подтаблицы (при наличии...
шага:
перевод посылки и заключения рассуждения на язык логики предикатов;
построение семантической
Возможен ли логически последовательный семантически замкнутый язык? Ортодоксальным для логики ХХ в. является отрицательный ответ на данный вопрос, представленный в теории типов Б. Рассела и семантической теории метаязыков А. Тарского. Тем не менее современные логики и философы языка не перестают возвращаться к данной проблеме, указывая на ее актуальность в различных аспектах. В частности, утверждается, что семантически замкнутый язык является принципиально важным средством выражения идей логического и философского характера. В логике ХХ в. вопрос о семантически замкнутом языке обсуждался в связи с проблемой логических парадоксов. Б. Рассел и А. Тарский видели основополагающую причину образования парадоксов в явлении самореферентности, которое возникает в семантически замкнутом языке. Соответственно, решение парадоксов усматривалось в том, чтобы устранить их основание, т. е. запретить семантически замкнутый язык посредством введения иерархии логических типов классов (Б. Рассел) или и...
выражение, которым обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до карикатуры.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
признак, отличающий подкласс внутри класса.