Рейтинг книги:
5 из 10

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

Тарский Альфред

Уважаемый читатель, в нашей электронной библиотеке вы можете бесплатно скачать книгу «Истина и доказательство» автора Тарский Альфред в форматах fb2, epub, mobi, html, txt. На нашем портале есть мобильная версия сайта с удобным электронным интерфейсом для телефонов и устройств на Android, iOS: iPhone, iPad, а также форматы для Kindle. Мы создали систему закладок, читая книгу онлайн «Истина и доказательство», текущая страница сохраняется автоматически. Читайте с удовольствием, а обо всем остальном позаботились мы!
Истина и доказательство

Поделиться книгой

Описание книги

Серия:
Страниц: 6
Год:

Содержание

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

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

Популярные книги

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

Поделиться книгой

arrow_back_ios