Будущие контингентные предложения (или просто будущие контингенты ) — это утверждения о положениях дел в будущем, которые являются контингентными : не обязательно истинными и не обязательно ложными.
Проблема будущих контингентов, по-видимому, впервые обсуждалась Аристотелем в главе 9 его книги «Об интерпретации» ( De Interpretatione ), используя знаменитый пример морского сражения. [1] Примерно поколение спустя Диодор Кронос из мегарской философской школы изложил версию проблемы в своем знаменитом мастер-аргументе . [2] Позднее эта проблема обсуждалась Лейбницем .
Проблему можно выразить следующим образом. Предположим, что морское сражение завтра не состоится. Тогда вчера (и на позапрошлой неделе, и в прошлом году) также было верно, что с ним не будут бороться, поскольку любое истинное утверждение о том, что будет в будущем, было также верным и в прошлом. Но все прошлые истины теперь являются необходимыми истинами; поэтому теперь в прошлом, до и до исходного утверждения «Морское сражение завтра не будет», обязательно верно, что сражение не будет, и, таким образом, утверждение о том, что оно будет вестись, обязательно ложно. Поэтому невозможно, чтобы битва состоялась. В общем, если что-то не так, то это не может быть так. «Ибо один человек может предсказать событие за десять тысяч лет вперед, а другой может предсказать обратное; то, что было истинно предсказано в данный момент в прошлом, обязательно произойдет в полноте времени» (De Int. 18b35 ) .
Это противоречит идее нашего собственного свободного выбора : мы обладаем властью определять или контролировать ход событий в будущем, что кажется невозможным, если то, что происходит или не происходит, обязательно произойдет или не произойдет . Как говорит Аристотель, если бы это было так, не было бы необходимости «раздумывать или беспокоиться, исходя из предположения, что, если мы выберем определенный курс, последует определенный результат, тогда как, если мы этого не сделаем, результат не последует». .
Аристотель решил проблему, утверждая, что в этом парадоксе морских сражений принцип бивалентности нашел свое исключение: в данном конкретном случае невозможно то, чтобы обе альтернативы были возможны одновременно: либо будет битва , либо не будет. Оба варианта не могут быть приняты одновременно. Сегодня они не являются ни истинными, ни ложными; но если одно истинно, то другое становится ложным. По мнению Аристотеля, сегодня невозможно сказать, верно ли это положение: надо дождаться условного осуществления (или его отсутствия) сражения, логика реализуется сама собой впоследствии:
Для Диодора будущая битва была либо невозможна, либо необходима. Аристотель добавил третий термин — случайность , который сохраняет логику, но в то же время оставляет место для неопределенности в реальности. Необходимо не то, что завтра будет или не будет битвы, а необходима сама дихотомия: