Естественная логика (Natural Logic). Леонид Николаевич Гирик
поводу названного объекта познания.
В приведенном немотивированном суждении выражается вывод по сообщаемому основанию при отсутствии обоснования этого вывода.
4. Немотивированные изосуждения также выражают вывод по сообщаемому основанию при отсутствии обоснования этого вывода, хотя их состав не образует грамматически единое высказывание, а создается совокупность высказываний, например:
«Всегда обязательный и пунктуальный Дюк сегодня опаздывает. Для этого, несомненно, есть веская причина».
Смысловая последовательность и двухуровневая оценка в этом изосуждении обеспечивают так же, как и в приведенном ранее его аналоге, выражение рассуждения.
5. Умозаключения выражают вывод (заключение, мнение) в качестве результата оценки сообщаемого в основании по имеющемуся обоснованию, например:
«Невозможно всем предоставить отпуск летом, так как фирма должна работать постоянно, а потому некоторым надо объяснить, что можно отдыхать летом, а можно – там, где лето».
В тексте данного умозаключения курсивом выделено «обоснование». Ему предшествует «основание», а после обоснования следует «вывод».
Таково конструктивное построение этого умозаключения, хотя порядок его составных частей может быть любым. Состав же компонентов всегда одинаков и создается из утверждений и иных логических форм второго порядка.
Логическая структура данного умозаключения характерна причинным типом логического связывания, при котором «обоснование» поясняет смысловое содержание «основания» и сообщает дополнительные сведения в обоснование представленного «вывода».
Смысловое содержание умозаключения в целом обеспечивается смысловой последовательностью «основания» и «обоснования» и соответствием им представленного «вывода», который выражает мнение о данной в основании оценке, то есть двухуровневую оценку «предоставления отпуска летом» и «всем». Вывод о том, что «некоторым» надо объяснить возможность отдыхать не только летом, но и там, где лето, сообразуется с сообщавшейся в основании невозможностью «всем» предоставить отпуск летом.
Если из умозаключения этого удалить обоснование, то будет получено в данном случае мотивированное суждение. Такое изменение логической формы повлечет изменение логической функции на выражение вывода по теперь уже – «обоснованию»: «невозможно всем предоставить отпуск летом». В таком случае рассуждение будет иным – не выражающим логической связанности «основания» и «вывода» вполне определенной причинно-следственной связью.
То же самое можно осуществить, устранив из умозаключения не «обоснование», а «основание».
Так как логическое связывание в этом умозаключении относимо к типу причинно-следственных связей, то его без смысловых потерь можно переформулировать от «вывода» к «основанию». Однако, это осуществимо не при всех типах логического связывания, так как это может быть невозможно или приводить к существенному