<<
>>

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

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

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

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

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

  1. Основная характеристика средневекового знания – умозрительность. Логика как главный способ получения знания и его организации. Обнаружение недостаточности чисто логической аргументации истинности знания. Поиски достоверных оснований в исходных посылках. Обращение к опытно-практическому знанию как сфере получения исходных посылок. Основные параметры опытно-практического знания, новое понимание опыта по сравнению с античностью.
  2. Эмпирическое и теоретическое знания в логике Empirical and theoretical knowledges in logic
  3. А. Логика диалога логик — диалогическое преобразование философской логики культуры
  4. В. Логика парадокса, понимание логики культуры как парадоксо-логики
  5. Традиционная логика и логика ценностных инноваци
  6. Логика открытия и логика оправдания гипотезы
  7. Логика оценок и норм (деонтическая логика).
  8. Логика оценок и норм (деонтическая логика)
  9. Индуктивная логика и вероятностная логика
  10. Б. Логика «трансдукции» логик
  11. 2.3 Философия языка "Трактата": логика языка versus логика мышления