Теория смысла и интенсиональная логика

Фреге не уточнил условия тождества смыслов. Только в «Письме к Гуссерлю» он заметил, что если тождество денотатов двух имен следует из «чисто логических законов», то эти имена имеют тождественный смысл. Этот критерий может эффективно работать для искусственных языков с заданными семантическими правилами, но мало пригоден для естественного языка. Именования теория получила всеобщее признание как первый фундаментальный метод семантического анализа языка в современной логике; присущие ей недостатки стали стиму- 98 ИММАТЕРИАЛЬНЫЙ лом для разработки более точных методов: такую попытку предприняли Р. Карнап, предложив метод экстенсионала и интенсионала, и Р. Монтегю, строя интенсиональную логику и прагматику и др. Понятие смысла получило дальнейшую экспликацию через понятие интенсионала и интенсиональ- ности. Лит.: Карнап Р. Значение и необходимость. М., 1959; Бирюков Б. Теория смысла Готлоба Фреге.— В кн.: Применение логики в науке и технике. М, 1960; Чёрч А. Введение в математическую логику. М., 1960; Смирнова Е. Д., Таванец П. В. Семантика в логике. — В кн.: Логическая семантика и модальная логика. М., 1967; Войшвимо Е. К. Понятие. М., 1997; Монтегю Р ...»