Cтраница 1
Семантические антиномии - антиномии, возникающие в высказываниях, предметом к-рых являются выражения некоторого языка. [1]
Как показал Тарский, описание семантических свойств языка в рамках этого же самого языка приводит к семантическим антиномиям типа лжец. [2]
Парадоксы ( логики и теории множеств) - формально-логические противоречия, к-рые возникают в содержательной теории множеств п формальной логике при сохранении логической правильности хода рассуждения; родственны апориям Зе-нона и семантическим антиномиям, известным с глубокой древности. Они могут появиться как в пределах научной теории, так и в обычных рассуждениях ( напр. Расселом перифраза его парадокса о множестве всех нормальных множеств: Деревенский парикмахер бреет всех тех и только тех жителей своей деревни, к-рые не бреются сами. [3]
Основная идея геделевского доказательства этих теорем заодно доставляет нам и метод, позволяющий произвести математическое уточнение некоторых логических и теоретико-множественных парадоксов, из числа тех, в которых существенную роль играет соотношение между обозначением и обозначаемым и для которых в последнее время получило права гражданства название семантических парадоксов, или же семантических антиномий. [4]
Ramsey, 1926), является в значительной степени условным. Многие семантические антиномии могут быть сформулированы в логической форме, и наоборот. Рамсея, семантические антиномии не могут быть проведены в обычных логико-математических теориях уже потому, что эти теории не содержат семантических понятий, нужных для формулировки семантических антиномий. [5]
Значительный интерес представляют также антиномии несколько иного вида, называющиеся семантическими. В отличие от логических, в состав семантических антиномий входят такие семантические термины, как истина, ложь, обозначает, определяет и другие. [6]
Ramsey, 1926), является в значительной степени условным. Многие семантические антиномии могут быть сформулированы в логической форме, и наоборот. Рамсея, семантические антиномии не могут быть проведены в обычных логико-математических теориях уже потому, что эти теории не содержат семантических понятий, нужных для формулировки семантических антиномий. [7]
Значение и смысл), синонимия, аналитическая истинность п др.), определяются относительно всех возможных интерпретаций данного языка. При метатеоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. Тарский, описание семантических свойств языка в рамках этого же самого языка приводит к семантическим антиномиям. [8]
Значение и смысл), синонимия, аналитическая истинность и др.), определяются относительно всех возможных интерпретаций данного языка. При метатеоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. Тарский, описание семантических свойств языка в рамках этого же самого языка приводит К семантическим антиномиям типа лжец. [9]
Ramsey, 1926), является в значительной степени условным. Многие семантические антиномии могут быть сформулированы в логической форме, и наоборот. Рамсея, семантические антиномии не могут быть проведены в обычных логико-математических теориях уже потому, что эти теории не содержат семантических понятий, нужных для формулировки семантических антиномий. [10]