Виникнення науки и поняття логiчного закону
Информация - Философия
Другие материалы по предмету Философия
Мiнiстерство транспорту Украiни
Киiвський унiверситет економiки i технологiй транспорту
Кафедра: тАЬСуспiльних та гуманiтарних науктАЭ
Контрольна робота
з предмету: тАЬОснови логiкитАЭ
на тему: тАЬ Виникнення науки логiки. Поняття логiчного законутАЭ
Перевiрив: доцент к.ф.н.
В.А.Гаспарянс
Розробив: ст.заоч.ф.н.
гр.5-МО-2
Д.О.Мартиненко
Шифр:99-МО-203
2003
Змiст
Змiст2
Виникнення науки логiки i основнi етапи ii розвитку.3
Поняття логiчного закону7
Задача8
Використана лiтература9
Виникнення науки логiки i основнi етапи ii розвитку.
Понятие истинности или ложности относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение Все волки хищные животные истинно, а суждение Все грибы ядовиты ложно.
Понятие формальной правильности рассуждения относится лить к логическим действиям и операциям мышления. Ф. Энгельс писал: Если наши предпосылки верны и если мы правильно применяем к ним законы мышления, то результат должен соответствовать действительности... Если в числе посылок умозаключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтоб это показать, возьмем такое умозаключение:
В этом умозаключении заключение получилось ложным именно потому, что в качестве первой посылки взято ложное суждение. Чтобы заключение было истинным, обе посылки должны быть истинными суждениями (имеется в виду, что правила логики соблюдены). При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение. Например:
Во втором умозаключении обе посылки истинные суждения, но полученное заключение может быть как ложным, так и истинным потому, что было нарушено одно из правил умозаключения.
Итак, с точки зрения содержания мышление может давать истинное или ложное отражение мира, а со стороны формы оно может быть логически правильным или неправильным. Истинность есть соответствие мысли действительности, а правильность мышления соблюдение законов и правил логики. Нельзя отождествлять (смешивать) следующие понятия: истинность (истина) и правильность, а также понятия ложность (ложь) я неправильность.
Материалистическая диалектика глубокое и всестороннее учение о развитии. Законы и категории материалистической диалектики рассматриваются как отражение всеобщих связей объективного мира и как ступени развития его познания.
Современная логика это интенсивно развивающаяся наука, которая включает в себя логику формальную и логику диалектическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания. Как уже отмечалось, формальная логика наука о закона и формах правильного мышления. Формальная логика в определенном смысле подобна грамматике. К. Д. Ушинский iитал логику грамматикой мышления. Подобно грамматике, придающей языку стройный и четко осмысленный характер, логика обеспечивает доказательность и стройность мышления.
Формальная логика в своем развитии прошла два основных этапа. Основанием деления на эти этапы служит различие применяемых в логике средств и методов исследования. Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384-322 гг. до н. э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематнческую логику обычно называют традиционной формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение (в том числе и индуктивное), законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. Основным содержанием аристотелевой логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются начатки иiисления высказываний.
Второй этап это появление математической (или символической) логики.
Немецкий философ Г. В. Лейбниц (16461716) по праву iитается основоположником математической (символической) логики.
Начиная с Лейбница в логике используется в качестве метода исследования метод формализации, который традиционной логикой относился только к методам математического исследования, а Лейбниц показал, что он имеет общенаучный характер. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.
Математическая (или символическая) логика изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. При этом в математической логике для выявления структуры вывода строятся различные логические иiисления, прежде всего иiисление высказываний и иiисление предикатов в их различных модификациях. Можно сказать, что математическая логика разрабатывает применение математических методов к анализу форм и законов доказательного рассуждения.
Другим основанием деления логики служит различие применяемых в ней принципов, на которых базируются исследования. В результате такого деления имеем