Для фиксирования знаний достаточно двух типов знаков. К ним относятся имена (этому термину соответствует термин психологии "понятия" *) и логические сроки.

Подробнее...

В рассуждениях не должно быть противоречий, т.е. логически ложных утверждений. Это требование фиксировали в традиционной логике в виде закона непротиворечивости. Согласно закону недопущения противоречия, определенное утверждение и его отрицание не могут быть одновременно истинными.

Подробнее...

Есть разные виды несовместимости высказываний. Один из видов несовместимости - несовместимость утверждений (логическая ложность утверждений), то есть противоречие. Прежде чем описать методы обнаружения логично ложных утверждений, надо выяснить, что такое логическая истинность.

Подробнее...

Чтобы записать содержание логических терминов, которыми обозначают значение истинности высказываний, введем следующие обозначения. Простые утверждения обозначать строчными буквами латинского алфавита (р, q, г, в). В случае, если анализируемый текст или речь содержит много утверждений, их можно обозначать индексированными буквами латинского алфавита (р1, р2, р3, ... рn).

Подробнее...

В традиционной логике считали, что существуют определенные законы и правила мышления, присущие человеку от рождения, они определенным образом заложенные в человеческом мозге.

Подробнее...

Со времени появления логики ее предметом считали формы и законы мышления. Такое понимание предмета логики оказалось уже в этимологии названия: главными значениями древнегреческого слова были "слово", "понятие", "мышление", "ум". Следовательно, смысл этого термина был связан с чисто человеческими формами фиксации и обработки знаний.

Подробнее...


Загрузка...

Яндекс.Метрика Google+