Естественная логика (Natural Logic)

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

Каждый вид логических форм рассуждений имеет свою специальную функцию.

Итак, высказывания третьего порядка:

1. Мотивированные суждения выражают вывод (заключение) по сообщаемому обоснованию, например:

«Так как состарившиеся деревья своевременно не спилили, то случившийся шторм повалил и поломал многие из них».

В тексте этого мотивированного суждения курсивом выделено обоснование, после которого представлен вывод: «случившийся шторм повалил и поломал многие из них».

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

2. Мотивированные изосуждения также выражают вывод (заключение) по сообщаемому обоснованию.

Изосуждения (по-гречески isos – подобный) не образуют грамматически цельную форму единого высказывания, но также, как суждения и умозаключения, имеют «смысловую последовательность» входящих в них компонентов и выражают «мнение о мнении», например:

«Состарившиеся деревья своевременно не спилили. Так что случившийся шторм повалил и поломал многие из них».

3. Немотивированные суждения выражают вывод (заключение) по сообщаемому «основанию», служащему достаточным поводом для вывода, которому «обоснование» не дается, например:

«Всегда обязательный и пунктуальный Дюк сегодня опаздывает, так что для этого, несомненно, есть веская причина».

Это высказывание состоит из двух утверждений. В первом из них объекту внимания – некоему Дюку, – дается оценка «сегодня опаздывает». Во втором утверждении в целом представлен вывод: «для этого, несомненно, есть веская причина».

Этот вывод не мотивируется содержанием первого утверждения. Для него лишь служит поводом дополнение об обязательности и пунктуальности Дюка, входящее в состав первого утверждения, которое при таких условиях служит «основанием» для вывода, но не является его «обоснованием». Указанный повод и смыслы имен «для этого» создают смысловую последовательность между первым и вторым утверждением, как и их смысловые содержания.