Модальная логика
Определение 1
Неклассическиелогики – это обобщающее наименование различных логических... Модальная логика – это одна из ветвей современной символической логики, предметом изучения которой выступают... Многозначная логика
Многозначная логика интенсивно развивается в настоящее время.... После этого появились другие многозначные логики, в том числе:
трехзначная логика Д. А.... Бочвара,
трехзначная логика А. Гейтинга,
трехзначная логика Г. Рейхенбаха,
n-значная логика Э.
Первая не решенная до сих пор проблема теоретической физики — проблема квантовой гравитации — предполагает построение единой теории, объединяющей общую теорию относительности и квантовую теорию. До сих пор все предпринятые попытки ее построения не увенчались успехом. Но похоже, что один специфический ответ на этот вопрос существует, хотя в силу своей природы он не находился в центре внимания исследователей. Анализ логических проблем квантовой теории приводит к обнаружению общих логических оснований теории относительности и квантовой механики. Оказывается, логическая структура обеих дисциплин основывается на конструкции ортомодулярной решетки, а не булевой алгебры, характерной для классической физики. С другой стороны, учитывая, что и квантовая теория, и теория относительности представляют собой неклассические дисциплины, общая для квантовой теории и релятивистской теории ортомодулярная логическая структура, лежащая в основании квантовой логики и каузальной логики пространства-времен...
Характеристика неклассическихлогик
Определение 1
Нормальные формы в неклассическихлогиках -... Развитие неклассическихлогик началось в XX веке.... Однако в неклассическихлогиках ситуация сложнее.... Одним из наиболее важных типов неклассическихлогик является модальная логика.... Другим важным типом неклассическойлогики является нечеткая логика.
В статье рассматривается проблема понимания рациональности на современном этапе развития философии, науки и образования и ее связь с логичностью мышления. Отмечается, что эта связь чаще всего ассоциируется с базовыми законами традиционной (классической) логики, с которой нередко отождествляется научная рациональность. Сравниваются различные трактовки рациональности в зарубежной и отечественной литературе. Показывается, что феномен научной рациональности не сводим только к логическому, а сама рациональность как таковая многолика. Обосновывается, что базисом рациональности могут быть не только классическая, но и неклассические логики, в частности, различные варианты паранепротиворечивой логики, а также временная и релевантная логики, логика со строгой импликацией и логика изменения. Раскрывается суть некоторых из названных неклассических логик, их особенности, возможности использования в естественных и социальных науках и образовании, в квантовой механике, в вероятностных и индуктивны...
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.