Разделительные силлогизмы

ТЕМА  21. Разделительные силлогизмы

 

План

1. Определение разделительного силлогизма.
2. Разделительно-категорические выводы и их модусы.

 

Упражнения

1. Определите фигуру, модус  и правильность следующих разделительных  силлогизмов:

1.1. Суждения бывают либо  истинные, либо ложные. Данное суждение  истинно. Значит, оно не является  ложным.

1.2. Это или  убийство, или несчастный случай. Это не несчастный случай. Следовательно,  это убийство.

1.3. Он учится  на дневном или заочном. Но я знаю точно, что не на дневном. Значит, на заочном.

1.4. Умозаключение  бывает непосредственным или  опосредованным. Данное умозаключение  – силлогизм, значит, оно не  является непосредственным.

 

 

 

 

 

 

 

 

 

 

Слово "логика" для обозначения  науки о мышлении, о формах и  законах его, ввел в самом начале III в. до н.э. основатель стоического направления в философии - Зенон из г. Китиона, что на Кипре (ок. 336— 264 гг. до н.э.) Как известно, Аристотель (384--322 гг. до н. э.), подлинный создатель логики как науки, пользовался для ее обозначения словом «аналитика». Скорее всего, слово «логика» происходит от древнегреческого «логос», которое еще тогда представляло собой крайне многозначное выражение, являющееся основополагающим для философских взглядов многих античных философов. Многозначность логоса отразилась и на значении слова «логика». «Логос» — это и понятие, слово, мысль, разум, идея, принцип, закон, порядок и пр.

В русском языке слово  «логика» используется для обозначения:

а) необходимой, закономерной связи предметов и событий  в окружающем мире, связи последующего с предыдущим (логика вещей, логика событий, логика действительности, физическая, предметная, причинно-следственная логика, объективная логика и т. п.);

б) столь же закономерно  взаимосвязанного, последовательного  рассуждения, размышления (логика рассуждения Иванова, Петрова или Сидорова, «железная логика», субъективная логика и т. п.);

в) науки о формах и  законах мысли.

В первом своем значении слово «логика» входит составной  частью в название многих наук (физиология, биология, психология, геология и др.), чем и подчеркивается, что они  исследуют законы, необходимые свойства и связи предметного, естественного  мира. Мы будем вести речь в основном не об этой логике, а о логике в  последнем значении этого слова  — о логике как науке. Но попятно, что наука о мышлении не может  не отражаться на логике самого рассуждения об этой науке, т.е. на логике во втором значении этого слова, поэтому два последних значения слова "логика" будут встречаться довольно часто.

Логика как одна из наук о мышлении, философски окрашенная наука. Это -- наука о структуре форм мысли, о простейших мыслительных методах, о законах связи форм мысли между собой, а также и об ошибках, возможных при нарушении этих законов.

В отличие от других наук, изучающих мышление, логика изучает  особенности, свойства форм мысли, отвлекаясь при этом от того конкретного содержания, которое могут нести эти формы  мысли; она изучает их со стороны  строения, структуры, т. е. внутренней закономерной связи составляющих форму мысли  элементов.

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

Любая наука должна иметь  собственный предмет исследования и этот предмет не должен дублироваться  предметами других наук. Каждая наука  должна иметь собственную методологию, свои цели и задачи, свою структуру  и свое определенное место в системе наук, свое значение. Из предложенного сопоставления наук специфика предмета логики достаточно очевидна. Логика изучает формы мысли как бы существующие сами по себе, независимо и от тех средств (знаковых систем), в которых мысль выражается, и от тех предметов, которые мысленно отражаются. Логика не отрицает всех этих связен, но они не входят в предмет науки логики.

Вот эта особенность форм мысли является одной из самых  существенных трудностей, определяющих кажущуюся оторванность логики от действительности, ее отвлеченный, абстрактный характер, ее непонятность для начинающих знакомство с нею. Самая распространенная ошибка среди приступающих к изучению логики — отождествление, или подмена мысли самим реальным предметом, который мысль лишь отражает, или словом, в котором мысль лишь выражается. Мысль же сама по себе, в каком бы виде (форме) своей она не проявлялась, остается качественно отличной и от предмета, и от слова.

    Мысль есть обобщенное, отвлеченное. опосредованное, абстрактное и в силу этого идеальное отражение действительности. Мысль — идеальная форма отражения, форма опережающего, активного, деятельного отражения

  Форма мысли, представляющая  собой логическую связь двух  и более понятий, могущая быть  истинной или ложной, называется  суждением. Между понятиями, как известно, устанавливаются отношения тождества, подчинения, частичного совпадения (пересечения, перекрещивания, сходства), которые выразимы утвердительной логической связкой "есть"; отношения же противоречия, противоположности и соподчинения выразимы логической связкой "не есть". Эти отношения, корректно выраженные в соответствующей языковой форме, в грамматических предложениях, и будут выражать суждения разного вида.

   Логическое подлежащее — это понятие, отражающее предмет (явление, процесс), на который направлено внимание мыслящего, поэтому оно и называется предметом мысли. В терминологии логики, на ее языке этот элемент называется субъектом суждения и символически обозначается символом - заглавной латинской буквой «S».

Логическое сказуемое  — это понятие, которое отражает присущий или не присущий предмету мысли признак. Логическое сказуемое  терминологически называется предикатом суждения и символически обозначается заглавной буквой «Р» латинского алфавита.

Последний элемент суждения — связка - выражает отношение между  субъектом и предикатом, между  «S» и «Р». Связка выразима в русском языке словами «есть» - «не есть», «суть» - «не суть», «является» - «не является», «имеется» - «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается. Так, вместо «Он есть добр» мы говорим «Он добр», вместо «Дуб есть дерево» — «Дуб — дерево» и т.п. Желательно выработать навык перевода таких грамматических выражений в адекватные им логические формы. Когда же мы имеем дело с простыми суждениями отношения или модальности, то роль связки могут выполнять другие слова: «большее», «меньше», «равно», «справа», «слева», «лучше», «хуже», «было», «будет» и пр.

Используя символику, любое  простое категорическое суждение можно  записать в виде формулы «S—Р», где тире между субъектом суждения «S» и предикатом «Р» будет обозначать связку, логическую связь, отношение между ними.

    К числу силлогистических умозаключений относят умозаключения из условных, разделительных суждений, их сочетаний с простыми категорическими суждениями и между собой. Таким образом, можно говорить об условном, разделительном, условно-категорическом, разделительно-категорическом и условно-разделительном силлогизмах (умозаключениях).

Силлогизм, в котором хотя бы одна из посылок — суждение условное, является условным силлогизмом. Когда  в умозаключении обе посылки  суждения условные, тогда силлогизм  называется чисто условным. Когда  одна из посылок — суждение условное, а другая — суждение категорическое, тогда силлогизм называется условно-категорическим. Когда же одна из посылок — суждение условное, а другая — суждение разделительное, тогда силлогизм называется условно-разделительным.

Умозаключение, в котором  хотя бы одна из посылок — суждение разделительное, называется разделительным силлогизмом. Аналогично условному и здесь выделяют чисто разделительное умозаключение, когда обе посылки — разделительные суждения; разделительно-категорическое умозаключение и, наконец, разделительно-условное, которое, собственно, то же самое, что и условно-разделительное. Структуру этих умозаключений определяют входящие в них посылки, и эту структуру следует рассмотреть более обстоятельно в каждом отдельном случае.

  Чисто условный силлогизм состоит из двух условных суждений, структура каждого из которых уже известна: условное суждение состоит из основания, следствия и логического союза между ними.

  Условно-категорический  силлогизм состоит из условной (будем считать ее большей, ибо она сложное суждение) и категорической (будем называть ее меньшей, ибо она - простое суждение) посылок. Структура этого умозаключения допускает четыре разновидности, четыре ее модуса, определяемых законами связи элементов в условном суждении. Этих законов два: при истинности основания условного суждения - следствие его будет обязательно истинным, и наоборот, при ложности следствия условного суждения - основание его будет обязательно ложным. Если в условно-категорическом умозаключении от утверждения (констатации, признания истинности) основания условного суждения в меньшей категорической посылке переходит в заключении этого силлогизма к утверждению следствия условного суждения, то такой вывод правилен, он соответствует нормам логики:

Если В, то С                           В -->С

         В                                    В      

              С                                   С

Это умозаключение представляет собой утверждающий модус (modus роnеns) условно-категорического силлогизма.

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

Если В, то С                  В -->С

                                                       не-С                    не-С

                                              Не-В                          не-В

Это умозаключение представляет собой отрицающий модус (modus tollеns) условно-категорического силлогизма.

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

В -->С                    В -->С

       не-В                              С

    (возможно, не-С)      (возможно, В)

Чисто разделительный силлогизм  составляют разделительные посылки, например:

Четырехугольники суть равносторонние или они неравносторонние

Равносторонние четырехугольники есть квадраты или ромбы

Четырехугольники есть неравносторонние, или квадраты, или ромбы 

 

Символически это можно  записать так:

S есть Р или S есть Р1

Р есть Р2 или Р3

S есть Р1 или Р2 или Р3

 

 

Умозаключение, в котором  на месте большей посылки —  суждение разделительное, а на месте  меньшей посылки — суждение категорическое, называется разделительно-категорический силлогизм. Как и условно-категорический силлогизм, разделительно-категорический тоже имеет всего два правильных модуса: утверждающе-отрицающий, или роnеndо-tоllеns, и отрицающе-утверждающий, или tоllеndо-роnеns. Например:

Деревья у нас либо лиственные, либо хвойные

Данное наше дерево - хвойное

Данное дерево - не лиственное

Другой пример:

Деревья у нас либо лиственные, либо хвойные

Данное наше дерево - не хвойное

Данное дерево - лиственное

В этих разделительно-категорических силлогизмах меньшая посылка  в первом случае утвердительное суждение, а вывод отрицателен, во втором - отрицательная, но вывод положителен. Соответственно, эти модусы и называются - утверждающе-отрицающий (роnеndо-tollеns) и отрицающе-утверждающий (tollendo-ponens).

В разделительно-категорическом силлогизме можно выделить четыре их разновидности, или модуса:

В v С          В v С          В v С          В v С

В                не-В               С              не-С

не-С               С             не-В                В

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

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