Добавлен: 16.10.2024
Просмотров: 477
Скачиваний: 0
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Таким способом Гоббс высказал идею, которая позднее была реализована в математической (символической логике).
Целью философии, по его мнению, есть создание научного метода. Таким методом и должна стать новая логика, которую он понимал как науку различия истины и лжи. Правда, универсальным научным методом познания в его доскональном виде Гоббс считал математику. Особенно высоко он ценил геометрию, которая по его мнению есть идеалом всех наук, которые должны выводить все свои законы с нескольких первых принципов. Их роль могут исполнять только определения имен, а не аксиомы и постулаты, которыми, по мнению Гоббса, передают соответственные определения.
Существенное место в логике Гоббса занимала теория знаков, которая стала важным вкладом в семиотику (науку о знаках). Определяя неразрывную связь мышления и языка, этот мыслитель рассматривал логику как науку об именах (понятия, идеи), предложения (высказывания, суждения), объединение предложений (умозаключения, доказательства), науку про истину и ложь и научный метод. Он создал широко расширенную
классификацию имен. Именно Гоббс первым назвал генетическое определение отдельным видом исследования.
Большое значение Гоббс предавал операциям разделения понятий, их ограничением и обобщением. Рядом с дихоомичным разделением он называл и трихиотомичное. Ограничение и обобщение понятий расссматривал как сложение и вычитание имен. Так, прибавляя к имени « прямоугольник» имя
«равносторонний», получим имя «квадрат», а отымая от имени «квадрат» имя «прямоугольный» получим имя «ромб».
Предложение Гоббс рассматривает как объединение имен. Для науки, по его мнению, приемлемы только некоторые объединения имен – предложений. Он обращается к операции перестройки суждений, в
частности их обращения и превращения. Условные суждения Гоббс, считает самыми адекватными, поскольку основным заданием научного знания является познание причинных связей.
Объясняя мысль, согласно которой любое суждение является суммой двух имен (субъекта и предиката), Гоббс вынужден считать кванторные слова «все», «некоторые» и т. д. составными соответствующих имен, а частичку «не», которая занимает место перед связкой «есть», присоединять к имени, которым обозначается предикат. Другими словами, отрицательные суждения он рассматривал как утвердительные, в которых роль предиката выполняет понятие, противоречащие предикату соответствующего отрицательного суждения.
Умозаключения он рассматривал как присоединение предложений. В основе его учения, про умозаключение, лежит силогизм, который, по Гоббсу, является операцией суммирования трех имен или соединением двух предложений, которые имеют общие имя (имя, которое обозначает средний термин). Вместе с тем этот мыслитель предлагает и другое понятие
силогизма, которое позже было конкретизировано в математической (символической) логике.
Законы противоречий и исключенного третьего Гоббс понимал как зак оны создания правильных предложений (суждений) с имен (понятий), а закон тождественности – как условие научной точности, которое (условие) можно сформулировать так : каждое слово в понятии должно применяться в одном и том же значении.
Современная логика
В истории логики выделяют два этапа:
1.
От логики Древнего мира до возникновения во второй половине 19 в. современной логике.
2.
От второй половины 19 в. до наших дней.
На первом этапе логика преимущественно решала проблемы, поставленные еще Аристотелем. В последние полтора столетия в ней происходили качественные изменения. Предпосылки возникновения этих изменений появились еще тогда, когда Лейбниц предлагал идею вычисления и соответственный формализованный язык. Эту идею, как предполагалось, современники не поняли и постепенно забыли. Во второй половине 19 в., а тем более в 20 в. на человечество ожидало множество новых идей, благодаря которым современная логика пережила научную революцию. Назовем только несколько выдающихся ученых, которые сделали существенный внос в ее развитие.
Джордж Буль (1806-1864) – один из основателей математической логике. Положив в основу своих исследований аналогию между алгеброй и логикой, он разработал соответственное логическое вычисление, в котором применял законы и операции математики (прибавлением классов, умножения
и т.д.). Алгебро – логический метод дал возможность Булю выявить новые типы выводов, которые не учитывались в традиционной силогистике. Он детально проанализировал законы коммутативности, ассоциативности, дистрибутивности.
Алгебра логики – система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле – табличное, матричное построение логики высказываний, определяющие логические операции над ними.
Работы Буля 1847-1854 дали рождение алгебре логики, или булевой алгебре. Буль первым показал
, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов – истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями – И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел.
Огастес де Морган (1806-1871) – основатель логического анализа отношений, также предложил формулу суждений отношения, которая напоминает современную формулу “aRb”. Он сформулировал основные принципы логики высказываний и логики классов. В разработанной им алгебре отношения анализировал операции сложения, умножения и т.д. В математической логике Морган сформулировал законы, которые носят его имя – «законы де Моргана».
Готлиб Фреге (1848-1925),немецкий логик, математик и философ, основоположник логицизма. Дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики. Один из основоположников семантики.Идеи Фреге много в чем наперед
определяли развитие логики 20 в.; он ввел понятие логической функции и различия свойств вещей и отношений ( а соответственно одноместных и многоместных логических функций); впервые ввел символы для обозначения кванторов; ввел понятие существенного значения и т.д.
Фреге систематически исследовал отношения между языковыми выражениями и предметами, которые обозначаются этими выражениями; раскрыл различие между значением и смыслом языковых выражений. Его работы расцениваются как начало нового этапа в развитие математической (символической) логики.
Пирс Чарльз Сандерс (1839-1914), американский философ, логик, математик и естествоиспытатель. Родоначальник прагматизма. Выдвинул принцип, согласно которому содержание понятия целиком исчерпывается представлением о его возможных последствиях. Основатель по математической логике. Родоначальник семиотики (общей теории знаков). В своем вычислении использовал как строгую, так и нестрогую дизъюнкцию. Пирс сформулировал законы материальной импликации. Долгое время его работы не были известны широкой научной общественности.
Давид Гильберт (1862-1943), немецкий математик, логик, достиг значительных успехов в использовании метода формализации в определении логических умозаключений, в разработке вычисления выражений и предикатов, в исследовании аксиоматизации знаний. Он совершил строго аксиоматическое построение геометрии Эвклида, что наперед определило дальнейшее развитие исследований по аксиоматизации научных знаний, предложил развернутый план определения математики путем ее полной формализации. Но эта программа оказалась несовершенной, хотя ее идеи привели к появлению метаматематики (теории доказательств).
Заключение
Некоторые категории людей (а среди них и известные мыслители) склонные недооценивать, а то и игнорировать значение формальной логики. Одни из них считали, что мышление людей может быть идеальным и без знания логики, поэтому ее изучение – излишне или, по крайней мере, малоэффективно. Подобные взгляды, конечно, имеют некоторые, хотя и недостаточные, основания.
На самом деле, каждый человек владеет более или менее совершенной стихийно сформированной, интуитивной логикой. Без нее он вообще не мог бы правильно мыслить, общаться с людьми и т.д. Логика в жизни человека играет огромную роль, в решении жизненных вопросов, логика, как наука, должна развиваться. Необходимость знания логики объясняется уже тем обстоятельством, что она исследует общечеловеческие законы мышления, которые действуют во всех областях науки. Высокая логическая культура гражданина страны способствует ее прогрессу во всех сферах жизни.
Список использованных источников
Гетманава А. Д. Логика. М., 1986. Горский Д. П. Логика. М., 1963. 2.Горский Д. П. Иван А.А., Никифоров А.Л. Краткий словарь по
логике. М., 1991.
3.
Ивлев К. В. Логика. М., 1992. Кириллов В. И., Старченко А. А. Логика. М., 1987.
4.
Попов П. С., Стяжкип Н.И. Развитие логических идей в эпоху Возрождения. М., 1983; Попов Г1.С. История логики Нового времени. М., 1960.
5.
Бочаров В. А. Аристотель и традиционная логика. М., 1984; Субботин А.А. Традиционная и современная формальная логика. М., 1969.
6.
Асмус В. Логика. - 1999. - 362 с.
3.
Анисомов А. Современная логика. - М., 2003. - 416 с. 8.Брюшинкие В. Логика. - М., Проспект, 2002. - 416 с.
9.
Войшвилло Е.К., Дегтяренко М.Г. Логика. - М.: Владос - Пресс, 2001
- 564 с.
9.
Иванов Е.И. Логика. - М.: БЕК, 2001. - 368 с.
9.
Ивин А.А. Логика. - М.: Гардарики, 2003. - 352 с. 12.Ивлев Ю. Логика для юристов. - М.: БЕК, 2001. - 416 с. 13.Кириллов В.И. Логика для юристов. - М., 2001. - 374 с.
14.
Кириллов В.И., Орлов Г.А., Фокин Н.И. - Логика. - М.: Проспект,
2004.
14.
Челпанов Г.И. Учебник логики. - М., 1996. - 296 с.