Последствия логического плюрализма: глобальный и локальный аспекты.
##plugins.themes.bootstrap3.article.sidebar##
Published:
04.11.2003
##plugins.themes.bootstrap3.article.main##
Abstract
Верно ли то, что существует только одна подлинная, истинная логика? Ныне в современной философии логики получила широкое распространение точка зрения, что существует не одна, но множество истинных логик. Эта точка зрения получила известность под именем логического плюрализма.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Vasyukov V. Последствия логического плюрализма: глобальный и локальный аспекты. // Logicheskie Issledovaniya / Logical Investigations. 2003. VOL. 10. C. 23-34.
Issue
Section
Papers
References
Васюков В.Л. Квантовая граница квантовых систем с точки зрения формальной топологии // 100 лет квантовой теории. Труды международной конференции. М , 2002. С. 199-203.
Голъдблатт Р. Топосы. Категорный анализ логики. М., 1983.
Carnielli W.A., de Alcantara L.P. Paraconsistent Algebras // Studia Logica. XL11I. No 1/2. 1984. P.79-87.
Devlin K. The Joy o f Sets. Fundamentals o f Contemporary Set Theory. Second Edition. Springer-Verlag. New York; Berlin, 1993.
Lesniewski S. Collected Works. PWN-Kluwer. Warszawa; Dordrecht, 1992.
Lukasiewicz J . Z zagadnieh logiki i fllozofii. Pisma wybrane. Warszawa: PWN, 1961.
Priest G. Logic, Nonstandard // Donald M. Borchert (ed.). The Encyclopedia o f Philosophy. P.307-310. Macmillan Reference, 1996. Supplement to a reprint o f the volumes originally published in 1967.
Routley R., Meyer R. The Semantics o f Entailment // Truth, Syntax and Modality. H. Leblanc (ed.). Amsterdam; London. 1973. P.199-243.
Sambin G., Gebelatto S. Preview o f the Basic Picture: A N ew Perspective on Formal Topology // Types for Proofs and Programs, International Workshop TYPES ’98. Altenkirch T., Naraschewski W., Reus B. (eds.). Kloster Irsee, Gennany, March 27-31, 1998. Selected Papers. Lect. Notes Comput. Sci. 1657. Springer. 1999. P.194-207.
1Sambin G. Intuitionistic formal spaces - a first communication // D.Skordev (ed.). Mathematical Logic and its Applications. New York: Plenum. 1987. P.187-204.
lSambin G. Pretopologies and completeness proofs // Journal o f Symbolic Logic. Vol.60. 1995. P.861-878.
Sendlewski A. Nelson Algebras through Heyting Ones: I. // Studia Logica. XLIX. No 1. 1990. P.105- 126.
Smullyan R.M and Fitting M. Set Theory and the Continuum Problem. Oxford: Clarendon Press, 1996.
1Takeuti G. and TitaniS. Fuzzy Logic and fuzzy set theory //Arch. Math. Log. (1992) P.1-18.
Takeuti G. Quantum Set Theory //Current Issues on quantum logic / Beltrametti S., Fraassen B. Van (eds.). New York; London: Plenum, 1981. P.303-322.
Vasynkov V. Paraconsistency in Categories // D.Batens, C.Mortensen, G.Priest and J.-P. van Bendegern (eds.). Frontiers o f Paraconsistent Logic. Research Studies Press Ltd., Baldock, Hartfordshire (England), 2000. P.263-278.
Vasyukov V. Paraconsistency in categories: case o f relevance logic // Abstracts o f the Workshop on Paraconsistent Logic. Trento, 2002.
Wittgenstein L. Notebooks 1914-1916. Trans. N.K.Smith. London: Macmillan, 1961.
Голъдблатт Р. Топосы. Категорный анализ логики. М., 1983.
Carnielli W.A., de Alcantara L.P. Paraconsistent Algebras // Studia Logica. XL11I. No 1/2. 1984. P.79-87.
Devlin K. The Joy o f Sets. Fundamentals o f Contemporary Set Theory. Second Edition. Springer-Verlag. New York; Berlin, 1993.
Lesniewski S. Collected Works. PWN-Kluwer. Warszawa; Dordrecht, 1992.
Lukasiewicz J . Z zagadnieh logiki i fllozofii. Pisma wybrane. Warszawa: PWN, 1961.
Priest G. Logic, Nonstandard // Donald M. Borchert (ed.). The Encyclopedia o f Philosophy. P.307-310. Macmillan Reference, 1996. Supplement to a reprint o f the volumes originally published in 1967.
Routley R., Meyer R. The Semantics o f Entailment // Truth, Syntax and Modality. H. Leblanc (ed.). Amsterdam; London. 1973. P.199-243.
Sambin G., Gebelatto S. Preview o f the Basic Picture: A N ew Perspective on Formal Topology // Types for Proofs and Programs, International Workshop TYPES ’98. Altenkirch T., Naraschewski W., Reus B. (eds.). Kloster Irsee, Gennany, March 27-31, 1998. Selected Papers. Lect. Notes Comput. Sci. 1657. Springer. 1999. P.194-207.
1Sambin G. Intuitionistic formal spaces - a first communication // D.Skordev (ed.). Mathematical Logic and its Applications. New York: Plenum. 1987. P.187-204.
lSambin G. Pretopologies and completeness proofs // Journal o f Symbolic Logic. Vol.60. 1995. P.861-878.
Sendlewski A. Nelson Algebras through Heyting Ones: I. // Studia Logica. XLIX. No 1. 1990. P.105- 126.
Smullyan R.M and Fitting M. Set Theory and the Continuum Problem. Oxford: Clarendon Press, 1996.
1Takeuti G. and TitaniS. Fuzzy Logic and fuzzy set theory //Arch. Math. Log. (1992) P.1-18.
Takeuti G. Quantum Set Theory //Current Issues on quantum logic / Beltrametti S., Fraassen B. Van (eds.). New York; London: Plenum, 1981. P.303-322.
Vasynkov V. Paraconsistency in Categories // D.Batens, C.Mortensen, G.Priest and J.-P. van Bendegern (eds.). Frontiers o f Paraconsistent Logic. Research Studies Press Ltd., Baldock, Hartfordshire (England), 2000. P.263-278.
Vasyukov V. Paraconsistency in categories: case o f relevance logic // Abstracts o f the Workshop on Paraconsistent Logic. Trento, 2002.
Wittgenstein L. Notebooks 1914-1916. Trans. N.K.Smith. London: Macmillan, 1961.