Принципы и парадоксы именований.

Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет в данном случае понимается в широком смысле: это вещи, свойства, отношения, процессы, явления как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.

Имена делятся на:

1) простые (книга, снегирь);

2) сложные или описательные (самый большой водопад в Канаде и США);

3 ) собственные, т. е. имена отдельных людей, предметов или событий (П. И. Чайковский);

4) общие (действующие вулканы).

Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.

Именная функция – это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец y». Подставим вместо «y» имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» – имя предмета.

Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.

Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным представляют собой одноместные пропозициональные функции.

Принцип однозначности: каждое имя должно иметь только одно значение (экстенсионал). С нарушением этого принципа связана ошибка, которую называют «подмена значения».

Принцип предметности: предложение должно говорить о предметах, обозначаемых входящими в него именами (а не о самих этих именах). С нарушением этого принципа связана ошибка, которую называют «автонимное употребление имен».

Принцип взаимозаменимости: при замене имен с одинаковым значением, предложение, в котором эта замена осуществляется, не должно изменять свое истинностное значение (истинное предложение должно оставаться истинным, а ложное – ложным).

Естественный язык является самым необходимым инструментом человека в его интеллектуальной деятельности. Однако именно язык часто создает проблемы для тех, кто его использует. Эти проблемы заложены в самом языке, они не связаны напрямую с логикой, но для того, чтобы эффективно пользоваться языком как инструментом интеллектуального познания, необходимо выявить, рассмотреть и попытаться устранить возникающие в языке противоречия.

Если противоречие связано с нарушением какого-либо из перечисленных выше принципов, его можно разрешить, просто исправив допущенную ошибку. Однако в языке встречаются и неустранимые противоречия, называемые парадоксами или антиномиями. Откуда они возникают?

Как отмечал польский логик А. Тарский, естественный язык семантически замкнут – семантические свойства его выражений (истинность, осмысленность, определимость и т.п.) определяются в нем же самом.

Например, смысл такого семантического термина как «значение» разъясняется с помощью некоторого набора слов, каждое из которых уже должно иметь какое-то значение. Смысл термина «истина» задается с помощью некоторого количества предложений, каждое из которых само уже должно быть истинно, и т.д. Таким образом, возникает замкнутый круг, который как раз и может привести к разнообразным парадоксам.

Парадокс Эвбулида (парадокс лжеца) известен с древнейших времен. Рассмотрим предложение: «Это предложение ложно». Если оно истинно, значит то, что в нем утверждается, – правда, то есть оно на самом деле ложно. Но если оно ложно, значит то, что оно утверждает, неверно, то есть оно истинно.

«Это предложение ложно»

оно истинно оно ложно

факт лжи факт лжи

имеет место не имеет места

Парадокс Греллинга-Нельсона (парадокс гетерологичности). Пусть все прилагательные делятся на две категории: автологические – обладающие свойством, про которое говорят, и гетерологические – не обладающие свойством, про которое говорят.

Парадокс Ришара-Берри (парадокс определимости). В русском языке числа можно выражать с помощью слов и словосочетаний. Пусть k – минимальное число, которое нельзя выразить словосочетанием, состоящим менее чем из ста букв.