3!!!Логические операции с понятиями. 4.1. Сложение

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

4.2. Умножение

Умножение (пересечение) - состоит в отыскивании элементов общим для двух или нескольких классов (множеств). Так, в результате умножения множеств, находящихся в понятиях «студент» (В) и "интеллектуал" (А), получаем новое множество «студентов-интеллектуалов» (С).

4.3. Отрицание

Отрицание (дополнение к классу) - дополнение к классу А называется класс НЕ-И, который при сложении с А образует универсальную область. Так исключая множество заочников из универсального класса студентов, образуем дополнение: множество студентов - «не заочников» (студентов дневного и вечернего отделения)[1]

4.4. Вычитание.

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

4!!!Виды понятий.Содержание.Объём понятий. 16. Виды понятий

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

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

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

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

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

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

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

Также понятия делятся на соотносительные и безотносительные.

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

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

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

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

Пустые понятия – они относятся к реально не существующим предметам или явлениям («русалка», «леший», «идеальный газ»).

Непустые понятия относятся к реальным предметам («город», «космическое тело»).

Единичные понятия – объем понятия, составляющий один предмет («Солнце», «Россия»).

Общие понятия – отражают в своем объеме группу предметов («звезда», «планета»).

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

Единичное понятие – такое, в объем которого входит один элемент (город Саратов, Россия и др.).

Общее понятие – такое, в объем которого входит более одного элемента (студент, солдат, преступник и др.).

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

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

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

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

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

ПОНЯТИЕ	СУЖДЕНИЕ
существенная роль языка в отражательной деятельности сознания Изучающий французский язык студент Сидоров	Язык играет существенную роль в отражательной деятельности сознания Студент Сидоров изучает французский язык

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

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

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

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

• Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

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

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

• Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Состав сложного сужденияСложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

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

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

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

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

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

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

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

По качеству

• Утвердительные — 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!!!Индуктивные умозаклюения. Индукция – это умозаключение от знания меньшей степени общности к новому знанию большей степени общности.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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