Истина и доказательство

Автор: Тарский АльфредЖанр: Философия  Научно-образовательная  Год неизвестен
Скачать бесплатно книгу Тарский Альфред - Истина и доказательство в формате fb2, epub, html, txt или читать онлайн
Закладки
Читать
Cкачать
A   A+   A++
Размер шрифта
Автор: Тарский Альфред 
Жанр: Философия  Научно-образовательная   
Серия:  
Страниц: 
Год: Неизвестен 

Отрывок из книги

При некоторых специальных предположениях построение общей дефиниция истины не представляет особого труда. В самом деле, предположим, что нас интересует не весь русский язык в целом, а только какой-то из его фрагментов и что мы хотим определить термин «истинное» исключительно по отношению к предложениям этого фрагмента языка. Обозначим этот фрагмент через М. Будем считать, что М имеет точные синтаксические правила, которые позволяют нам в каждом частном случае отличать предложения от выражений, которые предложениями не являются, и что число всех предложений в М конечно (хотя, возможно, и очень велико). Заготовим полный список всех предложений в М, предположив, например, что в языке М существует ровно 1000 высказываний, и договоримся употреблять символы S1, Ѕ2, ..., Ѕ1000 как сокращённые обозначения предложений данного списка. Далее, для каждого из предложений S1, Ѕ2, ..., Ѕ1000 построим частные дефиниция истины, подставляя последовательно эти высказывания вместо Р в обеих сторонах схемы …