Логика знания

имеет несколько вариантов. Наиболее интересным из них является сконструированный австрийским математиком К. Геделем, в котором исходным термином взято понятие «доказуемо». В качестве основных положений можно привести такие утверждения: «если высказывание доказуемо, оно истинно, так как доказать можно только истину, доказательств лжи не существует»; «логическое противоречие недоказуемо»; «логическое следствие доказуемого также является доказуемым»; «если нечто доказуемо, то доказуемо, что оно доказуемо».

Вариантом логики знания является логика истины, которая устанавливает следующие законы знания: «конъюнкция истинна, если и только если все входящие в нее конъюнкты истинны», «если высказывание истинно, то верно, что его отрицание также истинно», и т. д.

<< | >>

↑

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

Еще по теме Логика знания:

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