Равнозначность (тождество), перекрещивание

подчинение (отношение рода и вида)

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

Равнозначными, или тождественными, называются понятия, которые, различаясь содержанием, имеют равные объемы. В них мыслится или одноэлементный класс, или один и тот же класс предметов, состоящий более чем из одного элемента. Примеры равнозначных понятий: 1) “река Нил” и “самая длинная река в мире”; 2) “автор романа “Красное и черное”, “автор романа “Пармская обитель”; 3) “равносторонний прямоугольник”: “ квадрат”; “равноугольный ромб”. Объемы тождественных понятий изображаются кругами, полностью совпадающими.

Понятия, объемы которых совпадают частично, т. е. содер­жат общие элементы, находятся в отношении перекрещивания.Примерами их являются следующие пары: “горожанин” и “садовод”; “студент” и “нумизмат”; “спортсмен” и “учащийся педаго­гического колледжа”. Они изображаются пересекающимися кру­гами (рис. 3). В заштрихованной части двух кругов мыслятся учащиеся педагогического колледжа, являющиеся спортсмена­ми или (что одно и то же) спортсмены, являющиеся учащимися педагогического колледжа, в левой части круга А мыслятся уча­щиеся педагогического колледжа, не являющиеся спортсменами. В правой части круга В мыслятся спортсмены, которые не явля­ются учащимися педагогического колледжаОтношение подчинения (субординации) характеризуется тем, что объем одного понятия целиком включается (входит) в объем другого понятия, но не исчерпывает его. Это отношение вида и рода; А - подчиняющее понятие (“цветок”), В - подчи­ненное понятие (“чайная роза”) (рис. 3). Содержание и объем понятий.

11. Определение понятий. Правила определения.

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

13. Деление понятий. Правила деления.

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

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

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

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

4. Деление

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

14. Суждение как форма мышления

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

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

Суждения как форма мышления в языке закрепляется и передаётся другим людям с помощью предложения. Например, понятие «Киев» принимаем форму предложения, когда мы утверждаем что его как «Киев – столица Украины»; это и есть мысль, выраженная в форме логического суждения.

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

15. Виды и отношения между простыми суждениями.

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

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

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

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

16. Сложные суждения и их состав.

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

Важнейшими логическими союзами являются:

’’и’’ – соединительный союз (специальный термин – конъюнкция);

’’или’’ – соединительно-разделительный союз (нестрогая дизъюнкция);

’’либо…, либо’’ – исключающе-разделительный союз (строгая дизъюнкция);

’’если…, то’’ – условный союз (импликация);

’’если и только если…, то’’ – равносильность (эквиваленция);

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

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

Смысл логических союзов наиболее четко выражают так называемые таблицы истинности .Каждая таблица имеет входные столбцы и выходной столбец. На входе записываются все комбинации логических значений простых суждений, из которых образовано сложное суждение. В выходном столбце указывается значение сложного суждения. Условимся при этом символом ’’1’’ обозначать истинность суждения, а символом ’’0’’ – ложность. Выраженная в следующей таблице зависимость называется табличным определением логических связок.

17. Распределенность терминов в суждении.

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

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

В общеутвердительном суждении«Все адвокаты (S)есть юристы (Р)» субъект распределен, так как объем понятия «адвокат» полностью входит в объем понятия «юрист», а предикат - не распределен, так как объем понятия «юрист» шире объема понятия «адвокат». Если обозначим распределенное понятие знаком «+», нераспределенное знаком «-», то схематично наше суждение можно представить в виде:

Все S⁺есть Р^–.

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

Ни один S⁺не есть Р⁺.

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

Некоторые S^–есть Р^–.

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

Некоторые S^–не есть Р⁺.

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

18. Логические операции с суждениями.

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

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

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

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

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

Превращение – это преобразование формы суж-Хдения.

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

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

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

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

19. Логическая структура и виды вопросов.

Логическая структура вопроса такова: 1) искомое знание; 2) исходное знание (базис или предпосылка вопроса); 3) требование перехода от незнания (непонимания) к знанию (пониманию), от исходного к искомому знанию. Например, следователь, задавая вопрос «Кто звонил подозреваемому после 19 часов, и на какое время была назначена встреча подозреваемого и потерпевшего?», ставит задачу установить неизвестное ему имя звонившего человека и время встречи подозреваемого и потерпевшего.

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

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

2)Неправильно поставленным, или некорректным, считается вопрос с ложным или противоречивым базисом. Примером непра­вильно поставленного может быть следующий вопрос: «Какой вид энергии используется на НЛО (неопознанных летающих объек­тах)?». Предпосылка этого вопроса включает отнюдь не бесспорную идею о существовании НЛО. О таком вопросе говорят как о непра­вильно, или некорректно, поставленном. Прежде чем выяснять вид используемой энергии, следует установить факт существования самих НЛО.

21.Умозаключение как форма мышления.

Умозаключение форма мышления в ктр из одного или нескольких суждений на основе определенных правил вывода получаем новое суждение с необходимой или определенной степенью вероятности следования из них. Как любая форма мышления, умозаключение имеет объективную основу и связана с окружающим миром. Умозаключение бывает непосредственным и опосредствованные. В непосредственном вывод строится и по первому суждению путем его преобразования или но основе правил соотношения истинности и ложности подчинения и несовместимых суждений. В опосредствованных вывод делается из двух или нескольких суждений лог связанных между собой. Также умозаключения различают 3 составных компонента: исходное значение (посылка), обосновывающее значение (лог основа вывода), выводное значение (заключение).
Умозаключение и виды:
1) Дедуктивное - умозаключение у ктр между посылками и заключением имеется отношения лог следования (все рыбы дышат жабрами. Все окуни – рыбы. Все окуни дышат жабрами.)
2) Индуктивное – умозаключение в ходе ктр используемое значение частного порядка мы получаем возможность делать общее заключения.
3) По аналогии – рассуждение в ходе ктр сопоставляя различные явления мы обнаруживаем в них новые св-ва на основе сходства между объектами, по ранее изученным признакам.

22. Непосредственные умозаключения.

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

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

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

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

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

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

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

24. Умозаключение из суждений с отношениями.

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

25. Дедуктивные умозаключения и его виды.

26. Понятие индуктивных умозаключений и их виды.

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

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

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

Неполная индукция

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

27. Умозаключения по аналогии. Роль аналогии в науке и в правовом процессе.

28. Сокращенный силлогизм (энтимема).

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

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

Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.

Энтимема в переводе с греческого буквально означает «в уме»/

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

«Петров – студент, поэтому он обязан сдавать экзамены»

Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены»

Полный силлогизм строится по 1-й фигуре (модус ААА)

Все студенты (М) обязаны сдавать экзамены (Р)

Петров (S) – студент (М)

Петров (S) обязан сдавать экзамены (Р)

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

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

29. Сокращенные сложные и сложносокращенные силлогизмы.

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

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

31. Виды Аналогии.

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

32. Опровержение.

Опровержение — рассуждение, направленное против тезиса с целью установления факта его ложности или недоказанности.

Существует несколько приёмов опровержения тезиса. Часто применяемый способ опровержения — вывод следствий, которые противоречат истине. Если одно следствие из утверждения ложно, то и само утверждение является ложным.

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

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

33. Правила и ошибки в доказательстве.

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

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

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

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

Правила, относящиеся к аргументам:

1) аргументы не должны противоречить друг другу;

2) аргументы должны подтверждать тезис;

3) аргументы должны быть суждениями.

При нарушении вышеперечисленных правил возникают следующие ошибки в основаниях доказательства:

1) ложность оснований;

2) предвосхищение оснований. В качестве аргументов приводится такое положение, которое само нуждается в доказательстве;

3) правила, относящиеся к демонстрации. Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство.

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

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

34. Структура и виды доказательства.

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

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

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

Стр-ра:

Основу доказательства составляют следующие положения:

1. Тезис — утверждение, истинность которого надо доказать

2. Аргументы и факты — это те истинные суждения, которыми пользуются при доказательстве тезиса

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

Виды: Доказательства по форме делятся на прямые и (косвенные).

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

Непрямое (Косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:

1. если тезис обозначить буквой а , то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением;

2. антитезисом для тезиса а в суждении а...в...с служат суждения в и с .

В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.

35. Правила аргументации.

АРГУМЕНТИРОВАНИЕ — это сугубо логический процесс, суть которого в том, что в нем обосновывается истинность нашего сужде­ния (т. е. аргументов или, как их проще называют, доводов).

Аргументация достигает цели, когда соблюдаются правила дока­зательства. Начнем с правил формулирования предмета нашего дока­зательства, т. е. с ПРАВИЛ ПОСТРОЕНИЯ ТЕЗИСА.

1. ТЕЗИС доказательства нужно СФОРМУЛИРОВАТЬ ЯСНО И ЧЁТКО. При этом нельзя допускать двусмысленности (Например, формулировка тезиса «законы надо выполнять» — двусмысленна, ибо неясно, о каких законах идет речь: о законах природы или о законах общественной жизни, которые не зависят от воли людей, либо о зако­нах юридических, которые зависят только от воли граждан).

Это требование очень важно, ибо любая ошибка в выборе слова, воз­можность двоякого истолкования фразы, нечеткая форма изложения мыс­ли — все это может быть истолковано против вас, когда вы хотите что-либо доказать.

2. В ходе доказательства ТЕЗИС ДОЛЖЕН ОСТАВАТЬСЯ НЕ­ИЗМЕННЫМ, т. е. должно доказываться одно и то же положение. В противном случае вы не сможете доказать свою мысль. Значит, в те­чение всего доказательства нельзя отступать от первоначальной фор­мулировки тезиса. Поэтому на протяжении всего доказательства вам вашу формулировку тезиса надо держать под контролем.

37. Понятие гипотезы и ее структура.

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

38. Теория как система научного знания.