Высказывание - речевой акт в виде предложения (устного или письменного), выражающий четыре основные формы мысли в диалектической логике: 'суждение', 'вопрос', 'оценка', 'императив'. В традиционной формальной логике основные формы мысли составляют триаду: понятие - суждение - умозаключение.
Объединенная структура основных форм мысли в формальной и диалектической логике может быть представлена в виде:
понятие|
суждение - вопрос - оценка - императив = диалог
|
умозаключение
В математической логике обобщением 'суждения' является категория 'высказывание'. Главным семантическим свойством высказывания является его способность нести истинностное значение. Высказывание служит порождающей категорией базовых логических структур классической формальной логики: исчисления высказываний и логики предикатов.
Комментариев нет:
Отправить комментарий