Последствия логического плюрализма: глобальный и локальный аспекты.
Article Sidebar
Опубликован:
04.11.2003
Main Article Content
Аннотация
Верно ли то, что существует только одна подлинная, истинная логика? Ныне в современной философии логики получила широкое распространение точка зрения, что существует не одна, но множество истинных логик. Эта точка зрения получила известность под именем логического плюрализма.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Васюков В. Последствия логического плюрализма: глобальный и локальный аспекты. // Логические исследования / Logical Investigations. 2003. Т. 10. C. 23-34.
Выпуск
Раздел
Статьи
Литература
Васюков В.Л. Квантовая граница квантовых систем с точки зрения формальной топологии // 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.