Формальная логика в системе наук, изучающих мышление

Формальная логика в системе наук, изучающих мышление

Логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой. Формальная логика изучает объективно сложившуюся структуру мыслительного процесса, установившиеся связи понятий и суждений при выведении нового знания в умозаключениях. Вполне естественно, что устойчивые связи элементов правильной мысли приобретают характер законов. Анализ таких связей наряду с описанием структурных форм мышления составляет предмет изучения формальной логики. Следовательно, Задача формальной логики – установить правила обеспечения стройности и последовательности истинного мышления. Не охватывая всех сторон познавательного процесса, формальная логика не представляет собой всеобщего метода познания. Законы этой науки остаются специфическими законами мышления, они не распространяются на всю окружающую действительность. Особенностью предмета формальной логики служит также анализ форм и законов мышления вне их возникновения и развития.
Следует подчеркнуть, что логика берет уже сложившуюся форму, рассматривая ее как нечто устоявшееся, без всякой собственной истории.

Форма мышления и структура мысли как объект изучения логики. Логическая правильность и истинность мышления

Мышление – высшая по отношению к чувственной форма отражения бытия, состоящая в целенаправленном о обобщенном познании человека, существенной связи и отношений действительности. По своему содержанию мысль может быть либо истинной, либо ложной. Со времён Аристотеля под истинной мыслью понимается такая мысль, которая соответствует действительности, то есть отражает действительность такой, какой она есть на самом деле. Если же мысль по своему содержанию не соответствует действительности, искажает её, то она является ложной (заблуждением). Отсюда истинностью мышления называют его свойство воспроизводить действительность такой, какова она есть, соответствовать ей по своему содержанию. А ложностью – свойство мышления искажать, извращать содержание.
По форме (структуре) мышление бывает правильным и неправильным. Правильность мышления означает способность его воспроизводить в структуре мысли структуру действительности, соответствовать действительным отношениям предметов и явлений. И наоборот, неправильность мышления есть его способность искажать структурные связи и отношения вещей. Например:Все металлы тонут в воде.
Натрий – металл. Следовательно, натрий тонет в воде.

Общая характеристика понятия как форма рационального мышления

Понятие – это форма мышления, отражающая предметы или явления на основесущественных и отличительных признаков. Любая мысль выражается посредством понятия. Понятие образуется на основе ощущения, восприятия и представления с помощью общенаучных методов: анализ, синтез, сравнение, обобщение, абстрагирование. Эти приемы широко используются в познании. Важную роль они играют в формировании понятий, основанном на выявлении существенных признаков.Чтобы составить понятие о предмете, нужно сравнить данный предмет с другими предметами, найти признаки сходства и различия. Логический прием, устанавливающий сходство или различие предметов, называется сравнением.Выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом.Выделение с помощью анализа признаков позволяет отличить существенные признаки от несущественных и отвлечься, абстрагироваться от последних. Мысленное выделение признаков одного предмета и отвлечение от других признаков называется абстрагированием.Понятие неразрывно связано с основной языковой единицей – словом. Понятия выражаются и закрепляются в словах и словосочетаниях, без которых невозможно ни формирование понятий, ни оперирование ими.Любое понятие имеет структуру, которая включает объем и содержание.Объем понятия – совокупность предметов, которая мыслится в данном понятии. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.Содержание понятия – это совокупность основных существенных признаков предмета или группы однородных предметов, отраженных в данном понятии. Например, содержанием понятия «преступление» является совокупность существенных признаков преступления: общественно опасный характер деяния, виновность, противоправность, наказуемость.

5)Объем и содержание понятия их взаимосвязь. Закон обратного отношения объема и содержания понятия

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

Содержание и объем понятия тесно взаимосвязаны, эта связь выражается в законе обратного отношения между объемом и содержанием понятия. Сущность: при увеличении содержания понятия его объем уменьшается и наоборот.

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

Логические отношения между суждениями. Логический квадрат.

Отношения между суждениями основаны на сходстве по смыслу и логическими знаниями (истинности или ложности). Отношения устанавливаются только между сравнимыми суждениями, то есть имеющими общий смысл. Отношения рассматриваются с помощью логического квадрата. Среди сравнимых суждений различаются совместимые и несовместимые. К совместимым относятся A и I, Е и О. Они могут быть одновременно истинными.

З вида совместимости:

" эквивалентная.

Пример: Это стол - It'stable.

" частичная совместимость. I и О могут быть одновременно истинными, но не ложными.

Пример: "Некоторые злаки ядовиты" - "Некоторые злаки не являются ядовитыми".

" подчинение. A - I, E-O. При истинности общего частное всегда истинно, при ложности - ложно.

Отношения несовместимости:

A-E, A-O, E-I.

" Противоположность (контрарность). A-E. Суждения не могут быть одновременно истинными, но могут - ложными.

Пример: "Все судьи - юристы" - "Ни один судья не является юристом".

" Противоречие (контрадикторность). A-O, E-I. Суждения не могут быть одновременно ни истинными, ни ложными.

Пример: "Все люди любят жизнь" - "Некоторые люди не любят жизнь".

Логический квадрат.

Это объединенная классификация суждений по количеству и качеству.

Пример: Общеутвердительное: общее по количеству, утвердительное по качеству. "Все S есть P".

ЗАКОН ТОЖДЕСТВА.

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

Закон тождества принято выражать формулой А = А или А суть А.

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

Из приведенных рассуждений ясно, что соблюдение закона тождества во многом определяется нашим умением пользоваться понятиями. В ходе рассуждений (письменных или устных) возникает необходимость в целях стилистического разнообразия одни и те же понятия выражать различными словами, однако в этом случае надо следить, чтобы вновь вводимые слова как понятия были бы тождественными уже введенным понятиям, соразмерными с ними.пример: «Все течет; в одну и ту же реку нельзя войти дважды» (Гераклит). В одной из харьковских газет читаем заголовок: «Мудрец сказал: «В одну и ту же воду нельзя войти дважды»». Если сопоставить понятия «река» и «вода», то ясно, что они не тождественны, ибо вода может быть стоячей (в бассейне, в болоте, в пруду и т.д.), а река всегда в движении. Тот, кто поместил этот заголовок, нарушил закон тождества и тем самым исказил важнейшее положение Гераклитовского учения о диалектике, в котором раскрывается сущность движения.

ЗАКОН НЕПРОТИВОРЕЧИЯ

Логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название закона — закон противоре­чия, подчеркивающее, что закон отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости. Противоречат друг другу, напр., высказывания: «Фобос — спутник Марса» и «Фобос не является спутником Марса», «Кентавры существуют» и «Кентавры не существуют» и т. п.

Закон отрицает, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему. Иногда Н. з. формулируют таким образом: из двух противоречащих друг другу высказываний одно является ложным. Эта формулировка подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию заведомо ложное положение, что, разумеется, недопустимо. С использованием символики логической (р — некоторое высказывание; & — конъюнкция, «и»; ~ — отрицание, «неверно, что») Н. з. выражается формулой: ~(р&~р), неверно, что р и не-р. Напр.: «Неверно, что глина металл и что она не металл», «Неверно, что птицы летают и что они не летают» и т. п. Логические противоречия — противоречия непоследовательного, путаного рассуждения - принципиально отличны от противоречий диалектических. Н. з. запрещает первые, но он не распространяется на вторые. О диалектике развития и борьбе противоположных сторон, определяющей развитие, нужно рассуждать последовательно и непротиворечиво, как и обо всем другом.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

Закон исключенного третьего следует рассматривать как дальнейшее уточнение требований непротиворечивости, последовательности и определенности, предъявляемых к мышлению. Он должен способствовать устранению из наших рассуждений неопределенных, двусмысленных выражений, употреблению определенных вопросов и ответов в дискуссиях и т.п.

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

Смысл закона исключенного третьего выражает формула:

Где А есть суждение, – его отрицание, ^ – знак конъюнкции, читается как «ИЛИ».

Этим законом исключается истинность какого-либо третьего суждения, кроме того суждения, к которому мы пришли, или его отрицания. Здесь предлагается сделать выбор из двух противоречащих друг другу суждений. Одно из них должно быть непременно истинным. При этом закон не указывает, какое именно из суждений истинно, но указывает, что истина лежит лишь в пределах этих двух суждений, а не какого-то третьего. Закон исключенного третьего имеет силу относительно любых пар суждений, в которых одно утверждает то, что отрицается в другом. Например, из высказываний: (1) «Все планеты имеют спутников» и (2) «Неверно, что все планеты имеют спутников» (или то же самое «Некоторые планеты не имеют спутников») истинным является только одно, а именно (2). Никакого «третьего высказывания», которое также было бы истинным, между ними образовать нельзя.

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

Допустим, нам надо доказать истинность следующего суждения: «Луна есть спутник планеты Земля». Для этого мы выдвигаем противоречащее суждение: «Луна не есть спутник планеты Земля». Устанавливая ложность этого суждения, мы выдвигаем такой аргумент: если бы Луна не была спутником планеты Земля, она бы не появлялась постоянно на ночном небе в ясную погоду в точно зафиксированных точках пространства. Но так как появление Луны в указанных точках и при указанных условиях есть эмпирический факт, то предположение о том, что Луна не есть спутник Земли, неверно. Следовательно, «Луна есть спутник планеты Земля». Другой аргумент, опровергающий противоречащее суждение: если бы Луна не была спутником планеты Земля, то периодичность приливов и отливов на побережье мировых океанов (6 часов) не имела бы места (не происходила). Но так как приливы и отливы в связи с движением Луны вокруг Земли доказаны наукой, наше допущение о том, что Луна не есть спутник Земли, неверно. Следовательно, истинно, что «Луна есть спутник планеты Земля».

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

 

27. Умозаключение как форма рационального мышления. Его особенность, структура и виды.

Умозаключение – это форма мышления, посредством которой осуществляется переход от известного (имеющегося) знания в новому знанию. В структуре умозаключения выделяют: (1) посылки – исходное знание, служащее основанием умозаключения; (2) заключение – производное (новое) знание, получаемое из посылок; (3) логическую связь между посылками и заключением, выражающую отношение между ними. Поскольку функции посылок и заключения выполняют суждения, то умозаключение часто определяют как форму мышления, посредством которой из одного или нескольких суждений выводится новое суждение.

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

Дедуктивные умозаключения – это умозаключения, в которых осуществляется переход от более общего знания к менее общему. Например: Все люди смертны, Сократ – человек, следовательно, он смертен.

Индуктивные умозаключения – это умозаключения от менее общего знания к более общему. Например, наблюдая за движением каждой из известных планет Солнечной системы, можно сделать вывод: «Все планеты движутся с Запада на Восток».

Умозаключение по аналогии – это умозаключение, в котором осуществляется переход от частного знания к частному. Заключение и посылки здесь одной и той же степени общности. Например: «На Земле есть атмосфера, смена дня и ночи, времена года, есть также и жизнь.

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

Непосредственными умозаключениями называются умозаключения, представляющие собой некоторое преобразование одного простого категорического суждения. Это умозаключения из одной посылки. Виды: 1) превращение, 2) обращение, 3)противопоставление предикату, 4)умозаключение по логическому квадрату.

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

Обращение - это преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат - субъектом заключения.

Противопоставление предикату - это преобразование суждения, в результате, которого субъектом становится понятие, противоречащее предикату, а предикатом субъект исходного суждения.

Умозаключение по логическому квадрату. Учитывая свойства отношений между категорическими суждениями А, Е, I, О, которые иллюстрированы схемой логического квадрата, можно строить выводы, устанавливая следствие истинности или ложности одного суждения из истинности или ложности другого суждения.

29. Опосредования умозаключений. Простой категорический силлогизм, его структура.

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

Простой категорический силлогизм — это вывод некоторого категорического суждения из двух других категорических суждений.

Структура простого категорического силлогизма:

В силлогизм входит ровно три термина:

S — меньший термин: субъект заключения (входит также в меньшую посылку);

P — больший термин: предикат заключения (входит также в большую посылку);

M — средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) — то, относительно чего мы высказываем (делится на два вида):

Определенное: Единичное, Частное, Множественное

Единичные [суждения] — в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»

Частное суждение — в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»

Множественное суждение — это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»

Неопределенное. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) — то, что мы высказываем (2 вида суждений):

Повествовательные — это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».

Описательные — когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

Отношение между подлежащим и сказуемым:

Суждения тождества — понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»

Суждения подчинения — понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»

Суждения отношения — именно пространства, времени, отношения. Прим: «Дом находится на улице»

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

 

30. Аксиома силлогизма. Правила терминов и правила посылок силлогизма.

Суть аксиомы силлогизма: Признак признака есть признак самой вещи, а то что противоречит признаку вещи, противоречит и самой вещи.

Этой аксиоме предшествует другая аксиома: все что утверждается относительно всего множества, утверждается и относительно каждого его подмножества, и все, что отрицается относительно всего множества, отрицается и относительно каждого его

I. Правила терминов:

1) в силлогизме должно быть только 3 термина

Термин М должен быть одним и тем же понятием в обеих посылках, иначе получим ошибку, называемую "учетверением терминов".

2) средний термин должен быть распределен хотя бы в одной из посылок.

Если средний термин не распределен ни в одной из посылок, то отношение между крайними терминами в заключении остается неопределенным.

 

3) термин, не распределенный в посылках, не может быть распределен в заключении.

При нарушении этого правила возникает лог.ошибка "незаконное расширение термина".

 

II. Правила посылок:

1) Из двух отрицательных посылок заключение сделать нельзя (хотя бы одна из посылок должна быть утвердительной).

 

2) Из двух частных посылок заключение не следует (хотя бы одна из посылок должна быть общим суждением).

Из двух частных посылок правильное заключение сделать невозможно.

 

3) если одна из посылок - отрицательное суждение, то и заключение должно быть отрицательным.

 

4) если одна из посылок частная, то и заключение должно быть частным.

 

31. Фигуры простого категорического силлогизма, их правила и значение.32. Модусы силлогизма. Правила вывода модусов.

Если указанные выше 11 правильных сочетаний суждений в силлогизме рассмотреть во всех фигурах силлогизма, то должно получиться 44 возможных сочетания суждений, но правилам силлогизма из этих 44 сочетаний соответствуют только 19.

Такие правильные сочетания видов суждений в силлогизме называются модусами фигур силлогизма.

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

Примеры модусов.

I фигура

Модус Barbara: обе посылки и вывод являются общеутвердительными суждениями.

Пример:

Все студенты семинарии изучают Священное Писание;

Все студенты 2 курса являются студентами семинарии;

Следовательно, все студены 2 курса изучают Священное Писание.

Модус Celarent: большая посылка является общеотрицательным суждением, меньшая — общеутвердительным, а вывод — общеотрицательным.

Пример:

Ни один студент семинарии не является студентом университета;

Все студенты 2 курса являются студентами семинарии;

Следовательно, ни один студент 2 курса не является студентом университета.

Модус Darii: большая посылка является общеутвердительным суждением, а меньшая посылка и вывод — частноутвердительными.

Пример:

Все студенты 2 курса изучают риторику;

Иванов - студент второго курса;

Следовательно, Иванов изучает риторику.

Модус Ferio: большая посылка является общеотрицательным суждением, меньшая — частноутвердительным, вывод — частноотрицательным.

Пример:

Ни один студент семинарии не является студентом университета;

Некоторые молодые люди являются студентами семинарии;

Следовательно, некоторые молодые люди не являются студентами университета

При этом соотношение крайних терминов таково, что некоторые молодые люди

могут быть студентами университета.

Правила первой фигуры:

• меньшая посылка является утвердительной;

• большая посылка является общей.

II фигура

Модус Cesare: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, а вывод — общеотрицательным.

Пример:

Ни один православный не является протестантом;

Все англикане являются протестантами;

Следовательно, ни один англиканин не является православным.

Модус Camestres: большая посылка является общеутвердительным суждением, меньшая посылка и вывод являются общеотрицательными суждениями.

Пример:

Всякое действие, подлежащее нравственной оценке, предполагает свободу воли;

Отправления организма независимы от воли;

Следовательно, отправления организма не подлежат нравственной оценке.

Модус Festino: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, а вывод — частноотрицательным. Иными словами, вывод является обращением вывода модуса Ferio. Пример:

Ни один студент семинарии не является студентом университета;

Некоторые молодые люди являются студентами университета;

Следовательно, некоторые молодые люди не являются студентами семинарии.

Модус Baroko: большая посылка является общеутвердительным суждением, меньшая посылка и вывод — частноотрицательными.

Пример:

Все христиане считают для себя обязательным жить по правилам Церкви;

Некоторые люди, называющие себя христианами, не считают для себя обязательным жить по правилам Церкви;

Следовательно, некоторые люди, называющие себя христианами, таковыми не являются.

Правила второй фигуры:

• одна из посылок является отрицательным суждением,

• вывод является отрицательным суждением,

• большая посылка является общим суждением

III фигура

Модус Darapti: большая и меньшая посылки являются общеутвердительными суждениями; вывод является частноутвердительным суждением.

Пример:

Все люди являются разумными существам;

Все люди являются теплокровными животными;

Следовательно, некоторые теплокровные животные являются разумными существами.

Модус Disamis: большая посылка и вывод — частноутвердительные суждения, меньшая посылка — общеутвердительное суждение.

Пример:

Некоторые люди занимаются логикой;

Все люди - разумные существа;

Следовательно, некоторые разумные существа занимаются логикой.

Модус Datisi: большая посылка является общеутвердительным суждением, меньшая посылка и вывод – частноутвердительными.

Пример:

Все люди разумны;

Некоторые люди занимаются логикой;

Следовательно, некоторые существа, занимающиеся логикой, разумны.

Модус Felapton: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, вывод — частноотрицательное суждение.

Пример:

Ни один студент университета не является студентом семинарии;

Студенты университета являются разумными существами;

Следовательно, некоторые разумные существа не являются студентами семинарии.

Модус Bokardo: большая посылка и вывод — частноотрицательные суждения, меньшая посылка - общеутвердительное суждение.

Пример:

Некоторые люди не занимаются логикой;

Все люди - разумные существа;

Следовательно, некоторые разумные существа не занимаются логикой.

Модус Ferison: большая посылка — общеотрицательное суждение, меньшая посылка — частноутвердительное суждение, вывод — частноотрицательное суждение.

Пример:

Ни один женатый не является монахом;

Некоторые женатые люди являются священниками;

Следовательно, некоторые священники не являются монахами.

Правила третьей фигуры:

• меньшая посылка является утвердительным суждением;

• вывод является частным суждением.

IV фигура

Модус Bramantip: большая и меньшая посылки являются общеутвердительными суждениями, а вывод — частноутвердительным, при этом средний термин — субъект меньшей и предикат большей посылок. Как и все остальные модусы IV фигуры, Bramantip является искусственным и не несет существенной информации, поскольку более сильный вывод получается из соответствующего модуса первой фигуры; иногда Bramantip и обозначается как Barbari.

Пример: [1]

Все явления природы причинно обусловлены;

Все причинно обусловленные явления воспринимаются как естественные;

Следовательно, некоторые явления, воспринимаемые как естественные, суть явления природы.

Модус Camenes: большая посылка — общеутвердительное суждение, меньшая посылка и вывод — общеотрицательные.

Пример:

Всякое зло этой жизни есть зло преходящее;

Никакого преходящего зла не следует бояться;

Следовательно, никакое зло, которого следует бояться, не есть зло этой жизни.

Модус Dimaris: Большая посылка и вывод — частноутвердительные суждения, меньшая посылка — общеутвердительное суждение.

Пример:

Есть безумцы, которые говорят истину;

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

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

Модус Fesapo: большая посылка — общеотрицательное суждение, меньшая — общеутвердительное суждение, вывод — частноотрицательное суждение.

Пример:

Ни одна добродетель не есть прирожденное свойство;

Всякое прирожденное свойство дается Богом;

Следовательно, существуют свойства, которые даются Богом и не являются добродетелями.

Модус Fresison: большая посылка — общеотрицательное суждение, меньшая посылка — частноутвердительное суждение, вывод — частноотрицательное суждение.

Пример:

Ни один римо-католик не является православным;

Некоторые православные люди — французы;

Следовательно, некоторые французы не являются римо-католиками.

Правила четвертой фигуры:

• если большая посылка является утвердительным суждением, то меньшая посылка является общим суждением;

• если меньшая посылка является утвердительным суждением, то вывод является частным суждением,

• в отрицательных модусах большая посылка является общим суждением.

 

34. Условный силлогизм и его виды

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

Виды:

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

p→q Если много врать, то можно потерять доверие

q→r Если потерять доверие, то можно остаться одному

________________________________________

p→r Если много врать, то можно остаться одному

 

Правило условного силлогизма: следствие следствия есть следствие основания;

 

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

 

У этого силлогизма возможны 4 модуса:

 

 

Поненс Толленс

p→q p→q p→q p→q

p q p q

________________________________________ ________________________________________ ________________________________________ ________________________________________

q p q p

 

 

Достоверные модусы

Модус поненс (лат. modusponens) - утверждающий модус (его заключение утвердительное суждение)

Модус толленс (лат. modustollens) отрицающий(его заключение отрицательное суждение).

 

Модус поненс (рассуждение идет от утверждения основания к утверждению следствия):

 

Билет 35

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

Виды:

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

 

S есть Р или Р1 Составляющая атома - либо заряженная, либо нейтральная.

Р есть Р2 или РЗ Заряженная составляющая атома - либо электрон, либо протон.

________________________________________ ________________________________________

S есть Р1 или Р2 или РЗ Составляющая атома - либо электрон, либо протон, либо нейтральна.

 

 

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

 

Имеет два модуса:

(1) утверждающе-отрицающий (modusponendotollens)

 

pvq Либо пан, либо пропал.

p Пан.

________________________________________ ________________________________________

q Не пропал.

 

(2) отрицающе-утверждающий (modustollendoponens)

 

pvq Либо пан, либо пропал.

p Не пан

________________________________________ ________________________________________

q Пропал.

 

 

Правила:

1) в дизъюнктивных посылках должны быть перечислены все члены дизъюнкции (деления);

2) члены деления должны исключать друг друга (строгая дизъюнкция).

 

 

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

Кроме того, часто встречаются и условно-разделительные силлогизмы, в которых большая посылка - конъюнкция условных суждений, а меньшая - разделительное суждение. В зависимости от числа членов дизъюнкции (альтернатив) выделяют дилеммы (2 члена), трилеммы (3 члена), полилеммы (более трех членов). Например, логическая структура известной сказочной ситуации "витязя на распутье" (прямо поедешь - голову сложишь, направо поедешь - коня потеряешь, налево поедешь - жену найдешь) имеет форму трилеммы:

(p1→q1)&(p2→q2)&(p3→q3)

p1vp2vp3

________________________________________

q1vq2vq3.

 

Математическая индукция.

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

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

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

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