А. И. Уёмов: две классификации логических систем
Вантажиться...
Дата
2016
Науковий керівник
Укладач
Редактор
Назва журналу
Номер ISSN
Номер E-ISSN
Назва тому
Видавець
Анотація
А. И. Уёмов предложил две классификации логических систем. В основании деления первой классификации лежат философские категории «вещь», «свойство» и
«отношение». Согласно этой классификации все логические системы можно разделить на
реистические (логики вещей), атрибутивные (логики свойств) и реляционные (логики от ношений) логики. Вторая классификация строится на историческом отношении логики к
математике. Согласно этой классификации все логические системы можно разделить на
доматематические, математические и постматематические логики.
А. І. Уйомов запропонував дві класифікації логічних систем. В основі ділення першої класифікації лежать філософські категорії «річ», «властивість» і «відношення». Згідно з цією класифікацією усі логічні системи можна поділити на реїстичні (логіки речей), атрибутивні (логіки властивостей) і реляційні (логіки відношень). Друга класифікація будується на історичному відношенні логіки до математики. Згідно з цією класифікацією усі логічні системи можна поділити на доматематичні, математичні та постматематичні логіки.
Purpose. The study surveys two classifications of logical systems introduced by Ukrainian philosopher and logician Avenir I. Uyemov. Findings principally concludes the following: the first classification of logical systems introduced by A. I. Uyemov is based on three philosophical categories “thing”, “property” and “relation” and prescribe to single out three kinds of logics: reistic logic (logic of things), attributive logic (logic of properties), and relational logic (logic of relations). Propositional logic exemplifies a reistic logical system. Traditional logic exemplifies an attributive logical system. Logic of relations, predicate logic and the Ternary Description Language exemplify relational logical systems. The second classification of logical systems introduced by A. I. Uyemov is based on the historical relations between logic and mathematics. A. I. Uyemov distinguishes three stages of development of logic: first stage is so called “Pre-mathematical logic”, second stage is so called “Mathematical logic”, and third stage is so called “Post-mathematical logic”. Aristotelian logic exemplifies a pre-mathematical logical system. Mathematical and philosophical logics exemplify mathematical logical systems. The Ternary Description Language, informal logic, practical logic, communication logic and New Rhetoric exemplify post-mathematical logical systems. Originality / value. The first Uyemov’s classification establishes facilities for creating meta-logic of transformation of one logical system into other one on the basis of philosophical categories “thing”, “property” and “relation”. The second Uyemov’s classification suggests the return of contemporary logic to the origins of logic and the overcoming of some contemporary logical systems the mathematization of logic.
А. І. Уйомов запропонував дві класифікації логічних систем. В основі ділення першої класифікації лежать філософські категорії «річ», «властивість» і «відношення». Згідно з цією класифікацією усі логічні системи можна поділити на реїстичні (логіки речей), атрибутивні (логіки властивостей) і реляційні (логіки відношень). Друга класифікація будується на історичному відношенні логіки до математики. Згідно з цією класифікацією усі логічні системи можна поділити на доматематичні, математичні та постматематичні логіки.
Purpose. The study surveys two classifications of logical systems introduced by Ukrainian philosopher and logician Avenir I. Uyemov. Findings principally concludes the following: the first classification of logical systems introduced by A. I. Uyemov is based on three philosophical categories “thing”, “property” and “relation” and prescribe to single out three kinds of logics: reistic logic (logic of things), attributive logic (logic of properties), and relational logic (logic of relations). Propositional logic exemplifies a reistic logical system. Traditional logic exemplifies an attributive logical system. Logic of relations, predicate logic and the Ternary Description Language exemplify relational logical systems. The second classification of logical systems introduced by A. I. Uyemov is based on the historical relations between logic and mathematics. A. I. Uyemov distinguishes three stages of development of logic: first stage is so called “Pre-mathematical logic”, second stage is so called “Mathematical logic”, and third stage is so called “Post-mathematical logic”. Aristotelian logic exemplifies a pre-mathematical logical system. Mathematical and philosophical logics exemplify mathematical logical systems. The Ternary Description Language, informal logic, practical logic, communication logic and New Rhetoric exemplify post-mathematical logical systems. Originality / value. The first Uyemov’s classification establishes facilities for creating meta-logic of transformation of one logical system into other one on the basis of philosophical categories “thing”, “property” and “relation”. The second Uyemov’s classification suggests the return of contemporary logic to the origins of logic and the overcoming of some contemporary logical systems the mathematization of logic.
Опис
Ключові слова
вещь, история логики, логика, математика, отношение, свойство, відношення, властивості, історія логіки, логіка, математика, річ, history of logic, logic, mathematics, property, relation, thing
Бібліографічний опис
Філософія і політологія в контексті сучасної культури