Общая характеристика умозаключений

Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Например: “Все космонавты – мужественные люди”. Это означает: “Некоторые мужественные люди – космонавты”. Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом. Например: “Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)”. В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение – заключением. Поскольку всякое умозаключение вообще, безотносительно к его формам, представляет собой логическое следование одних знаний из других, то в зависимости от характера логического следования, от направленности хода мысли в умозаключении можно выделить три коренных, фундаментальных типа, которые и будут положены в основу всего последующего анализа выводного знания. Это дедукция, индукция и традукция. Дедукция– это умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности: Все люди смертны. Сократ – человек. Следовательно, Сократ смертен. Индукция – умозаключение от менее общего знания к более общему. Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: “Все планеты движутся с Запада на Восток”. Традукция – умозаключение, в котором посылки и заключение – одной и той же степени общности (умозаключение по аналогии). Пример: “На Земле, где есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, смена времен года. Возможно, что на Марсе тоже есть жизнь”

В зависимости от строгости правил вывода различают два вида умозаключений: демонстративные (необходимые) и недемонстративные (правдоподобные). Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т. е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятное следование заключения из посылок.

Непосредственные и посредственные умозаключения.

Дедуктивные умозаключения подразделяются, прежде всего, на непосредственные и опосредованные. Дедуктивным называется умозаключение, в котором переход от общего знания к частному является логически необходимым. Непосредственные умозаключения – это такие, которые делаются из одной посылки. Опосредованные – те, которые делаются из нескольких (двух и более) посылок. Непосредственные умозаключения можно получать, прежде всего, из простых суждений – как атрибутивных, так и реляционных (суждений с отношением). Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями.

Суждение, содержащее новое знание, может быть получено посредством преобразования некоторого суждения. Поскольку исходное (преобразуемое) суждение рассматривается как посылка, а новое, полученное в результате преобразования суждение – как заключение, высказывания, построенные посредством преобразования суждений, называются непосредственными умозаключениями. К ним относятся: 1) превращение, 2) обращение, 3) противопоставление предикату, 4) умозаключения по логическому квадрату.

Общая характеристика дедуктивных умозаключений.

Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений выводиться новое суждение. Дедуктивные умозаключения - те умозаключения, у которых между посылками и заключениями имеется отношение логического следования. Например: "Все рыбы дышат жабрами (1). Все окуни - рыбы (2). Значит все окуни дышат жабрами (3)." Здесь первая посылка "Все рыбы дышат жабрами" является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением "Все окуни дышат жабрами". Мы строим умозаключения от признака, принадлежащего роду ("рыба"), к его принадлежности к виду - "окунь", т.е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида "Некоторые S есть P" или "Некоторые S не есть P". Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредованные, в которых заключение выводится из двух посылок.

Категорический силлогизм. Определение и состав категорического силлогизма.

Категорический силлогизм[5] - это вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, где S и P связаны средним термином, при соблюдении правил необходимого следует заключение. Категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье - заключением. Например: Все металлы (М) электропроводны (Р) - больная посылка. Медь (S) есть металл (М) - меньшая посылка. Медь (S) электропроводная (Р) - заключение. Понятия, входящие в состав силлогизма, называются терминами силлогизма. В приведенном примере терминами являются: Р (электропроводник) - большой термин, это предикат заключения; S (медь) - меньший термин, это субъект заключения; М (металл) - средний термин, служащий в посылках для связывания S и Р и отсутствующий в заключении.

Аксиома силлогизма.

Аксиомой называется исходное положение теории, которое принимается за истинное без доказательств и которое обосновывает другие положения теории. Аксиома силлогизма – это положение, обосновывающее правомерность его вывода, т.е. логического перехода от посылок к заключению. Известны две формулировки аксиомы: атрибутивная и объемная. Первая выражает связь между предметом и его признаком: признак признака некоторой вещи есть признак самой этой вещи; то, что противоречит признаку вещи, противоречит и вещи. Или в сокращенном виде: признак признака есть признак вещи. Рассмотрим первую часть аксиомы. Если P есть признак M, а M – признак S, то P выступает как признак признака M предмета S. Но тогда признак признака (P) есть признак S, что и выражено в заключении S – P. Например: Всякая наука (M) имеет свой предмет исследования (P) Логика (S) – наука (M) Логика (S) имеет свой предмет исследования (P) В этом примере признак науки – иметь свой предмет исследования – является вместе с тем признаком логики. Теперь рассмотрим вторую часть аксиомы. Если S обладает признаком М, но признак P противоречит этому признаку, то в таком случае P противоречит и S. Следовательно, S не обладает признаком P. Вторая формулировка аксиомы выражает объемную интерпретацию терминов силлогизма: все, что утверждается (или отрицается) относительно всех предметов класса, утверждается (или отрицается) относительно каждого предмета и любой части предметов этого класса. В сокращенном виде эта аксиома формулируется следующим образом: сказанное обо всем и ни об одном.