Для формальной логики наибольшее значение имеют четыре основных логических закона: непротиворечивости, исключенного третьего, тождества и достаточного основания. Содержание и формулировка первых трех законов развивалась в трудах Платона и Аристотеля. Разработка четвертого принадлежит Г.Лейбницу. Основные логические законы выделяют важные свойства правильного мышления: определенность, непротиворечивость, выбор «или-или», в некоторых жестких ситуациях, обоснованность. Они носят нормативный характер, поскольку только их соблюдение говорит о правильности мышления. Нарушение законов приводит к логическим противоречиям и невозможности отличить истину ото лжи. Четвертый закон менее нормативен и имеет ограниченное применение.

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

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

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

Закон исключенного третьего предъявляет, более сильные требования к суждениям и требует, не уклоняться от признания истинности одного из противоречащих высказываний и не искать между ними нечто третье. «Один из членов противоречия должен быть истинным», - отмечал Аристотель. Этот закон и его действие не сводимо к будущему, где событие либо состоится, либо нет. Закон альтернативен в характеристике вещей, гипотез и путей решения проблем, требует выделять различные подходы и определить истинный.Закон исключенного третьего требует ясных, четких с указанием на невозможность решения вопроса в одном и том же смысле: и “да” и “нет”. Его смысл в том, что истина либо в высказывании, либо в его отрицании по правилам классической двузначной логики. При этом для Аристотеля характерно различное толкование закона:

Логическое, об истинности одного из высказываний;

Онтологическое, о существовании и не существовании объекта;

Методологическое, обо всей полноте исследования объекта.

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

Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышлениятермин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

Чувственное познание и абстрактное мышление

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

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

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

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

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

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

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

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

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

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

Аристотель ввел в логике орудие или (метод исследования). Основным содержанием его логики является теория дедукции, содержатся элементы математической (символической), логики, имеются «начатки исчисления высказываний».

Второй этап – появление математической логики.

Немецкий философ Г.В. Лейбниц(1646 1716) по праву считается основоположником математической логики. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешить с помощью вычисления. В 19 в. Математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого и других логиков.

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

Теоретическое и практическое значение логики

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

Особенно важно значение логики в процессе овладения новыми

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

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

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

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

Заключение