Abstract
During 1962–63, as a senior at Yale University, I had the good fortune to work as Nuel Belnap’s research assistant. I was helping Nuel (at least he let me feel I was helping) investigate a certain fragment of the logic E of Entailment. Of those days I now recall mainly the excitement of collaboration, on which I have been hooked ever since, and the discovery of what it is like to do research. While I thoroughly enjoyed the experience, it was many years before I completely realized how important working with Nuel had been for me.
This paper was written while the author was on leave from Stanford University at the Center for Advanced Study in the Behavioral Sciences, with support from the Center for the Study of Language and Information and the National Science Foundation (NSF #BNS87-00864). The author wishes to thank all these institutions for their support.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Aczel, Peter (1988): Non-Well-Founded Sets. CSLI Lecture Notes 14.
Barwise, Jon, and John Etchemendy (1989): Model-theoretic semantics, in Michael I. Posner, ed., Foundations of Cognitive Science, Cambridge, Mass: The MIT Press/A Bradford Book, pp. 207–243.
Barwise, Jon, and John Etchemendy (1990a): Visual information and valid reasoning. In Visualization in Mathematics, ed. W. Zimmerman. Mathematical Association of America, to appear.
Barwise, Jon, and John Etchemendy (1990b): Information, infons and inference. Situation Theory and its Applications, I, ed. R. Cooperet al, . CSLJ Lecture Notes, to appear.
Etchemendy, John (1990): The Concept of Logical Consequence. Harvard University Press, to appear.
Jacobs, Barry (1985): Applied Database Logic. Prentice-Hall.
Kaplan, David (1978): On the logic of demonstratives. Journal of Philosophical Logic, 8, pp. 81–98.
Kanger, Stig (1957): Provability in Logic. Stockholm Studies in Philosophy 1. University of Stockholm: Almqvist and Wiksell.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Barwise, J. (1990). Consistency and Logical Consequence. In: Dunn, J.M., Gupta, A. (eds) Truth or Consequences. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0681-5_8
Download citation
DOI: https://doi.org/10.1007/978-94-009-0681-5_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6791-1
Online ISBN: 978-94-009-0681-5
eBook Packages: Springer Book Archive