On the Non-aristotelian Concept Structure

##plugins.themes.bootstrap3.article.main##

V. K. Finn

Abstract

This article deals with the structure of concepts, different from Aristotelian tradition based on the ontology “thing–property”. Non-aristotelian concept structure is analyzed on the example of procedural concepts of the JSM-method of automatic hypotheses generation. For procedural concepts a refinement and a widening of G. Frege’s triangle are proposed. For the procedural concepts Frege’s triangle formed by intension (content), extension (scope) is supplemented with the procedural proposition which transforms the initial data by means of the intension into the extension. In the paper is also given an example of the violation of the so called “law of the inverse relation” between the scope and the content of a concept for the concepts of the JSM-method of automatic hypotheses generation. Formulated are the specialties of the construction of non-aristotelian concepts as means of organization of knowledge, not “forms of thought”. The example of concepts representing the JSM-reasonings demonstrates the difference of their structure from the understanding of concepts within the aristotelian tradition. The problem of development of ideas into concepts allowing exact characterization is also discussed.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

ДСМ-метод автоматического порождения гипотез: Логические и эпистемологические основания / Под общей редакцией О.М. Аншакова. М.: Книжный дом «ЛИБРОКОМ», 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.