?

Log in

No account? Create an account

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

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

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

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

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

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

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

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

Comments

Тут тонкий вопрос. Знание даже одной тождественно-истиной формулы предполагает знание о ВСЕХ мирах - что в них эта формула истинна. Т.е. знание о модели в целом. А тогда субъект должен знать и все остальные тождественно-истинные формулы.
Тогда не будем задавать "в мире есть разумная жизнь" через K, а просто обозначим как q. Схема аксиом: Kp → q для любой формулы p.

Ну или допустить кванторы по высказываниям и положить q = ∃p Kp, тогда дополнительных аксиом не нужно.
Я вот тут подумал: а где в стандартной эпистемической логике предполагается существование познающего субъекта? Он ведь как бы вынесен за пределы модели и существует извне. Его существование в том или ином конкретном мире даже синтаксически выразить невозможно...
Да, это неудобно.
Это не просто неудобно, это навязывает нам некоторые ограничения внелогической природы. Фактически, субъект в стандартной эпистемической логике есть просто индекс к оператору К. Следовательно, зависимость знания от субъекта можно показать только включением или не включением в область действия К. И автоматически все, что попало в область действия К, зависит от субъекта, с которым оператор К ассоциирован. Поэтому квантифицировать субъектов внутри области действия К невозможно.
Да. Не знаете, кто-нибудь развивал логики, где это не так?
Ну вот Хинтикка пытается в таких целях использовать свою IF-логику: Hintikka J. A second-generation epistemic logic and its general significance // Hintikka J., Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning, Cambridge University Press, 2007
Спасибо. Выглядит в Google Books интересно, но там не весь текст виден. Можете прислать?
Поискал у себя на компьютере, но не нашел, к сожалению :(