Формальная логика – наука о законах и операциях правильного мышления.

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

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

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

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

Если Земля вращается вокруг своей оси, маятники, качающиеся на ее поверхности, постепенно изменяют плоскость своих колебаний; Земля вращается вокруг своей оси; значит, маятники на ее поверхности постепенно изменяют плоскость своих колебаний.

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

Схема данного рассуждения проста: если есть первое, то есть второе; имеет место первое; значит, есть и второе.

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

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

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

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

Логика - философская наука о законах и формах правильного мышления.

Мышление, как и всё на свете, можно рассматривать с 2-х сторон: со стороны его содержания (о чём мысль) и со стороны формы, т.е. способа связи мыслимого содержания. Содержание мышления бесконечно разнообразно, непрерывно меняется, развивается у каждого отдельного человека и у человечества в целом.

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

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

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

2. Суждение или высказывание: утвердительная или отрицательная связь двух или нескольких понятий, выражаемая предложением.

Примеры: "Снежный человек ушёл в горы", "Вчера шёл снег или дождь", "Москва - столица России", "У каждого должна быть своя мечта", "Чудес на свете не бывает", " Не было бы счастья, да несчастье помогло".

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

Логический закон - это необходимое отношение между мыслями, ведущее к истине

Логика высказываний является теорией тех логических связей высказываний, которые не зависят от внутреннего строения (структуры) простых высказываний.

Логика высказываний исходит из следующих двух допущений:

1) всякое высказывание является либо истинным либо ложным (принцип двузначности);

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

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

Согласно принятым определениям:

• конъюнкция истинна, когда оба входящих в неё высказывания истинны;

• дизъюнкция истинна, когда хотя бы одно из входящих в неё высказываний истинно;

• строгая дизъюнкция истинна, когда одно из входящих в неё высказываний истинно, а второе ложно;

• импликация истинна в трех случаях: её основание и следствие истинны; основание ложно, а следствие истинно; и основание, и следствие ложны;

• эквивалентность истинна, когда два приравниваемых в ней высказывания оба истинны или оба ложны;

• отрицательное высказывание истинно, когда отрицаемое высказывание ложно, и наоборот.

 

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

Закон противоречия говорит о противоречащих друг другу высказываниях, т.е. о высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания "Луна – спутник Земли" и "Луна не является спутником Земли", "Трава – зеленая" и "Неверно, что трава зеленая" и т.п. В одном из противоречащих высказываний что-то утверждается, в другом – это же самое отрицается.

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

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

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

 

Закон тождества

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

Пример нарушения:

"- Знаешь ты этого закрытого человека?

- Нет, не знаю.

- Это твой отец. Значит, ты не знаешь своего отца!"

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

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

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

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

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

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

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

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

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

В зависимости от того, как показывается ложность антитезиса, можно выделить несколько вариантов косвенного доказательства

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

ОПРОВЕРЖЕНИЕ

Поделиться:

Воспользуйтесь поиском по сайту: