Импликация

считается истинной, если существует метод, посредством которого из доказательства для А можно выводить доказательство для В. К примеру, в случае -| Эх -| А,;,, V А (х) не существует такой метод, который при наличии доказательства истинности і Эх і А(х) позволил бы нам получить интуиционистское доказательство истинности VA (х), т.

е. построить соответствующее число п, так как математик с позиции классической логики часто получает доказательство экзистенциального утверждения VA (Х) обосновывая сначала предположение -| Эх -| А*;,,. Далее он использует тавтологию -| Эх -| A<,q VA (х). Применяя modus ponens, он получает VA (х). Интуиционист не принимает такого метода, так как в нем не содержится метода для построения такого числа п, что имеет место А (пу

В интерпретации А.А. Маркова импликацию можно утверждать тогда и только тогда, когда мы располагаем таким построением, которое, будучи объединенным с любым построением, требуемым высказыванием А, дает построение, требуемое высказыванием В.

<< | >>

↑

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

Еще по теме Импликация:

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