11. «Семант.Конц-я истины и осн-я сем-ки» а.Тарского

Цель-дать удовл.опред-е истины. Знач-е термина «истина»:Сущ-т 3 наиб. адекватных опред-я знач-я истины: 1)сказать, что существующее сущ-т, а несущ-ее не сущ-т, значит высказать истину» Аристотелевская формулировка наиболее удачна2)Истин-ть предложения сост. в его согласии с реальностью (или в соотв-ии ей)Предложение истинно, если оно обозначает существующее положение дел.Однако ни одно из них не явл. точным. Семант-я концепция истины: Опред-ем истины м.считать конъюнкцию всех частных опред-й истины, образованных подстановкой конкр-го предложения вместо p и имени этого предложения вместо X в выражение T (т.е. разъясняющих, в чем состоит определение истины конкретно данного предложения). Семантика есть дисциплина, к-я имеет дело с опред-ми отнош-ми м\у выражениями языка и объектами (или «положениями дел»), к к-м «отн-ся» эти выражения. Само по себе пон-е истина отн-ся лишь к предложению, однако оно имплицитно в себе содержит отношение этого предложения с реальными объектами, к тому же его проще опреде-ть через семант-е понятия. Поэтому Тарский относит понятие «истина» к семантике.Исп-е семант.понятий м.приводить к разл.парадоксам.(п.лжеца: Человек, говорящий «Я лгу» вызывает парадокс, т.к. если он действительно лжет, то фраза «я лгу» - истинна, и, следовательно, он говорит правду. В противном случае также приходим к противоречию.)Метод Тар-го д.избавить от этого. Во избежание возник-я парадоксов при исп-ии семан-х понятий, необх-мо опред-ть структуру и правила языка. Для описания структуры языка необх-о: Указать все слова, к-е явл-ся осмысленными в языке, но употр-ся без опред-я (неопределяемые понятия).Описать правила опред-я для образ-я новых слов (определяемых понятий)Выделить критерии, позволяющие выделять предложения из класса всевозможных выражений.Отметить условия образования новых предложений.Язык д.иметь точно заданную структуру.К противореч-ю лжеца приводит свой-во семантич.замкнут-ти языка(язык семантически замкнутым, если он в дополнение к своим выражениям содержит также имена этих выражений и семантические термины).Для устранения этого свойства,язык надо разделить на:объектный язык,который описывает объекты, и мета-язык,к-й описывет сам объект.язык.При этом мета-язык должен быть существенно богаче объектного языка(это необх-е и достат-е условие для опред-я истины). Тарский опред-т истину, используя семан-е понятие выполнимости. Выпол-ть есть отношение м\у произвольными объектами и пропозициональной функцией.Отсюда опред-е истинности: предложение истинно, если оно выполняется всеми объектами, и ложно в противном случае.

12 Проблема критерия истины:Кант,Поппер,Рассел.

Кант: Истина – это соотв-е позн-я предмету этого позн-я.Знание закл-т в себе ложь, если оно не нах-я в соответствии с соотносимым предметом. Истина касается содержания знания  достаточный и всеобщий признак не может быть дан. Общая логика не может опред-ь истину, так как одной формы позн-я не хватает, для устан-я объект-й истины. Общая логика – это всегда логика видимости, то есть она имеет диалект-й хар-р и ничего не говорит о содержании знания.?об универс.критерии истины. Если бы такой критерий сущ-л, то он не зависел бы от содержания утверждения (иначе бы он не был универсальным), но лишь от его логической формы,но нельзя опр-ть соотв-е позн-я предмету позн-я без учета содерж-я этого познания.→логич.форма ниче не говорит об истин-ти суждения, но м.указ-ть на ложность того или иного знания.Рассел. Он спорил с представителями классич-го позит-зма, к-е выдвинули критерий истины – опытное подтверждение, то есть те суждения, к-е подтверждаются в опыте. Он говорил о верификации. В чем проблема опытной верификации? Мы не м.претендовать на опытное подтверждение. Предположение (гипотеза) м.б. доказано, верифицировано с помощью связного лог-го доказ-ва. Рассел не согласен с позитивистами в их выдвижении критерия истины как опыт-го подтверждения. Рассел поддерживает конц-ю истины как соотв-я. Отсутствие опытной проверки не отменяет понимания истины как соот- факту. Рассел говорит не о соот-ии опыту, а о соответствии факту.Поппер. Предлагает принцип фальсификации взамен принципу верификации. Фальсиф-я – принципиальная опровержимость люб утвер-я. Отвергнув процедуру верификации, Его интересует действительное: лог-е обоснование одних высказываний посредством других результируется в регрессе. Нужно отталкиваться не от стратегии подтверждения, а искать опровергающие материалы. Согласно Попперу, утв-я сообщают информацию об эмпир-м мире, только если они способны приходить в столкновение с опытом, могут систем-ки проверяться,т.е. если они могут подвергаться испытаниям, к-е могут иметь рез-ом их опровержение. Верификация способна лишь увеличить меру вероятности нашей субъект-й уверенности в собств. правоте. Фальсификация трактуется Поппером как путь минимилизации количества ошибок и обретения истины. Утверждение, суждение, высказанное мнение истинны, если они соответствуют фактам.