February 9th, 2007

rodin01

Проблема логического фатализма

Проблема логического фатализма и истинности высказываний о будущих событиях была впервые поставлена Аристотелем в известной девятой главе его трактата «Об истолковании» (Aristoteles. De interpretatione, 18a-b). Вначале Аристотель формулирует правило, которое применяется по отношению к настоящим и прошлым событиям: относительно актуально сущего невозможно, чтобы были вместе истинны как некоторое утверждение (p), так и его отрицание (не-p); необходимо, чтобы одно из них было истинным, а другое ложным. Тем самым утверждается принцип бивалентности: «либо T (p), либо T (не‑p)», где T — оператор истинности. (Принцип бивалентности здесь не следует путать с законом исключенного третьего: «T (либо p, либо не‑p)».)
Collapse )