Пари Паскаля – это догма в апологетической философии, которая была разработана французским математиком 17 века, физиком и философом Блезом Паскалем (1623 – 1622).
Догма утверждает, что на протяжении всей своей жизни человечество спорит на тему существования Бога.
Если Бог существует, то с учётом бесконечной прибыли или убытков, связанных с верой в Бога или с неверием, разумный человек должен жить так, будто Бог существует, искать его и верить.
Если Бог на самом деле не существует, то такой человек будет иметь лишь конечную потерю (некоторого удовольствия, роскоши и т.д.).
В философии используется следующая логика:
1. Бог либо есть, либо Его нет;
2. В игре, в которую мы все играем, всегда будет выпадать орёл или решка;
3. По понятным причинам вы не в состоянии доказать ни одно из вышесказанных утверждений;
4. Вы должны что-либо выбрать для себя (это не опционально);
5. Давайте взвесим все выгоды и потери, если предположить, что Бог есть. Оценим эти две возможности выбора. Если вы выиграйте, вы получаете всё, если проиграете, то вы ничего не теряете.
Исторически сложилось так, что пари Паскаля было новаторским, потому как он наметил новые области изучения в теории вероятностей, отметив первое официальное использование теории принятия решений, а также появление ожидаемых тем в будущей философии, таких как экзистенциализм, прагматизм и волюнтаризм.
Курт Фридрих Гедель (Kurt Friedrich Gödel) был австрийским, а затем американским логиком, математиком и философом. Считается, что он наряду с Аристотелем и Фреге, был одним из самых сильных логиков в истории человечества.
Этот человек внёс огромный вклад в формирование научно-философского мышления в 20 веке. Гедель опубликовал свои две теоремы о неполноте в 1931 году, когда ему было 25 лет, и он только что получил докторскую степень в Венском университете.
Первая теорема утверждает, что любой самосогласованной системной силы достаточно, чтобы описать арифметику натуральных чисел (к примеру, арифметическое Пеано), однако, есть истинные суждения о натуральных числах, которые не могут быть доказаны с помощью аксиом.
Для доказательства этой теоремы Гедель разработал методику, известную сегодня как нумерация Геделя, которая кодирует формальные выражения в виде натуральных чисел.
Он также показал, что ни аксиома выбора, ни континуум-гипотеза не могут быть опровергнуты принятыми аксиомами о теории множеств, полагаясь на то, что эти аксиомы согласуются. Полученные ранее результаты позволили математикам говорить об аксиоме выбора в своих доказательствах.
Он также внёс важный вклад в теорию доказательств путём уточнения связи между классической, интуиционистской и модальной логикой.
Когда Гедель умер в 1978 году, он оставил после себя интересную теорию, основанную на принципах модальной логики (тип формальной логики, который в узком смысле предполагает использование слов "обязательно" и "возможно").
Сама теорема утверждает, что Бог или высшее существо, - это то, больше которого невозможно что – либо понять. То есть если человек доказал и понял, что Бог существует, он может всё.
Бог существует в понимании. Если Бог существует в понимании, мы можем представить себе, что Он существует и в реальности. Таким образом, Бог должен существовать.
