Аналітичне поняття істини

Поняття істини в концепції значення як умов істинності очевидно має відповідати своєму функціональному призначенню, тобто повинно відповідати визначенню

(D1) Істина - така властивість пропозицій (або інших носіїв істинності), завдяки якому ми знаємо їх значення.

Завдання в тому, щоб зіставити цього функціональним визначенням деякий структурний.

Алан Уайт починає свою відому книжку Істина із зауваження:

Що таке істина? (What is truth?) і Що є справжнім? (What is the truth? - Два абсолютно різних питання. Другий - питання про те, які саме речі є істинними; перший - про те, що значить сказати, що вони правдиві .

Цей підхід розвивали Ніколас Решер, що запропонував розрізняти істину як дефініцію і істину як критерій (сама ідея, у свою чергу, в аналітичній традиції сходить до Айер ), Родрік Чізом та інші. Коли ми розглядали подання Вітгенштейна, Тарського, Девідсона і Дамміта, ми обговорювали друге питання. Тепер наше питання тут - перше: Що таке істина? Його можна прийняти за питання про наш звичайному понятті істини, або, якщо таких понять у нас декілька - як це, ймовірно, йде з нами насправді - то це питання, в існуючому контексті, щонайменше про одного з цих понять : семантичному. Це тривіально справедливо для концепції значення як умов істинності, але не тільки для неї, а також і для більш широких епістемологічних контекстів. За висловом Майкла ДеВітта, семантичне поняття істини займає нас рівно настільки, наскільки воно грає роль в нашій кращої теорії світу ; точніше кажучи, це регулятором нашої когнітивної діяльності.

Ми можемо охарактеризувати останню, підтримавши більш-менш загальноприйнятий як у сучасної аналітичної філософії, так і в епістемології теза про те, що знання - це істинне обгрунтоване переконання (true justified belief). У такому разі ми зможемо дати наступне визначення істини:

(D2) Істина - така властивість обгрунтованих переконань (або інших носіїв істинності), завдяки якому ми їх знаємо (dere de або dicto).

Утримуючи уявлення про звязок істини зі значенням, тобто в рамках концепції значення як умов істинності, ми скажемо:

(D3) Істина - така властивість обгрунтованих переконань (або інших носіїв істинності), завдяки якому ми знаємо їх значення.

Порівнявши це визначення з (D1), ми побачимо, що прийняття такого підходу зобовяже нас показати, яким чином може бути встановлена еквівалентність між токенів пропозицій і обгрунтованими полаганіямі як носіями істинності. Але спочатку розглянемо можливості застосування для цілей цього дослідження різних теорій істини.

При цьому за рамками розгляду залишаться ті теорії, які очевидно незастосовні в концепції значення як умов істинності. Це перш за все:

1) теорія елімінатівізма - коли істина досягнута, пропозиції зникають і залишається тільки дійсність;

2) теорія ідентичності - коли носій істини (наприклад, пропозиція) є істинним, то він ідентичний своєму істінностному фактору (наприклад, факту), і правда, і полягає в цієї ідентичності.

Вони не знадобляться нам тут по тривіальним причин, тому що це - не теорії мовних виразів.

З іншого боку, прийнятий підхід дозволить нам згрупувати різні види дефляційних теорій, що нинішній розвиток яких показує їх виразну тягу до відокремлення. Такі теорії, як дісквотаціонная, просентенціальная і мінімалістська, будуть розглянуті спільно, тому що щодо Т-пропозицій їх дія проявляється однаково і полягає у підтримці дефляційного тези.