X
Код презентации скопируйте его
Силлогизмы
Скачать эту презентацию
Презентация на тему Силлогизмы
Скачать эту презентациюCлайд 1
СИЛЛОГИЗМЫ План: Понятие и виды силлогизмов. Непосредственные умозаключения. Простой категорический силлогизм. Фигуры и модусы. Способы проверки правильности силлогизмов. Сокращенные силлогизмы. Полисиллогизмы. Логика Силлогизмы
Cлайд 2
ЛИТЕРАТУРА: 1. Брюшинкин В.Н. Логика: Учебник. – 3-е изд. – М.: Гардарики, 2001. С. 181-247. 2. Электронный словарь по логике на портале RATIO: http://ratio.albertina.ru/dict/logic/ Логика Силлогизмы
Cлайд 3
1. ПОНЯТИЕ И ВИДЫ СИЛЛОГИЗМОВ Силлогизм – это дедуктивное умозаключение, в котором вывод совершается на основе соотношения терминов в одном или более категорических суждениях. Логика Силлогизмы
Cлайд 4
Понятие и виды силлогизмов Все эпузы гантируются. Все фемины – эпузы. Следовательно, все фемины гантируются. Логика Силлогизмы
Cлайд 5
Понятие и виды силлогизмов Силлогизмы Непосредственные Опосредованные Логика Силлогизмы
Cлайд 6
Понятие и виды силлогизмов Непосредственные силлогизмы – это силлогизмы, в которых вывод совершается из одной посылки. Логика Силлогизмы
Cлайд 7
Понятие и виды силлогизмов Опосредованные силлогизмы – это силлогизмы, в которых вывод совершается из двух или более посылок. Логика Силлогизмы
Cлайд 8
Непосредственные силлогизмы Обращение Превращение Противопоставление предикату Выводы по логическому квадрату Понятие и виды силлогизмов Логика Силлогизмы
Cлайд 9
Понятие и виды силлогизмов Опосредованные умозаключения Простой категорический силлогизм Полисиллогизм Логика Силлогизмы
Cлайд 10
2. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ Превращение – это силлогизм, состоящий в преобразовании категорического суждения в противоположное по качеству с предикатом, противоречащим предикату исходного суждения Логика Силлогизмы
Cлайд 11
Непосредственные умозаключения Логика Силлогизмы А├ Е, Е├ А, О├ I, I├ O Превращение
Cлайд 12
Непосредственные умозаключения Логика Силлогизмы Исходное суждение Превращение А: Все S есть Р Е: Ни один S не есть Р I: Некоторые S есть Р О: Некоторые S не есть Р Е: Ни один S не есть не-Р А: Все S есть не-Р О: Некоторые S не есть не-Р I: Некоторые S есть не-Р
Cлайд 13
Обращение - непосредственный силлогизм, состоящий в преобразовании категорического суждения в суждение, субъектом которого является предикат исходного суждения, а предикатом – субъект исходного суждения. Непосредственные умозаключения Логика Силлогизмы
Cлайд 14
Простое обращение – это обращение, при котором не изменяется количество исходного суждения. Непосредственные умозаключения Е├ Е, I├ I. Логика Силлогизмы
Cлайд 15
Непосредственные умозаключения Обращение с ограничением – это обращение, при котором изменяется количество исходного суждения. А├ I Логика Силлогизмы
Cлайд 16
Противопоставление предикату – непосредственный силлогизм, состоящий в преобразовании суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом – субъект исходного суждения. Непосредственные умозаключения Логика Силлогизмы
Cлайд 17
Непосредственные умозаключения Логика Силлогизмы Исходное суждение Противопоставление предикату А: Все S есть Р Е: Ни один S не есть Р О: Некоторые S не есть Р Е: Ни одно не-Р не есть S I: Некоторые не-Р есть S I: Некоторые не-Р есть S
Cлайд 18
Д. Умозаключения по логическому квадрату: Непосредственные умозаключения выводы на основании отношения подчинения; выводы на основании отношения частичной совместимости; выводы на основании отношения противоречия; выводы на основании отношения противоположности. Логика Силлогизмы
Cлайд 19
Непосредственные умозаключения Выводы на основании отношения подчинения: а) Умозаключения от истинности к истинности. А├ I, E├ O Логика Силлогизмы
Cлайд 20
Непосредственные умозаключения б) Умозаключение от ложности к ложности. I ├ А, O├ E Логика Силлогизмы
Cлайд 21
Непосредственные умозаключения Выводы на основании отношения дополнительности: I├ О, O├ I Логика Силлогизмы
Cлайд 22
Непосредственные умозаключения Выводы на основании отношения противоречия: а) Умозаключения от ложности к истинности А├ О, O├ А, Е├ I, I├ E Логика Силлогизмы
Cлайд 23
Непосредственные умозаключения б) Умозаключение от истинности к ложности А├ О, O├ А, Е├ I, I├ E Логика Силлогизмы
Cлайд 24
Непосредственные умозаключения Выводы на основании отношения противоположности: А├ Е, Е├ А Логика Силлогизмы
Cлайд 25
3. ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ. ФИГУРЫ И МОДУСЫ Простой категорический силлогизм – дедуктивное умозаключение, в котором из двух категорических суждений выводится новое категорическое суждение. Логика Силлогизмы
Cлайд 26
Простой категорический силлогизм Логика Силлогизмы Все политики – эгоисты. Все президенты – политики. Все президенты – эгоисты.
Cлайд 27
Простой категорический силлогизм Посылки силлогизма – суждения, из которых выводится новое суждение. Логика Силлогизмы
Cлайд 28
Простой категорический силлогизм Заключение силлогизма –новое суждение, которое выводится из посылок. Логика Силлогизмы
Cлайд 29
Простой категорический силлогизм Термины данного силлогизма – понятия, которые входят в посылки или заключение силлогизма. Логика Силлогизмы
Cлайд 30
Простой категорический силлогизм Субъект заключения называется меньшим термином. Логика Силлогизмы
Cлайд 31
Простой категорический силлогизм Предикат заключения называется бóльшим термином. Логика Силлогизмы
Cлайд 32
Простой категорический силлогизм Термин, который встречается в посылках, но не встречается в заключении, называется средним термином. Логика Силлогизмы
Cлайд 33
Непосредственные умозаключения Все M есть P Все S есть M Все S есть P Логика Силлогизмы Термин Обозначение Меньший термин Бóльший термин Средний термин S Р М
Cлайд 34
Простой категорический силлогизм Суждение, в которое входит больший термин, называется бóльшей посылкой. Логика Силлогизмы
Cлайд 35
Простой категорический силлогизм Суждение, в которое входит меньший термин, называется меньшей посылкой. Логика Силлогизмы
Cлайд 36
Простой категорический силлогизм Содержание силлогизма – это понятия, встречающиеся в нём в качестве терминов. Логика Силлогизмы
Cлайд 37
Простой категорический силлогизм Форма силлогизма – это связь, которая придается терминам. Логика Силлогизмы
Cлайд 38
Простой категорический силлогизм Фигура силлогизма – множество силлогизмов, характеризуемое одинаковым положением среднего термина. Логика Силлогизмы
Cлайд 39
Простой категорический силлогизм М Р S М М Р S М М Р S М М Р S М Логика Силлогизмы I фигура II фигура III фигура IV фигура
Cлайд 40
Простой категорический силлогизм Модус – разновидность силлогизма, характеризуемая определенной последовательностью категорических суждений. Логика Силлогизмы
Cлайд 41
Простой категорический силлогизм Модусов силлогизмов 256 Логика Силлогизмы
Cлайд 42
Простой категорический силлогизм Модус правилен, если не может быть так, что обе посылки истинны, а заключение ложно. Логика Силлогизмы
Cлайд 43
Простой категорический силлогизм Правильных модусов – 24 Нетривиальных правильных модусов – 19 Логика Силлогизмы
Cлайд 44
Простой категорический силлогизм Логика Силлогизмы I II III IV AAA EAE AII EIO EAE AEE EIO AOO AAI IAI AII EAO OAO EIO AAI AEE IAI EAO EIO
Cлайд 45
Простой категорический силлогизм Barbara, Celarent, Darii, Ferioque prioris; Cesare, Camestres, Festino, Baroko, sekundae; Tertia Darapti, Disamis, Datisi, Felapton, Bokardo, Ferison habet; Quarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison. Логика Силлогизмы
Cлайд 46
4. СПОСОБЫ ПРОВЕРКИ ПРАВИЛЬНОСТИ СИЛЛОГИЗМОВ Три способа проверки правильности силлогизмов: построение круговых схем для посылок и заключения силлогизмов; предъявление контрпримера; проверка на соответствие общим правилам силлогизмов и правилам фигур. Логика Силлогизмы
Cлайд 47
Способы проверки правильности силлогизмов 1) Построение круговых схем для посылок и совмещение их на одной схеме Логика Силлогизмы
Cлайд 48
Все философы понимают Аристотеля Никто из присутствующих не понимает Аристотеля Никто из присутствующих не является философом. Все P есть M Ни один S не есть M Ни один S не есть P Это – вторая фигура, модус АЕЕ Логика Силлогизмы Пример 1.
Cлайд 49
Бóльшая посылка: Все философы (P) понимают Аристотеля (M). Р М Логика Силлогизмы
Cлайд 50
Меньшая посылка: Никто из присутствующих (S) не понимает Аристотеля (M). S М Логика Силлогизмы
Cлайд 51
Р М S Совмещаем схемы для большей и меньшей посылки: Логика Силлогизмы Согласно этой схеме, заключение «Никто из присутствующих не является философом» – истинно.
Cлайд 52
Все юристы знают признаки преступления. Все присутствующие знают признаки преступления. Все присутствующие являются юристами. Все P есть M Все S есть M Все S есть P Это – также вторая фигура, модус ААА Логика Силлогизмы Пример 2.
Cлайд 53
Бóльшая посылка: Все юристы (P) знают признаки преступления (M). Р М Логика Силлогизмы
Cлайд 54
Меньшая посылка: Все присутствующие (S) знают признаки преступления (M). S М Логика Силлогизмы
Cлайд 55
Совмещаем схемы для бóльшей и меньшей посылки: 1-ый вариант Логика Силлогизмы S P М Согласно этой схеме, заключение «Все присутствующие – юристы» – истинно.
Cлайд 56
Совмещаем схемы для бóльшей и меньшей посылки: 2-ой вариант Логика Силлогизмы S P М Согласно этой схеме, заключение «Все присутствующие – юристы» – ложно.
Cлайд 57
Силлогизм является правильным, если нельзя построить такую совмещенную круговую схему, на которой обе посылки являются истинными, а заключение – ложным. Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 58
2) Обнаружение и предъявление контрпримера Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 59
Контрпример – силлогизм, тождественный с данным по форме, но абсурдный по смыслу. Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 60
Тождественный с данным по форме = имеющий ту же фигуру и тот же модус. Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 61
Все философы знают о Фалесе. Все присутствующие знают о Фалесе. Все присутствующие являются философами. Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 62
Все зулусы – люди. Все присутствующие – люди. Все присутствующие – зулусы. Контрпример: Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 63
3) Проверка на соответствие общим правилам силлогизма и правилам фигур Способы проверки правильности силлогизмов Логика Силлогизмы
Cлайд 64
Правила терминов: ПТ1. Во всяком силлогизме должно быть ровно три термина. ПТ2. Средний термин должен быть распределен хотя бы в одной из посылок. ПТ3. Термин, распределенный в заключении, должен быть распределен в посылке. Логика Силлогизмы
Cлайд 65
Правила посылок: ПП1. Во всяком силлогизме должно быть ровно три категорических суждения. ПП2. Из двух отрицательных суждений нельзя вывести никакого заключения. ПП3. Заключение отрицательно, если и только если одна из посылок отрицательна. ПП4. Из двух частных суждений нельзя вывести никакого заключения. ПП5. Если одна из посылок – частное суждение, то и заключение должно быть частным. Логика Силлогизмы
Cлайд 66
Правила фигур: I фигура. В умозаключениях по первой фигуре меньшая посылка должна быть утвердительной, а бóльшая – общей. II фигура. Одна из посылок должна быть отрицательной, а бóльшая – общей. III фигура. Меньшая посылка должна быть утвердительной, а заключение – частным. Логика Силлогизмы
Cлайд 67
5. ЭНТИМЕМЫ Энтимема (греч. en tyme – в уме) – умозаключение, в котором опущена одна из посылок или заключение. Логика Силлогизмы
Cлайд 68
Силлогизм по I фигуре: Все пороки заслуживают наказания. Курение – это порок. Курение заслуживает наказания. Логика Силлогизмы Механизм образования энтимем
Cлайд 69
1) С опущенной бóльшей посылкой: “Курение заслуживает наказания, потому что оно – порок». 2) С опущенной меньшей посылкой: “Все пороки заслуживают наказания, поэтому курение заслуживает наказания”. 3) С опущенным заключением: “Все пороки заслуживают наказания, а курение – это порок”. Энтимемы: Логика Силлогизмы
Cлайд 70
Силлогизм по II фигуре: Логика Силлогизмы Механизм образования энтимем Все честные люди всегда говорят правду Ни один политик не может всегда говорить правду Ни один политик не является честным человеком
Cлайд 71
1) С опущенной бóльшей посылкой: “Ни один политик не является честным человеком, поскольку ни один политик не может всегда говорить правду”. 2) С опущенной меньшей посылкой: “Ни один политик не является честным человеком, потому что все честные люди всегда говорят правду”. 3) С опущенным заключением: “Ни один политик не может всегда говорить правду, а все честные люди всегда говорят правду”. Логика Силлогизмы Энтимемы:
Cлайд 72
Энтимемы Восстановление силлогизма до полной формы из энтимемы – операция, обратная операции построения энтимемы. Логика Силлогизмы
Cлайд 73
Определение пропущенного элемента силлогизма: посылки или заключения. Определение терминов, которые должны встречаться в полном силлогизме: среднего термина, бóльшего и меньшего терминов. Определение фигуры силлогизма и порядка посылок. Формулировка силлогизма в полной форме. Этапы восстановления: Логика Силлогизмы
Cлайд 74
Пример: “Рабов не следует держать в неволе, потому что они люди”. Энтимемы “Ни один раб не есть существо, которое следует держать в неволе”. “Все рабы есть люди”. В канонической форме: Логика Силлогизмы
Cлайд 75
Заключение силлогизма – суждение, предшествующее словам “потому что”; поскольку во втором суждении фигурирует термин “рабы”, являющийся субъектом заключения, то это – меньшая посылка, а значит, пропущена бóльшая посылка. Энтимемы Логика Силлогизмы
Cлайд 76
Термины силлогизма: “рабы” – меньший термин, “существо, которое следует держать в неволе” – бóльший термин, а термин, который не встречается в заключении – “люди” – средний термин. Энтимемы Логика Силлогизмы
Cлайд 77
Полное умозаключение возможно по I или II фигуре. Тогда средний термин: в I фигуре – субъект большей посылки, в II фигуре – предикат бóльшей посылки. Энтимемы Логика Силлогизмы
Cлайд 78
Большая посылка во II фигуре: “Ни одно из существ, которых следует держать в неволе, не является человеком” Энтимемы Логика Силлогизмы
Cлайд 79
Бóльшая посылка в I фигуре: “Ни один человек не есть существо, которое следует держать в неволе” Энтимемы Логика Силлогизмы
Cлайд 80
Силлогизм по I фигуре: Энтимемы Логика Силлогизмы Ни один человек не есть существо, которое следует держать в неволе. Все рабы есть люди. Ни один раб не есть существо, которое следует держать в неволе.
Cлайд 81
Если вернуться к формам естественного языка, полное умозаключение будет выглядеть так: Энтимемы Логика Силлогизмы Ни одного человека не следует держать в неволе. Все рабы – люди. Ни одного раба не следует держать в неволе.
Cлайд 82
Более сложный пример восстановления энтимемы дает нам рассуждение Макиавелли из “Князя”: “Новый правитель всегда оказывается хуже старого, ... так как завоеватель притесняет новых подданных ...” Энтимемы Логика Силлогизмы
Cлайд 83
Термина, объединяющего заключение и посылку, нет. Это означает, что энтимема представляет собой сокращение двух силлогизмов. То, что здесь все же есть умозаключение, показывает наш “сигнал” – союз “так как”. Энтимемы Логика Силлогизмы Причем от одного нам осталось заключение “Новый правитель всегда хуже старого”, а от второго одна из посылок “Завоеватель всегда притесняет своих подданных”.
Cлайд 84
Слово “всегда” означает, что мы имеем дело с общеутвердительными суждениями: “Все новые правители хуже старых”, “Все завоеватели притесняют своих подданных”. В первом силлогизме нам нужно ввести термин “новый правитель”, а средним термином тогда будет “завоеватель”. Энтимемы Логика Силлогизмы
Cлайд 85
Тогда первый силлогизм примет следующую форму: Энтимемы Логика Силлогизмы Все завоеватели притесняют своих подданных. Все новые правители – завоеватели. Все новые правители притесняют своих подданных.
Cлайд 86
Во втором силлогизме мы уже имеем заключение “Все новые правители хуже старых” и меньшую посылку “Все новые правители притесняют своих подданных”, поскольку в ней встречается субъект заключения. Энтимемы Логика Силлогизмы
Cлайд 87
Отсюда получается следующий силлогизм: Энтимемы Логика Силлогизмы Все правители, которые притесняют своих подданных, хуже старых правителей. Все новые правители притесняют своих подданных. Все новые правители хуже старых.
Cлайд 88
Мы теперь наглядно можем представить ход мысли Макиавелли в полной форме, в виде последовательности правильных умозаключений. Самое важное в практическом отношении – мы выявили посылки, которые в оригинальном тексте Макиавелли были опущены. Что дает восстановление этой энтимемы до полного силлогизма? Логика Силлогизмы
Cлайд 89
Это суждения: “Все новые правители – завоеватели” и “Все правители, которые притесняют своих подданных, хуже старых правителей”. Энтимемы Логика Силлогизмы
Cлайд 90
Теперь мы в силах заметить, что первое суждение является ложным, поскольку мы можем представить и другие способы прихода к власти, например, в результате дворцового переворота, или – в современных условиях – в результате выборов. Энтимемы Логика Силлогизмы
Cлайд 91
Второе суждение, может быть, и не ложное, но несколько парадоксальное, поскольку в число тех правителей, которые притесняют своих подданных, наверняка входят и “старые правители”. Таким образом, получается, что старые правители хуже самих себя. Энтимемы Логика Силлогизмы
Cлайд 92
Восстановление энтимемы до полной формы помогло нам обнаружить ошибку, которую допустил Макиавелли. В этом главный практический смысл владения полными формами силлогизмов и способами восстановления энтимем. Энтимемы Логика Силлогизмы
Cлайд 93
6. ПОЛИСИЛЛОГИЗМЫ Сложный силлогизм, или полисиллогизм – последовательность простых силлогизмов, в которой заключение предшествующего силлогизма становится посылкой последующего силлогизма Логика Силлогизмы
Cлайд 94
Использование полисиллогизма позволяет построить логическую модель более сложных рассуждений, чем те, что могут быть смоделированы при помощи простого категорического силлогизма. Полисиллогизмы Логика Силлогизмы
Cлайд 95
В полисиллогизме: Силлогизм, предшествующий другому силлогизму в последовательности силлогизмов, называется просиллогизмом. Силлогизм, следующий за другим силлогизмом в последовательности силлогизмов, называется эписиллогизмом. Полисиллогизмы Логика Силлогизмы
Cлайд 96
Полисиллогизмы Логика Силлогизмы Полисиллогизмы Прогрессивные Регрессивные
Cлайд 97
Прогрессивным называется полисиллогизм, в котором заключение просиллогизма становится большей посылкой эписиллогизма. Полисиллогизмы Логика Силлогизмы
Cлайд 98
Регрессивным называется полисиллогизм, в котором заключение просиллогизма становится меньшей посылкой эписиллогизма. Полисиллогизмы Логика Силлогизмы
Cлайд 99
Например: надо доказать, что тайное присвоение книги из библиотеки общественно опасно. Для этого построим следующую последовательность силлогизмов: Полисиллогизмы Логика Силлогизмы
Cлайд 100
Полисиллогизмы Логика Силлогизмы Все кражи общественно опасны. Все тайные присвоения книг из библиотеки – кражи. Все тайные присвоения книг из библиотеки общественно опасны Все хищения общественно опасны. Все кражи – хищения. Все кражи общественно опасны. Все преступления общественно опасны. Все хищения – преступления. Все хищения общественно опасны.
Cлайд 101
При помощи прогрессивного полисиллогизма мы поэтапно с максимальной очевидностью перенесли признак «общественно опасный» с общего понятия преступления на один из мелких видов преступления – «присвоение книг из библиотеки». Полисиллогизмы Логика Силлогизмы
Cлайд 102
Полисиллогизмы Логика Силлогизмы Все люди, способные к самосовершенствованию, заслуживают снисхождения. Некоторые преступники способны к самосовершенствованию Некоторые преступники заслуживают снисхождения. Все мыслящие люди способны к самосовершенствованию. Некоторые преступники являются мыслящими людьми. Некоторые преступники способны к самосовершенствованию
Cлайд 103
Это – регрессивный полисиллогизм, поскольку заключение просиллогизма «Некоторые преступники способны к самосовершенствованию» является меньшей посылкой эписиллогизма. Полисиллогизмы Логика Силлогизмы
Cлайд 104
Сокращение простого силлогизма дает энитимему, а сокращение сложного силлогизма – сорит. Полисиллогизмы Логика Силлогизмы
Cлайд 105
Полисиллогизмы Сорит – это сложный силлогизм, в котором в каждом из составляющих его простых силлогизмов, начиная со второго, опущена одна из посылок. Логика Силлогизмы
Cлайд 106
Полисиллогизмы Логика Силлогизмы Сориты Аристотелевские Гоклениевские
Cлайд 107
Полисиллогизмы Сорит, в котором опущена меньшая посылка каждого, начиная со второго, простого силлогизма, называется аристотелевским. Логика Силлогизмы
Cлайд 108
Полисиллогизмы Сорит, в котором опущена бóльшая посылка каждого, начиная со второго, простого силлогизма, называется гоклениевским. Логика Силлогизмы
Cлайд 109
Чтобы получить гоклениевский полисиллогизм, просто опустим в наших примерах прогрессивного полисиллогизма бóльшие посылки во всех силлогизмах, кроме первого: Полисиллогизмы Логика Силлогизмы
Cлайд 110
Полисиллогизмы Логика Силлогизмы Все преступления общественно опасны. Все хищения – преступления. Все кражи – хищения. Все тайные присвоения книг из библиотеки – кражи. Все тайные присвоения книг из библиотеки общественно опасны.
Cлайд 111
Аристотелевский сорит будет иметь следующий вид: Полисиллогизмы Логика Силлогизмы Все студенты – находчивые люди. Все находчивые люди обладают логическими способностями. Все обладающие логическими способностями – разумные люди. Все разумные люди заслуживают уважения. Все студенты заслуживают уважения.
Cлайд 112
Развернув аристотелевский сорит в полную форму полисиллогизма, получим следующую последовательность умозаключений: Полисиллогизмы Логика Силлогизмы
Cлайд 113
Логика Силлогизмы Все находчивые люди обладают логическими способностями. Все студенты – находчивые люди. Все студенты обладают логическими способностями. Все обладающие логическими способностями – разумные люди. Все студенты обладают логическими способностями. Все студенты – разумные люди. Все разумные люди заслуживают уважения. Все студенты – разумные люди. Все студенты заслуживают уважения.
Cлайд 114
переставить в первом простом силлогизме посылки местами; опустить во всех последующих простых силлогизмах меньшую посылку; опустить во всех последующих силлогизмах, кроме последнего, заключение. Если мы хотим получить аристотелевский сорит, нужно в регрессивном полисиллогизме: Логика Силлогизмы
Cлайд 115
Полисиллогизмы В аристотелевском сорите происходит доказательство наличия или отсутствия какого-то предиката у известного нам субъекта первой посылки этого сорита. Логика Силлогизмы
Cлайд 116
Полисиллогизмы В гоклениевском сорите происходит доказательство наличия или отсутствия известного нам свойства у какого-либо предмета. Логика Силлогизмы
