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

   Исключить отсутвующие книги
Молочный гриб замечательный дар природы для здоровья и красоты

КНИГИ

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

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

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

Эстетика

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

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

Философия

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

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


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


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

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




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

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


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

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

Фоторамка (40х60 см), махагон.
Размер фото: 40х60 (А2) см. Материал багета: дерево. Крепление задника: лепестки. Материал вставки: стекло. Цвет: махагон. Ширина багета: 20 мм.
400 руб
Раздел: Размер 40x60 (А2)
Вешалка металлическая "Офис", для плечиков, регулируемая, серая, хром.
Передвижная офисная вешалка с телескопической штангой для плечиков и полкой для обуви. Возможность регулировки по высоте и наличие
1883 руб
Раздел: Вешалки-плечики

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

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