16
   Б 865


    Бочаров, Вячеслав Александрович.
    Введение в логику : учебник для студентов вузов, изучающих философские дисциплины / В. А. Бочаров, В. И. Маркин. - Москва : ИНФРА-М : ФОРУМ, 2008. - 560 с. - (Высшее образование). - ISBN 978-5-8199-0365-0 : 264.90 р., 264.90 р., 289.85 р.
ГРНТИ
УДК
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Логический анализ языка -- Логика высказываний -- Логика предикатов -- Силлогистика -- Модальная логика -- Логика времени -- Интуиционистская логика -- Понятие (логика)


Доп.точки доступа:
Маркин, Владимир Ильич
Экземпляры всего: 17
Х (1), АБУ (15), ЧЗГ (1)
Свободны: Х (1), АБУ (15), ЧЗГ (1)

   16
   К 210


    Караваев, Эдуард Федорович.
    Основания временной логики / Э. Ф. Караваев ; Министерство высшего и среднего специального образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1983. - 176 с. - 1.70 р., 1.70 р.
ГРНТИ
УДК
ББК Ю4

Кл.слова (ненормированные):
Логика времени -- Временная логика -- Модальная логика


Доп.точки доступа:
Министерство высшего и среднего специального образования РСФСР
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)

   517
   В 201


    Васюков, Владимир Леонидович.
    Квантовая логика / В. Л. Васюков ; Рос. акад. наук, Ин-т истории философии. - Москва : ПЕР СЭ, 2005. - 191,[1] с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 : 90.00 р.
ГРНТИ
УДК
Рубрики: Математическая логика
Кл.слова (ненормированные):
Логические системы -- Логика времени -- Логика наблюдаемых -- Лукасевича логика -- Чэна логика -- квантовая логика -- квантовологическое исследование -- логическая техника -- логическое исчисление
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.


Доп.точки доступа:
Российская академия наук; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)