Весь конспект логика 2 курс

Логика

Преподаватель: Бочаров А.Б

Лекция 1 (05.09)

Логика — наука/дисциплина о правильном мышлении.

Этимологически слово происходит от древнегреческого слова «logos».

Логика — это наука.

Логика — это предмет или дисциплина. Логика — не искусство.

В подоплёке к занятию чем-либо — талант/способность. Можно научить и научиться.

Искусство* правильно мыслить *сумма приёмов; технология Объект логики:

•Мышление (не сознание и не психика).

Предмет логики:

•Как минимум мышление, как максимум — правильное.

•Мышление это не орган.

•Не представление.

•Не столько память, сколько понимание.

Значимость логики:

• Обретение компетенций: Компетенции => культурные; профессиональные.

Цель диалога — получение информации. Цель беседы — получения удовольствия.

Результат курса:

•Обретение знания и понимания логики, форм мысли, законов и логических операций.

•Овладение или обладание навыком работы с формами мысли.

•Умение мыслить правильно (по законам).

•Умение доказывать истину и опровергать ложь (наличие навыков спора).

Устройство курса:

Заявленный и читаемый курс включает 5 тем:

1.Понятие.

2.Суждение.

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

4.Законы логики.

5.Доказательство и опровержение, включая логику спора. Вывод: Курс соответствует программе и является базовым.

История и становление логики.

Специфика формальной логики и формального подхода (логическая форма, формальная правильность, фактическая истинность и логическая онтология)

1. Возникновение логики связано с античной Грецией. V-lll век до н.э..

Предпосылки:

•Развитие рационального мышления, в частности — абстрактного (геометрия, Евклид).

•Судебная и политическая практика в полисах (риторика).

Отсюда, можно говорить о двух направлениях в античной логике => а) логика, как теория строгого доказательства;

б) логика, как теория аргументации (практическая аргументация + риторика).

Ключевые слова: слово, мысль, закон, учение.

Термин ввёл Зенон. lll век до н.э..

Парминид, V век до н.э. — различие между «истиной» и «мнением». Аристотель — основатель логики, как дисциплины.

У самого Аристотеля термина логика не было. Использовал термин «аналитика» (труды — 1, 2 аналитика.)

Корпус всех логических трудов Аристотеля назывался органон (инструмент). «Логика — инструмент эффективного доказательства»

Заслуга Аристотеля — открытие принципа логической формы: схемы, структуры мыслей, рассуждения.

Все S есть P

Схема. Структура мыслей.

Формулировка Аристотелем законов формальной логики. В состав логики он включил:

•аподиктика (теория необходимых умозаключений);

•диалектика (теория правдоподобных/вероятностных умозаключений);

•эристика (искусство спора, диспута и полемики).

1. Развитие логики в средневековье. V-XV век.

Ранний период.

Северин Боэций — последний римлянин, прославившийся своими переводами с греческого на латинский трактатов Аристотеля; комментариями на его труды. Также, известен своими оригинальными работами о силлогизме.

1.Схоластика. IV-XV век. «схола» — школа, университет.

Акцент в схоластике на умении вести диспуты: умение приводить аргументы [- про и -контра].

2.Развитие логики в Новое Время.

• Фрэнсис Бэкон (1561-1626), истоки индуктивной логики.

«Новый органон» <= трактаты Аристотеля (дедукция).

•Рене Декарт (1596-1650). Работа «Рассуждение о методе» 1637 год.

•Готфрид Лейбниц (1646-1716). Вводит в логику идею исчисления = формализации.

3.Становление современной логики. Середина XIX века - настоящее время.

Индуктивные методы познания (методы установления причинно-следственных связей) углубил и обобщил Джон Стюарт Милль (1806-1873). Работа «Система логики силлогистической и индуктивной».

Развитие современной логики связано с математикой, искусственный язык. Язык символов.

Джорд Буль (1815-1864). Работа «Математический анализ логики» 1847 год. Предложил рассматривать силлогистику Аристотеля, как разновидность алгебраических уравнений.

• Готлиб Фреге (1848-1935). Работа «Исчисление понятий. Язык формул для

чистого мышления, построенный по образцу арифметики» 1878 год. Продолжил тенденцию: рассмотрение арифметики, как части логики.

•Бертран Рассел (1872-1970). Развивая идеи Фреге, предложил рассматривать уже не только арифметику, но и математику как разновидность логики.

•Ян Лукосевич (1878-1956). Является автором-разработчиком трёхзначной логики, где есть: возможно, невозможно, необходимо.

•фон Нейман (1903-1957). Работа «Математические основы квантовой механики» 1938 год.

Вывод: Современная логика носит во многом математический = символический характер.

ВXX веке появляются многочисленные направления неклассической логики

(многозначная, модальная, интуиционистская).

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

Первые логические труды, курсы по логике появились в России (Московия) и относятся к XVll веку. Когда возникает Киево-Могилянская академия (1632 год), сознанная деятельностью и инициативой митрополита Петра Могилы.

В XIX-XX веках, большой вклад в развитие российской логики вносят:

•Платон Сергеевич Порецкий (1846-1907) — автор первого в России учебника по математической логике;

•Николай Сергеевич Васильев. Предложивший трёхзначную логику.

•Сергей Иванович Поварнин (1870-1852). «Искусство спора» и «Как читать книги»

1924 год.

После революции 1917 года логика была исключена из стандартов преподавания. Возобновлена лишь в 1947 году и вошла в курс «Стандарты средней школы». Постановление от 1946 года «О преподавании логики и психологии в средней школе».

Первый учебник логики в СССР был написан В.Ф. Асмусом. По легенде, по приказу И.В. Сталина.

В 1953 году после смерти Сталина, преподавание логики было вновь прекращено.

До распада СССР логика преподавалась лишь на философских факультетах.

Ренессанс логики произошёл в XXI веке.

«Как завоёвывать друзей и оказывать влияние на людей», Дейл Карнеги.

Специфика формальной логики.

1.Формальная логика — абстрактное мышление.

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

3.Высший пилотаж логики — делать правильные выводы.

4.Формальная логика основывается на принципе двузначности: либо истина, либо ложь.

5.Полуистина, полуложь.

6.С точки зрения формальной логики, самой содержательной дисциплиной является философия.

Формальная правильность и фактическая истинность.

«Все эпузы гантируются. Все фемины — эпузы», Ф.М. Достоевский.

Логическая онтология.

Учение о сущем; о том, о чём можно мыслить/думать=рассуждать. Предмет мысли: то, о чём можно думать.

Включает:

•Вещи;

•Свойства;

•Состояния;

•Отношения.

Вывод: В качестве предмета мысли, может быть не только вещь; но и, свойства, состояния, отношения.

То, при помощи чего мы можем опознавать и различать предметы — называется признаком.

Лекция 2 (30.09)

I. Операции над понятиями: а) обобщение; б) ограничение;

в) деление понятий; г) определение понятий.

а) и б) — операции с объёмом и содержанием информации: с их признаками (качеством, количеством).

предел а) — понятие с максимально большим объёмом [абстрактное] => овладение операцией обобщения это научение абстрактному мышлению.

предел б) — конкретное (единичное) понятие, с максимальным количеством признаков [содержанием]

а) и б) — находятся между собой в асимметрии

1.больше объём, меньше содержание;

2.больше содержание, меньше объём.

в) — операция с объёмом [над количеством]; логическая операция, раскрывающая объём понятия путём выделения в нём возможных видов/объектов/разновидностей

множество => классы => подклассы [аналитика: умение выделять и отделять]

структура в):

1.что делим? [делимое понятие];

2.как делим? [основание деления];

3.что получили? [результат деления].

(2.) должны быть вещественными [признаками], а не случайными

имитация — деление целого на части [отношения к логике не имеет]

что верно в отношении вида, то верно в отношении рода; все что верно в отношении части, неверно в отношении целого

правила в):

1.правило соразмерности [между делимым понятия и результатом деления должен быть знак равенства; если нет, возможно, 2 ошибки: слишком узкое деление/слишком широкое деление];

2.члены деления должны исключать друг друга [понятия, получившиеся в результате деления не должны между собой пересекаться];

3.деление должно производиться по одному основанию [признаку], одновременно; 3.1. скачков деления быть не должно.

II.Виды деления:

1.Дихотомическое деление — деление объёма/понятия на два взаимоисключающих подклассов

2.Деление по видообразующему признаку — делимое понятие есть родовое понятие, а все его разновидности соподчинённые виды.

при сложности выполнения операции деления, можно переключиться на классификацию

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

Типы классификаций:

1.Естественная [производится по существенным признакам и даёт информацию об объекте.] Используется в науке.

{наука начинается с классификаций};

2.Искусственная [производится по существенным признакам и никакой информации не несёт]. Пример: распределение фамилий с списке по алфавиту.

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

[операционально, деление опирается на существенные признаки предмета]; Задачи г):

— отделить объект;

— раскрыть сущность (обрести понимание)

Логические моменты структуры определения:

1.Определяемое понятие;

2.Определяющее понятие.

[Формула: А = Б: где: А — определяемое, Б — определяющее]. Аксиома: Понятие А должны быть неизвестным, понятие Б должно быть известным.

Нахождение неизвестного через неизвестное — эффект удвоения неизвестности.

Логическая ошибка [дефицит логического мышления] — нахождение известного через известное.

Дефиниенс — определяющее понятие. Дефиниендум — определяемое понятие.

Виды определений понятий:

1.Вербальные;

1.1.Номинальные — определения, цель которых утончение значения терминов ИЛИ введение нового термина;

1.1.1.Отвечают на вопрос — Что Имеется Ввиду Под Этим Словом?;

1.2.Реальные/Явные— определения, раскрывающие содержания понятий [Явное — Явь];

1.2.1.Явное определение можно представить;

1.2.2.Аксиоматические. Система аксиом;

1.2.3.Контекстуальные (рамочные);

1.2.4.Родо-видовые. Определение через род и видовое отличие. Признак, при помощи которого из данного рода (множества) выделяется некий вид. [Должно иметь структуру: A = B&C (B — род, C — вид);

{Человек[А] — живое существо[В]&признаки+отличия от прочих живых существ[C]}]

2.Невербальные/Остенсивные (прямое указание на предмет. Большинство невербальных понятий мы получаем в детстве.

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

1.Определение должны быть соразмерным [объёмы A&B должны совпадать];

2.Правило запрета круга;

3.Правило неотрицательности [через НЕ определять НЕЛЬЗЯ];

4.Правило ясности [определение должно быть ясным/понятным];

5.Литературные приёмы не являются приёмами определения [нельзя в определении использовать слова в переносном значении; «фигуры речи»]. {где описание, там литература};

6.В качестве разновидности родо-видовых определений можно использовать так же: 1. генетические определения, операциональные определения [разновидность родо-видого;

2.через указание операции обнаруживается определяемый предмет];

3.определение через перечисление [в нём в определяющей части — предметы, входящие в определяемое понятие].

Лекция 3 (28.10)

Суждение. Таблица истинности.

1.«и» — & — конъюнкция;

2.«или» — V — дизъюнкция;

3.«либо, либо» — V [с точкой наверху] — строгая дизъюнкция;

4.«если, то» — -> — импликация;

5.«только и, только тогда, когда» — [три горизонтальных палки] — эквивалентность;

6.«не» — [скобка; обозначение приставки в русском языке] — отрицание.

Кейс (Я люблю Машу или Аню)

(Если я люблю Машу, то люблю Аню)

Вопрос: По таблице истины дать ответ: кого я люблю и люблю ли вообще? Ответ: [люблю] Аню.

Законы логики. Общая характеристика

План лекции:

1.Общая характеристика.

2.Законы: тождества, непротиворечия, исключённого третьего, достаточного основания.

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

Законы логики — сложные суждения, которые во всех строках построенной для него таблицей истинности, принимает значение истинно.

Законы логики = истинное высказывание. ВСЕГДА.

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

Из знаний законов логики не следует их выполнение.

Логические законы применимы исключительно к логическому мышлению.

Логические законы.

1.Закон тождества.[Аристотель]. A = A. Каждая мысль должна оставаться постоянной, тождественной самой себе на протяжении всего рассуждения. Если утверждение истинно, то оно истинно => «Начали с этого, закончили с этого» => «Начал за здравие, закончил за упокой» => Используемые в данном

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

Реализуется в следующих требованиях:

I. Требуется определять используемые понятия. Устанавливать границы; II. Придерживаться данного определения [не отходить от сути]. Суждение обладает:

—Логическая форма. а) Количество.

б) Качество.

—Истинностное значение.

Нарушение закона тождества может идти по: а) понятие; б) суждение. Предназначение закона: Основание постоянства убеждений (взглядов) и этических норм в споре.

Ошибки:

—Амфиболия - двусмысленное высказывание:

—Эквивокация - один термин, но в разных значениях;

—Логомахия - нетоучнение значения термина («Один про Фому, другой про Ерёму»).

2.Закон непротиворечия/запрета на противоречие.

А ≠ «НЕ» А. Высказывание и отрицание не могут быть одновременно