Правила явного определения. Ошибки, возможные в определении

1. Определение должно быть соразмерным, т.е. объем определяющего понятия должен быть равен объему определяемого понятия.

Это правило часто нарушается, в результате чего возникают логические ошибки в определении. Типы этих логических ошибок:

а) широкое определение, когда определяющее понятие по объему шире, чем определяемое понятие. “Лампа - источник света”.

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

в) Определение в одном отношении широкое, в другом - узкое. Например, “бочка - сосуд для хранения жидкостей

2. Определение не должно содержать круга. Круг возникает тогда, когда определяемое понятие и определяющее понятие определяются одно через другое.

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

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

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

Вопрос 14. Деление понятий и его правила.

Деление понятия — это логическая операция, которая раскрывает его объем. Деление понятия состоит из трех частей: 1) делимое понятие; 2) результаты деления; 3) основание деления (признак, по которому производится деление). Например, в следующем делении: «Люди бывают мужчинами и женщинами» (или, что то же самое: «Люди делятся на мужчин и женщин») делимым является понятие «люди», результаты деления — это понятия «мужчины и женщины», а основание данного деления — пол, т.к. люди в нем разделены по половому признаку.

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

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

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

Деление должно быть последовательным, т.е. не допускающим пропусков и скачков

Вопрос 15. Классификация понятий. Значение вспомогательных классификаций.

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

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

Вопрос 16. Общая характеристика суждения. Суждение и предложение.

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

Суждения бывают истинные и ложные (в традиционной логике) и еще неопределенными (в 3-х значной логике). "На марсе есть жизнь" - неопределенное суждение.

Суждение имеет субъект, предикат, связку и квантор. Субъект ( S) - понятие о предмете суждения. Предикат (P) - понятие о признаке предмета, рассматриваемого в суждении. Связка - может быть выражена одним словом (есть, суть, является), группой слов или тире, или простым согласованием слов "собака лает". Квантор - перед субъектом иногда стоит кванторное слово (все, ни один, некоторые) оно указывает, относится ли суждение ко всему объему понятия или к его части. Эти простые суждения наз-ся ассерторическими. Суждения делятся на простые и сложные. Простые суждения делятся на Атрибутивные (суждения свойства) "у розы приятный запах" , суждения с отношениями "протон тяжелее электрона", и суждения существования "Существует атомный реактор в Чернобыле". По качеству связки (есть, не есть) суждения делятся на утвердительные и отрицательные. Также делятся на общие "Все соболя - ценные пушные звери", частные "Некоторые цветы - розы" и единичные "Везувий - действующий вулкан". Суждение и предложение - суждения выражаются повествовательными предложениями, которые несут какую-либо информацию. Вопросительные предложения не содержат суждения (т.к. ничего не утверждают и ничего не отрицают). Побудительные суждения выражают побуждение к совершению действия . Некоторые побуд. Предложения не содержат суждения "Подожди меня", но предложения-приказы, призывы или лозунги "В атаку, ни шагу назад" выражают модальные суждения. Односоставные безличные предложения "Осень" и некоторые повествовательные "Он - вратарь" являются суждениями только при рассмотрении их в контексте и при уточнении. Если уточнение не сделано, непонятно истинное суждение или ложное.

Вопрос 17. Простое суждение и его структура. Логическое ударение.

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

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

Вопрос 18. Виды простых суждений.

1. По объему субъекта (по количеству):
Единичные - суждения, включающие утверждение или отрицание об одном предмете субъекта рассуждения. Их формула:

Это S есть (не есть) Р

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

Только некоторые S есть (не есть) Р
Общие - суждения, в которых что-либо утверждается или отрицается о каждом предмете данного класса. Логические схемы таких суждений имеют вид: Все S есть Р или Ни одно S не есть Р Например, «Каждая страна имеет свой гимн» является общим суждением, так как объем субъекта включает весь класс отображаемых предметов.

2. По качеству связки (по качеству) суждение может быть утвердительным или отрицательным.
Утвердительное суждение выражает принадлежность предмету некоторого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».
Отрицательное суждение выражает отсутствие у предмета некоторого признака. Например, «Некоторые противоправные действия не являются преступлениями».
3. По содержанию предиката суждение делится на суждение свойства (атрибутивное), суждение отношения (релятивное) и суждение существования (экзистенциальное).
Суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность предмету мысли того или иного свойства, состояния. Например, «Прокурор - это человек, имеющий специальное юридическое образование».
Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. Например, «Благополучие государства зависит от законов» (Аристотель).
Суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли. К таким суждениям относятся, например, «Нет преступления без указания о том в законе» или «Не существует абсолютной повторяемости явлений».
В классической логике различают также категорическое суждение, в котором утверждение или отрицание выражается без формулировки каких-либо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.
Таковы основные виды простых суждений. Любое суждение имеет количественную и качественную определенность. Поэтому в логике применяется объединенная классификация суждений по количеству и но качеству. В результате получаем четыре вида суждений: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Рассмотрим их подробно.
Общеутвердительное суждение - общее по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы».
Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Ни одно S не есть Р». Символом общеотрицательных суждений служит буква «Е». Например, «Ни один подложный документ не является доказательством».
Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты — юристы» или «Некоторые писатели - фронтовики».
Частноотрицательное суждение — частное по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных являются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами».

Вопрос 19. Сущность категорических суждений и их основные виды.

Атрибутивные суждения называются также категорическими (от греческого – kategorikos – ясный, безусловный, не допускающий иных толкований). В категорическом суждении знание о принадлежности или непринадлежности признака предмету выражается в безусловной форме. Например, “Обвиняемый имеет право на защиту”. Категорические суждения делятся по качеству и по количеству.

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

2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим по количеству суждения делятся на единичные, частные и общие.Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например:“Смирнов – депутат Государственной Думы”. Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: “некоторые”, “многие”, “немногие”, “большинство”, “меньшинство”, “часть” (например:“Некоторые свидетели дали показания”; “Часть преступлений относится к хозяйственным”). В зависимости от значения, в котором употребляется слово “некоторые”, различают два вида частных суждений: неопределенные частные и определенные частные.

Вопрос 20. Логика научного исследования.

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

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

Сравнимые суждения делятся на:

1) совместимые – это суждения, которые одновременно могут быть истинными. Совместимые суждения могут быть:

а) Эквивалентные суждения – выражают одну и ту же мысль в различной форме. Примером такого вида отношения являются суждения: Водитель автомобиля совершил аварию и Причина аварии заключается в действиях водителя автомобиля;

б) Частичная совместимость – характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными (Некоторые свидетели правдивы и Некоторые свидетели не являются правдивыми);

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

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

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

– при ложности общего суждения частное неопределенно;

– при истинности подчиненного частного суждения общее неопределенно.

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

– несовместимость как противоположность – характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например: Все следователи – юристы; Ни один следователь не является юристом.

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

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

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

Вопрос 21. Понятие модальности. Деление суждений по модальности.

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

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

Суждения действительности - суждения, констатирующие наличие или отсутствие у предмета того или иного признака, качества, свойства. Формула - S есть Р. Мысль, выраженную суждением действительности, отличает строгая определенность и логическая непротиворечивость.

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

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

Вопрос 22. Сложное суждение и его виды.

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

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

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как . Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ). Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Вопрос 23. Соединительные и разделительные суждения.

1. Соединительным называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых

В естественном языке конъюнктивная связка может быть пред-^ ставлена и такими выражениями, как: «а», «но», «а также», «как и»,1 «хотя», «однако», «несмотря на», «одновременно» и другими. Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р л q л г л... л п. Приведем пример соединительного суждения, включающего более 20 конъюнктов:«Возок несется чрез ухабы, Мелькают мимо будки, бабы, Мальчишки, лавки, фонари, Дворцы, сады, монастыри, Бухарцы, сани, огороды, Купцы, лачужки, мужики, Бульвары, башни, казаки, Аптеки, магазины моды, Балконы, львы на воротах И стаи галок на крестах». Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них.

2. Разделительные (дизъюнктивные) суждения.

Разделительным, или дизъюнктивным, называют суждение, ее стоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быт заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых. Разделительное суждение может быть как двух-, так и многое ставным: р v q v ... v п. В языке разделительное суждение может быть выражено одно1| из трех логико-грамматических структур. ;

1) Разделительная связка представлена в сложном субъекте п< схеме: Si или S2 есть Р. Например, «хищение в крупных размерах нлц совершенное группой лиц имеет повышенную общественную опасность». i

2) Разделительная связка представлена в сложном предикате п< схеме: S есть PI или Р2. Например: «Хищение наказывается испра вительными работами или тюремным заключением».

3) Разделительная связка представлена сочетанием первых дву способов по схеме: Si или S2 есть PI или Р2.

Вопрос 24. Условные и эквивалентные суждения.

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

Вопрос 25. Понятие о логическом законе.

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

Существуют и логически ложные высказывания («идёт дождь, и неверно, что идёт дождь»)

Высказывания, которые не являются ни логически истинными, ни логически ложными, называются логически недетерминированными. Их значения нельзя установить логическими средствами («идёт дождь, или светит солнце»).

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

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

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

Вопрос 26. Закон непротиворечия (противоречия).

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

Логика различает два типа несовместимости мыслей:
а) Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет", где одна мысль есть непосредственное формальное отрицание ("не","нет")другой.

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

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

Вопрос 27. Законы исключенного третьего и достаточного основания.

Закон исключённого третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. Он утверждает: из двух противоречащих высказываний одно является истинным, другое ложным, а третьего не дано. Символически: A v ~ А, А или не-А. Например: «Аристотель умер в 322 г. до н.э. или он не умер в этом году

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

Закон достаточного основания – согласно этому закону, для того, чтобы признать высказывание о предмете истинным, должно быть указано достаточное основание. Всякая истинная мысль должна быть достаточно обоснованна. Ложные мысли обосновать нельзя. Был сформулирован в XVII в. Лейбницем. У этого закона нет формулы, у него только содержательный характер. В доказательстве аргументами для подтверждения тезиса служат единичные факты, аксиомы, постулаты. В настоящее время выделяется достаточное условие (основание, необходимость), которое не является достаточным, но тем не менее не противоречит закону, это что-то ранее доказанное, аксиомы, леммы, данные эксперимента и т.д.

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

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

Виды умозаключений- Умозаключение (рассуждение) – это получение нового суждения (заключения) на основе одного или нескольких исходных суждений (посылок).Два основных вида умозаключений – это дедуктивные и правдоподобные.
Дедуктивное умозаключение (от лат. deductio - выведение) – это выведение гарантированно истинного заключения при истинности посылок и соблюдении правил вывода. Заключение записывается под чертой. Читается: «значит, следовательно». Например: Все орехи являются полезными. Некоторые полезные предметы являются орехами.

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

Вопрос 29. Общая характеристика дедуктивного умозаключения.

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

Вопрос 30. Простой категорический силлогизм и его структура.

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

"S" -субъект вывода и соответствующее ему понятие в посылке. Это - меньший термин.

"Р" обозначается предикат вывода и соответствующее понятие в посылке. Это — больший термин.

"М" - является общим для обеих посылок, т.е. имеется в обоих исходных суждениях, но отсутствует в самом заключении. Это — средний термин категорического силлогизма. Используя эту символику, простой категорический силлогизм, например:Все студенты – учащиеся, Некоторые спортсмены – студенты, Некоторые спортсмены – учащиеся, в формульном виде будет выглядеть так: М --- Р, S --- М, S --- P… Понятно, что средний термин в посылках выполняет роль связующего звена между субъектом и предикатом вывода, между этими крайними терминами умозаключения. Посылками в данном силлогизме могут выступать известные нам четыре вида простых категорических суждений: общеутвердительное, общеотрицательное, частноутвердительное и частноотрицательное.

Вопрос 31. Сократический метод беседы. Индийский силлогизм.

Вопрос 32. Логические модели в общественно-научных исследованиях.

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

ИУ обычно дают нам не достоверные,а лишь правдоподобные заключения.

Что бы понять ИУ выявляют 2 подхода:

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

Вопрос 34. Индуктивные методы установления причинных связей.

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

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

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

Вопрос 35. Умозаключения по аналогии. Виды аналогий.

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

2. Умозаключения по аналогии - это вывод о принадлежности единичному предмету определенного признака, основанный на сходстве этого предмета в существенных признаках с другим единичным предметом. Вывод в умозаключении по аналогии можно представить следующей схемой:A имеет признаки: a, b, c, d, e……….B имеет признаки a, b, c, d………. Следовательно, В, по-видимому, имеет признак e.А и В в этой схеме – сравниваемые предметы, a, b, c, d, - сходные для обоих предметов признаки, e – признак, присущий А и в силу сходства между предметами переносимый на В. Аналогия, как и вся логическая фигура, не является произвольным логическим построением. В ее основе лежат объективные свойства и отношения предметов реальной действительности.

3. Виды аналогий:

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

Аналогия отношений – умозаключения, в котором объектом уподобления выступают два отношения между какими-то предметами, а переносимыми признаками – качества или свойства этих отношений. Положим, два органа управления (р и q) находятся в отношении административного подчинения (R). Два других органа (x и y) находятся в отношении (R1), которое сходно в ряде признаков с первым отношением (R):R имеет признаки r1, r2, r3,R1 имеет признаки r1, r2

Отсюда можно заключить по принадлежности (R1) признака (r3), т.е.: R1 имеет признак r3.

Вопрос 36. Условия состоятельности выводов по аналогии.

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

Вопрос 37. Аргументация. Субъекты аргументативного процесса.

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

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

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