К вопросу о языке логики утверждения событий

Алексей Геннадьевич Кислов

Аннотация


С целью построения неэкстенсиональных семантик в современных логических исследованиях конструируются и обсуждаются комбинированные исчисления предложений и событий. В данной статье ставится вопрос о семантических категориях языков с оператором утверждения событий. Рассматривается проблема семантического статуса самого оператора утверждения событий: представляет ли он категорию образования предложений из имен событий? Семантический статус событийных термов (имен событий) определяется как процедура образования имени из предложения.

Ключевые слова: теория семантических категорий, комбинированная логика предложений и событий, оператор утверждения событий.


Полный текст:

Без имени

Литература


Айдукевич К. О синтаксической связности // Философия и логика львовско-варшавской школы. М., 1999. С. 283–308.

Б. Больцано. Учение о науке. СПб., 2003.

Бочаров В. А., Маркин В. И. Силлогистические теории. М., 2010.

Бочвар Д. А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Матем. сб. М., 1938. Т. 4, № 2. С. 287–308.

Васильев Н. А. Воображаемая логика. Избранные труды. М., 1989.

Витгенштейн Л. Логико-философский трактат // Витгенштейн Л. Философские работы. М., 1994. Ч. 1.

Вригт Г. Х. фон. Логика истины // Вригт Г. Х. фон. Логико-философские исследования. М., 1986. С. 555–579.

Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.

Гольдблатт Р. Логика времени и вычислимости. М., 1992.

Карпенко А. С. Некоторые логические идеи В. А. Смирнова // Логические исследования. Вып. 5. М., 1998. С. 7–18.

Кислов А. Г. О проекте динамической комбинированной логики // Онтология возможных миров. СПб., 2001. С. 38–54.

Кислов А. Г. Язык логики с событиями // Эпистемы : сб. науч. ст. Вып. 7 : Онто-гносеологические традиции: истоки и современность. Екатеринбург, 2012. С. 96–104.

Кислов А. Г. К вопросу об онтологической автономии ассерции и негации // Изв. Урал. федер. ун-та. Серия 3: Общественные науки. 2014. № 1 (125). С. 79–88.

Кислов А. Г. Онтологическая автономия ассерции и негации у раннего Канта // Онтология негативности : сб. науч. тр. М., 2015. С. 292–307.

Кислов А. Г. Онтологически автономные отрицательные суждения: И. Кант, Н. А. Васильев и неклассическая логика // Кантовский сб. Вып. 25. Калининград, 2005. С. 54–70.

Павлов С. А. Логика с операторами истинности и ложности. М., 2004.

Смирнов В. А. Комбинирование исчислений предложений и событий и логика истины фон Вригта // Исследования по неклассическим логикам. М., 1989. С. 16–29.

Смирнов В. А. Многомерные логики // Логические исследования. Вып. 2. М., 1993. С. 259–278.

Смирнов В. А. Утверждение и предикация. Комбинированные исчисления высказываний и событий // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989. С. 27–35.

Смирнова Е. Д. Логика и философия. М., 1996.

Федоров Б. И. Логика Бернарда Больцано. Л., 1980.

Фреге Г. Исчисление понятий, язык формул чистого мышления, построенный по образцу арифметического // Фреге Г. Логика и логическая семантика : сб. тр. М., 2000. С. 65–142.

Черноскутов Ю. Ю. Logic and object theory in 19th century: from Bolzano to Frege // Логич. исслед. 2013. № 19. С. 10–22.

Черноскутов Ю. Ю. Основные подходы к пониманию предмета логики в европейской философии XIX века // Вестн. Томск. гос. ун-та. Философия. Социология. Политология. 2015. № 2 (30). С. 185–207.

Черноскутов Ю. Ю. Развитие теории предмета в Австрийской логике XIX в. и становление современной логики // Мысль: Журн. Петербург. филос. о-ва. 2010. Т. 9, № 1. С. 83–96.

Ajdukiewicz K. Die syntaktische Konexitaet // Studia Philosophica, I, Leopoli, 1935. S. 1–27.

Kaschmider H. Beurteilbarer Inhalt und Gedanke in der Philosophie Gottlob Freges. Hildesheim ; Zürich ; N. Y., 1989.

Wright G.H. von. Truth, negation and contradiction // Synthese. Vol. 66, № 1. 1986.


Ссылки

  • На текущий момент ссылки отсутствуют.


(c) 2015 Алексей Геннадьевич Кислов