Гипотеза. Виды. Сущность

В

D

С

А

неА

А

С

В

В

А

С

вытекающие из природы объекта

М

S

Р

Р

S

М

 

 

Отношение между понятиями. Круги Эйлера.

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

Сложные суждения.

Логика как наука.

Гипотеза. Виды. Сущность.

 

16. Понятия1 по характеру отношений между их объёмами2 делятся на

совместимые (когда элементы объёма одного понятия частично или

полностью принадлежат объёму другого понятия) и несовместимые

(когда ни один элемент объёма одного понятия не принадлежит объёму

другого понятия).

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

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

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

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

Равнозначные (тождественные) - это понятия, объемы которых полностью совпадают (рис. 2, а).

Пример. А – понятие «автор романа «Анна Каренина»»; В – понятие «автор романа «Война и мир»».

Перекрещивающиеся - это понятия, объемы которых частично совпадают (рис. 2, б).

Пример. А – понятие «студент»; В – понятие «спортсмен».

Подчиняющее и подчиненное понятия. Объем подчиненного понятия полностью входит в объем подчиняющего, не исчерпывая его (рис. 2, в).

Пример. А – понятие «деревья»; В – понятие «береза».

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

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

Пример. А – понятие «фиалка»; В – понятие «роза»; С – понятие «цветы».

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

Пример. А – «черный»; В – «белый»; С – «цвет».

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

Пример. А – «монархия»; В – «республика». Общим для этих понятий является понятие «форма правления». Причем «монархия» и «республика» – несовместимые формы правления, и в то же время других форм правления не существует.

С помощью кругов Эйлера можно получать достаточно сложные схемы. Например, можно изобразить отношение между понятиями А – «студент», В – «спортсмен», С – «мастер спорта», D – «кандидат в мастера спорта» (рис. 4).

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

 

17.

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

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

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

2. Разделительный логический союз – в логике он называется «дизъюнкция» и обозначается символом «V». Смысл наиболее близкий к логическому значению этого союза в естественном языке обычно связывается с тем, что мы имеем в виду, употребляя союзы «или» и «либо». В подобных случаях могут также встречаться союзы «а», «но» и другие.

Пример: «Я буду писать от руки или печатать на машинке или набирать накомпьютере». В символической записи логический смысл этого предложения будет выглядеть так: А V В V С.

3.Условный логический союз – в логике носит название «импликация» и символически обозначается так «→». Пример записи суждения с этим союзом: А→В. Такое суждение называется условным. В обычном языке смысл, эквивалентный импликации, передается сочетанием союза и частицы «если …, то …». Пример: «Если будет хорошая погода, то мы пойдем в парк». В развернутой символической записи соответствующее этому грамматическому предложению логическое суждение будет выглядеть так: «Если S₁ есть P_1, то S₂ есть P₂», более коротко: (S₁ – P₁) → (S₂ – P₂) и предельно сокращенная символическая запись: А→В.

4. Эквиваленция– логический союз, обозначаемый символом «↔» (стрелка с двумя наконечниками). В естественном языке смысл, соответствующий этому союзу, наиболее часто выражается словосочетаниями «если и только если …» и «тогда и только тогда, когда …». Пример: «Тогда и только тогда, когда вы сдадите все зачеты, вы будете допущены к сдаче экзаменов». В логической символике сложное суждение, заключенное в этом предложении, записывается очень просто: А ↔ В. Употребление этого союза наиболее характерно для точных наук (математики, теоретической физики и т.д.), для юриспруденции, а также языка различного рода инструкций, договоров и т.п. В разговорной, обыденной речи формулировки, близкие по смыслу к значению логического союза эквиваленции (тождественности) встречаются не часто.

19. Ло́гика

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

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

Наука о мышлении

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

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

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

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

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

 

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

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

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

Недоказанная и неопровергнутая гипотеза называется открытой проблемой.

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

Виды:

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

Частная гипотеза — это разновидность гипотезы, объясняющая какую-либо отдельную сторону или отдельное свойство исследуемого явления или события.

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

Кроме общих и частных гипотез различают еще научные и рабочие гипотезы.

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

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