Основные законы формальной логики

Введение

Формальная логика — наука об общих структурах и законах правильного мышления, образовании и сочетании понятий и высказываний, а также правилах вывода независимо от их конкретного содержания.
Формальная логика — это построение и изучение правил преобразования высказываний, сохраняющих свое истинностное значение независимо от содержания понятий, входящих в эти высказывания. В истории философии — отдельный раздел или направление логики конца 19 — начала 20 веков. [2]

1.Характеристика основных законов формальной логики

К какой бы исторической эпохе ни принадлежал человек, ему нужна правда. Первобытные люди и наши современники, познавая окружающий мир, стремятся его получить.
Владение истинными знаниями приносит одним людям радость и удовлетворение, а другим, наоборот, печаль: истина призывает сильных к подвигам, но парализует волю слабых, приводя их к пессимизму и растерянности.
Но несмотря ни на что, каждый стремится узнать правду, получить новую информацию о мире, в котором он живет. Обладание истиной продвигает всех нас вперед по трудному пути познания.
Существует мнение, что человек может правильно мыслить, даже не зная точных правил и законов логики, используя их лишь на интуитивном уровне. Логическое мышление не является врожденным, поэтому его можно и нужно развивать разными способами (методами). Систематическое изучение науки логики – один из наиболее эффективных способов развития абстрактно-логического мышления.[4]
Специфической методикой развития мышления является решение логических задач.
1. Понятие логического закона.
Закон мысли есть необходимая, существенная и устойчивая связь между мыслями. Простейшие и необходимые связи между мыслями выражаются формально-логическими законами тождества, непротиворечия, исключенного третьего, достаточного основания. Эти законы играют особенно важную роль в логике, они являются наиболее общими, лежат в основе различных логических операций с понятиями, суждениями и используются при умозаключениях и доказательствах. Первые три закона были выявлены и сформулированы Аристотелем. Закон достаточного основания был сформулирован Лейбницем. Законы логики отражают в сознании человека определенные отношения между объектами объективного мира.
Формальные логические законы не могут быть отменены или заменены другими. Они имеют общечеловеческий характер: они одинаковы для всех людей разных рас, наций, сословий и профессий. Эти законы сформировались в результате нескольких столетий практики человеческого познания, отражая такие обычные свойства вещей, как их устойчивость, определенность и несовместимость в одном и том же объекте, одновременное наличие и отсутствие одних и тех же характеристик. Законы логики — это законы правильного мышления, а не законы вещей или самих мировых явлений.
Помимо этих четырех формально-логических законов, отражающих важные свойства правильного мышления — достоверность, последовательность, ясность мышления, выбор «или — или» в определенных «трудных» ситуациях, — существует множество других логических законов формальностей, согласно которым правильное мышление должен подчиняться процессу, оперирующему правильными индивидуальными формами мышления (понятиями, суждениями, выводами).
Законы логики функционируют в мышлении как принципы правильного рассуждения в процессе доказательства истинности суждений и теорий и опровержения неверных теорий.[1]
Математическая логика имеет несколько иной подход. Там законы, выраженные в виде формул, выступают как тождественно истинные высказывания. Это означает, что формулы, в которых выражаются логические законы, верны для всех значений их переменных. Среди одинаковых формул выделяются те, которые содержат переменную.

2. Основные методологические принципы формальной логики

Формальная логика рассматривает связи между мыслями на основе их логических форм, то есть, прежде всего, на значении логических терминов. Эти связи происходят независимо от того, осознаем мы их или нет.
Поскольку логические термины, по крайней мере некоторые, представляют собой наиболее общие характеристики внеязыковой реальности, логика выражает знание онтологического характера, знание особенностей действительности.
Такими знаниями, например, являются: «Невозможно, чтобы ситуация существовала и в то же время не существовала; в частности, невозможно, чтобы предмет имел свойство и в то же время не имел его; это свойство» «Объекты, которые изменяются, обладают свойствами, которые во многих случаях остаются присущими им, по крайней мере, в течение некоторого времени».[4]
Познание этих связей и характеристик входит в идейную часть науки формальной логики. В логической науке это знание выражается в форме так называемых логически истинных высказываний, то есть высказываний, которые истинны независимо от содержащихся в них описательных терминов (эти высказывания истинны в силу особенностей их логических форм).
Формы логически истинных высказываний, если содержащиеся в них переменные связаны квантарами общности, выражают формальные логические законы или упомянутые выше знания онтологического характера.
Эти формы называются законами логики или тождественными формулами (высказываниями).
При этом утверждение Ш (рШш p) — закон непротиворечивости, (р vш p) — закон исключенного третьего, (р И р) — закон тождества. Очевидно, что закон непротиворечия выражает первое из приведенных выше знаний онтологического характера, а (p Y p) – второе.
Справедливость формального логического закона непротиворечия подвергалась критике со времен Аристотеля.
Считается, что высказывание формы Ш (АШш А) логически не верно, т. е. существуют явления, которые существуют и одновременно не существуют; Есть предметы, которые обладают определенным свойством и в то же время не обладают им. Все примеры утверждений о таких явлениях, объектах и свойствах были отвергнуты. Чаще всего при критике закона непротиворечия приводят примеры не формально-логических противоречий (т.е. не противоречий между мыслями, описывающими наличие свойства у предмета и одновременно его отсутствие и т. д.), а примеры так называемые «словесные противоречия», т. е. высказывания, одно из которых содержит частицу «нет» или слово «неправильный», а другое не содержит этой частицы. Остальные предложения кажутся аналогичными.
Э.К. Войшвилло исследовал следующее «словесное противоречие»: «В данный момент тело находится в данной точке, и неверно, что в данный момент оно находится в данной точке. »
Формально-логический закон непротиворечия является мощным инструментом развития познания. В процессе познания из теории, считающейся соответствующей реальности, возникают следствия, не соответствующие реальности. Например, в силу теории мы утверждаем
шч А. На самом деле они утверждают АШш А. Закон непротиворечия говорит, что ь (А вш А) истинно, то есть неверно АЩ А. Если предположить, что в действительности возможно АЩ А, то процесс развитие знаний закончится. Поскольку АСЧ А невозможен, чаще всего пересматривают часть теории во избежание противоречий и т. д.

3. Сравнение основных законов мышления в формальной логике

На протяжении всей истории люди стремились получить новую информацию о мире, в котором они живут. Но получить настоящие знания никогда не бывает легко. Они хотят знать законы развития природы, общества и тайны мозга. Постепенно стали изобретаться когнитивные методы. Для использования этих методов необходимо безупречное, логически правильное мышление.
Логическое мышление не может появиться у человека при рождении. Для правильного логического мышления необходимо изучать науку под названием логика. Это один из самых эффективных способов развития абстрактного мышления.
Формальная логика – это наука о законах и формах правильного мышления. Человеческие рассуждения принимают логическую форму и строятся в соответствии с логическими законами. Под понятием логической формы мы подразумеваем конкретную мысль, которая является структурой этой мысли.
Чтобы правильно мыслить и правильно доказывать и опровергать ложные утверждения, находить свои ошибки при построении выводов, мы должны подчиняться множеству различных логических законов мышления.
В течение своей жизни люди узнали, что об одном и том же явлении можно думать по-разному, и стали называть каждую мысль своим именем, то есть законом (логического) мышления. На данный момент их всего четыре:
Первый закон – это закон тождества. Этот закон является одним из законов правильного мышления и гласит: «В процессе определенного рассуждения каждое понятие и каждое суждение должны быть тождественны самому себе.»
В пропозициональной логике это выражается следующим образом: a a. Уважение к нему обещает ясность мысли. Если вы подчиняетесь закону тождества, то вы не сможете заменить какое-либо понятие другим понятием в процессе рассуждения; подмена понятий недопустима. Закон тождества формулируется следующим образом: каждая мысль тождественна сама себе, и существует такая (или а = а), где а обозначает любую мысль.
Из сути этого закона вытекает важное требование: нельзя отождествлять разные мысли, нельзя смешивать одинаковые мысли с неодинаковыми мыслями.
Требование закона тождества очевидно, но оно часто нарушается. Идентификация разных мыслей или различие между одинаковыми мыслями возникает, например, в связи с особенностями их языкового выражения. Одна и та же мысль может быть выражена в разных языковых формах, что часто приводит к изменению первоначального значения понятия, к замене одной мысли другой. Особую опасность в этом отношении представляют синонимы и омонимы, неправильное употребление которых приводит к нарушению логической структуры мышления.
Таким образом, под словом «заключение» в логике понимается суждение, следующее из других посылок. Этим же словом обозначается состояние лица, лишенного свободы или подлежащего аресту. Употребление таких слов в одном смысле означает отождествление разных понятий и, наоборот, употребление любого из них в разных понятиях означает ошибочное разграничение тождественных понятий.
И в первом, и во втором случае нарушается требование закона тождества. Выявление разных мыслей может быть следствием того, что разные люди в зависимости от профессии, жизненного опыта и т. д. придавать разное значение одному и тому же понятию. Отождествление разных понятий является логической ошибкой - подменой понятия, суть которой состоит в том, что вместо данного понятия и под видом данного понятия используется другое понятие.
Заключение

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