История логики презентация

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

нормах правильного мышления.

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

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

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

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

Протагор

своих рогов.
Поэтому ты рогат.

РОГАТЫЙ-2

СИДЯЩИЙ

ЗНАЕШЬ
ЛИ ТЫ?

своих рогов.
Поэтому
ТЫ РОГАТ.

Все, что принадлежит
вещи, которая твоя,
тоже твое. Эта корова
твоя. У нее есть рога.
Поэтому
У ТЕБЯ ЕСТЬ РОГА.

СИДЯЩИЙ

ЗНАЕШЬ
ЛИ ТЫ?

своих рогов.
Поэтому
ТЫ РОГАТ.

Все, что принадлежит
вещи, которая твоя,
тоже твое. Эта корова
твоя. У нее есть рога.
Поэтому
У ТЕБЯ ЕСТЬ РОГА.

Сидящий встал.
Кто встал, тот стоит.
Поэтому
сидящий стоит.

ЗНАЕШЬ
ЛИ ТЫ?

своих рогов.
Поэтому
ТЫ РОГАТ.

Все, что принадлежит
вещи, которая твоя,
тоже твое. Эта корова
твоя. У нее есть рога.
Поэтому
У ТЕБЯ ЕСТЬ РОГА.

Сидящий встал.
Кто встал, тот стоит.
Поэтому
сидящий стоит.

Знаешь ли ты, о чем
я хочу тебя спросить?
– Нет. – Разве ты не
знаешь, что лгать
нехорошо? – Знаю. –
Так вот об этом я
и хотел тебя спросить,
а ты сказал, что не
знаешь. Выходит, ты
не знаешь того,
что знаешь.

проходит
через твой рот.

ПОКРЫТЫЙ

ОГРАБЛЕНИЕ

ВОПРОСЫ
КАРЛСОНА

проходит
через твой рот.

Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)

ОГРАБЛЕНИЕ

ВОПРОСЫ
КАРЛСОНА

проходит
через твой рот.

Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)

Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.

ВОПРОСЫ
КАРЛСОНА

проходит
через твой рот.

Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)

Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.

Давно ли ты
перестала пить
коньяк по утрам?

проходит
через твой рот.

Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)

Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.

Давно ли ты
вышел
из тюрьмы?

проходит
через твой рот.

Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)

Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.

СОФИЗМ
«ДВИЖЕНИЕ»

проходит
через твой рот.

Брат накинул на себя
покрывало и подошел
к сестре. Она
одновременно
знает его (как своего
брата) и не знает его
(так как не знает,
кто под покрывалом)

Риск –
благородное дело.
Ограбить банк – риск.
Поэтому
ограбить банк –
благородное дело.

Движение вечно.
Хождение в институт
– движение. Поэтому
хождение в институт
вечно.

(разработка и идей Аристотеля, теория парадоксов)
«Логика открытия» Нового времени (индуктивный метод Фр. Бэкона)
Философская логика немецкой классической философии, попытка объяснить природу логического знания (формальная логика как оборотная сторона теории познания – теория Канта, а также диалектическая, содержательная логика Гегеля).

логики. Основные идеи:
Рассуждения, утверждения могут и должны проверяться по образцу математических вычислений. Проект полной формализации знания.
Надо создать единый универсальный язык, где может быть однозначным образом выражена любая информация о мире.

находил отклик
у многих «формалистов». Однако, в
1931 г. Курт Гедель доказал свою
знаменитую теорему, согласно
которой в любой формальной системе,
содержащей элементарную
арифметику (утверждения о числах),
всегда можно придумать
предложение, которое будет заведомо
истинным, но в принципе
недоказуемым средствами этой
системы. Формализация знания
(полная) невозможна в принципе!

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

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

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