alexey_rom (alexey_rom) wrote,
alexey_rom
alexey_rom

Category:
  • Mood:

Опять об Фитча

Из принципа познаваемости следует существование разумной жизни во всех возможных мирах. Доказательство:

1 будет обозначать тождественную истину

K1 = "кто-то когда-то знает тождественно истинное утверждение". Это истинно в мире α тогда и только тогда, когда его истории есть разумная жизнь.

Kp → K1 ("если в мире кто-то что-то знает, то он знает тождественно истинное утверждение") примем за аксиому.

Рассиотрим такой мир α, где разумной жизни нет. Тогда в нём истинно

1) ¬K1
2) ◊K¬K1 (из 1 по принципу познаваемости)
В каком-то достижимом мире β верно
3) K¬K1 (из 2 по семантике возможных миров) То есть в этом мире есть кто-то, что-то знающий.
4) ¬K1 (из 3 по корректности знания)
5) K1 (из 3 по аксиоме Kp → K1)

Пришли к противоречию. По-моему, это позволяет локализовать проблему вполне чётко: пункт 2 должен говорить, что в мире β мы знаем, что в α нет разумной жизни; а вместо этого получается, что мы знаем, что её нет в β.
Tags: логика, парадоксы, философия
Subscribe

  • Лекции по функциональному программированию на Haskell

    В этом году наконец решил, как давно планировал, не просто писать лекции по Haskell на доске, а сделать нормальные слайды. Первые 4 лекции выложены…

  • Рядом с Казанью: Болгар или Свияжск?

    В Твиттере спрашивал, но ответа не получил, может, тут получится. Если кто-то был в Болгаре и в Свияжске, где понравилось больше? Или если в одном из…

  • Итоги года

    Главное и наиболее запомнившееся в этом году, к сожалению -- то, как много и сильно болел (хотя каждый раз недолго) :( Главное положительное --…

  • Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 23 comments

  • Лекции по функциональному программированию на Haskell

    В этом году наконец решил, как давно планировал, не просто писать лекции по Haskell на доске, а сделать нормальные слайды. Первые 4 лекции выложены…

  • Рядом с Казанью: Болгар или Свияжск?

    В Твиттере спрашивал, но ответа не получил, может, тут получится. Если кто-то был в Болгаре и в Свияжске, где понравилось больше? Или если в одном из…

  • Итоги года

    Главное и наиболее запомнившееся в этом году, к сожалению -- то, как много и сильно болел (хотя каждый раз недолго) :( Главное положительное --…