Предмет логики в свете основных тенденций ее развития.

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

A.S. Karpenko

Abstract

In this paper we suggest to discuss a very complicated question as to the subject-matter of logic. We investigate this question from the point of view of the current trends in development of logic. The following topics are considered: 1) Do we witness a revival of psychologism? 2) The principles of correct reasoning and the laws of logic. 3) The laws of logic and logical systems. 4) Logical systems and calculus of logics. 5) The laws of thought and the laws of algebra. 6) Logic as a categorical object. 7) The laws of thought again?

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

[Анисов, 2002] А.М. Анисов. Современная логика. М. : ИФ РАН, 2002. [Асмус, 2001] В.Ф. Асмус. Логика. М.: УРСС, 2001.

[Барвайс, 1982] Дж. Барвайс. Введение в логику первого порядка // Спра_вочная книга по математической логике. Часть 1: Теория моделей. С.13-54. М.: Наука, 1982.

[Бочаров, 2001] В.А. Бочаров Логика // Новая философская энциклопе_дия. Т. 2. С. 404-407. М.: Мысль, 2001.861

[Гиндикин, 1972] С.Г. Гиндикин. Алгебра логики в задачах. М.: Наука, 1972.

[Гладкий, 2001] А.В. Гладкий. Введение в современную логику. М.: МЦНМО, 2001.

[Григолия, 1976] Р. Григолия. Решетка всех финитно-аппроксимируемых расширений счетнозначной логики Лукасевича // Исследования по теории множеств и неклассическим логикам. С. 221-246. М.: Наука, 1976.

[Джонстон, 1986] П.Т. Джонстон. Теория топосов. М.: Наука, 1986. [Карпенко; 2000] А.С. Карпенко. Логика на рубеже тысячелетий // Логические исследования. Вып. 7. С. 7-60. М.: Наука, 2000.

[Карпенко, 2003] А.С. Карпенко. Современные исследования в философской логике // Вопросы философии, 9: 54-75. 2003.

[Карпенко, 2005] А.С. Карпенко. Неклассические логики versus классической // Логико-философские штудии. Вып. 3. СПб., 2005.

[Кузнецов, 1960] А.В. Кузнецов. Алгебра логики // Философская Энциклопедия. Т. 1. С. 33-38. М., 1960.

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

[Максимова и Рыбаков, 1974]. Л.Л. Максимова и В.В. Рыбаков. Решетки модальных логик // Алгебра и логика, 13: 105-122. 1974.

[Марков, 1984] А.А. Марков. Элементы математической логики. М.: МГУ, 1984.

[Мендельсон, 1984] Э. Мендельсон. Введение в математическую логику. М.: Наука, 1984 (3-е издание).

[Пенроуз, 2003а] Р. Пенроуз. Новый ум короля. О компьютерах, мышлении и законах физики. М.: УРСС, 2003.

[Пенроуз, 2003b] Р. Пенроуз. Тени разума. В поисках науки о сознании. Москва - Ижевск: Институт компьютерных исследований, 2003. [Финн, 1999] В.К. Финн. Синтез познавательных процедур и проблема индукции // Научно-техническая информация. Сер. 2. № 1/2: 8-44. 1999 (Переиздано: В.К. Финн. Интеллектуальные системы и общество. Сборник статей. М.: РГГУ, 2001).

[Фреге, 2000] Г. Фреге. Логика и логическая семантика. М.: АСПЕКТ ПРЕСС, 2000.

[Янков, 1968] В.А. Янков. Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений // Доклады Академии Наук СССР, 181, № 1.: 33-34. 1968.

[Andreka, Nemeti and Sain] H. Andreka, I. Nemeti and I. Sain Algebraic logic // D. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic. Second Edition. Vol. 2. Dordrecht: Kluwer, 2001.

[Beavers, 1993] G. Beavers. Extensions of the N0-valued Lukasiewicz propositional logic // Notre Dame Journal of Formal Logic, 34, N. 2: 251-262. 1993.961

[Blok and Jonsson, 1999] W.J. Blok and B. Jonsson. Algebraic Structures for Logic. New Mexico State University. 1999. Available at http://math.nmsu.edu/4iolvsvmp/.

[Blok and Pigozzi, 1989] W.J Blok and D. Pigozzi. Protoalgebraic logics // Studia Logica, 45: 337-369. 1989.

[Blok and Pigozzi, 1986] W.J. Blok and D. Pigozzi. Algebraizable Logics (monograph) II Memoirs of the American Mathematical Society. No. 396. 1989. ’

[Brewka, Dix and Konolige, 1995] G. Brewka G., J. Dix and K. Konolige. Nonmonotonic Reasoning: An Overview. Stanford: CSLI Publications, 1995.

[Bull and Segerberg, 1984] R.A. Bull and K. Segerberg. Basic modal logic // D. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic. Vol. II: Extensions of Classical Logic, pp. 1-88. Dordrecht: Reidel, 1984.

[Camielli and D’Ottaviano, 1997] W. A. Camielli and M. L. D'Ottaviano. Translations between logical systems: A MANIFESTO // Logique et Analyse, 157: 67-81. 1997.

[Chagrov and Zakharyaschev, 1997]. A. Chagrov and M. Zakharyaschev. Modal logic. Oxford: Clarendon Press, 1997.

[Czelakowski, 2001] J. Czelakowski. Protoalgebraic Logic. Trends in Logic. Vol. 10. Dordrect: Kluwer, 2001.

[Dzik, 1982] W. Dzik. On the content of lattices of logics. Part II // Report on Mathematical Logic, 14:29-47. 1982.

[Eilenberg and MacLane, 1986] S. Eilenberg and S. MacLane. General theory of natural equivalences // Transactions of the American Mathematical Society, 58: 231-294. 1945 (Переиздано: Eilenberg-MacLane: Collected Works. Academic Press, 1986).

[Feferman. 1999] ] S. Feferman. Logic, logics, and logicism 11 Notre Dame Journal of Formal Logic, 40, N 1: 31-54, 1999.

[Font and Jansana, 1996] J.M. Font and R. Jansana. A General Algebraic Semantics for Sentential Logics. Berlin: Springer-Verlag, 1996.

[Font, Jansana and Pigozzi, 2003] J.M. Font, R. Jansana and D. Pigozzi. A survey of abstract logic // Studia Logica, Vol. 74, No. 1/2: 13-97. 2003.

[Gaifman, 1976] H. Gaifman. Operations on relational structures functors and classes. I // Proceedings of the Tarski Symposium. Amer. Math. Society. 25: 21-39. 1976.

[Gomez-Torrente, 1996] M. Gomez-Torrente. Tarski on logical consequence // Notre Dame Journal of Formal Logic, 37, No. 1: 125-151. 1996.

[Groarke, 2002] Informal logic // Stanford Encyclopedia of Philosophy (http:/7plato.Stanford.edu/entries/lo^ic-informaL).

[Halmos, 1962] P. Halmos. Algebraic Logic. New York: Chelsea Publishing, 1962.

[Halmos and Givant, 1998] P. Halmos and S. Givant. Logic as Algebra. Washington, 1998.

[Hodges, 2001] Elementary predicate logic // D. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic. Second Edition. Vol. 1. Dordrecht: Kluwer, 2001.071

[Hosoi, 1969] T. Hosoi. On intermediate logics I I II Journal of the Faculty of Science, University of Tokyo, 16: 1-12. 1969.

[Janossy Kurucz and Eiben, 1996] A. Janossy, A. Kurucz, A . E. Eiben. Com_ bining algebraizable logics // Notre Dame Jornal of Formal Logic, 37, No. 2: 366-380. 1996.

[Karpenko, 2000] A.S. Karpenko. The classification of propositional calculi // Studia Logica, 66, No 2: 253-271.2000.

[Kneale W. and Kneale M., 1962] W. Kneale and M. Kneale. The Development of Logic. Oxford: Oxford University Press, 1962 (9th ed. in 1985).

[Lewin, Mikenberg and Schwarze, 1991] R. A. Lewin, I. F. Mikenberg and M. G. Schwarze. Cj is not algebraizable // Notre Dame Journal of Formal Logic, 32, N 4: 609-611. 1991.

[Los and Suszko, 1958] J. Los and R. Suszko. Remarks on sentential logics // Indagationes mathematicae, 20: 177-183. 1958.

[Manktelow and Over, 1990] K.I. Manktelow and D.E. Over. Inference and Uderstanding. London: Routledge, 1990.

[McLarty, 1992] C. McLarty. Elementary Categories, Elementary Toposes. Oxford: Clarendon Press, 1992.

[Mycielski, Pudlak and Stem, 1990] J. Mycielski, P. Pudlak, A. S. Stern. A lattice of chapters of mathematics (interpretations between theorems) // Memoirs of the American Mathematical Society, 84, N. 426. 1990.

[Nisbett et al. 1987] R.E. Nisbett, G.T. Fong, R.D. Lehman and P.W. Cheng. Teaching reasoning H Science, 238: 625-631. 1987.

[Quine, 1970] W.V. Quine. Philosophy of Logic. N.Y.: Englewood Cliffs, 1970 (Reprinted in 1986).

[Rasiowa, 1974] H. Rasiowa. An Algebraic Approach to Non-classical Logics. Warszawa: PWN, 1974.

[Tarski, 1983a] A. Tarski. Fundamental concepts of the methodology of the deductive sciences // A. Tarski. Logic, Semantics, Metamatematics. Indianapolis: Hacket, 1983 (2nd ed.)

[Tarski, 1983b] A. Tarski. On the concept of logical consequence // A. Tarski. Logic, Semantics, Metamatematics, pp. 409-420. Indianapolis: Hacket, 1983 (2nd ed.)

[Voutsadakis, 2003] G. Voutsadakis. Categorial abstract algebraic logic // Studia Logica, 74, No. 1/2: 275-311. 2003.

[Wason, 1966] P.C. Wason. Reasoning // B. Foss, editor. New Horisons in Psychology, pp. 135-151. Penguin: Harmondsworth, 1966.

[Weisstein, 1999] E.W. Weisstein. Books about Fuzzy Logic (http://www.ericweisstein.com/encyclopedias/books/FuzzyLogic.html).

[Wojcicki, 1988] R. Wojcicki. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988.

[Zakharyaschev, Wolter and Chagrov, 2001] M. Zakharyaschev, F. Wolter and A. Chagrov. Advanced modal logic // D. M. Gabbay, F. Guenthner, editors. Handbook of Pilosophical Logic, Second Edition, Vol. 3, pp. 83-266. Dordrecht: Kluwer, 2001.