Category: философия

Category was added automatically. Read all entries about "философия".

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

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

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

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

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

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

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

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

Контрпример Гетье в реальной жизни (ну, почти)

Источник
Как известно, контрпримеры Гетье демонстрируют, с точки зрения многих философов, что истинное обоснованное мнение ещё не обязательно является знанием (хотя эти условия необходимы).

"Философия философии", Уильямсон, стр. 192:
Чтобы лучше донести мысль, я иногда создавал контрпримеры Гетье для моих слушателей. Например, один раз я начал лекцию с извинения за то, что не приготовил слайды в PowerPoint. Я объяснил, что единственный раз, когда я сделал презентацию в PowerPoint, лекция была совершенно неудачной. У слушателей не было причин подвергать сомнению утверждение, так меня дискредитирующее; так что благодаря этому заявлению они приобрели обоснованное мнение, что единственный раз, когда я сделал презентацию в PowerPoint, лекция была совершенно неудачной. Отсюда они корректно заключили, что я ни разу не провёл успешной лекции с использованием PowerPoint. Это их мнение было истинно, но только потому, что я вообще никогда не использовал PowerPoint (и не собираюсь в будущем). Моё утверждение было чистой ложью.