#Философские школы и течения
Философские школы и течения
Тег

Философские школы и течения

Философские школы и течения
Найденo 5 статей
Философские школы, направления, движения
Неклассические логики
Некласси́ческие ло́гики, широкая область логических теорий, исследующих различные формы рассуждений, не охватываемые классической логикой высказываний и логикой предикатов. Первые неклассические логики строились путём отбрасывания какого-либо из законов классической логики. Иной подход к созданию неклассических логик реализован в середине 1950-х гг. новозеландским логиком А. Н. Прайором, который добавил к классической логике высказываний временны́е операторы и построил первые системы временно́й логики. Между различными неклассическими логиками существуют сложные взаимосвязи. Оказалось, что многие неклассические логики могут определяться через другие: например, интуиционистская и модальная логики (и многие другие) могут быть истолкованы как многозначные (бесконечнозначные); модальная логика может строиться на основе интуиционистской, а квантовая представима как модальное расширение бесконечнозначной логики Я. Лукасевича. Неклассические логики широко применяются в компьютерных науках, искусственном интеллекте и логическом программировании.
Философия
Философские школы, направления, движения
Логика вопросов
Ло́гика вопро́сов, эротетическая, или интеррогативная, логика, раздел неклассической логики, исследующий вопросно-ответные отношения формальными методами. Логика вопросов используется в информационных системах, ориентированных на решение информационно-поисковых задач. Формализация вопросов в информационном языке осуществляется на базе проблемно ориентированной семантики, каждому типу вопросов соответствует специальное вопросно-ответное отношение, а вопрос понимается как запрос, адресованный информационной системе.
Философия