Характеристика непосредственных умозаключений

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