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

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

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

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

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

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

Логическое доказывание гипотезы в зависимости от способа обоснования может протекать в форме косвенного или прямого доказывания.

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

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

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

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

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

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

(1) Непосредственное обнаружение искомых предметов . Част­ные гипотезы в науке и версии в судебном исследовании нередко ставят своей задачей выявление факта существования в определен­ное время и в определенном месте конкретных предметов и явлений либо отвечают на вопрос о свойствах и качествах таких предметов. Наиболее убедительным способом превращения такого предполо­жения в достоверное знание является непосредственное обнаруже­ ние в предположенное время или в предположенном месте искомых предметов либо непосредственное восприятие предположенных свойств.

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

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

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

Логическое доказывание гипотезы в зависимости от способа обо­снования может протекать в форме косвенного или прямого доказы­ вания.

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

Вывод протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения. Метод исключе­ния можно представить в следующем виде:

H 1 H 2 H 3 H 1 , H 2

Н 3

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

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

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

Прежде всего следует отметить практическую трудность постро­ения в отдельных случаях полного перечня версий, объясняющих исследуемое событие. При явной недостаточности исходного мате­риала в начале расследования трудно бывает точно и определенно перечислить все реально возможные причины , которые объясняли бы происхождение фактических данных. Поэтому наряду с версия­ми, содержащими точные и четкие указания на те или другие воз­можные причины, приходится выдвигать и малоопределенные пред­положения.Так, например, выдвигают три версии о личности преступника, совершившего хищение товаров из магазина. Хищение совершено: (1) продавцом А, (2) сторожем Б или (3) ранее осужденным В. При этом не исключают и четвертую версию - хищение совершено кем-то из посторонних.

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

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

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

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

H S,S

? н

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

Поскольку причина всегда накладывает отпечаток на ее дейст­вие, то при доказывании версии основное внимание уделяют выве­дению из версии не любых следствий, а таких, которые в совокупнос­ти обладали бы ярко выраженными неповторимыми, индивидуаль­ ными особенностями , указывающими на их происхождение лишь от одной, вполне определенной причины: { S a , S b ,..., S i }.

Такая версия по делу должна быть подтверждена упорядоченной совокупностью фактов { F a , F b , ..., F i } , которая, с одной стороны, служит необходимым и достаточным основанием для вывода о до­стоверности единственного предположения H 1 , а с другой - исклю­чает всякое иное объяснение обстоятельств дела.

В итоге мы имеем такую связь между основанием и следствием, которая может быть выражена в форме двойной импликации: «если и только если H 1 , то { S a , S b ,… S i } ». Символически это можно выра­зить так:

H 1 S

Вывод от утверждения следствия к утверждению основания при наличии такой двойной импликации будет логически закон­ным. Если в меньшей посылке утверждается, что совокупность фак­тов F a , F b , ..., F i совпадает со следствиями S a , S b ,… S i то в заключении с необходимостью утверждают существование причины H 1 .

Рассуждение принимает вид:

H 1 S

H 1

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

КОНТРОЛЬНЫЕ ВОПРОСЫ

1. Каков логический механизм построения гипотезы (судебной версии)?

2. Логика опровержения гипотез.

3. Из каких этапов складывается проверка гипотезы?

4. Как строится подтверждение гипотезы?

5. Возможно ли сочетание прямого и косвенного способов доказательства гипо­тезы?

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

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

8. Как применяется метод всестороннего выбора при построении гипотезы?

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

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

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

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

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

Так же различают две стадии построения и доказательства гипотезы:

выдвижение гипотезы

доказательство гипотезы.

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

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

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

Способы доказательства гипотезы

Способы доказательства гипотез: 1. Дедуктивное обоснование выраженного в гипотезе предположения; 2. Логическое доказательство гипотезы - косвенное доказывание протекает путем опровержения и исключения всех ложных версий, на основании чего утверждается достоверность единственного оставшегося предположения (достоверно, если рассмотрен исчерпывающий ряд версий); прямое доказывание гипотезы протекает путем выведения из предположения разнообразных, но вытекающих толко из данной гипотезы следствий и подтверждения их вновь обнаруженными фактами. 3. Непосредственное обнаружение предположенных в гипотезе предметов - в предположенное время в предположенном месте.

Правила и ошибки по отношению к тезису доказательства

Логичное рассуждение предполагает соблюдение двух правил в отношении тезиса: определенность тезиса и неизменность тезиса.

(1) Определенность тезиса

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

(2) Неизменность тезиса

Правило неизменности тезиса запрещает видоизменять или отступать от первоначально сформулированного положения в процессе данного рассуждения.

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

Первое из них -- потеря тезиса.

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

  • (1) Полная подмена тезиса проявляется в том, что, выдвинув определенное положение, пропонент в итоге фактически обосновывает нечто другое, близкое или сходное с тезисом положение и тем самым подменяет основную идею другой.
  • (2) Частичная подмена тезиса выражается в том, что в ходе выступления пропонент пытается видоизменить собственный тезис, сужая или смягчая свое первоначально слишком общее, преувеличенное либо излишне резкое утверждение. Так, первоначальное утверждение о том, что «все участники преступления действовали умышленно», видоизменяется до утверждения«большинство из них...», затем до утверждения «отдельные...» и т.д.
  • 2. Правила и ошибки по отношению к аргументам

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

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

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

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

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

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

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

В науке и практике в зависимости oi области исследования поль­зуются различными способами доказательства жпотез. Основными среди них являются три способа: дедуктивное обоснование выражен­ного в гипотезе предположения; логическое доказательство гипо­тезы; непосредственное обнаружение предположенных в гипотезе предметов.

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

(1) Непосредственное обнаружение искомых предметов. Част­ные гипотезы в науке и версии в судебном исследовании нередко ставят своей задачей выявление факта существования в определен­ное время и в определенном месте конкретных предметов и явлений либо отвечают на вопрос о свойствах и качествах таких предметов. Наиболее убедительным способом превращения такого предполо­жения в достоверное знание является непосредственное обнаруже­ние в предположенное время или в предположенном месте искомых предметов либо непосредственное восприятие предположенных свойств.

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

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

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

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

Логическое доказывание гипотезы в зависимости от способа обо­снования может протекать в форме косвенного или прямого докаэы-вания.

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

Вывод протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения. Метод исключе­ния можно представить в следующем виде:

lHi,lH;

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

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

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

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


Так, например, выдвигают три версии о личности преступника, совершившего хищение товаров из магазина. Хищение совершено:

(1) продавцом А, (2) сторожем Б или (3) ранее осужденным В. При этом не исключают и четвертую версию - хищение совершено кем-то из посторонних.

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

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

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

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

H->S,S

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

Поскольку причина всегда накладывает отпечаток на ее дейст­вие, то при доказывании версии основное внимание уделяют выве­дению из версии не любых следствий, а таких, которые в совокупнос­ти обладали бы ярко выраженными неповторимыми, индивидуаль­ными особенностями, указывающими на их происхождение лишь от одной, вполне определенной причины: {Sa, 8ь,..., S,}.

Такая версия по делу должна быть подтверждена упорядоченном совокупностью фактов {Fa, Рь, ..., F,}, которая, с одной стороны, служит необходимым и достаточным основанием для вывода о до­стоверности единственного предположения Hi, а с другой - исклю­чает всякое иное объяснение обстоятельств дела.

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

и только если Hi, то {Sa, Sb,..., S,}». Символически это Можно выра­зить так:

Вывод от утверждения следствия к утверждению основания при наличии такой двойной импликации будет логически закон­ным. Если в меньшей посылке утверждается, что совокупность фак­тов Fa, Fb,..., F, совпадает со следствиями Sa, Sb,..., S„ то в заключении с необходимостью утверждают существование причины Hi. " Рассуждение принимает вид:

Hi<^ S,S Hi

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

КОНТРОЛЬНЫЕ ВОПРОСЫ

1. Каков логический механизм построения гипотезы (судебной версии)?

2. Логика опровержения гипотез.

3. Из каких этапов складывается проверка гипотезы?

4. Как строится подтверждение гипотезы?

5. Возможно ли сочетание прямого и косвенного способов доказательства гипо­тезы?

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

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

8. Как применяется метод всестороннего выбора при построении гипотезы?


ЛИТЕРАТУРА

Алексеев АЛ. Аргументация. Познание. Общение. М., 1991. Арно А., Николь П. Логика, или Искусство мыслить. М., 1991. Асмус В.Ф. Учение логики о доказательстве и опровержении. М.,

Бочаров В.А., Маркин В.И. Основы логики. М., 1994.

Вошивилло Е.К. Понятие как форма мышления. М., 1989.

Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1994.

Гетманови А.Д. Логика. М., 1995.

Горский Д.П. Определение. М., 1974.

Зегет В. Элементарная логика. М., 1985.

Ивлев Ю.В. Логика. М. 1993.

Лебедев С.А. Индукция как метод научного познания. М., 1980.

Поварнин С. Спор. О теории и практике спора. СПб., 1996.

Свчнцов В.И. Логика. М., 1987.

Старченко А.А. Логика в судебном исследовании. М., 1958.

Уемов А.И. Аналогия в практике научного исследования. М.,

Сборники упражнений. Справочные издания

Кириллов В.И., Орлов Г.А., Фокина Н.И. Упражнения по логике. М.,1997.

Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М.,1991.

Кондаков Н.И. Логический словарь-справочник. М., 1975.

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Лбстра! ирование 6, 32 Абстракция 6 Лксиома 130,200

Как аргумент 200

силлогизма 130 Альтернатива 151 Анализ 32 Анало1ия 184

Нестрогая 188

Отношений 186

Предметов 185

Стро| ая 188 Л1питезис205 Аргумент 199

- к верности 223

- к выгоде 223

К здравому смыслу 223

- к 1 ювежес! ву 223

К силе 223

К сое градацию 223 Лр|умснгацин 195, 196

Правила и ошибки 212-223 Аудитория 188

Персия 235

Видопое отличие 49

Вопрос 107

Виды 108-112 Выводное знание 119 Вы под 119 Выскпзьтапие 66

Гипотеза 231

Общая 233

Объяснительная 233

Описательная 232

Построение 236-241

Проверка 241-244

- рабочая 234

Способы доказательства 244-247

Частная 234

Дедуктивное умозаключение 120 Деление 55

Дихо1 омическое 57-59

По видоизменению признака 56

Правила и ошибки 56,57 Демонстрация 203 Деногат21 Дефиниция 47 Дилемма 151

Простая деструктивная 152

Простая конструктивная 151

Сложная деструктивная 152

Сложная конструктивная 152 Довод 199 Доказаюльство 196

Заключение 119 Закон мышления 11

Де Моргана 12

Достаточною основания 16

Исключенного третье! о 15

Нспротиворечия 13

Обратною отношения между объ­емом и содержанием понятия 35

Тожлесгва 12

Имя 20 Индукция 161

Методом исключения (элимина­ции) 169

Методом отбора (селекции) 16&

Научная 168

Неполная 165

Полная 162

Популярная 166

Аксиома 130

Модусы 135


Правила и ошибки 131-134

Простой 128,130

Сложный 155

Фигуры 135 Класс (множество) 34

Единичный 35

Нулевой 35

Универсальный 35 Классификация 59, 60 Критика 207

Аргументов 209

Демонстрации 210

Деструктивная 208

Конструктивная 211

Неявная 207

Смешанная 211

Тезиса 208

Явная 208

Высказываний 157

Диалектическая 26"

Математическая 26

Предикатов 20

Символическая 25,26

Формальная 24,26,27 Логический квадрат 87 Логическое ударение 66

Методы установления причинных свя­зей (методы научной индукции) 171

Остатков 179

Различия 174

Соединенный метод сходства и различия 175

Сопутствующих изменений 176

Сходства 171 Модальность суждений 94

Алогическая 103

Деонтическая 99

Логическая 103

Фактическая 103

Эпистемическая 95 Мышление 6-8

Обобщение 32,45

Прием образования понятий 32

Операция с понятиями 45

Статистическое 181 Обоснование тезиса 202

В форме аналогии 204

Дедуктивное 202

Индуктивное 204

Косвенное апагогическое 205

Косвенное разделительное 207

Прямое 202 Обращение 122

Операции с классами 60-62 Оппонент 197 Определение 47

Генетическое 50 , _ - неявное 48

Номинальное 48

Правила и ошибки 50-52

Приемы, заменяющие определе­ние 53,54

Остенсивное 53

Реальное 48

Через род и видовое отличие 49, 50

Явное 48 Ответ 107

Виды 112-118

Паралогизм 212

Подкласс (подмножество) 34 Подмена понятия 13 Познание 5

Чувственное 5

Мышление 6-8 Поле аргументации 224 Понятие 30

Виды 36-39

И слово 33,34

Деление 55

Обобщение 45

Ограничение 45

- определение 47

Большая 129

Меньшая 129 Правильность логическая 10

И истинность 10 Прагматика 19

Превращение 121 Предикат 67 Признак 30

Единичные 31

Существенные 30 Пропонент197 Противопоставление предикату 124

Распределенность терминов

в суждениях 76-78 Рефлексивность 141 Род 41

Связка 67 Семантика 19 Семиотика 19 Симметричность 141 Синтаксис 19 Синтез 32 Смысл 21

Согласование полей аргумента­ции 227-230 Софизм 212 Сравнение 32 Сорит 155,156 Субъект 67,197

Суждения 67 . - аргументации 197 Суждение 64

Атрибутивное 67

Выделяющее 74

Исключающее 75

И предложение 64-66

Классификация по качеству и ко­личеству 69,70,71,72

Объединенная классификация 72, 73

Простое 66

Разделительное (дизъюнктив­ное) 80 "

Сложное 66

Соединительное (конъюнктив­ное) 78

С отношениями 68

Существования (экзистенциаль­ные) 69

Условное 82

- эквивалентное 84

Тезис 198 Термин 67,128,129

Суждения 67 Транзитивность 142

Умозаключение 119

Дедуктивное 120

Демонстративное 120

Из суждений с отношениями 141

Индуктивное 161

i-недемонстративное 120

Непосредственное 120

Опосредствованное 120

По аналогии 184

По логическому квадрату 126

Условно-разделительное 151

Чисто условное 144

Энтимема 153 Эпихейрема 156

Естественный 19

Искусственный 19

Логики высказываний 20

Логики предикатов- 20,22,23


ЛОГИЧЕСКИЕ СИМВОЛЫ

Кванторы

- общности

Существования

Связки

- конъюнкция (и)

Дизъюнкция нестрогая (или)

Дизъюнкция строгая (или)

Импликация (если..., то...)

Эквиваленция (если и только если..., то...)

Отрицание (неверно, что...)

Символы для модальных операторов

модальность

Доказано (верифицировано)

Опровергнуто (фальсифицировано)

Обязательно

Запрещено

Разрешено

Необходимо

Случайно

Возможно