Математика : Реферат: Логика неопределенности и неопределенности во времени

Реферат: Логика неопределенности и неопределенности во времени

Анкин Д.В.

В классической логике высказываниями называют предложения, которые оцениваются либо как истинные, либо как ложные, но не то и другое одновременно. Даже если для конкретного высказывания ни один из людей не в состоянии доказательно обосновать его истинность или ложность, высказывание считается объективно имеющим одну, и ровно одну, из указанных истинностных характеристик. Например, знаменитая гипотеза Ферма в настоящее время является таким высказыванием. Но остается надежда, что ответ на вопрос об истинности или ложности данного высказывания может быть получен в будущем. И, хотя у нас нет и быть не может (согласно одной из ограничительных теорем К. Геделя) эффективного метода перечисления арифметических истин, каждое арифметическое высказывание считается наделенным одним из двух истинностных значений безотносительно к тому, умеет или нет познающий субъект это значение установить.

Сказанное касается не только арифметики и даже не только математики, а относится к любым предметным областям вообще. Классическая логика распространяет принцип бивалентности на любой универсум рассуждений: всякое высказывание, о чем бы оно ни было, является либо истинным, либо ложным, но не тем и другим сразу. Если же некоторое предложение, по виду напоминающее высказывание, не имеет одной из двух возможных истинностных характеристик, то это не высказывание, а бессмысленное выражение.

Такой подход, развиваемый классической логикой, влечет определенные представления о реальности. Извинимся за невольный каламбур: высказав это утверждение, далее следовало