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