David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 125 (1-2):169 - 178 (2000)
This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist logic and paraconsistentlogic in respect of the incompleteness and inconsistency of theories.Necessary and sufficient conditions which relate the T 1-property to theproperties of logical theories, are obtained. The result is then extendedto Hausdorff and Normal spaces. In the final section these methods areused to vary the modelling conditions for identity.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Can Başkent (2013). Some Topological Properties of Paraconsistent Models. Synthese 190 (18):4023-4040.
Similar books and articles
Ryan Christensen (2011). Theories and Theories of Truth. Metaphysica 12 (1):31-43.
Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Steve Awodey & Kohei Kishida, Topology and Modality: The Topological Interpretation of First-Order Modal Logic.
Dmitry Sustretov (2009). Hybrid Logics of Separation Axioms. Journal of Logic, Language and Information 18 (4):541-558.
Giovanna D'Agostino (1994). Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories. Notre Dame Journal of Formal Logic 35 (4):563-572.
Gregory L. Cherlin & Peter H. Schmitt (1981). Undecidable Lt Theories of Topological Abelian Groups. Journal of Symbolic Logic 46 (4):761 - 772.
Philip Kremer (2009). Dynamic Topological S5. Annals of Pure and Applied Logic 160 (1):96-116.
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2):243-276.
Thomas Mormann (1997). Topological Aspects of Combinatorial Possibility. Logic and Logical Philosophy 5:75 - 92.
Added to index2009-01-28
Total downloads7 ( #198,192 of 1,140,037 )
Recent downloads (6 months)1 ( #157,514 of 1,140,037 )
How can I increase my downloads?