Предмет логики. Логическая форма и отношение логического следования

Содержание

Слайд 2

Литература Рекомендуемая литература (основная) Логика: учебник для бакалавров // Отв. ред.

Литература

Рекомендуемая литература
(основная)
Логика: учебник для бакалавров // Отв. ред. А.И. Мигунов, И.Б.

Микиртумов, Б.И. Федоров. М., «Проспект», 2015.
Кобзарь В.И. Логика в вопросах и ответах. «Проспект», М., 2013.
-----------------------------------------
Рэймонд М. Смаллиан. Алиса в стране смекалки. М., 1987.
Упражнения по логике. Ред. Л.Г. Тоноян. «Проспект». М., 2014.
Упражнения по логике. Ред В.И. Кириллов.М., 1993
Ивин А.А. Практическая логика. М., 1996
Слайд 3

Логика Предмет логики. Логическая форма и отношение логического следования.

Логика

Предмет логики.
Логическая форма и отношение логического следования.

Слайд 4

Слайд 5

A → B A B A → B B A ((A → B)∧A)→B

A → B
A
B

A → B
B
A

((A → B)∧A)→B

Слайд 6

«Лишь позже я осознал, что люди его земли любят описывать важнейшие

«Лишь позже я осознал, что люди его земли любят описывать важнейшие

вещи так, будто им неведома просвещающая сила упорядоченного рассуждения»
Умберто Эко Имя розы.
«Симпозиум», Санкт-Петербург, 1998. С.21
Слайд 7

«Все науки имеют между собой нечто общее через общие им начала.

«Все науки имеют между собой нечто общее через общие им начала.

Общими же я называю начала, которыми пользуются для того, чтобы из них вести доказательства, а не то, относительно чего ведётся доказательство, и не то, что доказывается. А диалектика имеет дело со всеми [науками]. И такой же была бы [наука], которая попыталась бы доказать как общее общие всем [начала], как, например, что относительно каждой вещи [истинно] или утверждение, или отрицание, или, что если равное отнять от равного, остаётся равное же, и тому подобное».
Аристотель Вторая аналитика. Гл. 11.
Слайд 8

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

Предмет логики
Логика изучает основные законы, принципы и

правильные формы рассуждения

Слайд 9

Пример из Галилея Зависит ли скорость свободного падения тела от его

Пример из Галилея

Зависит ли скорость
свободного падения тела
от его массы?

m

M

m

M

1

2

3

Слайд 10

Правильная форма рассуждения И И И Л Л Л Л И

Правильная форма рассуждения

И

И

И

Л

Л

Л

Л

И

Слайд 11

Правильная форма рассуждения Правильной называется такая форма рассуждения, следуя которой невозможно

Правильная форма рассуждения

Правильной называется такая форма рассуждения, следуя которой невозможно получить

ложь, если исходить из истинных суждений.

a1,a2,a3,…,an╞ T

T является логическим следствием a1,a2,a3,…,an в том и
только в том случае, если всякий раз, когда a1,a2,a3,…,an
истинны, T – истинно (не может быть ложно).

Отношение выводимости или логического следования

Слайд 12

Я видел портрет – убийца А. Линкольна. Я видел портрет убийцы

Я видел портрет
– убийца А. Линкольна.
Я видел портрет убийцы А.

Линкольна.

Дж. У. Бута.

Дж. У. Бут

кого-то.

Кто-то

a1,a2 T


*

*

John Wilkes Booth

Слайд 13

Все металлы электропроводны. Алюминий электропроводен. Алюминий металл. Все планеты обращаются вокруг

Все металлы электропроводны.
Алюминий электропроводен.
Алюминий металл.

Все планеты обращаются вокруг Солнца.
Земля обращается вокруг

Солнца
Земля – планета.

Коммунисты критикуют мои законопроекты.
Этот человек критикует мои законопроекты.
Этот человек – коммунист.

Гусеницы едят капусту.
Сидоров ест капусту.
?!

Все Р суть М
Все S суть М
Все S суть Р

Слайд 14

«Специфика дурака затрагивает не сферу поведения, а сферу сознания. Дурак начинает

«Специфика дурака затрагивает не сферу поведения, а сферу сознания. Дурак начинает

с того, что собака домашнее животное и лает, и приходит к заключению, что коты тоже лают потому, что коты домашние... Или что все афиняне смертны, все обитатели Пирея смертны, следовательно, все обитатели Пирея афиняне.
- Что верно.
По чистой случайности. Дурак способен прийти к правильному заключению, но ошибочным путем»
У.Эко Маятник Фуко

Пирей – город-порт, входит в состав Больших Афин.

Слайд 15

Все афиняне смертны Все обитатели Пирея смертны Все обитатели Пирея афиняне

Все афиняне смертны
Все обитатели Пирея смертны
Все обитатели Пирея афиняне