Похожие презентации:
Элементы логики
1.
Элементы логики(для курса по философии)
Юрий Вячеславович Нечитайлов
malospb
ИТМО, 8 сентября 2022
2.
Что называют логикой3.
Логика подводитк очевидному
Пример:
• Монетка падает на орёл или решку.
• Монетка не упала на орёл.
Значит…
4.
Логика подводитк очевидному
Пример:
• Монетка падает на орёл или решку.
• Монетка не упала на орёл.
Значит…
• Монетка упала не решку.
5.
Где обитает логика6.
Закройте глаза7.
Представьте«Черный квадрат»
8.
Какдумаете,
где он
находится?
9.
«Он» №1 — сама вещь10.
«Он» №2 — «отпечаток» вещи11.
«Он» №3 — образ12.
«Он» №4 — осознаваемое (нечто)13.
Мысль о «мире вещей»14.
Мысль о «мире вещей»15.
Мысль о «мире образов»16.
Мысль о «мире идей»17.
Факт №1. Нечто — не вещь18.
Пример:несколько
вещей,
одно нечто
19.
Пример:одна вещь,
несколько
нечто
20.
Пример:вещь
и другое
нечто
21.
Факт №2. Нечто — не образ22.
Пример:нечто
без образа
23.
Факт №3. Вещь — не образ24.
Пример: одна вещь и несколько образов25.
Внимание на вещи26.
Внимание на образе27.
Внимание на нечто28.
Дальше только с нечто29.
Как познаётся нечто30.
Нечтораскрывается
умозрением
31.
Нечтораскрывается
поэтапно
32.
Нечто раскрывается признаками33.
Признаки зависят от контекста34.
Признаки зависят от контекста35.
Признаки зависят от контекста36.
Признаки зависят от контекста37.
Признаки зависят от контекста38.
Контекст39.
Контекст40.
Контекст41.
Контекст42.
Существенные признаки43.
Одни признаки — одно нечто?44.
Бритва Оккама45.
Какая суперсила позволит узнать,что это нечто — всё ещё то же самое?
46.
Какая суперсила позволит узнать,что это нечто — всё ещё то же самое?
Супер-видение
Предвидит любую ситуацию
Предвидит любое другое нечто
Работает с бесконечным набором
признаков
47.
Проверка на «то же самость»48.
Проверка на «то же самость»49.
Варианты познания «нечто»50.
Пример:синглтон
51.
Варианты познания «нечто»52.
Пример:объект
53.
Объектная модель, как основа54.
Варианты познания «нечто»55.
Пример:объект
и предмет
56.
Пример: объекти предмет
57.
Пример:объект
и предмет
58.
Пример:объект
и предмет
59.
Пример: объекти предмет
60.
Пример: объекти предмет
61.
Предметная модель, как основа62.
Постижениепредмета
63.
Через выявление признаков64.
Иногданеоднозначное
65.
И ничемнеограниченное
66.
Разбивается на этапы67.
Критерии логикии их реализация
68.
Критерии и их реализация69.
Критерии и их реализация70.
Критерии и их реализация71.
Критерии и их реализация72.
Формальность73.
Недостаткиестественного языка
1. Избыточность:
• встречаются бессодержательные
словосочетания;
• одна и та же мысль может быть
выражена различными способами.
2. Недостаточность:
• омонимия (многозначность отдельных
слов);
• эллиптичность (пропуски слов и частей
предложения).
74.
Перевод на формальный язык1. Устраняет избыточность:
• оставляются лишь содержательно значимые куски;
• выбирается единый способ выражения мысли.
2. Устраняет недостаточность:
• омонимия исключается введением вспомогательных терминов
для выражения различающихся смыслов;
• эллиптичность исключается реконструкцией соответствующих
частей речи.
75.
Расплатаза формальность
Язык теряет естественный
[привычный] вид (структуру),
и порой начинает звучать как
язык Йоды.
76.
Результатпостижения
предмета
на определённом
этапе
фиксируется
в форме понятий
77.
Содержание понятияС результатом постижения предмета
на определённом этапе связывается
конечный набор признаков,
который формирует содержание понятия.
78.
Объём понятияПредметы мысли, которые раскрываются
через совокупность видовых по отношению
к нему понятий, составляют его объём.
79.
80.
Система понятий81.
Система понятий82.
Система понятий83.
Система понятий84.
Система понятий85.
Система понятий• позволяет выявить те предметы, которые мы
готовы помыслить,
• задать структуру содержательного фундамента
языка (например, в виде интеллект-карт),
• фиксировать структуру различных предметных
областей.
86.
Истинность87.
ВысказываниеВысказывание – это одна из основных форм
мышления, в которой что-то утверждается
или отрицается относительно существования
предметов, их свойств или отношений между
ними.
88.
Множество высказываний• позволяет задействовать систему понятий,
в качестве инструмента для описания состояния
дел в различных предметных областях.
• позволяет оценивать совместимость
различающихся взглядов,
• позволяет выявлять причины несовместимости.
89.
Совместимость[по истинности]
Множество высказываний
совместимо, если есть
хотя бы одна интерпретация
при которой каждое
из этих высказываний
становится истинным.
90.
Несовместимость –злейший враг
логической связности!
91.
Примеры:совместимые высказывания
Некоторые млекопитающие являются китами.
Некоторые млекопитающие не являются китами.
Некоторые птицы являются пингвинами.
Все часы являются артефактами.
Задуманное число делится на пять.
Задуманное число делится на семь.
92.
Примеры:несовместимые высказывания
Все млекопитающие являются китами.
Ни одно млекопитающее не являются китом.
Некоторые птицы являются пингвинами.
Ни один пингвин не является птицей.
Задуманное число делится на шесть.
Задуманное число является нечётным.
93.
Логическоеследование
Высказывание логически
следует из множества
других высказываний,
если и только если
нет ни одной такой
интерпретации при которой
первое высказывание было
бы ложным в то время,
как каждое высказывание
из множества других –
истинным.
94.
Примеры:логическое следование
Некоторые млекопитающие являются китами.
Следовательно: некоторые киты являются млекопитающими.
Все часы являются артефактами.
Следовательно: некоторые артефакты являются часами.
Задуманное число делится на пятнадцать.
Следовательно: задуманное число делится на три.
95.
ПротиворечиеПара высказываний
находится в отношении
противоречия, если нет ни
одной интерпретации при
которой они сразу оба
становятся истинными, как
нет ни одной при которой
они сразу оба становятся
ложными.
96.
Примеры: противоречиеНекоторые млекопитающие являются китами.
Ни одно млекопитающее не является китом.
Все часы являются артефактами.
Некоторые часы не являются артефактами.
Задуманное целое число является чётным.
Задуманное целое число является нечётным.
97.
Законы[применения]
логики
98.
Закон тождества(фиксированность)
Любое изменение
первоначально заданного
смысла понятий
и значения высказываний
запрещено в рамках одного
рассуждения (дебатов,
выступления, статьи и т. п.).
99.
Законнепротиворечия
(консенсус)
В рассуждениях нельзя
использовать несовместимые
высказывания.
Из пары несовместимых
высказываний максимум
одно может быть принято
в рамках общего дискурса.
100.
Законисключённого
третьего
(бинарность)
Из пары противоречивых
высказываний ровно одно
должно быть принято
в рамках общего дискурса.
Как следствие, каждому
высказыванию нужно либо
приписать значение истина,
либо приписать значение
ложь.
101.
Критерии и их реализация102.
Дополнительные материалыв Мастерской логики
malospb
Юрий Нечитайлов
ИТМО, 8 сентября 2022