Головна |
« Попередня | Наступна » | |
Глава шоста 1 |
||
Darapti зводиться до Darii допомогою а-звернення. - 130. 2 Доказ: 1. Припущення: пас і рас. 2. Припущення: ложно ПІР. 3. Пер (2, за визначенням). 4. Рас (за припущенням). 5. РІС (4, а-підпорядкування). 6. ПОС (3, 5, Ferio) в суперечності з посилкою пас. - 130. 3 Ekthesthai. Аристотель вживає цей термін для позначення або ектетіческого докази, або головного кроку в ектетіческом доказі, що полягає у взятті частини (задовольняє певній умові) роду, позначеного яким-небудь з трьох термінів доказуваного силогізму. - 130. 4 Ектетіческое доказ Darapti: 1. Припущення: пас і рас. 2. Ектезіс: НєС.З, ПаІІ і ран (2, 1). 4. ГІІР (3). - 130. 6 Felapton. - 130. 0 Див 28 а 19-26. - 130. 7 Т. е. посилки рас. - 130. 8 Див 27 а 14-15, а 38 - М; 28 а 22-23. - 130. 9 АЕХ відкидається за допомогою контрприкладів: (1) для х == е або про: (жива істота, кінь, людина). (2) Для х = а або і: (жива істота, неживе, чоловік). - 130. 10 ЕЕх відкидається за допомогою контрприкладів: (1) для х = з або про: (жива істота, кінь, неживе). (2) Для х = а або і: (людина, кінь, неживе). - 130. 11 Disamis зводиться до Darii допомогою і-обращеїшя. - 131. 12 Datisi. - 131. 13 Як Disamis. Див. прим. І. - 131. 14 Т. е. через неможливе, як у випадках Darapti (28 а 22-23) і Felapton (28 а 29-30), пли виділенням, як у випадку Darapti (28 а 22 - 26). - 131. 15 Bocardo зводиться до Barbara через приведення до неможливого. - 131. 16 Ектетіческое доказ Bocardo: 1. Припущення: сел і рас. 2. Ектезіс: HsCn пен. 3. РаїІ (1, 2). 4. Пен і ран (2, 3). 5. Пор (4, Felapton). - 131. 17 АОХ відкидається. Контрприклад для х = е або про: (одухотворене, людина, жива істота). В якості контрпримера для х = а або и можна взяти трійку (жива істота, неживе, чоловік), використовувану для відкидання АЕХ (див. прим. 9). - 131. 18 Якщо, стало бути, посилка РоС взята як невизначена (див. прим. 16 до гол. W Доказапа неможливість побудови контрпримера при невизначеності посилки РоС. - 132. 20 Див 26 b 14-20; 27 Ь 20-23, 26-28, - 132. 21 Коль скоро з посилок виду ае нічого не слід силлогистическое (див. 28 а 30-31), то a fortiori нічого не буде слідувати і з посилок виду ат. - 132. 22 Ferison зводиться до Ferio допомогою і-звернення. - 132. 23 іех відкидається за допомогою коптрпрімеров: (1) для х = е або про: (жива істота, людина, дике). (2) Для х = а або і: (жива істота, знання, дике). - 132. 24 ОЕХ і сох відкидаються. Контрприклади до ОЕХ: (1) для х = а або і: (жива істота, знання, дике). (2) Для х = о або про: (жива істота, людина, дікое). Контрприклади до еох: (1) для х = а або і: (ворон, сніг, біле). (2) Для х = е або о можна взяти трійку (жива істота, лощадь, неживе), використовувану для відкидання ЕЕх (див. прим. 10). - 132. 25 - Див прим. 18-21. - 132. 26 ІІХ, оох, іох, оіх відкидаються за допомогою контрприкладів: (1) для х = е або про: (жива істота, людина, біле). (2) Для х = а або і: (жива істота, неживе, біле). Див. прим. 12 до гол. 5 і прим. 11 до гол. 4. - 133. 27 Див 28 а 17-19, 26-28; 28 b 8, 11, 17, 31-33. - 133. Глава сьома 1 Т. е. не виходить укладення про ставлення більшого терміна до меншого. - 133. 2 Т. е. не виходить укладення ні про ставлення більшого терміна до меншого, ні про ставлення меншого до більшого. - 133. 3 Дослівно: завершуються (teleioyntai). - 133. 4 У сенсі «суперечить висновку». - 134. 6 Як приклад дається доказ Daiapti через приведення до неможливого, що зводить його до Celarent. Прямий доказ зводить його до Darii (див. 28 а 18-22). - 134. 6 Аристотель користується двома поняттями совершенности силогізму. Вимогу совершенности в строгому сенсі задовольняють одні тільки правильні модуси першої фігури із загальними висновками, тобто Barbara і Celarent. Вимогу же совершенности в нестрогому сенсі задовольняють інші правильні модуси першої фігури, і лише вони. Бо вони досконалі, хоча і в нестрогому сенсі (див. прим. 6). - 134. 8 Darii зводиться до Camestres. - 134. 9 Ferio зводиться до Cesare. - 134. 10 Для цього достатньо в докази Darii і Ferio, що зводять їх відповідно до Camestres і Cesare, вставити відповідним чином докази останніх, що зводять їх до Celarent (див. прим. 1, 3 до гол. 5) . - 134. 11 А саме Darapti за допомогою Celarent (див. 28 а 22-23) і Felapton за допомогою Barbara (див. 28 а 29-30). - 134. 12 А саме Disamis допомогою Darii (див. 28 b 7-11), Datisi допомогою Darii (28 а 11-14), Ferison допомогою Ferio (28 b 33-35). Однак це неправильно стосовно Bocardo, 21 Аристотель, т. 2 - 888625 який ве зводимо ні до Darii, ні до Ferio засобами, дозволеними в силогістиці (Ср 28 а 16-20). - 135. М Т. е. до модусів першої фігури із загальними висновками. - 135. W Див гл. 4-6. - 135. Див гл. 7. - 135. Глава восьма 1 Таким чином, аподиктичні аналоги правильних модусів першої фігури оголошені досконалими силогізмами. - 135. 2 Т. е. оборотна, коли посилка загальна, і незворотна, коли посилка приватна (див. 25 а 5-7, 12-13). - 135. »Див 24 b 26-30. - 135. 4 Таким чином, аподиктичні аналоги правильних модусів другої і третьої фігур (за винятком BaLroLcoL і BoLcaLrdoL) зводяться до досконалим (див. прим. 1) за допомогою звернення. - 135. 6 BaLroLcoL. - 135. E BoLcaLrdoL. - 135. 7 Т. е. доказом через приведення до неможливого (див. прим. 11 до гол. 5 і прим. 15 до гол. 6), бо допущення, що суперечить аподиктическому висновком, було б проблематичним висловлюванням , звертатися з яким ми поки пе вміємо. - 135. В Ектетіческіе докази. BaLroLcoL: 1. Припущення: MaLH і MoL0. 2. Ектезіс: Е s О і MeL3. 3. MaLH u AeLЕ (1, 2). 4. HeL3 (3, CaLmeLstreLs). 5. HoL0 (4,2). BoLcaLrdoL: 1. Припущення: ПоьС і PaLC. 2. Ектезіс: ЄЕС і neL Е. 3. PaL3 (2, 1). 4. neL3 і PaL3 (2, 3). 5. ПоьР (4, FeLlaLptoLn). - 135.
|
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна " Глава шоста 1 " |
||
|