Книги, игрушки, всё для дома, семена wwww4.com интернет магазин
Книги, игрушки, всё для дома, семена

   Исключить отсутвующие книги
Витамины Orthomol

КНИГИ

Нравственная философия

Философская антропология

Онтология. Гносеология. Метафизика

Эстетика

Логика в задачах и упражнениях

Социальная философия

Философия

Философия в урао

Средневековая философия


телефон (495)720-65-64 (495)
720 65 64


способы оплаты

Доставка от 0 руб,
почтой, курьером,
пункты выдачи
в городах России



Модальная логика
Сущность модальной логики Традиционная или классическая логика, которую мы до сих пор рассматривали, является самой простой и наиболее употребительной логической системой. Она исходит из того, что атомарные (простые) суждения и понятия, из которых строятся рассуждения и которые уже не анализируются, либо истины, либо ложны, но ни то ни другое вместе. Однако многие понятия и суждения повседневных и научных рассуждений не так хорошо укладываются в категории истинных и ложных. Истинностное значение суждения «Вероятно, завтра будет дождь» весьма и весьма не определено. Некоторые логики, начиная с Аристотеля, стали учитывать различие между истинами, являющимися таковыми, так сказать, в силу необходимости, и истинами случайными. Так возникли модальная логика и вероятностная логика. В отличие от классической логики, приписывающей суждениями и понятием два истинностных значения: истина и ложь, модальная логика оперирует такими истинностными значениями, как «возможно», «необходимо», «невозможно», и т.д. Первую попытку построить модальную логику предпринял Аристотель в своем сочинении «Первая и вторая аналитики» (ей посвящены главы третья и восьмая – двадцать вторая «первой аналитики»).
...

Модальная логика и модальные фрагменты классической логики Шкатов Д.П. Институт философии (ИФ) РАН 2008


разместить на форуме

Автор:Шкатов Д.П.
Издательство:Институт философии (ИФ) РАН
Год:2008
Цена:
833 рубмягкая обложка
Cтраниц 136
Аннотация:Монография посвящена исследованию взаимосвязи между пропозициональными модальны-ми логиками и классическими логиками первого и более высоких порядков. Наряду с известными результатами, такими как разрешимость первопорядкового защищенного фрагмента и сходных фрагментов классических логик, приводятся результаты полученные авто-ром; в частности, доказывается разрешимость модальных логик с интуиционистской основой и модальностями, возникающими при анализе логик знания с потенциально беско-нечным множеством познающих субъектов.
найти похожие
временно отсутсвует
в продаже

Подгузники "Libero Everyday", 3 (миди), 4-9 кг, 74 штуки.
Современные подгузники Либеро Эвридэй Миди 4-9 кг. изготовлены из нетканного материала с маленькими отверстиями для проникновения воздуха.
910 руб
Раздел: Обычные
Набор ручек капиллярных STABILO point 88, 20 ручек.
20 цветных ручек в разъемном пластиковом футляре. Размер ручки 14 см.
1149 руб
Раздел: Капиллярные

телефон (495)720-65-64 (495) 720 65 64

wwww4.com Интернет магазин книги почтой