Многомерные логики.

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

V.A. Smirnov

Abstract

Казанский логик НАЛВасильев (1880-1940) в трех статьях 1910-1913 гг. выдвинул программу построения неаристотелевых логик, логик, не подчиняющихся законам противоречия и исключенного третьего. Напомню, что статья Брауэра о недостоверности закона исключенного третьего была опубликована в 1908 году, а статья ЯЛукасевича общефилософского характера, приведшая впоследствии к построению многозначных логик, в 1910.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Васильев Н А. Воображаемая (неаристотелева) логика. - //Журнал министерства народного просвещения, Н.С., 1912, август, с.207-246 (перепечатано в [3]).
Васильев Н А. Логика и металогика. - //Логос, 1912-1913, номера 1-2,с. 53-81 (перепечатано в [3]).
Васильев Н А. Вообра;каемая логика. Избраные труды. /Отв. редактор ВА.Смирнов. М., Наука, 1989.
Бочаров В А . Булева алгебра в терминах силлогистики. - / / Логические исследования ( Труды научно-исследовательского семинара по логике. ИФАН. М., 1983).
Ивановский Вл. Отчет о докладе Н.А.Васильева "Неэвклидова геометрия и неаристотелева логика" в физико-математическом обществе. - //Камско-Волжская Речь. Казань 1911, 16,19,22,25 января (перепечатано в [3]).
Kripke S. Otline of a theory of truth// The Journal of Philosophy. 1975. Vol. 72. P.690-715.
Мальцев А.И. Интеративные алгебры и многообразия Поста. //Избранные труды, т.И, с.316-330.
Rasiowa Н. An algebraie appoach to non-classical logics. WarszawaAmsterdam, 1974.
Смирнов BA. Логические методы анализа научного знания. М., Наука, 1987.
Смирнов В А . Аксиоматизация логических систем НА. Васильева- //Современная логика и методология науки. М., МГУ. 1987., с. 143-151.
Smirnov VA. Modality de re and Vasiliev’s imaginary logics// Logique et Analyse. 1986. Vol. 114.
Smirnov VA. Internal and external logic// Bulletin of the Section of Logic. 1988. Vol. 17. N 3/4. pl70-181.
Логические идеи Васильева НА. и современная логика. / / [3].
Smirnov VA. The logical ideas of NA.Vasiliev and modern logic// Logic, Methodology and Philosophy of Science VIII, Studies in Logic and the Foundation of Mathematics. Vol. 126. Amsterdam, 1989. p625-640.
Смирнова Е.Д. Логическая семантика и философские основания логики. М., МГУ,1986.