Институт Философии
Российской Академии Наук




  2011 год
Главная страница » » 2011 год

2011 год


Важнейшие результаты законченных фундаментальных и прикладных исследований:

 

  1. Проблема онтологических допущений языка часто остается за рамками анализа и рассмотрений. Оказывается, что некоторые аспекты логической семантики имеют онтологическую перспективу вследствие разнообразия методов семантического анализа. В случае формальных языков, онтологические допущения нуждаются в точной формулировке, которая позволяет, в свою очередь, рассмотреть некоторую версию типологии этих допущений (Васюков В.Л. Логическая семантика и внутренняя онтология языка // Логическая семантика: перспективы для философии языка и эпистемологии. М.: Креативная экономика, 2011. С. 55-81).
  2. Построена теоретико-категорная семантика, основанная на конструкции категории специального вида – топосе функторов из релевантной алгебры (рассматриваемой как категория предпорядка со специальными эндофункторами) в категорию множеств. Доказана полнота системы релевантной логики R по отношению к данной построенной семантике (Vasyukov V.L. Paraconsistency in Categories: Case of Relevant Logic // Studia Logica, Vol. 98, Issue 3, 2011. P. 429-443).
  3. Комбинированная логика предложений и событий состоит из двух частей: внешней логики, зависящей от эпистемологических допущений, и внутренней логики, зависящей от онтологических допущений. Она была введена В.А. Смирновым, который основывался на некоторых идеях Г. Фреге и Н. Васильева. Анализ структуры комбинированной логики показывает, что, фактически, она использует связи между двумя логическими системами, постулируя в роли онтологической части алгебры, служащие моделями соответствующих логик. Это наводит на мысль рассмотрения систем, которые описывают прямое взаимодействие двух логик на синтаксическом уровне, когда у нас есть доступ к этим логикам без посредства их моделей. В роли подобных систем могут быть использованы так называемые коэкспоненциалы и экспоненциалы логик, введенные ранее автором. Получен случай двух паранепротиворечивых логик, имеющих паранепротиворечивые алгебры в качестве своей онтологической части (Vasyukov V.L. Combined Paraconsistent Logics and their (Co)Exponentials // Вестник Российского университета дружбы народов. Серия: философия. №3, 2011. С. 97-110).

 

Список опубликованных работ:

  • Васюков В.Л. Логическая семантика и внутренняя онтология языка // Логическая семантика: перспективы для философии языка и эпистемологии. М.: Креативная экономика, 2011. С. 55-81.
  • Васюков В.Л. Виртуальные объекты, интенциональные объекты и возможные миры // Возможные миры. Семантика, онтология, метафизика. М.: Канон+, 2011. С. 186-213.
  • Vasyukov V.L. Logical Pluralism and Non-Classical Category Theory // Седьмые Смирновские чтения по логике. Материалы международной научной конференции (22-24 июня 2011 г.). М.: ЗАО «Современные тетради», 2011. С. 11-17.
  • Vasyukov V.L. Paraconsistency in Categories: Case of Relevant Logic // Studia Logica, Vol. 98, Issue 3, 2011. P. 429-443.
  • Vasyukov V.L. Combined Paraconsistent Logics and their (Co)Exponentials // Вестник Российского университета дружбы народов. Серия: философия. №3, 2011. С. 97-110.
  • Васюков В.Л. Паранепротиворечивые категории для паранепротиворечивой логики // Логические исследования. Вып. 17. М.-СПб.: Центр гуманитарных инициатив, 2011. С. 69-83.
  • Васюков В.Л. Стратегия интенционального искусственного интеллекта // Актуальные проблемы современной когнитивной науки. Материалы четвертой всероссийской научно-практической конференции с международным участием (20-21 октября 2011 г.). Иваново, 2011. С. 131-145.
  • Веряскина В.П. Роль курса «История и философия науки» в социально-гуманитарном познании. Опыт преподавания // Вестник волгоградского государственного университета. Серия 7. Философия, социология и социальные технологии. №2 (14), 2011.
  • Краснопольская Л.Н. Мы будем Вам нужны, когда будем нужны // Материалы Международной конференции «Математика. Компьютер. Образование». М., 2011.