Учение о рассуждении, о логическом выводе является основой формальной логики.
Рассуждение – это акт коммуникации, состоящий в планомерном преобразовании определенных структур языкового мышления некоторого субъекта с целью изменения соответствующих структур другого субъекта.
В рассуждении выделяют:
- наличие объекта, т. е. рассуждение о чем-то, предметность;
- опора на запас знаний субъекта, его навыки, его психологические особенности, т. е. доступность, активность адресата, приемлемость для него, учет его особенностей;
- эвристичность, т. е. обнаружение новых неизвестных характеристик или обоснование сомнительных характеристик объекта, отсюда, доказательность, нацеленность, тезисность рассуждения;
- информативность, т. е. приобретение новых знаний, интерес, новизна;
- взаимодействие анализа и синтеза, т. е. соучастие в процессе мышления, ведение за своей логикой;
- планомерность влияния на адресата.
Главными характеристиками рассуждений являются убедительность и доказательность:
- недоказательная убедительность – характеристика рассуждений, не удовлетворяющих логическим стандартам доказательности, но, тем не менее, признаваемых приемлемыми в рамках некоторой теории или культурной парадигмы;
- неубедительная доказательность – характеристика рассуждений, которые внешне удовлетворяют логическим стандартам доказательности и в то же время слишком сложны (запутанны, длинны) для того, чтобы субъект познания на данном уровне логической компетенции мог оценить их правильность;
- убедительная доказательность – характеристика рассуждений, которые имеют доказательство с прозрачной, эффективной структурой;
- доказательная убедительность – характеристика рассуждения, в котором снижается сложность первоначального высказывания при помощи «локальных» преобразований его структуры и в результате доказательство исходного высказывания.
Основное требование к рассуждениям – это соблюдение формально-логических законов и правил мышления.
Логической формой получения выводных знаний является умозаключение.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) инедемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. Важное значение имеет классификация умозаключений по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Эта классификация будет положена в основу дальнейшего изложения.
Рассмотрим дедуктивные умозаключения.
Дедуктивными (от латинского deductio — «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.
Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредствованные, в которых заключение выводится из двух посылок.