БарГУ.by » Учебные материалы » Лекции » Логика » Введение в логику как науку

Введение в логику как науку

Введение в логику как науку

 

1.  место логики в системе наук

2.  рассуждение и его виды

3.  виды логических ошибок в рассуждении

4.  основные этапы развития логики как науки

 

Вы не можете скачивать файлы с нашего сервера

 

1.Сегодня слово «логика» употребляется в различных выражениях: логика науки, логика социального развития общества, логика решения задач, логистика и т.д. В широком смысле логика включает в себя все многообразие различного рода закономерностей. В этом смысле логическое – синоним закономерному (рациональному). В узком смысле логика – наука, изучающая необходимые законы мышления человека. Логический закон (закон мышления) отражает существенную (объективно необходимую) связь между элементами мыслительной деятельности человека. В свою очередь необходимость включает в себя:

1) всеобщность (законы мышления лежат в основе мыслительной (рациональной) деятельности любого человека)

2) нормативность (законы мышления выступают в качестве обязательных норм, определяющих организацию мыслительного опыта человека)

Целью логики является выявление всех необходимых законов, в согласии с которыми осуществляется мыслительная (рациональная) деятельность человека.

В качестве объекта изучения в логике выступает мышление человека.

Мышление:

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

 

2.Термин рассуждение употребляется в двух смыслах: в философском смысле рассуждение – целенаправленная мыслительная деятельность, основанная на формальных операциях. Цель рассуждения состоит в выявлении нового знания (выводное знание), на основе существующего знания. Связь между знанием и рассуждением можно выразить в следующем афоризме: «Чем больше человек рассуждает о чем-либо, тем лучше он это знает» и «чем больше человек знает что-либо, тем лучше он об этом рассуждает».

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

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

1)  все адвокаты являются юристами – гипотеза

2)  Смирнов является адвокатом – вывод: Смирнов является юристом

Фальсификация – опровержение.

Верификация – подтверждение.

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

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

В любом рассуждении можно выделить 2 аспекта: формальный и содержательный. Содержательный аспект включает в себя совокупность высказываний, являющихся истинными или ложными. Формальный аспект включает в себя способ связи между высказываниями в рассуждении. На этом основании выделяют формально-обоснованные и неформально-обоснованные рассуждения. Рассуждения являются (не)формально-обоснованными, если способ связи между высказываниями в рассуждениях (не)соответствует логическим законам.

 

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

Пример содержательной ошибки:

Все страны являются федерациями. Беларусь является страной – Беларусь является федерацией

Пример формальной ошибки: некоторые страны являются федерациями. Беларусь является страной - Беларусь является федерацией.

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

  • Математические
  • Логические:

Лекарства для больного человека – добро.

Чем больше добра, тем лучше.

Лекарства для больного чем больше, тем лучше.

«Рогатый» софизм:

Все, что вы не теряли, вы имеете

Вы не теряли рогов

Значит вы имеете рога

 

4.Формальная логика – направление в логике, объектами изучения которой являются логические формы мышления человека и связывающие эти формы логические законы. Согласно Аристотелю логические формы выражают себя в понятии (элементарная логическая форма), в суждении, в умозаключении. Формальная логика формировалась в рамках метафизического исследования Аристотеля и Имануила Канта, связанных с поиском ответа на вопрос: «как возможно научное знание?». Метафизика – философское учение о сущности явлений. Впервые термин «формальная логика» использовался для обозначения науки о формах мышления ввел немецкий философ Кант. Согласно Канту сущность высказываний (их ложность или истинность) заключена в логической форме. Логическая форма – сторона мыслей, независимая от конкретного содержания, но служащая для связи между ее элементами.

Формальная логика отвлекается от содержательной стороны высказываний, ее интерес направлен на исследование их истинности. Формальная логика является двузначной (в ней используются 2 логических значения: ложность и истинность). Термин «истина» используется в 2 смыслах:

1)  материальная истина – соответствие высказывания определенной реальности

2)  формальная истина – когда высказывания соответствуют логическим законам рассуждения.

Учение Аристотеля о рассуждении.

Заслуга Аристотеля заключается в том, что он впервые выделил рассуждение в качестве самостоятельного объекта исследования, раскрыл логическую структуру рассуждения и определил основные виды рассуждений, употребляемые человеком в практике. С точки зрения Аристотеля рассуждение – «орудие» (органон – средство для познания вещей), служащее для доказательства или опровержения истинности высказываний. Свое учение о рассуждении Аристотель назвал аналитикой.

Виды рассуждений:

  • аподиктическое (доказательное) – вид рассуждения, в котором основной целью является доказательство выдвигаемых рассуждений (утверждений). Аподиктические рассуждения имеют вид силлогизма.
  • Диалектическое – вид рассуждения, для которого характерно вопросно-ответная структура. Цель этого рассуждения состоит в формировании рассуждения в виде ответа
  • Софистическое – вид рассуждения, для которого характерно использование риторических средств убеждения (метафор и т.д.). цель: ввести человека в заблуждение.

В основе аподиктических рассуждений согласно Аристотелю лежат следующие логические законы:

1) закон тождества (эквиваленции). В ходе рассуждения необходимо, чтобы форма и содержание высказывания оставались неизменными

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

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

  • Доказательность
  • Выводимость
  • Следование

Формализованный (искусственный) язык – совокупность символов, наделенных определенными (заранее установленными) значениями. Цель формализованного языка – четко (однозначно) выражать логическую структуру рассуждений. В современной символической логике выделяют 2 основные направления исследования:

1)  логический синтаксис. В этом направлении изучаются структуры формально логических систем вне связи их с содержанием. Целью логического синтаксиса является формирование формально непротиворечивой логической системы (рассуждения). В рамках одной логической системы нельзя одновременно утверждать или отрицать одно и то же высказывание.

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

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



Обсудить на форуме

Комментарии к статье:

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

Регистрация

Реклама

Последние комментарии