Последствия логического плюрализма: глобальный и локальный аспекты.
Article Sidebar
Published:
04.11.2003
Main Article Content
Abstract
Верно ли то, что существует только одна подлинная, истинная логика? Ныне в современной философии логики получила широкое распространение точка зрения, что существует не одна, но множество истинных логик. Эта точка зрения получила известность под именем логического плюрализма.
Downloads
Download data is not yet available.
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.