Obsessive robot (bluxer) wrote,
Obsessive robot
bluxer

Category:
Э. Мендельсон "Введение в математическую логику" (когда-то увидел ссылку у falcao, теперь осиливаю), страница 21:

Мендельсон.jpg

Итак: формальная логика не нуждается в законах причинности, а следовательно, и в понятии времени. То есть верно, что в формальной системе "ничего не происходит", в ней ничто не "раньше" и ничто не "позже". Там всё уже произошло, хотя на самом деле ничего и не происходило :)
(Это в продолжение недавнего поста о том, что "достаточные" условия бывают только в логике, а в реальной жизни все условия необходимые. По сути дела, "достаточное условие" - это просто-напросто то обстоятельство, что понятие с бОльшим объемом перекрывает понятие с меньшим объемом, например: каждый король мужчина, но не каждый мужчина король. Значит чтобы быть мужчиной, достаточно быть королем :))
Subscribe

  • (no subject)

    Не хотелось ничего писать накануне Дня Победы, а тем более в сам день, но вдруг зачесалось. Кто-то из здешних всезнаек когда-то заметил, что…

  • (no subject)

    Надеюсь, никто из присутствующих никогда не испытывал настоящий голод. Я тоже. Однако время конца 80-х - начала 90х принято называть «голодным».…

  • (no subject)

    К ТЕОРИИ СЛОЖНЫХ СИСТЕМ (а других и не бывает, не так ли? :) В метро СПб есть только один тройной переход между станциями, и тот появился…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 29 comments

  • (no subject)

    Не хотелось ничего писать накануне Дня Победы, а тем более в сам день, но вдруг зачесалось. Кто-то из здешних всезнаек когда-то заметил, что…

  • (no subject)

    Надеюсь, никто из присутствующих никогда не испытывал настоящий голод. Я тоже. Однако время конца 80-х - начала 90х принято называть «голодным».…

  • (no subject)

    К ТЕОРИИ СЛОЖНЫХ СИСТЕМ (а других и не бывает, не так ли? :) В метро СПб есть только один тройной переход между станциями, и тот появился…