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

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

КНИГИ

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

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

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

Эстетика

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

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

Философия

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

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


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


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

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



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

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


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

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

Пиратский корабль.
В комплекте: трехмерный макет корабля, более 50 фигур пиратов и деталей пиратского обихода, захватывающая история о сокровищах пиратов.
410 руб
Раздел: 3D модели из бумаги
Когтеточка для кошек "Мышелов".
Когтеточка для кошек «Мышелов», безусловно, станет подспорьем для Вас и любимым развлечением Вашей кошки. Ведь это не только удобная
425 руб
Раздел: Прочее

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

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