О неаристотелевском строении понятий
Article Sidebar
Опубликован:
21.04.2015
Ключевые слова:
аристотелевская традиция понятий, экстенсионал (объем), интенсионал (содержание), индуктивные методы Д.С. Милля, ДСМ-рассуждения, процедурные понятия, треугольник Г. Фреге
Main Article Content
Аннотация
В статье рассматривается строение понятий, отличное от аристотелевской традиции, основанной на онтологии «вещь–свойства». Неаристотелевское строение понятий анализируется на примере процедурных понятий ДСМ-метода автоматического порождения гипотез. Для процедурных понятий предлагается уточнение и расширение треугольника Г. Фреге. Для процедурных понятий треугольник Г. Фреге, образованный интенсионалом (содержанием), экстенсионалом (объемом), дополняется процедурным выражением, преобразующим исходные данные посредством интенсионала в экстенсионал. В статье приводится пример нарушения так называемого «закона обратного соотношения» объема и содержания понятия для понятий ДСМ-метода автоматического порождения гипотез. Формулируются особенности неаристотелевского строения понятий как средств организации знаний, а не «формы мышления». На примере понятий, представляющих ДСМ-рассуждения, демонстрируется отличие их строения от понимания понятий в аристотелевской традиции. В статье обсуждается также проблема преобразования идей в точно характеризуемые понятия.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Финн В. К. О неаристотелевском строении понятий // Логические исследования / Logical Investigations. 2015. Т. 21. № 1. C. 9-48.
Выпуск
Раздел
Статьи
Литература
ДСМ-метод автоматического порождения гипотез: Логические и эпистемологические основания / Под общей редакцией О.М. Аншакова. М.: Книжный дом «ЛИБРОКОМ», 2009.
Аншаков О.М., Скворцов Д.П., Финн В.К. Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений // Логические исследования. М.: Наука, 1993. Вып. 1. С. 222–247.
Аншаков О.М., Скворцов Д.П., Финн В.К. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез // ДСМ-метод автоматического порождения гипотез: логические и эпистемологические основания. М.: Книжный дом «ЛИБРОКОМ», 2009. С. 240–286.
Арно А., Николь П. Логика, или искусство мыслить. Харьков: Лitera Nova, 2009.
Барвайс Д. Введение в логику первого порядка. Справочная книга по математической логике. Ч. I: Теория моделей. М.: Наука, 1983.
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления. Математический сборник. Т.4. Вып. 2. 1938. С. 287–308.
Бочвар Д.А., Лахути Д.Г., Финн В.К. Комментарии // Карнап Р. Значение и необходимость. Исследование по семантике и модальной логике. Биробиджан: ИП «ТРИВИУМ», 2000. С. 361–368.
Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М.: ФИЗМАТЛИТ, 2008.
Вертгеймер М. Продуктивное мышление. М.: ПРОГРЕСС, 1987.
Виноградов Д.В. Формализация правдоподобных рассуждений в логике предикатов 1-ого порядка // Научно-техническая информация. Сер. 2. № 11. 2000. С. 17–20.
Войшвилло Е.К. Понятие как форма мышления. М.: Издательство Московского университета, 1989.
Гершель Дж. Философия естествознания. Издание второе. М.: «ЛИБРОКОМ», 2011.
Гусакова С.М., Михеенкова М.А., Финн В.К. О логических средствах автоматизированного анализа мнений // Автоматическое порождение гипотез в интеллектуальных системах. М.: Книжный дом «ЛИБРОКОМ», 2009. Гл. 3. С. 446–484.
Забежайло М.И., Ивашко В.Г., Кузнецов С.О., Михеенкова М.А., Хазановский К.П., Аншаков О.М. Алгоритмические и программные средства ДСМ-метода автоматического порождения гипотез // Научно-техническая информация. Сер. 2. № 10. 1987. С. 1–13.
Кассирер Э. Познание и действительность. Понятие субстанции и понятие функции. М.: ГНОЗИС, 2006.
Котарбиньский Т. Лекции по истории логики. XII. Логика Пор-Рояля. XIII. Логика Пор-Рояля (продолжение) // Котарбиньский Т. Избранные произведения. М.: Издательство иностранной литературы, 1963. C. 424–433.
Криницкий Н.А. Аналитическая теория алгоритмов. М.: «Физматлит», 1994.
Лапшин В.А. Онтологии в компьютерных системах. М.: Научный мир, 2010.
Люгер Д.Ф. Искусственный интеллект. Москва; Санкт-Петербург; Киев, 2003.
Мастерман М. Тезаурус в синтаксисе и семантике // Математическая лингвистика. М.: Издательство «МИР». 1964, С. 160–176.
Милль Д.С. Система логики силлогистической и индуктивной. Издание пятое. М.: ЛЕНАНД, 2011.
Пирс Ч.С. Как сделать наши идеи ясными // Пирс Ч.С. Избранные произведения. М.: ЛОГО_, 2000. C. 266–295.
Поппер К.Р. Объективное знание. Эволюционный подход. М.: Эдиториал УРСС, 2002.
Поппер К.Р. Эволюционная эпистемология // Эволюционная эпистемология и логика социальных наук. Карл Поппер и его критики / Общая редакция В.Н. Садовского. М.: Эдиториал УРСС, 2000. С. 57–74.
Скворцов Д.П. О некоторых способах построения логических языков с кванторами по кортежам // Семиотика и информатика. Вып. 20. 1983. С. 102–126.
Финн В.К. Абдукция / Энциклопедия эпистемологии и философии науки. М.: КАНОН+, 2009. С. 8–9.
Финн В.К. Дистрибутивные решетки индуктивных процедур // Научнотехническая информация. Сер. 2. № 11. 2014. С. 1–30.
Финн В.К. ДСМ-метод автоматического порождения гипотез с отношением порядка / ДСМ-метод автоматического порождения гипотез: логические и эпистемологические основания. М.: Книжный дом «ЛИБРОКОМ», 2009. Ч. I. Гл. 1. C. 166–191.
Финн В.К. Индуктивные методы Д.С. Милля в системах искусственного интеллекта // Искусственный интеллект и принятие решений. Ч. I. № 3. 2010. C. 3–21; Ч. II. № 4. 2010. C. 14–40.
Финн В.К. Искусственный интеллект: Методология, применения, философия. М.: КРАСАНД., 2011. Ч. II. Гл. 3: Интеллектуальные системы и общество: идеи и понятия. С. 137–167.
Финн В.К. Искусственный интеллект: Методология, применения, философия. М.: КРАСАНД. 2011.
Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. 2004. № 3. С. 3–18.
Финн В.К. Об обобщенном ДСМ-методе автоматического порождения гипотез // ДСМ-метод автоматического порождения гипотез: логические и эпистемологические основания. М.: Книжный дом «ЛИБРОКОМ», 2009. Ч. I. Гл. 2. C. 192–213.
Финн В.К. Об определении эмпирических закономерностей посредством ДСМ-метода автоматического порождения гипотез // Искусственный интеллект и принятие решений. 2010. № 4. С. 41–48.
Финн В.К. Стандартные и нестандартные логики аргументации // Логические исследования. Вып. 13. М.: Наука, 2006. С. 158–189.
Финн В.К. Эпистемологические основания ДСМ-метода автоматического порождения гипотез // Научно-техническая информация. Сер. 2. Ч. I. № 9. 2013. C. 1–29; Ч. II. № 12. 2013. C. 1–26.
Финн В.К. Эпистемологические принципы порождения гипотез // Вопросы философии. 2014. №2. C. 83–95.
Финн В.К., Михеенкова М.А. О ситуационном расширении ДСМ-метода автоматического порождения гипотез // Автоматическое порождение гипотез в интеллектуальных системах. М.: Книжный дом «ЛИБРОКОМ», 2009. Гл. 2. С. 428–445.
Фреге Г. О смысле и значении // Готлоб Фреге. Логика и логическая семантика. М.: АСПЕКТ ПРЕСС, 2000. С. 215–229.
Френкель А., Бар-Хиллел И. Основания теории множеств. Издательство «МИР», 1966.
Челпанов Г.И. Учебник логики. М.: Издательская группа «ПРОГРЕСС», 1994. Глава IV. Содержание и объем понятий. С. 24–31.
Чёрч А. Введение в математическую логику. М.: Издательство иностранной литературы, 1960. Введение. 03. Функции. Стр. 27.
Anshakov O., Gergely T. Cognitive Reasoning. A Formal Approach. SpringerVerlag: Berlin–Heidelberg, 2010.
Davey B.A., Priestley H.A. Introduction to Lattices and Order. Second edition. Cambridge University Press, 2002. 3: Formal concept analysis. P. 65–84.
Abductive Inference: Computation, Philosophy, Technology / Eds. J.R. Josephson, S.G. Josephson. Cambridge: University Press, 1994.
Korner S. Conceptual thinking. A Logical inquiry. Cambridge: The University of Bristol at the University Press, 1955.
Kuznetsov S.O. Galois Connection in Data Analysis: Contributions from the Soviet Era and Modern Russian Research // Ganter B., Stumme G., Wille R. (Eds.) Formal Concept Analysis. Foundations and Applications. Springer Verlag. Berlin – Heidelberg, 2005. P. 196–225.
Nilsson N.I. Artificial Intelligence: A New Synthesis. San Francisco, California: Morgan Kaufmann Publishers, Inc. 1998.
Rosser B., Turquette A.R. Many-Valued Logics. Amsterdam: North-Holland Publishing Company, 1958.
Wille R. Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies // Ganter B., Stumme G., Wille R. (Eds.) Formal Concept Analysis. Foundations and Applications. Springer-Verlag. Berlin - Heidelberg, 2005. P. 1–33.
Аншаков О.М., Скворцов Д.П., Финн В.К. Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений // Логические исследования. М.: Наука, 1993. Вып. 1. С. 222–247.
Аншаков О.М., Скворцов Д.П., Финн В.К. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез // ДСМ-метод автоматического порождения гипотез: логические и эпистемологические основания. М.: Книжный дом «ЛИБРОКОМ», 2009. С. 240–286.
Арно А., Николь П. Логика, или искусство мыслить. Харьков: Лitera Nova, 2009.
Барвайс Д. Введение в логику первого порядка. Справочная книга по математической логике. Ч. I: Теория моделей. М.: Наука, 1983.
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления. Математический сборник. Т.4. Вып. 2. 1938. С. 287–308.
Бочвар Д.А., Лахути Д.Г., Финн В.К. Комментарии // Карнап Р. Значение и необходимость. Исследование по семантике и модальной логике. Биробиджан: ИП «ТРИВИУМ», 2000. С. 361–368.
Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М.: ФИЗМАТЛИТ, 2008.
Вертгеймер М. Продуктивное мышление. М.: ПРОГРЕСС, 1987.
Виноградов Д.В. Формализация правдоподобных рассуждений в логике предикатов 1-ого порядка // Научно-техническая информация. Сер. 2. № 11. 2000. С. 17–20.
Войшвилло Е.К. Понятие как форма мышления. М.: Издательство Московского университета, 1989.
Гершель Дж. Философия естествознания. Издание второе. М.: «ЛИБРОКОМ», 2011.
Гусакова С.М., Михеенкова М.А., Финн В.К. О логических средствах автоматизированного анализа мнений // Автоматическое порождение гипотез в интеллектуальных системах. М.: Книжный дом «ЛИБРОКОМ», 2009. Гл. 3. С. 446–484.
Забежайло М.И., Ивашко В.Г., Кузнецов С.О., Михеенкова М.А., Хазановский К.П., Аншаков О.М. Алгоритмические и программные средства ДСМ-метода автоматического порождения гипотез // Научно-техническая информация. Сер. 2. № 10. 1987. С. 1–13.
Кассирер Э. Познание и действительность. Понятие субстанции и понятие функции. М.: ГНОЗИС, 2006.
Котарбиньский Т. Лекции по истории логики. XII. Логика Пор-Рояля. XIII. Логика Пор-Рояля (продолжение) // Котарбиньский Т. Избранные произведения. М.: Издательство иностранной литературы, 1963. C. 424–433.
Криницкий Н.А. Аналитическая теория алгоритмов. М.: «Физматлит», 1994.
Лапшин В.А. Онтологии в компьютерных системах. М.: Научный мир, 2010.
Люгер Д.Ф. Искусственный интеллект. Москва; Санкт-Петербург; Киев, 2003.
Мастерман М. Тезаурус в синтаксисе и семантике // Математическая лингвистика. М.: Издательство «МИР». 1964, С. 160–176.
Милль Д.С. Система логики силлогистической и индуктивной. Издание пятое. М.: ЛЕНАНД, 2011.
Пирс Ч.С. Как сделать наши идеи ясными // Пирс Ч.С. Избранные произведения. М.: ЛОГО_, 2000. C. 266–295.
Поппер К.Р. Объективное знание. Эволюционный подход. М.: Эдиториал УРСС, 2002.
Поппер К.Р. Эволюционная эпистемология // Эволюционная эпистемология и логика социальных наук. Карл Поппер и его критики / Общая редакция В.Н. Садовского. М.: Эдиториал УРСС, 2000. С. 57–74.
Скворцов Д.П. О некоторых способах построения логических языков с кванторами по кортежам // Семиотика и информатика. Вып. 20. 1983. С. 102–126.
Финн В.К. Абдукция / Энциклопедия эпистемологии и философии науки. М.: КАНОН+, 2009. С. 8–9.
Финн В.К. Дистрибутивные решетки индуктивных процедур // Научнотехническая информация. Сер. 2. № 11. 2014. С. 1–30.
Финн В.К. ДСМ-метод автоматического порождения гипотез с отношением порядка / ДСМ-метод автоматического порождения гипотез: логические и эпистемологические основания. М.: Книжный дом «ЛИБРОКОМ», 2009. Ч. I. Гл. 1. C. 166–191.
Финн В.К. Индуктивные методы Д.С. Милля в системах искусственного интеллекта // Искусственный интеллект и принятие решений. Ч. I. № 3. 2010. C. 3–21; Ч. II. № 4. 2010. C. 14–40.
Финн В.К. Искусственный интеллект: Методология, применения, философия. М.: КРАСАНД., 2011. Ч. II. Гл. 3: Интеллектуальные системы и общество: идеи и понятия. С. 137–167.
Финн В.К. Искусственный интеллект: Методология, применения, философия. М.: КРАСАНД. 2011.
Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. 2004. № 3. С. 3–18.
Финн В.К. Об обобщенном ДСМ-методе автоматического порождения гипотез // ДСМ-метод автоматического порождения гипотез: логические и эпистемологические основания. М.: Книжный дом «ЛИБРОКОМ», 2009. Ч. I. Гл. 2. C. 192–213.
Финн В.К. Об определении эмпирических закономерностей посредством ДСМ-метода автоматического порождения гипотез // Искусственный интеллект и принятие решений. 2010. № 4. С. 41–48.
Финн В.К. Стандартные и нестандартные логики аргументации // Логические исследования. Вып. 13. М.: Наука, 2006. С. 158–189.
Финн В.К. Эпистемологические основания ДСМ-метода автоматического порождения гипотез // Научно-техническая информация. Сер. 2. Ч. I. № 9. 2013. C. 1–29; Ч. II. № 12. 2013. C. 1–26.
Финн В.К. Эпистемологические принципы порождения гипотез // Вопросы философии. 2014. №2. C. 83–95.
Финн В.К., Михеенкова М.А. О ситуационном расширении ДСМ-метода автоматического порождения гипотез // Автоматическое порождение гипотез в интеллектуальных системах. М.: Книжный дом «ЛИБРОКОМ», 2009. Гл. 2. С. 428–445.
Фреге Г. О смысле и значении // Готлоб Фреге. Логика и логическая семантика. М.: АСПЕКТ ПРЕСС, 2000. С. 215–229.
Френкель А., Бар-Хиллел И. Основания теории множеств. Издательство «МИР», 1966.
Челпанов Г.И. Учебник логики. М.: Издательская группа «ПРОГРЕСС», 1994. Глава IV. Содержание и объем понятий. С. 24–31.
Чёрч А. Введение в математическую логику. М.: Издательство иностранной литературы, 1960. Введение. 03. Функции. Стр. 27.
Anshakov O., Gergely T. Cognitive Reasoning. A Formal Approach. SpringerVerlag: Berlin–Heidelberg, 2010.
Davey B.A., Priestley H.A. Introduction to Lattices and Order. Second edition. Cambridge University Press, 2002. 3: Formal concept analysis. P. 65–84.
Abductive Inference: Computation, Philosophy, Technology / Eds. J.R. Josephson, S.G. Josephson. Cambridge: University Press, 1994.
Korner S. Conceptual thinking. A Logical inquiry. Cambridge: The University of Bristol at the University Press, 1955.
Kuznetsov S.O. Galois Connection in Data Analysis: Contributions from the Soviet Era and Modern Russian Research // Ganter B., Stumme G., Wille R. (Eds.) Formal Concept Analysis. Foundations and Applications. Springer Verlag. Berlin – Heidelberg, 2005. P. 196–225.
Nilsson N.I. Artificial Intelligence: A New Synthesis. San Francisco, California: Morgan Kaufmann Publishers, Inc. 1998.
Rosser B., Turquette A.R. Many-Valued Logics. Amsterdam: North-Holland Publishing Company, 1958.
Wille R. Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies // Ganter B., Stumme G., Wille R. (Eds.) Formal Concept Analysis. Foundations and Applications. Springer-Verlag. Berlin - Heidelberg, 2005. P. 1–33.