Тема 1. Логика как наука

Гуннибский М.Ш.: четверг, ауд. 560

Тема 1. Логика как наука

1. Краткая история логики

2. Предмет, структура и функции логики.

 

Учебная литература:

1) Учебник для бакалавров

2) Логика. Кириллов, Старченко, 2011

3) Пособие. Упражнения по логике. Кириллов, Фокина, Орлов. 2010

 

Логика формирует л. мышление. Логическое мышление – формальное мышление – с соблюдением правил.

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

Она включает:

· определенную совокупность знаний о средствах мыслительной деятельности, её формах и законах;

· умение использовать эти знания в практике мышления – оперировать понятиями, правильно производить те или иные логические операции с ними, строить умозаключения, доказывать и опровергать; (любая мысль должна быть обоснована)

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

Для юристов:

Цицерон, говоря о судебных делах, советовал оратору, какие бы дела он не взялся вести «тщательно и основательно в них разобраться».

Широко используется терминология и понятийный аппарат логики:

· Определение (юридических понятий)

· Деление (например, классификация преступлений)

· Подведение под понятие (классификация конкретных деяний)

· Версия как вид гипотезы

· Умозаключение (например, в обвинительном приговоре)

· Доказательство и опровержение

 

Причины возникновения логики:

· появление греческой философии в 7-6 вв. до н.э.

· Афинская демократия (система, подобная афинской демократии, требовала достаточно высокого уровня общего образования – каждый участвовал в жизни общества, управлении полиса)

· Юридическая практика Афин периода демократии

· Зарождение и первоначальное развитие наук, прежде всего математики (наука основывалась на теоретическом мышлении, которое предполагало умозаключения и доказательства)

· Развитие ораторского искусства, в т.ч. судебного, которое расцвело в условиях древнегреческой демократии

 

 

Логика возникла в Греции в 4 в. до н.э. В 5-6 вв. до н.э. в период бурного развития демократии и связанного с ним небывалого оживления общественно-политической жизни трудами Демокрита, Сократа и Платона были заложены основы этой науки. Не являются родоначальниками, основателями.

 

Родоначальником является ученик Платона – Аристотель – воспитатель Македонского, древнегреческий натуралист классического периода, философ, наиболее влиятельный из диалектиков древности. Он впервые сделал приемы рассуждения предметом научного исследования. По его словам, создал силлогизм.

Основные положения «Органона»:

· «Первая аналитика» - анализ и описание основных логических форм и правил рассуждения. Вывел формы выводов из так называемых категорических суждений – категорический силлогизм.

· «Вторая аналитика» - с формировал основные принципы научных доказательств

· «Об истолковании» - анализ смысла некоторых видов высказываний

· «Категории» - наметил основные подходы к разработке учения о понятии (в первую очередь, язык логики; как выводятся, соотносятся и т.д. понятия)

· «О софистических опровержениях» - практические приемы противодействия тем уловкам, которые применяли софисты; Разоблачение различного рода логических шибок и софистических приемов в спорах

 

Логика стоиков.

Дополнило аристотелевскую теорию о умозаключениях (теорию силлогизма). Описание сложных умозаключений. Логика стоиков – основа направления математической логики – теории рассуждений.

 

Стоицизм –фил школа, возникшая во времена раннего эллинизма и сохранившая влияние вплоть до конца античного мира.

Учение стоиков: логика, этика, физика

Сравнивали свою философию с фруктовым садом: логика – ограда, физика - растущее дерево, этика – плоды.

 

Логика средневековья. Развивалась как продолжение логики аристотелевской и стоиков, для обоснования теоцентризма – для доказательства существования Бога, его чудес. Яркие представители: Оккам, А. Саксонский, У. Берли, Д. Скот, Р. Луллий. Центральная проблема: логико-метафизический вопрос (спор) об универсалиях.

 

Характерные черты:

· Господство перетолкованного в чисто идеалистическом духе Аристотеля

· Объективный идеализм

· Догматичность, формализованность

· Слабое развитие критической мысли

· Признание, что абсолютная истина не только познаваема, но уже полностью раскрыта (в Священном Писании и из трудов Аристотеля)

Наболее значимая фигура – М. Псёл (1018-1096). Ввел в обиход буквенное обозначение суждений специальными словами - модусы фигур силлогизма

Петр Испанец

 

Основные проблемы в средневековье:

1) Проблемы модальной логики

2) Анализ выделяющих и исключающих суждений

3) Теория логического следования

4) Теория семантических парадоксов

 

Вопрос об универсалиях находил решения, сводившего к 4 точкам зрения:

· Крайний реализм (платонизм)

· Умеренный реализм (аристотелизм)

· Концептуализм (Абеляр)

· Крайний номинализм (Расцеллин, Оккам)

 

Вклад схоластиков:

Учение о свойствах терминов (суппозиции и др.)

Мнемотехническая обработка аристотелевской силлогистики

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

 

Логика в эпоху возрождения.

Критика логики средневековья, относились к логике как к ненужной науке. В основе – красота, искусство.

 

Новое время:

Ф. Бэкон – разработал методы определения причинной связи между явлениями:

· Метод сходства

· Метод различия соединенный метод сходства и различия, метод сопутствующих изменений

· Метод остатков

 

«Новый органон» - разработал основы индуктивной логики. Противопоставлял свою логику логике Аристотеля.

 

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

Индукция и дедукция дополняют друг друга, а не противопоставлены.

 

Л. Кэрролл:

Разработал графическую технику решения логических задач, более удобную, чем диаграммы

Особого искусства достиг в решении «соритов»

 

Порецкий Платон Сергеевич:

Первым в России прочитал курс по алгебре логике

 

Вклад русских ученых:

Первый природный россиянин, написавший, пусть и всего лишь 2-3, но специально о логике, был князь А.М. Курбский (1528-1583)

 

Софроний Лихуда: подготовил «Яснейшее изложение всего логического действования».

 

Макарий Петрович: написал первое учебное пособие по логике, рукописная – «Логика»

 

М.В. Ломоносов (по предположениям, он написал работу по логике, но она не найдена) и А.Н. Радищев

 

М. Каринский и Чернышевский создали общую теорию выводов – как дедуктивных, так и индуктивных

Карпов, Владиславский, Грот, Рудковский, Введенский, Буницкий

 

Поварнин разработал общую теорию отношений в логике

 

А.А. Зиновьев:

Разрабатывал проблемы логики, методологию научного знания

Применял средства логики к анализу языка науки

Разрабатывал формальный аппарат для анализа понятий, высказываний и доказательств

 

Черпанов:

 

2-е направление – Символическая логика (математическая) – учит, как переводить слова на язык символов

 

Большой вклад в развитии принадлежит:

Лейбниц (создал 4 закон логики – закон остаточного основания)

Дж Буль

Б. Рассел

 

3-е направление – Диалектическая логика – подсказывает, что есть истина

И. Кант

Г. Гегель

К. Маркс

Ф. Энгельс

В. Ленин

 

Формальная – учит правильно мыслить

 

Понятие «логика» впервые ввел Зенон из Китиона. От древнегреч. «логос» - мысль, разум, идея, принцип, закон, порядок.

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

 

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

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

 

Интеллектуальная познавательная деятельность; в процессе познания человеком бытия, окружающего мира и самого себя, выделяются 2 ступени: чувственное и рациональное.

 

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

 

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

Объект логики – правильное (т.е. мышление по правилам – в соответствии с законами мышления) абстрактного мышления.

Предмет логики – законы, формы, приемы и операции абстрактного мышления.

 

Особенности абстрактного мышления:

1) Мышление отражает действительность в обобщенных образах

2) Мышление – процесс опосредствованного отражения действительности

3) Мышление неразрывно связано с языком

4) Мышление – процесс активного отражения действительности

 

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

Формы мышления:

1) Понятие («юридический)

2) Суждение («обвиняемый имеет право на защиту»)

3) Умозаключение

Логическая структура и конкретное содержание мысли.

Мысль – результат процесса познания в форме понятия или суждения.

Структура мысли: предметS(субъект)-признакP(предикат);

 

Язык – знаковая система, предназначенная для фиксации, хранения, переработки и передачи информации.

Различают:

· Естественные языки (русский, английский и т.д.)

· Искусственные (эсперанто, языки программирования и т.д.)

Всякий язык состоит из знаков. Знак – материальный объект, который для некоторого интерпретатора выступает в качестве представителя какого-то предмета.

 

3 вида знаков:

1) Икона – как фотография – объект, главным образом, в силу сходства с ним

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

3) Символы – конвенциональный знак, используемый в результате неявного (иногда явного) соглашения между людьми; присуще только человеку

 

Функции языка:

1. Описательная

2. Оценочная

3. Коммуникативная

 

Язык логики высказываний

Язык логики предикатов

 

Тема 2. Понятие

 

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

Понятие «яблоко» отражает существенные признаки всех яблок, но не входят такие признаки, как «красное» или «желтое».

 

Тема 3. Логические операции с понятиями.

1) Обобщение и ограничение понятий

2) Определение понятий

3) Деление понятий

 

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

 

Обобщить понятие – значит, перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием (человек -> животное)

Обобщение понятие не может быть беспредельным. Пределом обобщения понятий являются категории: материя, сознание и т.д.

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

(криминология – юридическая наука, прокуратура – правоохранительный орган и т.д.)

 

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

Пределом ограничения понятия является единичное понятие (содержащее 1 признак).

 

Основу операций обобщения и ограничения понятий составляет закон обратного соотношения между содержанием и объемом понятия.

 

Обобщение и ограничение понятий не следует смешивать с:

1) Мысленным переходом от части к целому

2) Выделением части из целого

3) Переходом в другой род (коса и коса)

4) Мнимым ограничением (очень маленький)

 

При ограничении (обобщении) мы переходим от рода к виду (от вида к роду).

· Вид всегда обладает всеми признаками рода, видовое понятие включает в свое содержание все признаки родового понятия + видовой признак

· Часть предмета – составляющая целого предмета, которая не обладает всеми признаками целого

· Честь предмета является физической частью целого предмета, а вид – логической частью более общего понятия.

 

Обобщение – движение к более общему знанию, ограничение – к более конкретному.

 

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

 

Суждение, раскрывающее содержание понятия, называют дефиницией.

 

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

Dfd – определяемое.

 

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

Dfn – определяющее.

 

Кража (Dfd) – тайное хищение чужого имущества (Dfn)

В логике определяемое должно быть равно определяющему.

По целям:

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

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

По форме:

· явные – раскрывают существенные признаки предмета. Наиболее распространенным видом явных определений является определение через род и идовое отличие, и его разновидность – генетическое определение. Состоит из 2 понятий: определяемого и определяющего, а сама операция включает в себя два приема:

ü подведение определяемого понятия, под более широкое по объему родовое понятие (род)

ü указание видового отличия, т.е. признака, отличающего определяемый предмет (вид этого рода) от других видов, входящих в данный род.

Определение через род и видовое отличие выражается символически: А=Bc (А – определяемое; Вс – определяющее понятие (В – род, С – видовое отличие) или Dfd = Dfn, где = - знак эквивалентности)

 

· неявные:

– определения через отношение к своей противоположности («Свобода – есть осознанная необходимость»)

– в контекстуальном определении содержание понятия раскрывается в относительно самостоятельном по смыслу отрывке письменной или устной речи (контексте)

 

Остенсивное определение – устанавливающее значение термина путем демонстрации предмета, обозначаемого этим термином.

В ряде случаев используются приемы, заменяющие определения:

ü Сравнение

ü Описание

ü Характеристика

ü Указание

 

Указание – словесное сопровождение непосредственно воспринимаемой вещи (явления, процесса), на которую указывают пальцем.

В логике это прием называют «остенсивное определение», т.е. буквально – указание пальцем.

 

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

 

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

 

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

 

Определение должно быть не только истинным по содержанию, но и правильным по своему строению, по форме.

Правила определения:

1) Определение должно быть соразмерным (слишком узкое, слишком широкое, перекрещивающееся)

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

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

4) Определение не должно быть отрицательным

 

Значение определения:

 

Деление – логическая операция, раскрывающая объем понятия.

А – делимое понятие – объем, которого следует раскрыть, В, С, D – члены деления – соподчиненные вида, на которое делится понятие.

Основание деления – признак, по которому производится деление

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

Делимое рассматриваются как родовое понятие.

 

Виды:

Деление по видоизменению признака

 

Дихотомическое деление

 

Классификация

 

Правила деления:

1) Правила соразмерности

2) Правило одного основания

3) Правило исключения

4) Правило непрерывности

 

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

 

Дихотомическое деление – деление, при котором объем данного понятия делится на 2 вида по наличию или отсутствию некоторого признака.

 

Классификация – распределение предметов по группам (классам), при котором каждый класс имеет свое постоянное, определенное место.

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

 

Тема 3-4. Виды простых суждений. Модальность суждений.

План

1) Суждения и их виды

2) Простые суждения и их виды

3) Распределенность терминов в суждениях

4) Логические отношения между простыми суждениями

5) Классификация суждений

 

Согласно Аристотелю, суждение есть синтез представлений.

 

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

 

Суждение – это форма мышления, в которой утверждается или отрицается связь меду предметом и его признаком, отношения между предметами или факт существования предметов (Кириллов, Старченко)

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

1) Простые – суждения, выражающие связь двух понятий

2) Сложные – суждения, состоящие из нескольких простых суждений

 

Простые суждения:

· Истинное – если то, о чем говорится в суждении, соответствует действительному положению вещей

· Ложное – если то, о чем говорится в суждении, НЕ соответствует действительному положению вещей.

 

Суждения выражаются:

· Повествовательными предложениями, которые содержат в себе сообщение, какую-либо информацию.

· Вопросительно-риторическими предложениями, т.е. наличие риторического вопроса

 

Суждения НЕ выражаются:

· Вопросительными (ничего не отрицают, не утверждают)

· Побудительными (выражают волеизъявление)

 

 

Виды простых суждений:

1) Атрибутивные – вид простого суждения, в котором утверждают или отрицают принадлежность предмету определенных признаков.

Состоит из:

· S – субъект – логическое подлежащее – понятие, отражающее предмет, на который направлено действие (предмет мысли)

· P – предикат – логическое сказуемое – понятие, которое отражает присущий или не присущий предмету мысли признак

· «–» - связка (качество суждений) – отношение между субъектом и предикатом, между «S» и «P» (выражается в русском языке словами «есть» - «не есть», «суть» - «не суть»)

· Квантор (общности или частности)

Записывается формулой: S – P (Россия – суверенное государство)

 

Виды атрибутивных суждений:

· Простое со сложным субъектом – S (S1,S2,S3) – P (Права авторов, рационализаторов и изобретателей охраняются государством)

· Простое со сложным предикатом – S – P (P1,P2,P3) (Никто не может быть подвергнут произвольному аресту, задержанию или изгнанию)

· Простое со сложным субъектом и предикатом – S (S1,S2) – P (P1,P2,P3) (Мужчина и женщина имеют равные права и свободы и равные возможности их реализации)

 

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

Состоит из:

· х

· у

· R – отношения между членами суждения

Записывается: xRy (x находится в отношении R к у) – А больше В; Казань восточнее Москвы.

 

3) Экзистенциональные – суждение существования – вид простого суждения, в котором утверждается или отрицается факт существования предметов в действительности.

Записывается: (квантор существования)х

 

Классификация суждений

Атрибутивные суждения

· По качеству:

ü утвердительные (суждение, выражающее принадлежность предмету некоторого признака – S есть Р; если предикат придается субъекту)

ü отрицательные (суждение, выражающее отсутствие у предмета некоторого признака – S не есть Р; если предикат отнимается от субъекта)

· По количеству (в работе Аристотеля «Об истолковании»):

ü Единичные – суждения, в которых что-либо утверждается или отрицается об одном предмете. «Это S есть P» «Это S не есть P»

ü Частные – суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класс «Некоторые S есть P и @Некоторые S не есть Р»

ü Общие – суждения, в которых что-либо утверждается или отрицается обо всех предметов некоторого класса «Все S есть Р» «Ни одного s не есть Р»

Объединенная классификация суждений:

· А – Общеутвердительные (Все S есть P)

· I – Частноутвердительные (некоторые S есть P)

· E – Частноотрицательные (некоторые S не есть P)

· O – Общеотрицательные (ни одно S не есть P)

 

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

Общее выделяющее – все S, и только S, есть P

Единичное выделяющее – S, и только S, есть P

Частное выделяющее – Некоторые S, и только S, есть Р

 

Исключающие суждения – суждения, которые указываю на принадлежность (непринадлежность) признаков всем предметам, за исключением некоторых

 

Единичные суждения рассматриваются как общие суждения!

 

Распределенность терминов в суждениях

Термин считается нераспределенным, если он взят в части объема   S P P’ A + - + …  

Логические отношения между простыми суждениями.

3 вида совместимости:

· Эквивалентность

· Частичная совместимость

· Подчинение

 

2 вида несовместимости:

· Противоположность

· Противоречие

 

Модальность суждений

Основную Дополнительную Основная информация находит выражение в: