Висновок - Інформація стор
Інформація - Філософія
Інші матеріали по предмету Філософія
Є додаткові докази та силогізми.
З ентимем будуються складніші силогізми - епіхейреми, та якщо з полисиллогизмов будуються сорити.
Епіхейрема є силогізм, кожна з посилок якого є ентимемою; Сорить - скорочений полісиллогізм, в якому опущені, але маються на увазі деякі посилки або проміжні висновки.
Першим логічно правильним модусом є модус поненс (лат. modus ponens - модус стверджує), що вказує на можливість переходу від затвердження підстави до затвердження слідства того чи іншого імплікативного висловлювання. У традиційній арістотелівській логіці модус поненс (МР) зазвичай записується так:
де А, Б - довільні висловлювання, що є відповідно основою та наслідком імплікативного висловлювання виду Якщо А, то Б.
1.Якщо, переміщаючись з Європи на захід, можна повернутися до неї зі сходу, то Земля кругла
2. Переміщаючись із Європи на захід, можна повернутися до неї зі сходу
3. Земля кругла
Нині цей силогізм представляє суто ілюстративний інтерес. Проте за часів, наприклад, Колумба цей силогізм мав певне наукове значення, оскільки вказував на можливість доказу сфероподібності Землі шляхом емпіричної перевірки посилки (2).
Модусу толленсу (МТ) відповідає, наприклад, силогізм С11:
Якщо хвороба Х невиліковна, то хворий на цю хворобу Петро ніколи не одужає
(2) Петро одужав
(3) Хвороба Х виліковна
Силогізми, що відповідають модусу толленсу, широко використовуються в прикладних наукових дослідженнях з метою спростування різних гіпотез шляхом спростування наслідків,які з цих гіпотез .
При використанні силогізмів, що відповідають модусу поненсу та модусу толленсу, важливо пам'ятати, що такі силогізми гарантують істинність укладання лише за умови істинності посилок. При цьому потрібно особливо ретельно перевіряти істинність імплікативної посилки силогізму, оскільки багато помилкових імплікативних посилок інтуїтивно видаються істинними висловлюваннями. Наприклад, у силогізмі З 12
(1) Якщо Бог існує, то всяке зло карається С12
Не всяке зло карається
(3) Бог не існує
Модус 8. формалізує перехід від заперечення підстави заперечення слідства, інший модус - перехід від затвердження слідства до затвердження підстави тієї чи іншої імплікативного висловлювання. Модус 8. не гарантують істинність укладання за умови істинності посилок. Так, силогізм
(1) Якщо Петро не складе іспит з логіки, він зап'є
Петро склав іспит з логіки С13
(3) Петро не зап'є
відповідає, як легко бачити, модусу 8. Навіть за умови істинності посилок (1), (2) немає жодної логічної гарантії в тому, що висновок (3) є істинним. Справді, Петро може запитати у тому разі, якщо він здасть іспит з логіки, а й з будь-якої іншої причини, незалежно від результатів складання іспиту з логіці. Таким чином, цілком може мати