Реферат: Блез Паскаль.

Блез Паскаль (1623-1662), известный как создатель первого прообраза современных компьютеров, так же, как и Галилей, считал необходимой демаркацию научного знания и религиозной веры. В теологических вопросах господствует принцип авторитета Священного Писания. "Авторитет фундаментален для теологии, в ней он неотделим от истины...сообщить абсолютную точность вещам, решительно непонятным для разума, - значит отослать к написанному в священных книгах... Основы веры запредельны для природы и разума".

Что же касается естественных наук, тут, по мнению Паскаля, должен властвовать разум. А там, где властвует разум, там должен быть прогресс. Все науки должны развиваться, оставляя потомкам знание более совершенное, чем полученное от предков. В отличие от вечных божественных истин, продукты человеческого разума непрерывно находятся в развитии. Нежелание принимать новое в науке приводит к стагнации и параличу прогресса. Паскаль пишет: "Древние использовали истины, полученные в наследство, как средства для получения новых" и призывает последовать их примеру. Древние знания рассматриваются им как ступеньки в новым достижениям, и возникновение новых идей и концепций вовсе не означает неуважения к древним авторитетам, а наоборот является продолжением непрерывного прогрессивного развития науки.

Итак, научное знание является автономным и отлично от веры. В работе "О духе геометрии и об искусстве убеждать" Паскаль говорит о том, что научные доказательства являются убедительными в том случае, когда они уважают геометрический метод. Для обеспечения доказательности рассуждения следует 1) не использовать терминов, смысл которых не прояснен, и 2) не формулировать положений, за которыми не стоят уже доказанные истины. К сожалению, доказывать все утверждения и определять все термины невозможно, так как рано или поздно в качестве термина будет использовано слово, смысл которого уже нельзя определить, не замыкая порочного круга дефиниций.

Паскаль говорит о наличии другого метода, геометрического, который "не определяет и не доказывает всего, но он допускает только ясное и постоянное в природном свете, и совершенно верно, ибо утверждает природу в отсутствие доказательств". Для такого идеального метода им вводятся следующие три правила:

"Необходимые правила дефиниций. Не принимать двусмысленных терминов без определения. Использовать в дефинициях только уже известные термины.

Необходимое правило аксиом. Производить в аксиомы только очевидное.

Необходимые правила доказательств. Доказывать все положения, используя лишь самые очевидные аксиомы, доказанные утверждения. Не злоупотреблять двусмысленностью терминов, не пренебрегать мысленными подстановками дефиниций, уточняющими или разъясняющими смысл".