Истина и доказательство, Тарский Альфред, полная версия книги, читать онлайн

Помогите раскрутить наш сайт, поставьте ссылку у себя в соц. сети:

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

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

Поскольку дефиниция истины сама по себе не обеспечивает нас критерием истинности и в то же время поиски истины справедливо рассматриваются как сущность научной деятельности, проблема нахождения по крайней мере частичных критериев истины и разработки процедур, которые могли бы позволить нам признать или отрицать истинность как можно большего количества высказываний, представляется очень важной. Такие процедуры, конечно, известны, некоторые из них применяются исключительно в эмпирических науках, другие — преимущественно в дедуктивных. Понятие доказательства — второе понятие, обсуждаемое в данной статье, — относится именно к процедуре установления истинности предложений в дедуктивных науках. Эта процедура является существенным элементом того, что известно под названием аксиоматического метода — метода, наиболее широко используемого в настоящее время для разработки и изложения математических дисциплин. Аксиоматический метод является продуктом длительного исторического развития. Некоторые представления об этом развитии будут, вероятно, существенными для понимания современного понятия доказательства. [7] Первоначально математика была совокупностью выска...

Книга закрыта по требованию правообладателя.

Комментарии: