Если из умозаключения этого удалить обоснование, то будет получено в данном случае мотивированное суждение. Такое изменение логической формы повлечет изменение логической функции на выражение вывода по теперь уже – «обоснованию»: «невозможно всем предоставить отпуск летом». В таком случае рассуждение будет иным – не выражающим логической связанности «основания» и «вывода» вполне определенной причинно-следственной связью.
То же самое можно осуществить, устранив из умозаключения не «обоснование», а «основание».
Так как логическое связывание в этом умозаключении относимо к типу причинно-следственных связей, то его без смысловых потерь можно переформулировать от «вывода» к «основанию». Однако, это осуществимо не при всех типах логического связывания, так как это может быть невозможно или приводить к существенному искажению смыслового содержания (например, при следующих типах логического связывания: индуктивных, абдуктивных, уподобления, исключения, отрицаний, аналогий, новаций, синтеза, инкорпорации и дифференциации).
В естественной логике умозаключения, как и высказывания, создаваемые в других логических формах, сочиняются с соблюдением достижения единства логической формы и смыслового содержания и представляют собою продукты интеллектуальной деятельности.
Потому во взятом примере при сохранении прежнего «основания» и при том же самом «обосновании» могут быть представлены и иные выводы, например:
– «… а потому надлежит организовывать работу и отдых персонала согласно имеющимся условиям»;
– «… то поэтому необходимо составлять и согласовывать графики ежегодных отпусков на три года вперед»;
– «… то всегда будут недовольные временем предоставления ежегодного отпуска»;
– «…вот потому и сложилась практика предоставлять очередной отпуск после первого года работы – зимой, после второго – весной или осенью, а после третьего – летом».
«Сочинение» вывода, а не «механическое» его выведение из основания, обоснования или того и другого, реализуется в логической форме умозаключения и ей аналогичной форме изоумозаключения.
Легенда о выводимости заключения из «посылок» создана в традиционной логике на основе единственно пригодного для этого, и лишь только в одном из его вариантов, дедуктивного логического связывания, что будет показано и доказано по ходу изложения монографии.
Эта легенда, созданная средневековыми схоластами на произвольном расширении силлогистической теории Аристотеля, съела уйму времени и сил у многих ученых и у изучавших традиционную логику совершенно бесполезно, если не считать это некоей разминкой для ума.
6. Изоумозаключения также выражают вывод в качестве результата оценки сообщаемого в основании по имеющемуся обоснованию, например:
«Невозможно всем предоставить отпуск летом. Это вызвано тем, что фирма должна работать постоянно. Вот потому некоторым надо объяснить, что можно отдыхать летом, а можно – там, где лето».
Составы изоумозаключений создаются из тех же логических форм второго порядка. Вообще все признаки логических форм, то есть состав, логические структуры, конструкции, логические функции и соответствие их смысловому содержанию, у изоумозаключений такие же, как и у умозаключений. Также для них обязательны признаки логических форм рассуждений: наличие смысловой последовательности у компонентов и создание ими двухуровневой оценки названного объекта познания, то есть «мнения о мнении».
Так как входящие в состав изоумозаключения высказывания второго порядка не образуют грамматически единого высказывания, то аналогичное умозаключению (с тем же составом) изоумозаключение будет иметь некоторые особенности его общего смыслового содержания. В изоумозаключениях оказывается усилено внимание к первичным оценкам, выражаемым в компонентах, и ослаблено в отношении выражения логической связанности основания и вывода.