WWW.LIT.I-DOCX.RU
БЕСПЛАТНАЯ  ИНТЕРНЕТ  БИБЛИОТЕКА - различные публикации
 


«СЕМАНТИЧЕСКОГО ПОНЯТИЯ ИСТИННОСТИ* Abstract. The correlation of the semantic notion of truth with different philosophical conceptions is considered (especially with the coherent and correspondent ...»

Е.Д.Смирнова

К ЭКСПЛИКАЦИИ

СЕМАНТИЧЕСКОГО ПОНЯТИЯ

ИСТИННОСТИ*

Abstract. The correlation of the semantic notion of truth with different philosophical conceptions is considered (especially with the coherent and correspondent one). The role of Tarski.s scheme is displayed as well as the possibility and the ways of its explication .

Центральным понятием семантики является понятие истинности. Известная схема Тарского1 является экспликацией классического понятия истинности как оно представлено в рамках корреспондентской концепции. Высказывание Х истинно е.т.е. имеет место определенное положение для р. Таким образом, положение дел р «верифицирует» высказывание Х и детерминирует его смысл, фиксируя, какое положение дел утверждается рассматриваемым предложением. С другой стороны, если мы знаем содержание предложения, мы можем указать то положение дел, которое должно иметь место .

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

Далее, этот подход предполагает возможность истинностной оценки высказываний, рассматриваемых в изоляции, вне контекста .

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

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

Возможность истинностной оценки таких известных утверждеРабота выполнена при поддержке РГНФ, грант № 03-03-00071а .

«Х истинно р», где вместо «Х» подставляется имя высказывания, а вместо «р»

его перевод в метаязык .

ний, как «Все дети Джона спят» или «Нынешний король Франции лыс», предполагают некоторые условия – «пресуппозиции». В данном случае – существование рассматриваемых объектов. В общем случае: если условие В не выполняется (В – пресуппозиция высказывания А), то высказывание А вообще не получает истинностной оценки (истинностный провал) .

Возможность истинностной оценки высказываний, да и вообще их осмысленность во многом диктуются условиями, определяемыми когерентной концепцией истинности. Так, идеальные высказывания в смысле Гильберта вообще не являются осмысленными (содержательными высказываниями математики) вне контекста теории, соответственно, не получают истинностной оценки, поскольку это высказывания о в принципе не реализуемых объектах – прежде всего объектах, предполагающих абстракцию актуальной бесконечности. «...Бесконечное нигде не реализуется. Его нет в природе, и оно недопустимо как основа нашего разумного мышления... Роль, которая остается бесконечному, – это только роль идеи, – если, согласно Канту, под идеей подразумевать понятие, образованное разумом, которое выходит за пределы всякого опыта» [1, с. 364]. Как отмечает Ст. Клини, «для формалистской позиции2 будет затруднительно объяснить, каким образом неинтуиционистская классическая математика оказывается осмысленной, если согласиться с интуиционистами в том, что ее теоремам недостает реального смысла, в терминах которого они были бы истинны» (курсив мой – Е.С.) [2, с. 57]. Однако, согласно Гильберту, хотя идеальные высказывания «сами по себе не имеют значения», они приобретают смысл в контексте теории. «Выставить общее требование, согласно которому отдельные формулы сами по себе допускали бы истолкование, – отнюдь неразумно;





напротив, сущности теории соответствует, что при ее развитии нет необходимости, между прочим, возвращаться к наглядности или значимости» [1, с. 381]. Идеальные высказывания – высказывания о фикциях, «идеальных элементах» в терминологии Гильберта. Но такого рода высказывания не исключаются из математики. Гильберт стремится сохранить всю классическую математику в полном объеме (весь «канторовский рай») .

Возникает лишь вопрос о путях введения идеальных элементов в теорию и условиях их устранимости – у Гильберта это означает доказательство их устранимости из контекста всей теории [см.: 4, гл. VI, § 2] .

Таким образом, мы приходим к недостаточности подхода корТ.е. позиции Д.Гильберта .

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

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

Однако семантика возможных миров может быть использована не только для введения L-понятий и интерпретации модальных высказываний, но и для установления условий истинности обычных асерторических высказываний. Схема Тарского меняется в этом случае в том плане, что предполагается учет определенного комплекса условий, детерминируемого принимаемым аспектом когерентной концепции истинности, во-первых, и трактовкой рассматриваемых возможных миров W, во-вторых .

Предлагается следующего типа семантика возможных миров .

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

Пусть W – множество возможных миров, – функция, сопоставляющая каждой пропозициональной переменной пару множеств возможных миров (p) = T(p), F(p); содержательно T(p)

– это класс миров, в которых имеет место р, F(p) – класс возможных миров, в которых р не имеет места. Можно принять или отбросить следующие условия:

(1) T(p) F(p) = (2) T(p) F(p) = W .

При рассматриваемом подходе учитываются случаи невозможности истинностных оценок высказываний – это достигается отбрасыванием условия (2) .

Приписывание высказываниям областей и антиобластей реализуется независимым образом. В принципе можно рассматривать и иные отношения между T(p) и F(p) .

T(p) и F(p) можно интерпретировать соответственно как класс обстоятельств, подтверждающих р, и класс обстоятельств, фальсифицирующих р. Варьируя отношения между областями и антиобластями предложений, мы тем самым варьируем условия истинности и ложности высказываний в зависимости от принимаемых во внимание обстоятельств и отношений между ними .

Функция приписывания значений пропозициональным переменным введена обобщенным образом: пропозициональным переменным приписываются не истинностные значения в данном мире (т.е. объекты t и f), но классы миров, в которых высказывания истинны или ложны .

Принятие или отбрасывание условий (1) и (2) детерминирует семантики различного типа3 .

Рассмотрим язык с пропозициональными связками: &, V,, ¬ .

Приписывание значений сложным высказываниям задается следующим образом:

–  –  –

При данном подходе в силу учета условий подтверждения и условий опровержения высказываний мы имеем четыре понятия истинности: (1) А сильно истинно в w при если и только если А истинно (w E A) и не ложно (A e w); (2) А истинно (w E A); (3) А не / ложно (A e w); (4) А слабо истинно если и только если А истинно / или А не ложно. Очевидно, что если имеет место (1), то имеют место (2) и (3); если имеет место (2) или (3), то имеет место (4) .

Условия адекватности принимаемых понятий истинности в целом отвечают схеме Тарского, только в качестве «действительности» выступают не определенные положения дел в мире (снег бел), а определенные совокупности обстоятельств («миры»). В При принятии (1) и (2) мы имеем стандартную семантику; при принятии (1) и отбрасывании (2) – семантику с истинностно-значными провалами; при принятии (2) и отбрасывании (1) – семантику с пресыщенными оценками; при отбрасывании (1) и (2) – аппроксимационную (релевантную) семантику [см.: 4, гл. VI, § 2] .

качестве таковых могут приниматься состояния знания, установки субъекта, принимаемые пресуппозиции и т.д .

Ложь не рассматривается, как в классике, просто как отрицание истинности, но детерминируется условиями – F(A). Соответственно изменяется трактовка принципа исключенного третьего – формулируемого в метаязыке – с учетом трактовки отрицания и наличия индетерминированных высказываний .

Семантика не детерминирует логическую систему, если не определено понятие логического следования (или общезначимости). В классическом случае из множества формул Г логически следует тогда и только тогда, когда в каждой модельной структуре при каждом приписывании и в каждом возможном мире, если каждая формула Г истинна, то истинна по крайней мере одна из формул. Но у нас имеются четыре понятия истинности: сильная истинность, простая истинность, неложность и слабая истинность .

Соответственно можно ввести не одно, а целый класс отношений логического следования [4, гл. V, § 2]. Именно эти отношения логического следования в сочетании с принятием (или непринятием) условий (1) и (2) детерминируют различные логики [4, гл. V, § 2, 3]. Действенность логических законов (типа закона исключенного третьего, правила modus ponens, правила дедукции) зависит от этих параметров .

ЛИТЕРАТУРА

1. Гильберт Д. О бесконечном. Обоснования математики // Основания геометрии. М.; Л., 1948. Добавления VIII и IX. С. 338–365 .

2. Клини Ст. Введение в метаматематику. М.: Иностранная литература, 1957 .

3. Смирнова Е.Д. Семантика с истинностными провалами, пресыщенными оценками и понятие логического следования // Интенсиональные логики и логическая структура теории. Тезисы докладов IV советско-финского коллоквиума по логике. Телави, 1985 .

4. Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996 .






Похожие работы:

«ПЕДАГОГИКА ИСКУССТВА ЭЛЕКТРОННЫЙ НАУЧНЫЙ ЖУРНАЛ УЧРЕЖДЕНИЯ РОССИЙСКОЙ АКАДЕМИИ ОБРАЗОВАНИЯ "ИНСТИТУТ ХУДОЖЕСТВЕННОГО ОБРАЗОВАНИЯ" http://www.art-education.ru/AE-magazine/ №3, 2012 музыкальное образование Грачев Вячеслав Николаевич, кандидат искусствоведения, доцент...»

«Муниципальное бюджетное общеобразовательное учреждение "Ашукинская СОШ" Рабочая программа по литературе 11 класс 3 часа в неделю, всего 102 часа (базовый уровень) Учитель: Мельник Н. И. 2017 – 2018 учебный год ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Рабочая программа по литературе для учащихся 11 класса разрабо...»

«владимир жалнин Равные возможности Старый Оскол От автора Выбрать лучшее – задача непростая, особенно когда выбираешь из своих творений . Надеюсь, что у меня получилось показать всё разнообразие минипроизведений, и надеюсь, что, несмотря на присущую ироничность, они будут интересны читателю. Путь к успеху Достичь верш...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего образования "Уральский государственный университет" Институт иностранных языков Кафедра английского языка, методики и переводоведения Применение мобиль...»

«ПАРИЛОВА  Н адежда  Алексеевна П РОЦ ЕСС СЕМ АНТИЧЕСКОГО ОТТАЛКИВАНИЯ В РУССКИХ НАРОДНЫХ ГОВОРАХ (НА М АТЕРИАЛЕ ЗАУРАЛЬСКИХ ГОВОРОВ) 10.02.01 —  русский  язык АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата филологических наук у Екатеринбург —  2006 Работа выполнена в ГОУ ВПО "Уральский государственны...»

«Психология для родителей. ИСТЕРИКИ И КАПРИЗЫ. 2-3 ГОДА. Детская истерика. Что хочет сказать ребенок! К сожалению, рано или поздно, большинство родителей сталкивается с таким явлением, как детская истерика. Ребенок кричит, бросается наземь, бьется головой об пол, не реагирует на просьбы и слова взрослого. Родители в рас...»

«Устав ЧОУ "КРУГОЗОР. При реализации дополнительной общеобразовательной 1.4. общеразвивающей программы ЧОУ "КРУГОЗОР" проводится оценка индивидуальных достижений обучающихся (воспитанников). Оценки индивидуального развития детей дошкольного возраста, связанной с...»

«Прочитайте внимательно фрагмент из романа И.С. Тургенева "Отцы и дети" (гл. 10) и выполните задания.Я эфтим хочу доказать, милостивый государь (Павел Петрович, когда сердился, с намерением говорил: "эфтим" и "эфто", хотя очень хорошо знал, что подобных слов грамматика не д...»

«ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБЩЕОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ СРЕДНЯЯ ОБЩЕОБРАЗОВАТЕЛЬНАЯ ШКОЛА №619 КАЛИНИНСКОГО РАЙОНА САНКТ-ПЕТЕРБУРГА Рабочая программа по курсу "Я мыслитель" 3 класс Ф.И.О. педагога, составившего программу Соломон Т.А. Срок реализации рабочей прогр...»







 
2018 www.lit.i-docx.ru - «Бесплатная электронная библиотека - различные публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.