Направление
Сравнение формальных теорий. Формальные силлогистики

I. Работа в этом направлении началась для меня в 2000-м году с написания диплома "О соотношении некоторых систем чистой позитивной силлогистики". Основные результаты диплома опубликованы в том же году в статьях и доложены на конференции:

  1. Шиян Т.А. Классификация теорий чистой позитивной силлогистики // Электронный журнал Logical Studies. №4 (2000). www.logic.ru.
  2. Shiyan T.A. A A Classification of Syllogistics with Simple Posittive Terms // Online Journal Logical Studies. №4 (2000). www.logic.ru. (Сокращенный вариант 1.)
  3. Шиян Т.А. Классификация силлогистических теорий // Смирновские чтения. 3 Международная конференция. Москва, 2001. С. 176-177.

    4. Дальнейшие публикации по проекту:

  4. Шиян Т.А. Методы классификации формальных теорий и множество силлогистик // Аспекты: Сборник статей по философским проблемам истории и современности. М.: Изд-во "Современные тетради", 2002. С. 23-36.
  5. Шиян Т.А. О работе по системному математическому описанию предмета современной символической логики // Человек - Культура - Общество. Актуальные проблемы философских, политологических и религиоведческих исследований. (Том II) М.: Изд-во "Современные тетради", 2002. С. 51-52.
  6. Шиян Т.А. Структурные классификации формальных теорий // Современная логика: проблемы теории, истории и применения в науке: Материалы VII Общероссийской научной конференции.20-22 июня 2002. СПб., 2002. С. 515-518.
  7. Шиян Т.А. Принципы построения математического структурно-системного описания предмета современной символической логики // Рационализм и культура на пороге третьего тысячелетия: Материалы Третьего Российского Философского конгресса (16-20 сентября 2002 г.) В 3 т. Т. 1: Философия и методология науки, эпистемология, философская онтология, логика, философия природы, философия сознания, философия техники, философия образования. Ростов н/Д; Изд-во СКНЦ ВШ. 2002. С.

  8. Шиян Т.А. Множество формальных силлогистик с простыми "общими" термами (структурное описание и количественный анализ) // Электронный журнал Logical Studies. №8 (2002). www.logic.ru.
  9. Шиян Т.А. Принципы построения структурных описаний множеств формальных теорий // Смирновские чтения. 4 Международная конференция. М., 2003. С. 185-187.
  10. Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // Электронный журнал Logical Studies. №10 (2003). www.logic.ru.
  11. Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // Логика и В.Е.К. К 90-летию профессора Войшвилло Евгения Казимировича. М.: Изд-во "Современные тетради", 2003. (Перепечатка 10.)
  12. Шиян Т.А. Систематизация и количественный анализ множества формальных силлогистик с простыми "общими" термами // Эпистемы - 3: Язык. Дискурс. Текст. Екатеринбург, 2004.

  13. Шиян Т.А. Соотношение формальных силлогистик в языке с предикаторами a, e, i // Современная логика: проблемы теории, истории и применения в науке: Материалы VIII Общероссийской научной конференции. 24-26 июня 2004. СПб.: Изд-во СПбГУ, 2004.
  14. Шиян Т.А. Теория С2.1 В.А. Смирнова в универсуме формальных силлогистик // Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции. 22-24 июня 2006. СПб.: Изд-во СПбГУ, 2006.
  15. Шиян Т.А. К вопросу об историко-логической адекватности реконструкции В.А. Смирновым силлогистических теорий Н.А. Васильева // Смирновские чтения по логике. Материалы 5-й конференции, 20-22 июня 2007, Москва. М., 2007

    16. Работы, не опубликованные по тем или иным причинам.

  16. Толерантность математического мышления и систематизация логических теорий. 2002 год.

II. В 2003-ем году был получен 3-летний (2003-2005) грант РГНФ на создание в Internet'е информационной системы по формальным теориям. Ресурс располагается по адресу www.theo.ru.

В 2003-ем в качестве промежуточного результата при создании указанной ИС, был создан справочный комплекс по языкам формальных силлогистик, который может работать в режиме OffLine (требуется поддержка VRML). Можно посмотреть сейчас или скачать zip-архив.

III. Диссертация на соискание ученой степени кандидата философских наук (2008) "Структурные описания множеств формальных теорий (на материале формальных силлогистик)".

В ближайших планах продолжение работы над ИС www.theo.ru и написание монографии по теме диссертации и материалам ИС.

Последние изменения: