ИСТОРИЯ ЛОГИКИ
ИСТОРИЯ ЛОГИКИ
Апория Зенона Элейского «Ахиллес и черепаха»
ИСТОРИЯ ЛОГИКИ
ИСТОРИЯ ЛОГИКИ
ИСТОРИЯ ЛОГИКИ
ИСТОРИЯ ЛОГИКИ
ПРОЕКТ-ПРОВИДЕНИЕ ЛЕЙБНИЦА
КРАХ ПРОГРАММЫ ФОРМАЛИЗАЦИИ
РЕВОЛЮЦИЯ В ЛОГИКЕ на рубеже ХХ века
ОСНОВНЫЕ РАЗДЕЛЫ ЛОГИКИ
ЗНАЧЕНИЕ ЛОГИКИ
0.98M
Категория: ФилософияФилософия

История логики. Логика как систематическая наука возникла в IV в. до н.э. в рамках древнегреческой философии

1. ИСТОРИЯ ЛОГИКИ

Логика как
систематическая
наука возникла
в IV в. до н.э. в рамках
древнегреческой
философии.
Ее создателем
был великий
философ и ученый
Аристотель
(384 – 322 до н.э.)

2. ИСТОРИЯ ЛОГИКИ

Существовали объективные предпосылки для
рождения новой науки – учения о нормах
правильного мышления.
1. Математическая практика (осуществление различного рода
математических доказательств). Появлялись различные
типы доказательств (например, от противного). Возникала
необходимость их обоснования.
2. Общественно-политическая практика (судебное и
политическое красноречие), широкое распространение
интеллектуальных споров. Стало необходимым
осуществлять обоснование мыслей. Требовал ответа
вопрос: «Что считать доказанным?»
3. Высокая степень разработанности собственно
философского знания. Необходимо было создание
инструмента философских исследований.

3. Апория Зенона Элейского «Ахиллес и черепаха»

Зенон Элейский
(ок. 490-430 до н.э.)

4. ИСТОРИЯ ЛОГИКИ

Большую роль в возникновении логики
сыграли софисты
1. Целью софистов, платных преподавателей ораторского
искусства, было во чтобы то ни стало добиться победы в
споре, а для этого – сбить собеседника с толку,
продемонстрировать собственное превосходство в
«интеллектуальном» и «риторическом» мастерстве ведения
дискуссии. Софисты одинаково убедительно могли
аргументировать и «за» и «против», могли доказать
некоторое утверждение А и утверждение «Неверно, что А»
одновременно. Самыми знаменитыми была так называемые
старшие софисты: Протагор (490-420), Горгий (480-380),
Продик.

5. ИСТОРИЯ ЛОГИКИ

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

6. ИСТОРИЯ ЛОГИКИ

Большую роль в возникновении логики
сыграли софисты
5. Софизмы прямо ставили вопрос о
необходимости построения строгой
логической теории. Явно ставилась
проблема доказательства. Нарушая
еще не открытые законы логики,
софисты подвели древнегреческую
мысль к их формулированию.
Логика возникла еще и как
теоретическое оправдание здравого
смысла, интуитивного понятия
доказательства.
Протагор

7.

СОФИЗМЫ
РОГАТЫЙ
РОГАТЫЙ-2
СИДЯЩИЙ
ЗНАЕШЬ
ЛИ ТЫ?

8.

СОФИЗМЫ
То, что ты не потерял,
у тебя есть. Ты не
терял своих рогов.
Поэтому ты рогат.
РОГАТЫЙ-2
СИДЯЩИЙ
ЗНАЕШЬ
ЛИ ТЫ?

9.

СОФИЗМЫ
То, что ты не потерял,
у тебя есть. Ты не
терял своих рогов.
Поэтому
ТЫ РОГАТ.
Все, что принадлежит
вещи, которая твоя,
тоже твое. Эта корова
твоя. У нее есть рога.
Поэтому
У ТЕБЯ ЕСТЬ РОГА.
СИДЯЩИЙ
ЗНАЕШЬ
ЛИ ТЫ?

10.

СОФИЗМЫ
То, что ты не потерял,
у тебя есть. Ты не
терял своих рогов.
Поэтому
ТЫ РОГАТ.
Все, что принадлежит
вещи, которая твоя,
тоже твое. Эта корова
твоя. У нее есть рога.
Поэтому
У ТЕБЯ ЕСТЬ РОГА.
Сидящий встал.
Кто встал, тот стоит.
Поэтому
сидящий стоит.
ЗНАЕШЬ
ЛИ ТЫ?

11.

СОФИЗМЫ
То, что ты не потерял,
у тебя есть. Ты не
терял своих рогов.
Поэтому
ТЫ РОГАТ.
Все, что принадлежит
вещи, которая твоя,
тоже твое. Эта корова
твоя. У нее есть рога.
Поэтому
У ТЕБЯ ЕСТЬ РОГА.
Сидящий встал.
Кто встал, тот стоит.
Поэтому
сидящий стоит.
Знаешь ли ты, о чем
я хочу тебя спросить?
– Нет. – Разве ты не
знаешь, что лгать
нехорошо? – Знаю. –
Так вот об этом я
и хотел тебя спросить,
а ты сказал, что не
знаешь. Выходит, ты
не знаешь того,
что знаешь.

12.

СОФИЗМЫ
ТЕЛЕГА
ОГРАБЛЕНИЕ
ПОКРЫТЫЙ
ВОПРОСЫ
КАРЛСОНА

13.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
ПОКРЫТЫЙ
ОГРАБЛЕНИЕ
ВОПРОСЫ
КАРЛСОНА

14.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)
ОГРАБЛЕНИЕ
ВОПРОСЫ
КАРЛСОНА

15.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)
Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.
ВОПРОСЫ
КАРЛСОНА

16.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)
Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.
Давно ли ты
перестала пить
коньяк по утрам?

17.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)
Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.
Давно ли ты
вышел
из тюрьмы?

18.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)
Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.
СОФИЗМ
«ДВИЖЕНИЕ»

19.

СОФИЗМЫ
Все, что ты говоришь,
проходит через твой
рот. Ты говоришь:
«телега». Поэтому
телега проходит
через твой рот.
Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)
Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.
Движение вечно.
Хождение в институт
– движение. Поэтому
хождение в институт
вечно.

20.

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

21. ИСТОРИЯ ЛОГИКИ

СУЩЕСТВЕННЫЕ ВЕХИ ДАЛЬНЕЙШЕЙ ИСТОРИИ ЛОГИКИ
1. Стоицизм (зачатки будущей логики
высказываний)
2. Средневековая логика (разработка и
идей Аристотеля, теория парадоксов)
3. «Логика открытия» Нового времени
(индуктивный метод Фр. Бэкона)
4. Философская логика немецкой
классической философии, попытка
объяснить природу логического знания
(формальная логика как оборотная
сторона теории познания – теория
Канта, а также диалектическая,
содержательная логика Гегеля).

22. ПРОЕКТ-ПРОВИДЕНИЕ ЛЕЙБНИЦА

ИСТОРИЯ ЛОГИКИ
ПРОЕКТ-ПРОВИДЕНИЕ ЛЕЙБНИЦА
С Лейбница берет начало
математизация логики.
Основные идеи:
1. Рассуждения,
утверждения
могут и должны проверяться
по образцу математических
вычислений. Проект полной
формализации знания.
2. Надо
создать
единый
универсальный язык, где
может быть однозначным
образом выражена любая
Г.В. Лейбниц (1646 – 1716)
информация о мире.

23. КРАХ ПРОГРАММЫ ФОРМАЛИЗАЦИИ

ИСТОРИЯ ЛОГИКИ
КРАХ ПРОГРАММЫ ФОРМАЛИЗАЦИИ
Курт Гедель
(1906 – 1978)
Проект Лейбница был весьма
фундаментальным, и находил отклик
у многих «формалистов». Однако, в
1931 г. Курт Гедель доказал свою
знаменитую теорему, согласно
которой в любой формальной системе,
содержащей элементарную
арифметику (утверждения о числах),
всегда можно придумать
предложение, которое будет заведомо
истинным, но в принципе
недоказуемым средствами этой
системы. Формализация знания
(полная) невозможна в принципе!

24.

«ТЕОЛОГИЧЕСКИЕ СЛЕДСТВИЯ»
ИЗ ТЕОРЕМ ГЕДЕЛЯ
Математика
непротиворечива!
Герман Вейль
Возможно…
Только доказать
это не можешь даже Ты.

25. РЕВОЛЮЦИЯ В ЛОГИКЕ на рубеже ХХ века

ИСТОРИЯ ЛОГИКИ
РЕВОЛЮЦИЯ В ЛОГИКЕ на рубеже ХХ века
1. Логикой вплотную занялись математики, внедрив в
определенные разделы логики точные методы проверки,
математический аппарат. Замысел Лейбница в этой своей части
окончательно воплотился в жизнь («математизация»).
2. В рамках строгих теорий (например, теории множеств) были
обнаружены парадоксы. Это потрясло логико-математический
мир. Их осмысление дало ценные результаты в области
философии математики.
3. Появились «неклассические логики» – логики, отрицающие те
или иные постулаты классической логики (двузначность,
экстенсиональность и т.д.), например, трехзначная,
интуиционистская, модальная (использующая логические
союзы «необходимо, что», «запрещено, чтобы» и т.д.).

26. ОСНОВНЫЕ РАЗДЕЛЫ ЛОГИКИ

1. Теория дедукции (рассуждений, в которых между
посылками и заключением существует отношение
логического следования, то есть в которых истинность
посылок гарантирует истинность заключения).
2. Логическая семиотика (логическое учение о языке).
3. Логическая методология (анализ форм и приемов
познавательной деятельности, кроме рассуждений: понятий,
определений, классификаций, принципов научного спора и т.д.)
4. Теория правдоподобных рассуждений (тех, в которых
истинность заключения не гарантирована истинностью
посылок, а лишь вероятна) – индукции, аналогии,
статистических умозаключений, поиска причинных связей.

27. ЗНАЧЕНИЕ ЛОГИКИ

1. Логика дает человеку способность обосновывать,
возможность корректно доказывать и успешно убеждать.
Логика выводит рассуждения на уровень строгой теории.
2. Логика указывает на ошибки в мыслительной деятельности.
3. Она помогает в ряде случаев прояснить «логическую»
интуицию здравого смысла (ср.: мы правильно говорим и
пишем, но не отказываемся от грамматики).
4. Логика формирует культуру мышления (четкость,
последовательность, доказательность рассуждения; усиление
эффективности и убедительности речи; формирование
умения выделять главное, ясность и трезвость мысли).
Логика повышает интеллектуальный потенциал человека в
целом. Она воспитывает дисциплину и строгость мышления
и обращения с языком.
English     Русский Правила