Проблема статуса «завершенной» теории (И. Кант, В. Гейзенберг) исследована в категориях системно параметрического метода А.И. Уемова . В статье сопоставлены свойство «завершенности» ассерторичнои силлогистики Аристотеля (И. Кант) и «завершенность» физических теорий (В. Гейзенберг). И. Кант устойчивость и « завершенность » силлогистики Аристотеля объясняет наличием «границ» этой науки, изучающей только «формальные правила всякого мышления». В статье вводится идея о том , что «завершены» теории можно представить в виде системных моделей , где границы «завершенной» теории эксплицированы определенным набором общесистемных свойств, или атрибутивных системных параметров. Устойчивость силлогистики Аристотеля можно обозначить рядом значений системных свойств : это система «субстратно и структурно завершена» , «минимальная», «сильная», которые рассмотрены А. Уемовым в параметрической общей теории систем .
Мыслитель ввел в обращение не только ассерторические силлогизмы, но и модальные силлогизмы, отличающиеся... следующих условий:
наличие минимум трех модальных операторов,
представимость в виде надстройки над логикой ассерторических... Высказывания, которые просто фиксируют наличие или отсутствие какой-либо ситуации, называют ассерторическими... является «необходимо»; более слабая модальность – отсутствие указанной модальности, то есть модальность ассерторического
Силлогистика Аристотеля является модальной дедуктивной системой, ассерторическая силлогистика составляет очень узкий ее фрагмент. Эта модальная логическая теория вызвала возражения у античных и средневековых последователей и комментаторов Аристотеля. Он считал корректными некоторые «смешанные» силлогизмы с одной аподиктической посылкой, одной ассерторической посылкой и аподиктическим заключением. Его ученики Теофраст и Эвдем выдвинули известный принцип «заключение может иметь модальность лишь слабейшей по модальности посылки», отвергая тем самым все подобные модусы. В средневековой логике было проведено различение модальностей de dicto и de re, было установлено, что они обладают различными дедуктивными свойствами. В аподиктической силлогистике Аристотеля принимаются как выводы, справедливые только при de dicto-интерпретации модальностей (например, iобращение), так и выводы, правомерные только при de re-интерпретации (например, модус Barbara). Если принять принцип слабейшей посылк...
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
логическая ошибка в доказательстве, имеет две разновидности: а) «кто слишком мало доказывает, тот ничего не доказывает»; б) «кто слишком много доказывает, тот ничего не доказывает».
