az118 (az118) wrote,
az118
az118

о критских брадобреях-лжецах и таких же лордах-англосаксах

даром что Russell...

запись

(∀x) (bRx ⇔ ¬xRx) ⇒ (bRb ⇔ ¬bRb)

где R - бинарное отношение,
b - фиксированный элемент из области определения отношения R,
x - переменная из той же области

и, сл-но,

bRx - "b относится к x", а
¬bRx - "b не относится к x",

означает

"из (для любого x)
(b относится к x тогда, и только тогда, когда x не относится к x)
следует
(b относится к b тогда, и только тогда, когда b не относится к b)
"

это общая структура парадоксов обширного класса ("Лжец-критянин", "Цирюльник", "Антиномия Рассела" и др.),
очевидно вытекающая из базового условия (∀x) (bRx ⇔ ¬xRx) - "(для любого x) (b относится к x тогда, и только тогда, когда x не относится к x)"

типа

Бог любит всех, кто не любит себя
Tags: логика, парадоксы
Subscribe

  • 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 

  • 0 comments