Семантические антимонии

Семантические антимонии - антиномии, возникающие в высказываниях, предметом к-рых являются выражения нек-рого языка. Предстат вителем одного из осн. типов С. а. служит антиномия «лжеца», восходящая к Евбулиду из Милета (4 в. да н. э.), к-рую можно сформулировать так: [Предложение, взятое на этой странице в квадратные скобки, ложно]. Если это предложение истинно, то из его содержания вытекает, чти оно ложно. Если же оно ложно, те опять-таки из его содержания вытекает, что оно истинно. Т. обр., в нарушение логического закона противоречия в любом случае это предложение оказывается и истинным и ложным. Др. примером С. а. является антиномия К. Греллинга, основанная на пот нятии «гетерологического предиката». Предикат, т. е. слово, выражающее нек-ров свойство, наз. гетерологичским, если он сам не обладает этим свойством (напр., слово «трехсложное» само не является трехсложным). Антиномия возникает при приложения этого определения к предикату «гетерологический»; если он является гетерологическим, то, по определению, не обладает выражаемым им свойством, т. е. не является гетерологическим; если же он не гетерологический, то, опять-таки по определению, должен обладать выражаемым им свойством, т. е. является гетерологическим. Антиномии описанного рода возникают в тех случаях, когда язык, в к-ром строится антиномия, содержит имена для своих собственных выражений, а также предикаты «истинный», «ложный», «гетерологический» и т. п. Для исключения С. а. существуют различные способы; один из них состоит в различении метаязыка м языка-объекта и строгом определении соответствующих предикатов в метаязыке (Истина в формализованных языках).

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.