Последствия логического плюрализма: глобальный и локальный аспекты.

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

V.L. Vasyukov

Abstract

Верно ли то, что существует только одна подлинная, истинная логика? Ныне в современной философии логики получила широкое распространение точка зрения, что существует не одна, но множество истинных логик. Эта точка зрения получила известность под именем логического плюрализма.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

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.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>