David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Erkenntnis 29 (3):395 - 435 (1988)
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||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
Lloyd Humberstone (2008). Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau). Theoria 71 (3):241-262.
Similar books and articles
D. 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. [REVIEW] Journal of Philosophical Logic 31 (3):245-280.
Added to index2009-01-28
Total downloads5 ( #178,728 of 1,088,427 )
Recent downloads (6 months)0
How can I increase my downloads?