Вопросы логики и философии.
Применим ли закон исключенного третьего
для будущих событий?
(Часть тезисов из доклада: А. Харин «Принцип неопределенного будущего. Диалектика развития» к 10-м Ильенковским чтениям 24-25 апреля 2008 г.)
Закон исключенного третьего входит в число фундаментальных законов логики. Он играет важную роль для математики и философии. Д. Гильберт: Изъять из математики принцип исключенного третьего — все равно что... запретить боксеру пользоваться кулаками».
Принцип неопределенного будущего:
(Подробнее см. http://www.harin.ru/site.php#me)
«Будущее событие содержит неопределенность»
«Вероятность будущего события содержит неопределенность»
Первое следствие принципа неопределенного будущего:
«Большие вероятности – уменьшаются»
«Малые вероятности могут увеличиться»
Или
Pвысокая факт < Pвысокая план
*Pнизкая факт > Pнизкая план
* - может быть (см. ниже второе следствие)
Второе следствие принципа неопределенного будущего:
Вероятность любого, не запрещенного объективными законами, будущего события строго больше нуля (в микромире возможны даже виртуальные события с временным нарушением законов сохранения). Следовательно, сколько бы событий не было предусмотрено сегодня, завтра может найтись, по меньшей мере, одно непредвиденное и вероятность этого непредвиденного события будет строго больше нуля. Следовательно,
«Сегодняшняя система вероятностей завтрашних событий неполна»
Или
? Pнепредвиденн. > 0%
? Pпредвиденн. < 100%
Если принять частоту появления непредвиденных событий постоянной во времени, то их общее количество и неполнота системы вероятностей будут (линейно?) увеличиваться с течением времени.
Если в настоящем дан некоторый класс событий и его отрицание, то второе следствие принципа неопределенного будущего допускает возможность появления в будущем событий, которые нельзя строго или полностью отнести ни к данному классу ни к его отрицанию. Таким образом, прямое применение для будущих событий закона исключенного третьего в рамках двузначной логики может стать неадекватным.
Данный вывод может стать дополнительным к многосторонней дискуссии о границах применимости закона исключенного третьего.
Так, например:
Аристотель: Высказывание о будущем в настоящий момент ни истинно, ни ложно.
Голландский математик Л. Брауэр: Между утверждением и его отрицанием имеется еще третья возможность, которую нельзя исключить. Она обнаруживает себя при рассуждениях о бесконечных множествах объектов.
Э.В. Ильенков: Если в природе двух вещей нет общего им обоим «третьего», то сами различия между ними становятся совершенно бессмысленными.
Комментарии
«Закон исключенного третьего входит в число фундаментальных законов логики. Он играет важную роль для математики и философии.»
Для математики, и это в предметном поле двух элементов, этот закон существен. А в поле многих событий (напр., А, Б, и В) нельзя установить даже суть «отрицания (отрицания А)».
Для философии этот закон логики - это фикция, или уж слишком сильная ее детерминация для отдельного случая.
Поэтому вопрос следует, видимо, понимать так: можно ли определить будущие события в двоичном предметном поле математики?
"вопрос следует, видимо, понимать так: можно ли определить будущие события в двоичном предметном поле математики?"
Наверное можно, но вместе с водой мы рискуем выплеснуть и ребенка - юный принцип неопределенного будущего.
Мне кажется, что в этом новом принципе можно найти рациональные зерна не только для строго очерченного двоичного предметного поля математики, но и (при желании) для более широкой области или областей.
По крайней мере, он может, имхо, привнести новое
в логику
в вопросы детерминизма
в вопросы познаваемости мира
в понимание и толкование категорий прошлое-настоящее-будущее
...
Возможно, я ошибаюсь, но готов выслушать и воспринять иные точки зрения.
И я готов воспринять иные точки зрения, поэтому и ответил. Но для начала хотелось бы более точно 1) определиться с постановкой вопроса, я дал свое видение, но возможно не в смысле Вашего, надо уточнить, хотя я буду против смешивания философии и формальной логики, собственно почему и возникла новая формулировка, 2) теперь еще надо определиться и с формулировкой принципа. Иначе обсуждения будут - каждый о своем.