900igr.net
900igr.net
Аристотель.
«Метафизика».
Истина –
центральная категория гносеологии;
в традиции, восходящей к Аристотелю,
означает соответствие
субъективных когнитивных актов:
ощущений, представлений, понятий,
суждений, умозаключений, теорий и т.п., –
объективной действительности.
дядька
В Москве
дождь
A V (~A)
Из двух
противоположных
высказываний об
одном и том же предмете
одно непременно истинно.
Логические выводы
надёжны лишь при условии,
что все понятия (термины)
в пределах рассуждения
имеют один и тот же смысл.
Закон [запрета]
противоречия
Аристотель.
«Метафизика».
Аристотель.
«Метафизика».
Аристотель.
«Метафизика».
Законы мышления
Закон исключённого третьего
Аристотель.
«Метафизика».
... То, что
сказывается в сути,
есть общее
(а общее есть
необходимое)…
Аристотель.
«Вторая аналитика».
Ни одно S не есть P
(общеотрицательное суждение)
Некоторые S суть P
(частноутвердительное суждение)
Некоторые S не суть P
(частноотрицательное суждение)
(не) есть
S
P
Имена же и глаголы сами по себе подобны мысли без связывания
или разъединения, например «человек» или «белое»; когда
ничего не прибавляется, нет ни ложного, ни истинного, хотя
они и обозначают что-то: ведь и «козлоолень» что-то обозначает,
но ещё не истинно и не ложно, когда не прибавлен [глагол]
«быть» или «не быть» – либо вообще, либо касательно времени.
Общей я называю [посылку] о присущем
всем или не присущем ни одному,
частной – о присущем или не присущем
некоторым или присущем не всем,
неопределённой – о присущем или
не присущем без указания того,
общая ли она или частная, как, например,
<…> удовольствие не есть благо.
Аристотель.
«Первая аналитика».
P
Все
S
Некоторые
S
P
Все
лошади
птицы
Некоторые
лошади
птицы
Все
S
P
Некоторые
S
P
Умозаключение
подчинения
Умозаключение
подчинения
Именно поэтому при обращении общеутвердительного суждения
«Все лошади – животные» получается частноутвердительное
суждение «Некоторые животные – лошади», тогда как общеотрицательное
суждение «Все лошади – не птицы» обращается без ограничения.
Силлогизм
(греч. συλλογισμός) –
разновидность умозаключения,
посредством которого
устанавливается
логическое отношение
между двумя понятиями
на основании их отношения
к некоему третьему понятию.
M
P
S
M
Аристотель. Первая аналитика
Крайние термины занимают
в посылках те же позиции,
что и в выводе.
S
P
Следовательно,
средний термин
M
P
S
M
P
M
S
M
средний
термин
не есть
Аристотель. Первая аналитика
Средний термин
является предикатом
в обеих посылках.
M
P
M
S
средний
термин
есть
Аристотель. Первая аналитика
Средний термин
является субъектом
в обеих посылках.
Все
пианисты
знают
ноты
Все
пианисты
люди
Следовательно,
Некоторые
люди
знают
ноты
Все
пианисты
знают
ноты
Некоторые
люди
пианисты
Некоторые
люди
знают
ноты
средний
термин
связка
Обращение с ограничением
Следовательно,
Сведение обращением (с ограничением)
Модус DARAPTI (3-я фигура) – к модусу DARII
Ни один
студент
МГИМО
не бывал
на Луне
Нил
Армстронг
бывал
на Луне
Следовательно,
Нил
Армстронг
не студент
МГИМО
Никто из
бывавших
на Луне
не студент
МГИМО
Нил
Армстронг
бывал
на Луне
Нил
Армстронг
не студент
МГИМО
Простое (чистое) обращение
Следовательно,
средний
термин
связка
Сведение простым обращением
Модус CESARE (2-я фигура) - к модусу CELARENT
есть
средний термин
связка
связка
связка
связка
связка
Сведение перестановкой посылок
Модус CAMESTRES (2-я фигура) - к модусу CELARENT
Все
птицы
имеют
крылья
Ни одна
кошка
не имеет
крыльев
Следовательно,
Ни одна
кошка
не птица
не имеет
крыльев
Следовательно,
средний
термин
связка
птицы
Ни одна
кошка
Некоторые
крылатые
существа
Ничего из этого не следует,
Сведение перестановкой посылок
Модус CAMESTRES (2-я фигура) - к модусу CELARENT
Сведение перестановкой посылок
Модус CAMESTRES (2-я фигура) - к модусу CELARENT
Сведение перестановкой посылок
Модус CAMESTRES (2-я фигура) - к модусу CELARENT
Все
птицы
имеют
крылья
Ни одна
кошка
не имеет
крыльев
связка
Следовательно,
Ни одна
кошка
не птица
Все
птицы
имеют
крылья
связка
Никто из
имеющих
крылья
не кошка
Перестановка посылок
Никто из
имеющих
крылья
не кошка
Все
птицы
имеют
крылья
Следовательно,
Ни одна
птица
не кошка
Ни одна
кошка
не птица
средний
термин
делятся
на два
Некоторые
числа
не делятся
на два
Следовательно,
Некоторые
числа
не кратны
четырём
средний
термин
связка
Меньшая посылка,
как частноотрицательное суждение,
обращению вообще не подлежит.
Посылки нельзя также поменять
местами, потому что в этом случае
бóльшая посылка опять-таки
окажется частным суждением.
При обращении бóльшей посылки
получим частное суждение, но
в первой фигуре бóльшая посылка
не может быть частным суждением.
Все числа,
кратные
четырём
делятся
на два
Некоторые
числа
не делятся
на два
Следовательно,
Некоторые
числа
не кратны
четырём
Следовательно,
средний
термин
Сведение приведением к нелепости
Модус BAROCO (2-я фигура) - к модусу BARBARA
Бóльшую посылку
оставляем без изменений.
В качестве меньшей посылки берём
суждение, противоречащее выводу.
связка
связка
Все числа
делятся
на два
связка
средний термин
Все числа,
кратные
четырём
кратны
четырём
делятся
на два
Все числа
Получаем вывод,
противоречащий меньшей посылке.
Бóльшую посылку
оставляем без изменений.
В качестве меньшей посылки берём
суждение, противоречащее выводу.
связка
средний термин
связка
связка
связка
связка
Ни один
студент
МГИМО
не бывал
на Луне
Нил
Армстронг
бывал
на Луне
Следовательно,
Нил
Армстронг
не студент
МГИМО
Ни один
студент
МГИМО
не бывал
на Луне
Следовательно,
средний
термин
связка
связка
Нил
Армстронг
студент
МГИМО
связка
Нил
Армстронг
не бывал
на Луне
Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть