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

   Исключить отсутвующие книги
Как похудеть

КНИГИ

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

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

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

Эстетика

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

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

Философия

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

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


телефон (495)109-01-54 (495)
109 01 54


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

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




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

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


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

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

Ранец "Monochrome".
Ранец не только очень вместительный и красивый. В нем продумана каждая деталь для того, чтобы все вещи были в порядке, а спина ребенка не
2309 руб
Раздел: Без наполнения
Доска пробковая для объявлений А3, 342x484 мм.
Пробковая поверхность доски позволяет легко размещать информацию и объявления с помощью кнопок, офисных булавок и т.п. Широко используется
364 руб
Раздел: Прочее

ИП БАЙДИМИРОВ КОНСТАНТИН АЛЕКСАНДРОВИЧ ОГРН 304246536100619 ИНН 246504450850 КПП 246500000 СВ-ВО 24 000675526 от 27/02/2002 Р/С 40802810900200001155 К/С 30101810100000000787 БИК 044525787 ОАО «УРАЛСИБ» Г. МОСКВА 107023 Москва, ул Малая Семеновская 3. Почтовый адрес 107023 Москва-23 а/я 17

телефон (495)109-01-54 (495) 109 01 54

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