Heterogeneous logic
Erkenntnis 29 (3):395 - 435 (1988)
| Abstract | This paper considers the question: what becomes of the notion of a logic as a way of codifying valid arguments when the customary assumption is dropped that the premisses and conclusions of these arguments are statements from some single language? An elegant treatment of the notion of a logic, when this assumption is in force, is that provided by Dana Scott's theory of consequence relations; this treatment is appropriately generalized in the present paper to the case where we do not make this assumption of linguistic homogeneity. Several applications of the resulting concept of a heterogeneous logic are suggested, but the main emphasis is on the formal development. One topic touched on is a certain contrast between the boolean and the intensional sentence-connectives in this more general setting. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesD. J. Shoesmith (1978). Multiple-Conclusion Logic. Cambridge University Press.
Jaakko Hintikka (2002). Quantum Logic as a Fragment of Independence-Friendly Logic. Journal of Philosophical Logic 31 (3):197-209.
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
Sun-Joo Shin (2004). Heterogeneous Reasoning and its Logic. Bulletin of Symbolic Logic 10 (1):86-106.
Dov M. Gabbay (1973). Applications of Scott's Notion of Consequence to the Study of General Binary Intensional Connectives and Entailment. Journal of Philosophical Logic 2 (3):340 - 351.
George Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
Samir Chopra & Eric Martin (2002). Generalized Logical Consequence: Making Room for Induction in the Logic of Science. Journal of Philosophical Logic 31 (3):245-280.
Dominik Lücke (2010). Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4 (2):255-333.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
