Структурные описания множеств формальных теорий: на материале формальных силлогистик
Диссертация
В качестве предмета исследования брались формальные силлогистики (и близкие им теории), построенные на базе классической логики в языках без кванторов и модальных операторов. При этом, ставилась цель максимально полно учесть теории, описанные в русско-язычной литературе. В диссертации были проанализированы соотношения около 50 -и таких теорий. Для анализа теории были объединены в несколько групп… Читать ещё >
Список литературы
- Бочаров, Маркин 1994. Бочаров В. А., Маркин В. И. Основы логики. Учебник. М.: Космополис, 1994.
- Бронштейн, Семендяев 1986. Бронштейн И. Н., Семендяев К. А. Справочник по математике для инженеров и учащихся ВТУЗов. М.: Наука, 1986.
- Васюков 1995. Васюков B.JT. Развивая Тарского: котопос теорий // Логические исследования. Вып. 3. М.: Наука, 1995.
- Драгалин 1979. Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979.
- Карпенко 1993. Карпенко A.C. Импликативные логики: решетки и конструкции // Логические исследования. Вып. 2. М.: Наука, 1993.
- Карпенко 1995. Карпенко A.C. Классификация пропозициональных логик // XI Международная конференция «Логика, методология и философия науки». М.-Обнинск, 1995.
- Карпенко 1997а. Карпенко A.C. Максимальная решетка импликативных логик // Международная конференция «Смирновские чтения». М., 1997.
- Карпенко 1997b. Карпенко A.C. Классификация пропозициональных
- Карпенко 1999а. Карпенко A.C. Булевы каскады импликативных логик // Смирновские чтения. 2 Международная конференция. М., 1999.
- Карпенко 1999b. Карпенко A.C. Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения // Логические исследования. Вып. 6. М.: Наука, 1999.
- Карпенко 2001. Карпенко A.C. Подструктурные логики: гильбертовские исчисления // Смирновские чтения. 3 Международная конференция. М., 2001.
- Касьянов, Евстигнеев 2003. Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003.
- Лисовский, Марков 2004. Лисовский К. Ю., Марков A.C. Базы данных. Введение в теорию и методологию. М., 2004.
- Мендельсон. Мендельсон Э. Введение в математическую логику. М., 1971. И другие переиздания.
- Расева, Сикорский 1972. Расева Е., Сикорский Р. Математика метаматематики. М., 1972.
- Смирнов 2001с. Смирнов В. А. Логический анализ научных теорий и отношений между ними // Смирнов В. А. Логико-философские труды. М.: «Эдиториал УРСС», 2001.
- Смирнов 2002. Смирнов В. А. Логические методы анализа научного знания. М.: «Эдиториал УРСС», 2002.
- Субботин 2001. Субботин A.JI. Классификация. М., 2001.
- Френкель, Бар-Хиллел 1966. Френкель A.A., Бар-Хиллел И. Основания теории множеств. М., 1966.
- Янков 1968. Янков В. А. Построение последовательности сильнонезависимых суперинтуиционистских пропозициональных исчислений // Доклады Академии Наук СССР, Т. 181, № 1, 1968. С. 3334.
- Tarski 1956. Tarski A. Foundations of the calculus of system 11 Logic, semantics, metamathematics. Oxford, 1956.
- Schneider 2005. Schneider T. A Hierarchy of Modal Logics. Режим доступа в Интернете: http://www.minet.uni-jena.de/~thschnei/publ/HierarchyMLex.pdf. 2005.
- Использованные источники по формальным силлогистикам
- Бочаров 1980. Бочаров В. А. Алгебраические реконструкции силлогистики // Логико-методологические исследования. М.: Изд-во Моск. ун-та, 1980.
- Бочаров 1983. Бочаров В. А. Булева алгебра в терминах силлогистики // Логические исследования. М., 1983.
- Бочаров 1984. Бочаров В. А. Аристотель и традиционная силлогистика. М., 1984.
- Бочаров 1986. Бочаров В. А. Эктезис в силлогистике С2 // Философские проблемы истории логики и методологии науки (Материалы к Всесоюзной конференции «Методологические и мировоззренческие проблемы истории философии», секция X). Часть I. М., 1986.
- Бочаров 1987. Бочаров В. А. Силлогистики с сингулярными терминами // Современная логика и методология науки. М.: Изд-во Моск. ун-та, 1987.
- Ганиянц, Маркин 1997. Ганиянц И. И., Маркин В. И. Силлогистики с константой исчерпываемости // Международная конференция «Развитие логики в России: итоги и перспективы». Тезисы докладов и сообщений. М., 1997.
- Ильин 2000. Ильин A.A. Негативная фундаментальная силлогистика // Труды научно-исследовательского семинара Логического центра Института философии РАН 2000. М., 2000.
- Ильин 2001. Ильин A.A. Негативная фундаментальная силлогистика // Смирновские чтения. 3 Международная конференция. М., 2001.
- Ильин 2002. Ильин A.A. Негативная силлогистика Л. Кэрролла // Современная логика: проблемы теории, истории и применения в науке: Материалы VII Общероссийской научной конференции. 20−22 июня 2002. СПб., 2002.
- Ильин 2003а. Ильин A.A. Негативная силлогистика аристотелевского типа // Смирновские чтения. 4 Международная конференция. М., 2003.
- Ильин 2003b. Ильин A.A. Негативная силлогистика аристотелевского типа // Электронный журнал Logical Studies. № 10 (2003). www.logic.ru.
- Ильин 2003с. Ильин A.A. Негативная силлогистика аристотелевского типа // Логика и B.E.K. К 90-летию профессора Войшвилло Евгения Казимировича. М.: Изд-во «Современные тетради», 2003.
- Ильин 2003d. Ильин A.A. Силлогистика Б. Больцано // Аспекты: Сборник статей по философским проблемам истории и современности. Выпуск II. М.: Изд-во «Современные тетради», 2003.
- Ильин 2004. Ильин A.A. Аксиоматизация традиционной силлогистики // Современная логика: проблемы теории, истории и применения в науке: Материалы VIII Общероссийской научной конференции. 24−26 июня 2004. СПб.: Изд-во СПбГУ, 2004.
- Ильин 2006. Ильин A.A. Система негативной силлогистики // Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции. 22−24 июня 2006. СПб., 2006.
- Ишимото 1993. Ишимото А. Логическая грамматика: логико-онтологический обзор // Логические исследования. Вып. 2. М.: Наука, 1993.
- Ишимото, Сагал 1993. Ишимото А., Сагал П. Т. Интерпретация Онтологии Лесневского: пропозициональный фрагмент Онтологии Лесневского и родственные системы // Логические исследования. Вып.2. М.: Наука, 1993.
- Клини 1973. Клини С. К. Математическая логика. М., 1973.
- Колесников 1983. Колесников Н. Г. Формализация силлогистики Льюиса Кэррола // Логические исследования (Труды научно-исследовательского семинара по логике Института философии АН СССР). Москва: ИФ АН СССР, 1983.
- Костюк 1999. Костюк Т. П. Позитивные силлогистики Васильевского типа// Логические исследования. Вып. 6. М.: Наука, 1999.
- Костюк, Маркин 1997. Костюк Т. П., Маркин В. И. Проблема реконструкции ассерторической силлогистики H.A. Васильева // Международная конференция: «Смирновские чтения». М., 1997.
- Кускова 2001. Кускова С. М. Расширение обобщенной фундаментальной силлогистики // Смирновские чтения. 3 Международная конференция. М., 2001.
- Маркин 1983. Маркин В. И. Семантическое доказательство погружаемости некоторых систем силлогистики в исчисление предикатов // Логические исследования. М., 1983.
- Маркин 1991. Маркин В. И. Силлогистические теории в современной логике. М.: Изд-во Моск. ун-та, 1991.
- Маркин 1993. Маркин В. И. Силлогистические теории и исчисление предикатов//Логические исследования. Вып. 1. М.: Наука, 1993.
- Маркин 1995. Маркин В. И. Современная реконструкция сингулярной негативной силлогистики Аристотеля // XI Международная конференция «Логика, методология и философия науки». М.-Обнинск, 1995.
- Маркин 1997а. Маркин В. И. Формализация традиционной сингулярной негативной силлогистики // Международная конференция: «Смирновские чтения». М., 1997.
- Маркин 1997Ь. Маркин В. И. Сингулярная негативная силлогистика Аристотеля и свободная логика // Логические исследования. Вып. 4. М.: Наука, 1997.
- Маркин 1998а. Маркин В. И. Системы силлогистики, адекватные двум переводам силлогистических формул в исчисление предикатов В. А. Смирнова // Труды научно-исследовательского семинара Логического центра Института философии РАН 1997. М., 1998.
- Маркин 1998Ь. Маркин В. И. Формальная реконструкция традиционной сингулярной негативной силлогистики // Логические исследования. Вып. 5. М.: Наука, 1998.
- Маркин 1999. Маркин В. И. Обобщенная позитивная силлогистика // Логические исследования. Вып. 6. М.: Наука, 1999.
- Маркин 2001а. Маркин В. И. Традиционная силлогистика как теория отношений между понятиями по содержанию // Смирновские чтения. 3 Международная конференция. М., 2001.
- Маркин 2001Ь. Маркин В. И. Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001.
- Мчедлишвили 1986. Мчедлишвши Л. И. Позитивная ассерторическая силлогистика и логика одноместных предикатов // Логика и системные' методы анализа научного знания. М., 1986.
- Мчедлишвили 1999а. Мчедлишвши’Л. Применение лейбницева метода арифметизации к нетрадиционным системам силлогистики // Смирновские чтения. 2 Международная конференция. М., 1999.
- Мчедлишвили 1999Ь. Мчедлишвши Л. И. К семантике аподиктической силлогистики Аристотеля // Логические исследования. Вып. 6. М.: Наука, 1999.
- Мчедлишвили 2000а. Мчедлишвши Л. И. К семантике аподиктической силлогистики Аристотеля // Логические исследования. Вып. 7. М.: Наука, 2000.
- Мчедлишвили 2001. Мчедлишвши Л. И. Исчисление отбрасываемых формул для нетрадиционных систем позитивной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001.
- Мчедлишвили 2002. Мчедлишвши Л. И Арифметическая семантика для нетрадиционных систем силлогистики // Логические исследования. Вып. 9. М.: Наука, 2002.
- Попов 1986. Попов В. М. Силлогистика и квазибулева алгебра // Логикаи системные методы анализа научного знания. Тезисы IX Всесоюзного совещания по логике, методологии и философии науки. М., 1986.
- Попов 1997. Попов В. М. Расширение системы С2 В. А. Смирнова и п-полурешетка с нулем // Международная конференция «Развитие логики в России: итоги и перспективы». Тезисы докладов и сообщений. М., 1997.
- Попов, Хорохорин 1995. Попов В. М., Хорохорин И. И. Диадические семантики в силлогистике // XI Международная конференция «Логика, методология и философия науки». М.-Обнинск, 1995.
- Попов, Хорохорин 1997. Попов В. М., Хорохорин И. И. Диадические семантики для систем С1 и СЗ формальной силлогистики // Логические исследования. Вып. 4. М.: Наука, 1997.
- Попов, Хорохорин 1998. Попов В. М., Хорохорин И. И. Диадические семантики для систем формальной силлогистики // Логические исследования. Вып. 5. М.: Наука, 1998.
- Серебрянников 1970. Серебрянников О. Ф. Эвристические принципы и логические исследования. М., 1970.
- Смирнов 1983а. Смирнов В. А. Дефинициальная эквивалентность расширенной силлогистики С2Д булевой алгебре // Логические исследования. М., 1983.
- Смирнов 1983b. Смирнов В. А. Погружение систем позитивной силлогистики в одноместное исчисление предикатов // Логические исследования. М., 1983.
- Смирнов 1987. Смирнов В. А. Аксиоматизация логических систем H.A. Васильева // Современная логика и методология науки. М.: Изд-во Моск. ун-та, 1987.
- Смирнов 1994. Смирнов В. А. Дефинициальная эквивалентность системсиллогистики // Труды научно-исследовательского семинара логического центра Института философии РАН 1993. М., 1994.
- Смирнов 2001а. Смирнов В. А. Топологическая интерпретация модальной силлогистики // Смирнов В. А. Логико-философские труды. М.: «Эдиториал УРСС», 2001.
- Смирнов 2001b. Смирнов В А. Логические идеи Н. А. Васильева и современная логика // Смирнов В. А. Логико-философские труды. М.: «Эдиториал УРСС», 2001.
- Смирнов 2002. Смирнов В. А. Логические методы анализа научного знания. М.: «Эдиториал УРСС», 2002.
- Shepherdson 1956. Shepherdson J.С. On the Interpretation of Aristotelian Syllogistic // The Journal of Symbolic Logic. Volume 21, Number 2, June 1956.
- Исследования автора по теме диссертации
- Шиян 2000а. Шиян Т. А. Классификация теорий чистой позитивной силлогистики // Электронный журнал Logical Studies. № 4 (2000). www.logic.ru.
- Шиян 2000b. Shiyan Т.А. A Classification of Syllogistics with Simple Positive Terms // Online Journal Logical Studies. № 4 (2000). www.logic.ru.
- Шиян 2001. Шиян Т. А. Классификация силлогистических теорий // Смирновские чтения. 3 Международная конференция. М., 2001.
- Шиян 2002а. Шиян ТА. Методы классификации формальных теорий и множество силлогистик // Аспекты: Сборник статей по философским проблемам истории и современности. М.: Изд-во «Современные тетради», 2002.
- Шиян 2002b. Шиян Т. А. О работе по системному математическому описанию предмета современной символической логики // Человек -Культура Общество. Актуальные проблемы философских, политологических и религиоведческих исследований. Т. 2. М.: Изд-во
- Современные тетради", 2002.
- Шиян 2002с. Шиян ТА. Структурные классификации формальных теорий // Современная логика: проблемы теории, истории и применения в науке: Материалы VII Общероссийской научной конференции. 20−22 июня 2002. СПб., 2002.
- Шиян 2002е. Шиян Т. А. Множество формальных силлогистик с простыми «общими» термами (структурное описание и количественный анализ) // Электронный журнал Logical Studies. № 8 (2002). www.logic.ru.
- Шиян 2003а. Шиян Т. А. Принципы построения структурных описаний множеств формальных теорий // Смирновские чтения. 4 Международная конференция. М., 2003.
- Шиян 2003b. Шиян Т. А. Формально-историческое исследование нескольких групп формальных силлогистик // Электронный журнал Logical Studies. № 10 (2003). www.logic.ru.
- Шиян 2003с. Шиян Т. А. Формально-историческое исследование нескольких групп формальных силлогистик // Логика и В.Е.К. К 90-летию профессора Войшвилло Евгения Казимировича. М.: Изд-во «Современные тетради», 2003.
- Шиян 2004а. Шиян Т. А. Систематизация и количественный анализ множества формальных силлогистик с простыми «общими» термами // Эпистемы 3: Язык. Дискурс. Текст. Екатеринбург, 2004.
- Шиян 2004b. Шиян Т. А. Соотношение формальных силлогистик вязыке с предикаторами а, е, i // Современная логика: проблемы теории, истории и применения в науке: Материалы VIII Общероссийской научной конференции. 24−26 июня 2004. СПб., 2004.
- Шиян 2006а. Шиян Т. А. Теория С2.1 В. А. Смирнова в универсуме формальных силлогистик // Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции. 22−24 июня 2006. СПб., 2006. С. 402−405.
- Шиян 2006b. Шиян ТА. О некоторых проблемах интерпретации логико-математической символики // Ao^a / Докса. Зб1рник наукових праць з фшософй' та фшологп. Вип. 10. Стратегп' штерпретаци тексту: методи i moki ix застосування. Одеса, 2006.
- Шиян 2007а. Шиян Т. А. О фактических ограничениях формальной методологии // Философия математики: актуальные проблемы. Материалы Международной научной конференции 15−16 июня 2007. М.: Изд. Савин С. А., 2007.
- Шиян 2007b. Шиян ТА. Моделирование логических знаний и знаниевого вывода средствами СУБД // Логические исследования. Вып. 14. М.: Наука, 2007.
- Шиян 2008. Шиян Т. А. О некоторых ограничениях формально-математической методологии // Вестник РГГУ. Серия «Философия». № 7/08. М, 2008.