Программа курса «Логика»

Вид материала

Программа курса

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

Подобный материал:

• Программа курса и темы практических занятий; Логика в таблицах и схемах. Логика как, 1722.34kb.
• Рабочая программа дисциплины «логика», 85.13kb.
• Программа дисциплины гсэ. Логика специальность 040101. 65 Социальная работа Составитель, 139.88kb.
• Программа элективного курса, 89.99kb.
• Логика в образовании, 153.37kb.
• Математическая логика, 1012.22kb.
• Настоящий курс «Логика» читается как курс общей формальной логики гуманитарных специальностей., 571.6kb.
• Методические рекомендации для студентов и слушателей по изучению курса Логика, 309.89kb.
• Введение в оптику метаматериалов, 166.58kb.
• Программа составлена в соответствии с государственными образовательными стандартами,, 541.81kb.

Программа курса «Логика»

1. Предмет и значение логики.
   
2. Понятие.
   1. Понятие как форма мышления.
   2. Содержание и объем понятия.
   3. Виды понятий.
   4. Отношения между понятиями.
   5. Логические операции с понятиями.
   
3. Суждение.
   1. Общая характеристика суждений.
   2. Виды суждений.
   
4. Основные законы формальной логики.
   
5. Умозаключение, его структура и виды.
   1. Дедуктивные умозаключения.
   2. Индуктивные умозаключения.
   3. Умозаключение по аналогии.
   
6. Доказательство и опровержения.
   1. Понятие доказательства и его структура.
   2. Виды доказательства.
   3. Понятие опровержения. Его способы и методы.
   4. Логические правила и ошибка по отношению к тезису доказательства.
   
7. Типичные случаи нарушения демонстрации безотносительно к видам употребляемых умозаключений.
   

І. Предмет и значение логики

Термин «логика» происходит от греческого слова logos, означающего «мысль», «разум», «учение», «закономерность» и т.д. В нашей дисциплине это слово обозначает совокупность правил, которым подчиняется процесс мышления.

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

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

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

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

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

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

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


Литература:

1. Жеребкин В. Е. Логіка. – Харків – 2002 – гл. 1

2. Івін О.А. Логіка .- К.: 1996г. – Розд. 1

3. Тофтул М.Г. Логіка. – К., 2002, гл. 1

4. Маковельский А.С. История логики. – М., 1967.


ІІ. Понятие

1. Понятие как форма мышления.
   

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

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

Языковыми формами выражения понятий являются слова или словосочетания: «Банк», «Рыночная экономика», «Контрольный пакет акций» и др. Понятия формируются на основе обобщения существенных признаков, присущих ряду однородных предметов. Обобщению предшествует ряд других логических операций: анализ, синтез, сравнение, абстрагирование.

2. Содержание и объем понятий.
   

В отличие от слова грамматики всякое понятие имеет содержание и объем.

Содержание понятия – это совокупность существенных основных признаков предметов или классов предметов, отражаемых понятием.

Объемом понятия называют класс обобщаемых в нем предметов. Класс (множество) состоит из отдельных объектов, которые называются его элементами. В зависимости от их числа множества делятся на конечные и бесконечные.

Объем одного понятия может входить в объем другого понятия и составлять его часть. Например, объем понятия «малое предприятие» входит в объем понятия «предприятия». При этом содержание первого понятия глубже, богаче, чем содержание второго. Расширяя объем понятия, мы уменьшаем, обедняем его содержание. Эта зависимость изменения содержания от изменения объема регулируется правилом: чем шире объем понятия, тем уже его содержание, и наоборот.

3. Виды понятий.
   

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

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

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

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

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

4. Отношение между понятиями.
   

Предметы и явления мира находятся во взаимосвязи и взаимообусловленности, потому т понятия их отражающие, тоже находятся в определенных отношениях. Понятия по содержанию могут относиться к разным классам явлений, которые нельзя сравнивать. Такие понятия называются несравнимыми. Понятия, отображающие объекты с общими признаками называются сравнимыми. Сравнимые делятся по объему на совместимые и не совместимые. Типы совместимости: равнозначность (тождество), пересечение (перекрещивание), подчинение (отношение рода и вида). Несовместимые имеют типы отношений: соподчинение, противоположность, противоречие.

Отношения между понятиями изображаются с помощью круговых схем (кругов Эйлера), где каждый круг обозначает объем понятия.

5. Определение понятий.
   

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

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

Понятие, которое надо раскрыть, называется определяемым (дефиниендум), а то понятие, посредством которого оно определяется, называется определяющим (дефиниенс).

Если определяется предмет – определение будет реальным. Если определяется термин, обозначающий предмет, то определение будет номинальным.

С помощью номинальных определений вводятся также новые термины, краткие имена взамен сложных описаний предметов.

Для номинальных определений характерно присутствие слова «называется». Например, «Банкротством называется экономическая несостоятельность предприятия».

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

К явным определениям относятся и генетические определения, такие определения, когда указывается способ, которым образуется только данный предмет и никакой другой. Например, «Разгосударствление – это преобразование государственных предприятий в коллективные».

В неявных определениях вместо дефиниенса занимает контекст или набор аксиом, или описание способа построения определяемого объекта.

Правила явного построения:

1. Определение должно быть соразмерным, т.е. объем определяющего понятия должен быть по объему равен определяемому понятию.
   

а). Широкое определение, когда дефиниендум меньше дефиниенса.

б). Узкое определение, когда дефиниендум больше дефиниенса.

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

2. Определение не должно содержать круга.
   

Деление – это логическое действие, посредством которого объем делимо понятия (класса) распределяется на ряд подклассов с помощью избранного основания. Признак, по которому производится деление объема понятия, называется основанием деления. Делимое понятие – это родовое, а его члены деления это виды данного рода.

Чтоб деление было правильным, нужно соблюдать правила:

1. Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Нарушение этого требования ведет к двум ошибкам: а). неполное деление; б). деление с лишним элементом.
   
2. Деление должно проводиться только по одному основанию.
   
3. Члены деления должны исключать друг друга, т.е. не иметь общих элементов.
   
4. Деление должно быть непрерывным, т.е. нельзя делать скачки в делении.
   

Деление может осуществляться по двум видам: по видоизменению признака и дихотомного. При первом виде деление производится по признаку выступающим основанием деления. Дихотомное – путем деления на два противоречивых понятия А и не – А.

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

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


Литература:

1). Жеребкін В. Є. – Харків – 2002 – гл. 2

2). Ивлев Ю. В. Логіка .- М. 1998г. – Розд. 2

3). Тофтул М.Г. Логика. – К., 2002, Раздел «Понятие»


ІІІ. Суждение

1. Общая характеристика суждений.

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

Простые суждения бывают разного вида:

1). Суждения свойства (атрибутивные), в которых утверждается и отрицается принадлежность предмету известных свойств, состояний.

2). Суждение с отношениями, в которых говорится об отношениях между предметами.

3). Суждение существования (экзистенциональные) утверждающие или отрицающие существование объектов.

4). Категорические (атрибутивные) суждения делятся по качеству и количеству.

По качеству они бывают утвердительными и отрицательными.

По количеству, в зависимости от принадлежности признаков (всем, некоторым предметам или одному) делятся не всеобщие, частные и единичные. Структура общего суждения: (Все S есть (не есть) P); частного: (Некоторые S есть (не есть) P); единичного: (Это S есть (не есть) P).

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

Сложные суждения образуются из простых путем объединения их союзами «и», «или», «если … то» и др. Характер связки определяет вид сложного суждения. Суждения объединенные союзом «и» называются соединительными (конъюнктивными), союзом «или» - разделительными (дизъюнктивные), союзом «если … то» - условные (импликативные).


Литература:

1). Жеребкін В. Є. – Харків – 2002 – гл. 3

2). Тофтул М.Г. Логика. – К., 2002, Раздел «Суждение»

3). Хоменко І. В. Логіка юристам. – К. 1998, гл.


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

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

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

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

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

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

Закон непротиворечия требует соблюдать следующие условия:

1). Не будет противоречия между суждениями, если мы утверждаем принадлежность предмету одного признака и в то же время отрицаем принадлежность этому предмету другого признака.

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

3). Противоречия не будет и в том случае, если мы что-либо утверждаем и в то же время отрицаем относительно одного и того же предмета, но рассматриваемо в разное время.

4). Противоречия не будет, если один и то же предмет рассматривается в разных отношениях.

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

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

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

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

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

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

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


Литература:

1). Жеребкін В. Є. Харків. 2002. гл. 4

2). Курбатов В. И. Логика. – Ростов–на–Дону. 1997. Тема 2.

3). Тофтул М.Г. Логіка. – К., 2002, Раздел «Закони логіки»

Практическое задание

для закрепления теоретического материала.

Задание 1 к разделу «Понятия»

1. Привести примеры совместимых понятий:
   
   • равнозначные (тождественные):
     
   • перекрещивающие:
     
   • подчиняющие и подчиненные:
     
2. Примеры несовместимых понятий:
   
   • соподчинения:
     
   • противоположнее:
     
   • противоречащие:
     
3. Привести примеры реального и номинального определения:
   
   • реальные:
     
   • номинальные:
     
4. Привести примеры ошибок в определении:
   
   • «широкое определение»:
     
   • «узкое определение»:
     
   • «в одном отношении широкое, в другом - узкое»:
     

Задание 2 к разделу «Суждение»

1. Привести примеры простого суждения, выделив в нем субъект, предикат, связку, квантор.
   
2. Привести примеры:
   
   • общеутвердительного суждения:
     
   • общеотрицательного суждения:
     
   • частноутвердительного суждения:
     
   • частноотрицательного суждения:
     
3. Привести примеры сложных суждений:
   

• соединительных (конъюнктивных):
  
• разделительных (дизъюнктивных):
  
• условных (импликативных):
  

Задание 3 к разделу «Основные законы формальной логики»

1. Приведите пример рассуждения, где имеется логическая ошибка «подмена понятия», используя слова омонимы:
   
2. Приведите пример суждений на соблюдение закона противоречия:
   
3. Приведите пример рассуждения на следования закону исключенного третьего:
   
4. Используя закон достаточного основания, приведите пример обоснованного суждения:
   

Задание 4 к разделу «Умозаключения: его структура и виды»

1. Привести пример простого категорического силлогизма, выявив в нем: больший, меньший, средний термины:
   
2. Привести примеры нарушения:
   
   • первого правила силлогизма:
     
   • второго правила силлогизма:
     
   • третьего правила силлогизма:
     
   • четвертого правила силлогизма:
     
3. Привести пример индуктивного умозаключения:
   

• полная индукция:
  
• неполная индукция:
  

4. Построить умозаключение по аналогии:
   

• строгая аналогия:
  
• нестрогая аналогия:
  
• ложная аналогия:
  

Задание 5 к разделу «Доказательство и опровержение»

1. Привести примеры:
   
   • дедуктивного обоснования:
     
   • индуктивного обоснования:
     
   • обоснования по аналогии:
     
2. Построить опровержение в форме рассуждения, получившего название «сведение к абсурду»:
   
3. Приведите примеры рассуждений, в которых появляется логическая ошибка «мнимого следования»:
   

• аргумент к силе:
  
• аргумент к невежеству:
  
• аргумент к выгоде:
  
• аргумент к здравому смыслу:
  
• аргумент к состраданию:
  
• аргумент к авторитету: