Семантична антиномія - Велика Енциклопедія Нафти та Газа,стаття, сторінка 1

Семантична антиномія

Семантичні антиномії - антиномії, що виникають у висловлюваннях, предметом яких брало є висловлювання деякої мови. [1]

Як показав Тарський, опис семантичних властивостей мови в рамках цієї ж мови призводить до семантичних антиномій типу брехунів. [2]

Парадокси (логіки та теорії множин) - формально-логічні протиріччя, які виникають у змістовній теорії множин п формальної логіки при збереженні логічної правильності ходу міркування; споріднені з апоріями Зе-нона і семантичними антиноміями, відомими з глибокої давнини. Вони можуть з'явитися як у межах наукової теорії, так і в звичайних міркуваннях (напр. Расселом перифраза його парадоксу про безліч усіх нормальних множин: Сільський перукар голить усіх тих і тільки тих жителів свого села, які не голяться самі. [3]

Основна ідея геделівського доказу цих теорем заодно доставляє нам і метод, що дозволяє зробити математичне уточнення деяких логічних і теоретико-множинних парадоксів, серед тих, в яких істотну роль відіграє співвідношення між позначенням і позначається і для яких останнім часом отримало права громадянства назву семантичних , або семантичних антиномій . [4]

Ramsey, 1926), є значною мірою умовним. Багато семантичних антиномій можуть бути сформульовані в логічній формі, і навпаки. Рамсея, семантичні антиномії неможливо знайти проведені у традиційних логіко-математичних теоріях вже оскільки ці теорії містять семантичних понять, необхідні формулювання семантичних антиномій. [5]

Значний інтерес становлять також антиномії дещо іншого виду, що називаютьсясемантичними. На відміну від логічних, до складу семантичних антиномій входять такі семантичні терміни, як істина, брехня, позначає, визначає та інші. [6]

Значення і сенс), синонімія, аналітична істинність та ін) визначаються щодо всіх можливих інтерпретацій даної мови. При метатеоретичному (метатеорія) розгляді формалізованих мов з необхідністю доводиться звертатися до семантичного аналізу, оскільки мн. Тарська, опис семантичних властивостей мови в рамках цієї ж мови призводить до семантичних антиномій. [8]

Значення і сенс), синонімія, аналітична істинність та ін.) визначаються щодо всіх можливих інтерпретацій цієї мови. При метатеоретичному (метатеорія) розгляді формалізованих мов з необхідністю доводиться звертатися до семантичного аналізу, оскільки мн. Тарський, опис семантичних властивостей мови в рамках цієї ж мови призводить до семантичних антиномій типу брехунів. [9]