КарпенкоАлександрСтепанович

Всего статей: 4
Научные законы, утверждения, уравнения
Закон непротиворечия
Зако́н непротиворе́чия, один из основных логических принципов, согласно которому два взаимно противоречащих высказывания не могут быть одновременно истинными, т. е. одно из них должно быть ложным. Нарушение закона непротиворечия в большинстве логических исчислений приводит к доказуемости любой сформулированной на языке этого исчисления формулы, и в результате такая логика перестаёт представлять интерес.
Идеи, Концепции, учения, методы исследования
Термины
Возможные миры
Возмо́жные миры́, мыслимые множества объектов и их отношений, допускающие непротиворечивое описание в некотором языке. Современное понимание возможных миров восходит к Г. В. Лейбницу, который определял их как миры, мыслимые без противоречия, и понимал необходимые истины как утверждения, истинные во всех возможных мирах, а случайные истины – как утверждения, истинные в некоторых из них; действительный мир трактовался им как один из возможных миров («наилучший»). Семантика возможных миров и её различные варианты используются как семантический аппарат модальной, временно́й, интуиционистской, релевантной и других неклассических логик.
Идеи, Концепции, учения, методы исследования
Философские школы, направления, движения
Неклассические логики
Некласси́ческие ло́гики, широкая область логических теорий, исследующих различные формы рассуждений, не охватываемые классической логикой высказываний и логикой предикатов. Первые неклассические логики строились путём отбрасывания какого-либо из законов классической логики. Иной подход к созданию неклассических логик реализован в середине 1950-х гг. новозеландским логиком А. Н. Прайором, который добавил к классической логике высказываний временны́е операторы и построил первые системы временно́й логики. Между различными неклассическими логиками существуют сложные взаимосвязи. Оказалось, что многие неклассические логики могут определяться через другие: например, интуиционистская и модальная логики (и многие другие) могут быть истолкованы как многозначные (бесконечнозначные); модальная логика может строиться на основе интуиционистской, а квантовая представима как модальное расширение бесконечнозначной логики Я. Лукасевича. Неклассические логики широко применяются в компьютерных науках, искусственном интеллекте и логическом программировании.
Идеи, Концепции, учения, методы исследования
Термины
Логика
Ло́гика, нормативная философская наука о законах, формах и приёмах интеллектуальной (мыслительной) познавательной деятельности. Логика представляет собой разветвлённую и многоплановую науку, в составе которой можно выделить теорию рассуждений (дедуктивных и правдоподобных), металогику и логическую методологию. В европейской интеллектуальной традиции логика начинается с теории дедукции Аристотеля в 4 в. до н. э., и далее она развивается в Средние века, Новое и Новейшее время и сегодня является живой научной дисциплиной. Вместе с тем термином «логика» можно называть совокупности концепций относительно инструментов получения знания и контроля за рассуждениями, лингвистического анализа и методологии в неевропейских культурах, среди которых особенно богатую логическую традицию выделяют у индийских и китайских мыслителей.
Идеи, Концепции, учения, методы исследования