Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

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