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