Abstract
I propose that a certain four-valued logic should sometimes be used. It is to be understood that I use “logic” in a narrow sense, the old sense: a logic as an organon, a tool, a canon of inference. And it is also to be understood that I use “should” in a straightforward normative sense.
This paper and [5] are complements. There the introductory paragraphs and Part I are heavily abbreviated, while the more technical Parts 2 and 3 are given in full instead of, as here, barely summarized. Thanks are due to the National Science Foundation for partial support through Grant SOC71 03594 A02.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, A. R. and Belnap, N. D. Jr. (1962). ‘Tautological Entailments’, Philosophical Studies, 13(1), 9–24. (See also Ch. III of Anderson and Belnap (1975).)
Anderson, A. R. and Belnap, N. D. Jr. (1965). ‘First-Degree Entailments’, Mathematische Annalen, 149(4), 302–319.
Anderson, A. R. and Belnap, N. D. Jr. (1975). Entailment: The Logic of Relevance and Necessity, vol. I. Princeton: Princeton University Press.
Belnap, N. D. Jr. (1963). An Analysis of Questions: Preliminary Report. Santa Monica: System Development Corporation.
Belnap, N. D. Jr. (1976). ‘A Useful Four-Valued Logic’. Modern Uses of Multiple-Valued Logic – Proceedings of the 1975 International Symposium on Multiple-Valued Logic, G. Epstein and J. M. Dunn (eds.). Dordrecht: Reidel.
Belnap, N. D. Jr. and Steel, T. B. Jr. (1976). Erotetic Logic: An Introduction to the Logic of Questions and Answers. New Haven: Yale University Press.
Carnap, R. (1942). Introduction to Semantics. Cambridge: Harvard University Press.
Dunn, J. M. (1966). The Algebra of Intensional Logics, dissertation, University of Pittsburgh.
Dunn, J. M. (1976). ‘Intuitive Semantics for First-Degree Entailments and “Coupled Trees”’, Philosophical Studies, 29(3), 149–168.
Dunn, J. M. and Belnap, N. D. Jr. (1968). ‘The Substitution Interpretation of the Quantifiers’, Noûs, 2(2), 177–185.
Hintikka, J. (1962). Knowledge and Belief. Ithaca: Cornell University Press.
Isner, D. W. (1975). ‘An Inferential Processor for Interacting with Biomedical Data Using Restricted Natural Language’, Proceedings of Spring Joint Computer Conference, 1107–1124.
Isner, D. W. (1975). ‘Understanding “Understanding” Through Representation and Reasoning’, dissertation, University of Pittsburgh.
Kripke, S. (1963). ‘Semantical Analysis of Modal Logic I’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9(5–6), 67–96.
Routley, R. and Routley, V. (1972). ‘Semantics of First-Degree Entailment’, Noûs, 6(4), 335–359.
Scott, D. (1970). ‘Outline of a Mathematical Theory of Computation’, Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, 169–176.
Scott, D. (1972). ‘Continuous Lattices: Toposes, Algebraic Geometry and Logic’, Springer Lecture Notes in Mathematics, 274, 97–136.
Scott, D. (1973). ‘Models for Various Type-Free Calculi’, Logic, Methodology, and Philosophy of Science IV. Proceedings of the Fourth International Congress for Logic, Methodology and the Philosophy of Science, Bucharest, 1971. Suppes, Henkin, Juja, Moisil (eds.), Elsevier: North-Holland.
Shapiro, S. and Wand, M. (1976). ‘The Relevance of Relevance’, Technical Report, Indiana University, Computer Science Department.
van Fraassen, B. (1969a). ‘Presuppositions, Supervaluations, and Free Logic’, The Logical Way of Doing Things, K.Lambert (ed.), New Haven: Yale University Press.
van Fraassen, B. (1969b). ‘Facts and Tautological Entailments’, The Journal of Philosophy, 66(15), 477–487.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Belnap, N.D. (2019). How a Computer Should Think. In: Omori, H., Wansing, H. (eds) New Essays on Belnap-Dunn Logic. Synthese Library, vol 418. Springer, Cham. https://doi.org/10.1007/978-3-030-31136-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-31136-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31135-3
Online ISBN: 978-3-030-31136-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)