Логика – ЛЕКЦИИ + ДОП ИЗ УЧЕБНИКА

(пока особо не правила)

Пропущенных лекций: 1 – за 7.12

Василий Олегович Шангин

По формальной части. 2 книги – практикум по логике и логика для юристов. Основные источники по мимо лекций по логике.

3 темы, которые являются самыми сложными –

1. Таблицы истинности

2. Силлогизм (знать обязательно)

3. Отношения между понятиями (круги эллера)

Символ – (кочерга) – - ­­­­­¬ ¬A истинно тогда и только тогда, когда A ложно.

Отработок нет, консультации – по shangin@philos.msu.ru

Предмет логики, история логики.

Как мы понимаем тему логика?

Если я вода достигает 100 градусов, она кипит. Логично.

Если студент проснется за минуту до пары, то он на нее не придет. В целом логично.

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

Логика от слова логос (слово) – logos . Древнегреческое слово – отец логики Аристотель.

История логики – учебник для общего развития.

Логика 2 этапа. 1 этап – от Аристотеля до начала 20 века – классический этап. 2 этап – неклассический. Мы в основном будем изучать классический этап.

Первая логическая теория. Силлогистика. В более современном виде будем рассматривать.

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

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

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

Логические термины (используются при выявлении лог формы)

1. Связки (союзы) – и, но, а и так далее – свойство соединять, поэтому соединительные связки (конъюнкция) – &

Или, либо… - разделительное (дизъюнкция) – V

Или- или – строго разделительное - ⊻

Если то, следовательно, потому что, так как – условия, импликация - ⊃

Если и только если - равнозначные, эквивалентные - ≡

Неверное что, ложно что – отрицательное, негативное - ⎤

Связка глагол

Есть, суть – утвердительная

Не суть, не есть – отрицательная

2. Кванторы – количественные слова

Все, каждый, никто, ни один – кванторы общности

Некоторые, большинство, меньшинство – кванторы существования

Все произведения Льва Николаевича Толстого нельзя прочитать за 1 день (истина – потому что и 90 томов). Каждое произведение Толстого нельзя прочитать за 1 день (ложно, Филипок – можно прочитать за 1 день)

Некоторые в обычной жизни только как некоторые. В логике некоторые понимается как хотя бы 1, а если только некоторые, то только некоторые.

Москва столица СССР и я учусь в МГУ. Я подошел к двери и открыл дверь.

2 Лекция – 14.09.2019

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

- предложение

Повествовательные в основном будем использовать – A B C (с них начинается предложение) A1 и т.д.

- части предложения

1. Имена (имя) – единичные и общие (в зависимости от значения)

2. Выделение классов, которые означают свойство или отношение – предикатор (св-во – это то, чем предметы отличны друг от друга)

Св-во – высокий, хороший, студент и т.д. Отношение – выше, лучше, хуже и т.д.

Единичные имена – маленькими буквами a, b, c

Свойства и отношения – большими из середины алфавита – S, P, Q, S

Квантор общности

Все студенты - отличники.  Все студенты (S) - (глагол связка) отличники (P).

• Все S есть/являются P.

Все студенты – отличники и (конъюкция) некоторые (кв сущности) из них не сдают логику (R) Все S есть/являются P & нек. S ни есть R.

2 способа выявления логической формы

- без учета внутр структуры простых высказываний

- с учетом -//-

По первому способу наше предложение – A & B (просто куски предложения обозначали буквами)

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

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

Неверно, что все S есть P.

Все S есть P V не все S есть P. – вернемся потом

Все S есть S. –вот пример логического закона

Некоторые S есть S – тоже верно

Третьего не дано – A или не А – A V ⎤A

Закон отрицания отрицания – это не ошибка

Если, неверно, что неверно А, то А. - ⎤⎤A⊃A.

Неверно, что А и не А. - ⎤(A & ⎤A)

Метод Контрпримера – это пример, которые показывает отсутствие логич следования. (показывает, что рассуждение неправильное)

Умозаключение (простейшее рассуждение)

______ - будет заменять нам слова (значит, следовательно)

над этой линией исходное знание – посылки

Пафос логики  из истинного знания мы не хотим получать ложные знания

Контрпример  из истинных посылок мы получаем ложное знание

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



Метод контрпримера

– верхняя строчка истинная, нижняя тоже истинная.

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

Никто не спорит, что Сократ человек и что он смертен, но не из-за того, что он смертен он человек.

А вот контрпример – Все стены светлые, моя тетрадь светлая, значит тетрадь – это стена.

-

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

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

(Учебник смотреть на эту тему.)