Основные формально-логические законы: закон противоречия.

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

Основные формально-логические законы: закон исключенного третьего.

Он гласит: "Из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно".

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

Основные формально-логические законы: закон достаточного основания.

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

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

Аналогия.

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

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

1) числом признаков, общих для этих предметов;

2) степенью существенности этих признаков.

Методы классификации объектов исследования.

Термин «классификация» часто употребляется как синоним термина «деление».

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

Виды классификаций:

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

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

Определение.

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

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

Номинальным (от лат. nomen – имя) называется определение, посредством которого вводится новое имя, оно как бы выражает требование называть данным термином определенный предмет.

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

По способу выявления содержания понятия определения делятся на явные и неявные.

Явные определения раскрывают существенные признаки предмета, в них устанавливается отношение равенства, эквивалентности между определяемым и определяющим.

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

Доказательство.

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

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

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

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

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

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

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

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

Аксиоматический метод.

Способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные утверждения (теоремы) этой теории. Научная значимость A.M. была обоснована еще Аристотелем, который первым разделил все множество истинных высказываний на основные (»принципы») и требующие доказательства (»доказываемые»). В своем развитии A.M. прошел три этапа. На первом этапе A.M. был содержательным, аксиомы принимались на основании их очевидности. Примером такого дедуктивного построения теории служат «Начала» Евклида. На втором этапе Д. Гильберт внес формальный критерий применения A.M. - требование непротиворечивости, независимости и полноты системы аксиом. На третьем этапе A.M. становится формализованным. Соответственно, изменилось и понятие «аксиома». Если на первом этапе развития A.M. она понималась не только как отправной пункт доказательств, но и как истинное положение, не нуждающееся в силу своей очевидности в доказательстве, то в настоящее время аксиома обосновывается в качестве необходимого элемента теории, когда подтверждение последней рассматривается одновременно как подтверждение ее аксиоматических оснований как исходного пункта построения.

Гипотеза.

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

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

Всякая гипотеза состоит из следующих элементов:

1) основание гипотезы - исходные данные - совокупность фактов или обоснованных утверждений, на которых основывается предположение;

2) форма гипотезы - совокупность умозаключений, которые являются результатом обработки исходных данных и ведут от основания гипотезы к основному предположению;

3) предположение (гипотеза в узком смысле слова) - выводы из фактов и утверждений, выражающих содержание гипотезы;

4) процедура проверки гипотезы, превращающая предположение в достоверное знание или опровергающая его.