Классификация простых суждений

По качеству

• Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».
• Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

По объёму

• Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
• Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

• Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
• Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
• Основание — это (предыдущее) суждение, которое содержит условие.
• Следствие — это (последующее) суждение, которое содержит следствие

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

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

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

1. Разнозначащие (эквивалентные) суждения выражают одну и ту же мысль: например, "для того, чтобы всегда говорить правду, требуется сила духа"; и "Правдивые люди - сильные духом; "Студент Петров А.И. сделал ошибку по логике" и "Причина ошибки по логике заключается в действиях студента Петрова А.И.". Это две пары разнозначащих суждений, каждое из которых имеет одно и то же смысловое содержание, но их логическое построение различно.

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

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

при истинности общего суждения частное всегда будет истинным;

при ложности частного суждения общее суждение также будет ложным; при ложности общего суждения частное неопределенно; при истинности подчиненного частного суждения общее неопределенно.

Кратко рассмотрим отношения между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Такие суждения делятся на следующие виды: контрарные (противоположные); подконтрарные и противоречащие.

1. Контрарными (противоположными) называются общие суждения, выражающие противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например: "Все люди имеют врожденные пороки" и "Ни один человек не имеет врожденных пороков"; "Все люди обладают второй сигнальной системой" и "Ни один человек не обладает второй сигнальной системой". Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждений "Все студенты - учащиеся" сразу же дает ответ, что суждение "Ни один студент не является учащимся" - ложно.

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

2. Подконтрарными называются частные суждения, которые выражают противоположную мысль. Например: "Некоторые студенты являются отличниками" и "Некоторые студенты не являются отличниками"; "Некоторые люди справедливы" и "Некоторые люди несправедливы".

3. Противоречащими называются суждения, которые взаимно исключают друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным: например, "Ни одна кибернетическая машина не способна мыслить" и "Некоторые кибернетические машины способны мыслить"; "Все люди говорят на русском языке" и "Некоторые люди не говорят на русском языке".

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

Вершины квадрата обозначают вид суждения по объединенной классификации А,Е,0,I. Стороны и диагонали символизируют логические отношения между простыми суждениями(кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость (субконтрарность); две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I- противоречие (контрадикторность).

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

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

??7!!!Суждение и вопрос.логика вопроса. Эротетическая, интеррогативная логика, — раздел современной символической логи­ки, исследующий логико-семантические свойства вопросительных предложений. Существуют два подхода к построению формальной теории вопросов, которые условно называются «лингвистическим» и «ком­пьютерным». Согласно первому подходу, материалом для построе- ния формальных описаний вопросов служат реально существу­ющие вопросы естественного языка с произвольной, неспециа­лизированной семантикой. В рамках этого подхода строится пере­вод вопроса на формальный язык, в котором исследуется соответствующее вопросу формальное представление. Согласно вто­рому подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационной си­стеме, ориентированной на решение некоторой совокупности ин­формационно-поисковых задач. Формализация вопросов в инфор­мационном языке осуществляется на базе проблемно ориентированной семантики, а именно: каждому типу вопросов со­ответствует специальное вопросно-ответное отношение, характер которого зависит от семантики. Таким образом, в рамках этого под­хода вопрос понимается как запрос — требование информации определенного типа, адресованное к информационной системе.

8!!!Модальность суждения! Модальность – это в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других характеристиках.

В логике выделяют три вида модальности:

1) алетическую;

2) деонтическую;

3) эпистемическую. Алетическая модальность – выражается в суждении в терминах «необходимо», «случайно» или «возможно», «невозможно» – информация о логической или фактической обусловленности суждений.

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

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

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

Данная модальность определяет, на каком основании было принято данное суждение – на вере или на знании:

1) вера – это принятие как истинных, так и ложных чужих мнений;

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

9!!! 1.

Закона тождества

Проанализируем логические ошибки, возникающие вследствие нарушения требований закона тождества. Одно из основных его правил заключается в том, что «нельзя отождествлять различные мысли и нельзя тождественные мысли принимать за различные». Установленный частью 4 статьи 15 Конституции Российской Федерации термин «международные договоры Российской Федерации» в целях его анализа разделим на две части – «международные» и «договоры Российской Федерации». Теперь дадим определение терминам каждой части. Термин «международные» соответствует (тождествен) понятию «касающийся отношений между народами, государствами, связей между ними». Понятие «договоры Российской Федерации» означает договоры, заключенные Российской Федерацией, то есть принадлежность договоров Российской Федерации. Рассматриваемые части не тождественны – произошло смещение понятий, нарушился закон тождества, следовательно, вступил в действие закон противоречия: не может договор, касающийся отношений между государствами, быть договором только Российской Федерации. Объем суждений неравен, и чтобы это исправить, следует сделать их тождественными. Один из возможных вариантов исправления – «договоры между Российской Федерацией и иностранными государствами».

2. Закона противоречия.Классический пример имеется в романе И.Тургенева Рудин:...Всякий толкует о своих убеждениях и еще уважения к ним требует, носится с ними...И Пигасов потряс кулаками в воздухе. -Прекрасно, - промолвил Рудин, - стало быть, по-вашему, убеждений нет? -Нет – и не существует. -Это ваше убеждение? -Да. -Как же вы говорите, что их нет. Вот вам одно на первый случай. Все в комнате улыбнулись и переглянулись. Убеждения не существуют и Убеждения существуют – одновременное признание того и другого одним и тем же человеком и есть логическое противоречие.

3. Закона исключения третьего

Разрушительным был следующий аргумент Беркли. Он указал на внутреннюю логическую непоследовательность в вычислениях Ньютона. Ньютон ввел в обращение так называемые бесконечно малые величины, но при вычислениях то принимал в расчет их существование, то забывал. Это было явным нарушением закона об исключении третьего - либо бесконечно малые величины существуют, либо нет. Далее, хотя Беркли, как мы заметили, воспользовался упомянутым законом логики, он решил опровергнуть и его (опять-таки при помощи логики). К моменту появления на свет Деррйды демонстрация логических погрешностей в системе математики и через нее дискредитация «точного» знания достигла своего апогея. В 1931 году австрийский математик Гедель сумел доказать, что математика в принципе не может быть абсолютно точной, пользуясь опять-таки методами математической логики. Любая система, построенная строго по законам логики, в том числе и математика, непременно будет содержать определенное количество предположений, которые невозможно ни доказать, ни опровергнуть, опираясь на базовые аксиомы системы. По сути, это доказательство гораздо сильнее подрывало престиж математики, чем все, что удалось изобрести Дерриде. Подразумевалось, что математика сама по себе является источником математических противоречий. (Тем самым нарушался и закон об исключении третьего. Указанные предположения не были ни истинными ни ложными в рамках системы.)

4. Закона достаточного основания

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

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

 

10!!!дедуктивные умозаключения. Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.

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

Пример дедуктивного умозаключения:

1. Все люди смертны.
2. Сократ — человек.
3. Следовательно, Сократ смертен.

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

Условные умозаключения Умозаключения, посылки и заключения которых — условные суждения.

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

11!!!Индуктивные умозаклюения. Индукция – это умозаключение от знания меньшей степени общности к новому знанию большей степени общности.

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

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

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

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

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

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

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

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

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

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

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

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

Определение (дефиниция).Виды определений. Определение, дефиниция (лат. definitio — предел, граница) — логическая процедура придания строго фиксированного смысла терминам языка[1]. Термин, над которым проводится операция дефиниции, называется дефидентом

Виды.Интенсиональное определение Должно содержать:

— описание свойств, характеристик объектов, выделяющих определяемое в сравнении с другими объектами соответственно;

— пояснения смысла термина указанием правил выделения его среди прочего;

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

К интенсиональному виду определений относятся собирательное и представительное определения.

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

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

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

] Явное определение Когда даны дефидент и дефиниция, и между ними устанавливается отношение равенства. Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет «прибор». (напр. «барометр — это прибор для измерения атмосферного давления»)

Неявное определение На место дефиниции подставляется контекст или набор аксиом.

Генетическое определение Определение предмета путем указания на способ, которым образуется только данный предмет и никакой другой «кислоты — это вещества, образующиеся из кислотных остатков и атомов водорода».

Контекстуальное определение Позволяет понять незнакомое слово через контекст (уравнение).

Индуктивное (рекурсивное) определение Дефидент используется в выражении понятия, которое ему приписывается в качестве его смысла (см.: «натуральное число»).

Остенсивное определение Определение предмета путём указания на него, или демонстрации самого предмета.

Аналогия,виды аналогии.

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

Понятие аналогии

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

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

Умозаключение по аналогии — это вывод о принадлежности определенного признака исследуемому единичному объекту (пред­мету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объек­том.

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

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

Виды аналогии

По характеру уподобляемых объектов различают два вида анало­гии: (1) аналогию предметов и (2) аналогию отношений.

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

Если обозначить символами а и b два единичных предмета или события, а Р, Q, S, Т — их признаки, то вывод по аналогии можно представить следующей схемой:

Посылки:

а присущи Р, Q, S, Т

b присущи Р, Q, S

Заключение: b присуще Т

Примером такой аналогии может служить объяснение в истории физики механизма распространения света. Когда перед физикой встал вопрос о природе светового движения, голландский физик и математик XVII в. Гюйгенс, основываясь на сходстве света и звука в таких свойствах, как их прямолинейное распространение, отраже­ние, преломление и интерференция, уподобил световое движение звуковому и пришел к выводу, что свет также имеет волновую при­роду.

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

45. Аргументация и доказательство

Аргументация.

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

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

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

Выдержавшие логическую проверку суждения выполняют функ­цию убеждения и принимаются лицом, которому адресована выра­женная в них информация.

Убеждающее воздействие суждений в коммуникативном процес­се зависит не только от логического фактора — правильно постро­енного обоснования. Важная роль в аргументации принадлежит и внелогическим факторам: лингвистическому, риторическому, пси­хологическому и другим.

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

Доказательство.