Serguey Zefirov (thesz) wrote,
Serguey Zefirov
thesz

Category:

Про бога и формальную логику.

Так уж получается, что все, что мы можем использовать в повседневной жизни, может быть рассмотрено (и разобрано) с помощью формальной логики. То же самое относится и к тем вещам, которые на нас влияют.

Что самое интересное, если что-то нельзя уложить в рамки формальной логики, то мы этим воспользоваться не можем. С другой стороны, оно на нас и не влияет. И даже если и влияет, то мы этого не можем ощутить, не можем отличить от других, формализуемых влияний.

Получается, что бог, доказательств существования которому нет, не может быть использован нами по собственному почину. А он, соответствнно, не может оказать "божественного" влияния на наши жизни. И оба этих вывода, по-моему, совершенно замечательны.

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

PS
Фильм "Джон Константин" еще лучще, чем я думал. Сегодня утром дошло.
Tags: бог, логика, мир
Subscribe

  • Удачно получилось у plumqqz

    plumqqz: А я утверждаю, что если вам делать нехер и заниматься делом лень, то можно заняться хаскелем. На даче после обеда, скажем. Я:…

  • Пропро цессы.

    Хотел написать большой пост, ограничусь парой слов. Про горячую замену кода. По моему мнению, она применима ровно по месту. Это место зовётся…

  • Вдогонку к войне на RSDN.

    Одно из направлений атаки лиспера было ast:visit. Который ast появился позже (~2008), чем Scrap Your Bolierplate (~2003). Иными словами, налицо…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 10 comments

  • Удачно получилось у plumqqz

    plumqqz: А я утверждаю, что если вам делать нехер и заниматься делом лень, то можно заняться хаскелем. На даче после обеда, скажем. Я:…

  • Пропро цессы.

    Хотел написать большой пост, ограничусь парой слов. Про горячую замену кода. По моему мнению, она применима ровно по месту. Это место зовётся…

  • Вдогонку к войне на RSDN.

    Одно из направлений атаки лиспера было ast:visit. Который ast появился позже (~2008), чем Scrap Your Bolierplate (~2003). Иными словами, налицо…