David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Logica Universalis 1 (2):277-294 (2007)
. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. It is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos.
|Keywords||Logical system products coproducts coexponentials complement topos|
|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
No citations found.
Similar books and articles
Daniel N. Osherson, Michael Stob & Scott Weinstein (1991). A Universal Inductive Inference Machine. Journal of Symbolic Logic 56 (2):661-672.
Darrell Patrick Rowbottom, In Defence of Popper On the Logical Possibility of Universal Laws: A Reply to Contessa.
Leonard Angel (2006). An Interview with LA Universal Self. Sophia 45 (1):79-93.
Attila Grandpierre (2000). The Universal Organisation Principle as Ultimate Reality and Meaning. Ultimate Reality and Meaning 23:12-35.
James W. Mcallister (1999). Universal Regularities and Initial Conditions in Newtonian Physics. Synthese 120 (3):325-343.
Diderik Batens (2007). A Universal Logic Approach to Adaptive Logics. Logica Universalis 1 (1):221-242.
Juliana Bueno-Soler (2010). Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis 4 (1):137-160.
Philip Hugly & Charles Sayward (1984). Do We Need Quantification? Notre Dame Journal of Formal Logic 25 (4):289-302.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Added to index2009-01-28
Total downloads13 ( #119,561 of 1,099,048 )
Recent downloads (6 months)3 ( #114,887 of 1,099,048 )
How can I increase my downloads?