Дизъюнкция

является истинной, если истинно хотя бы одно из предложений и при этом существует способ, позволяющий распознать среди них истинное суждений. Однако если встречается дизъюнкция (А^-\А) , которая в классической логике является тавтологией (т.

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

Доказать, что истинное суждение «всем элементам данного множества присуще свойства А» или «ни одному элементу данного множества не присуще свойства А» невозможно, так как ряд этих элементов потенциально бесконечен, отсюда проверить все аль-тернативы не представляется возможным.

<< | >>

↑

Источник: М.Д. Купарашвиди. Неклассическая логика: учебное пособие Сост. М.Д. Купарашвиди . - Омск: Изд-во ОмГУ,2006. - 74 с.. 2006

Еще по теме Дизъюнкция:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -