Пропозициональная логика.

Язык	Онтологический вклад (что существует в мире)	Эпистенологический вклад (какую степень доверия может выразить модель по отношению к фактам)
Логика 1го порядка	Факты, объекты, отношения	Истинно, ложно, неизвестно
Временная логика	Факты, объекты, отношения, интервалы времени	Истинно, ложно, неизвестно
Пропозициональная логика	факты	Истинно, ложно, неизвестно
Теория вероятностей	факты	Степень доверия [0,1]
Нечетная логика	Факты со степенью истинности [0,1]	Известные интервальные значения [0,1]

Основное различие между пропозициональной логикой и логикой первого порядка – они по-разному представляют характер действительности.

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

Логику можно охарактеризовать по ее эпистемологическому вкладу.

Эпистемология – теория познаний (возможные состояния знаний, которые логика позволяет выразить в отношении каждого факта).

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

Дата добавления: 2015-07-10