Интенсиональная семантика традиционной силлогистики.

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

V.I. Markin

Abstract

We present a formal realization of Leibnitz' idea of intensional interpretation of the traditional syllogistic. We set out an intensional semantics and prove that it is adequate to Lukasiewicz' syllogistic. The core idea of this semantics is to associate with each term of a categorical statement not a set of individuals but a concept considered as a non-empty and non-contradictory set of positive or negative characters and to treat syllogistic constants as denoting intensional relations between concepts. According to this approach, ‘Every S is P' means that S contains all characters from P, ‘Some S is P ’ means that S and P don't contain contrary characters (positive and negative).

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Васильев И.А. Воображаемая логика. Избранные труды. М.: Наука, 1989.

Зайцев Д.В., Маркин В.И. Воображаемая логика-2: реконструкция одного из вариантов знаменитой логической системы Н.А. Васильева // Труды научно-исследовательского семинара логического центра Института философии РАН 1998. М.: ИФ РАН, 1999.

Лейбниц Г.В. Сочинения: В 4 т. Т. 2-3. М: Мысль, 1983-1984.

Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959.

##plugins.generic.recommendByAuthor.heading##