Аксиоматизация логики для кросс-мировой предикации

Аксиоматизация логики для кросс-мировой предикации

В нескольких недавних публикациях я описал логику CWPL, предназначенную для моделирования рассуждений, содержащих кросс-мировую предикацию. Семантическая специфика этой логики состоит в том, что она базируется на кросс-мировой интерпретации предикатов. Для CWPL и ряда ее модификаций существуют и...

Полное описание

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Философия. Социология. Политология № 88. С. 22-29
Главный автор:	Борисов, Евгений Васильевич философ
Формат:	Статья в журнале
Язык:	Russian
Предметы:	кросс-мировая предикация модальная логика первого порядка семантика статьи в журналах
Online-ссылка:	https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001275070 Перейти в каталог НБ ТГУ

Похожие документы

Логика для кросс-мировой предикации: теория доказательства
по: Борисов, Евгений Васильевич философ

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

Логики для кросс-мировой предикации на основе D, T, S4 и S5
по: Мухаметшина, Индира Искандаровна

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

К вопросу об особенностях CPL
по: Ламберов, Лев Дмитриевич

Кросс-мировое сравнение в расширенной логике сослагательного наклонения
по: Гавриков, Александр Романович

Varying domain first-oder modal logic
по: Gavrikov, A. R.

Философские проблемы логики (Семантические аспекты)
по: Целищев, Виталий Валентинович
Публикация: (1984)

Семантика модальных и интенсиональных логик
Публикация: (1981)

Философские проблемы семантики возможных миров
по: Целищев, Виталий Валентинович
Публикация: (1977)

Содержательная семантика модальной логики
по: Ивлев, Юрий Васильевич 1936-
Публикация: (1985)

Релевантная логика (предпосылки, исчисления, семантика)
по: Сидоренко, Евгений Александрович 1940-
Публикация: (2000)

Counterfactuals
по: Lewis, David K. 1941-
Публикация: (2005)

Possible worlds semantics
по: Dibrov, A. D.

Значение и необходимость Исследование по семантике и модальной логике
по: Карнап, Рудольф
Публикация: (1959)

Реализация обратного метода для модальной логики КТ
по: Бурлуцкий, Владимир Владимирович

Логическая семантика и модальная логика Сборник статей
Публикация: (1967)

Первопорядковая модальная логика с 𝜆-оператором
по: Мухаметшина, Индира Искандаровна

Проблемы предикации в теологии Августина Аврелия и Северина Боэция
по: Абилкаламова, Алина Булатовна

Модальная логика оценок и норм с точки зрения содержательной этики и права
по: Лобовиков, Владимир Олегович
Публикация: (1984)

Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01
по: Бурлуцкий, Владимир Владимирович
Публикация: (2001)

Логические исследования
Публикация: (2002)

Содержательные аспекты предложения-высказывания
по: Иванова, Валентина Ивановна
Публикация: (1997)

Von Wrights theory as the subsystem of the theory D
по: Gavrikov, A. R.

Интерпретация христианской догматики в теологических трактатах Северина Боэция
по: Абилкаламова, Алина Булатовна

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Исследования допустимых правил в нестандартных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
по: Бабенышев, Сергей Валерьевич
Публикация: (1995)

Практическая логика: учебное пособие/
по: Ивин, А. А. Александр Архипович
Публикация: (2002)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1976)

Полимодальность: влияние сенсомоторного опыта на восприятие слов
по: Некрасова, Елена Дмитриевна

Эволюционная эпистемология и ненормальная модальная логика знания
по: Лобовиков, Владимир Олегович

Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
по: Целищев, Виталий Валентинович

Philosophical papers
по: Lewis, David
Публикация: (1983)

Papers on time and tense
по: Prior, Arthur N. 1914-1969
Публикация: (2003)

Кросс-культурный менеджмент учебник для бакалавриата и магистратуры : [по экономическим направлениям и специальностям]
по: Мясоедов, Сергей Павлович
Публикация: (2016)

Логические исследования
Публикация: (2003)

Очерки социальной истории логики в России
по: Бажанов, Валентин Александрович 1953-
Публикация: (2002)

Логика: пособие для учащихся/
по: Ивин, А. А. Александр Архипович
Публикация: (1996)

Транскоммуникативная парадигма в кросс-культурном исследовании
по: Кабрин, Валерий Иванович

Модальные аналитические конструкции в алтайском языке
по: Озонова, Айяна Алексеевна
Публикация: (2006)