Skip to main content
SpringerLink
Log in

Logic and Inexactness

  • Chapter
Stephan Körner — Philosophical Analysis and Reconstruction

Part of the book series: Nijhoff International Philosophy Series ((NIPS,volume 28))

Abstract

A distinctive feature of Körner’s work is the novelty and depth of the application of mathematical logic to philosophical problems. His main achievement in philosophial logic is the theory and application — particularly to empirical continua — of a three-valued logic of inexactness. The purpose of this essay is to describe the origin and mathematical development of Körner’s logic and its applications. A unifying concept is the notion of quasi-Boolean algebra, which is related to the three-valued logic and the calculus of inexact classes much as Boolean algebra is related to the classical, two-valued logic and the traditional calculus of classes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

General References

  1. A.R.Anderson & N.D. BelnapJr., “Tautological Entailments”, Philosophical Studies 13 (1962) 9–24.

    Article  Google Scholar 

  2. A.R.Anderson & N.D.Belnap Jr., Entailment; the Logic of Relevance and Necessity Vol.1 (Princeton University Press, 1975).

    Google Scholar 

  3. A.Biaγynicki-Birula & H.Rasiowa, “On the Representation of Quasi-Boolean Algebras”, Bull. Acad. Polon. Science C1.III 5 (1957) 259–261.

    Google Scholar 

  4. G. Birkhoff, “Lattice Theory”, American Mathematical Society 1948.

    Google Scholar 

  5. U.Blau, Die Dreiwertige Logik der Sprache (de Gruyter, 1978).

    Google Scholar 

  6. N.Campbell, Physics — the Elements (Cambridge, 1920).

    Google Scholar 

  7. R.Carnap, Logical Syntax of Language (Routledge & Kegan Paul, 1937).

    Google Scholar 

  8. R.Cignoli, “Boolean Elements in Lukasiewicz Algebras I”, Proceed, of the Jap. Acad. 41 (1965) 670–675.

    Article  Google Scholar 

  9. J.P.Cleave, “Some Remarks on the Interpretation of Three-valued Logics”, Ratio XXII(1) (1980) 52–60.

    Google Scholar 

  10. J.P.Cleave, “The Notion of Logical Consequence in the Logic of Inexact Predicates”, Zeitschr. für Math. Logik und Grund, der Math. 20 (1974) 307–324.

    Article  Google Scholar 

  11. J.P.Cleave, “Quasi-Boolean Algebras, Empirical Continuity and Three- valued Logic”, Zeitschr. für Math. Logik und Grund, der Math. 22 (1976) 481–500.

    Article  Google Scholar 

  12. J.P.Cleave, “An Account of Entailment Based on Classical Semantics”, Analysis 34 (1974) 118–122.

    Article  Google Scholar 

  13. J.P.Cleave, “The Axiomatisation of Material Necessity”, Notre Dame Journal of Formal Logic XX (1979) 180–190.

    Article  Google Scholar 

  14. G.Grätzer, Universal Algebra (Van Nostrand, 1968).

    Google Scholar 

  15. P.Hájek, K.Bendová & Z.Renc, “The GUHA Method and the Three-valued Logic”, Kybernetica 7 (1971) 421–435.

    Google Scholar 

  16. J.A.Kaiman, “Lattices with Involution”, Trans. Amer. Math. Society 87 (1958) 458–491.

    Google Scholar 

  17. S.C.Kleene, Introduction to Netamathematics (North Holland, 1962).

    Google Scholar 

  18. K.Kuratowski, Introduction to Set Theory and Topology (Pergamon, 1961).

    Google Scholar 

  19. Z.Manna & J.McCarthy “Properties of Programs. Partial Function Logic”, Machine Intelligence 5 (eds.) B.Meltzer & D.Mitchie (Edinburgh University Press).

    Google Scholar 

  20. G.C.Moisil, “Recherches sur l’Algèbra de la Logique”, Ann. Sci. Univ. Jassy. 22 (1935) 1–118.

    Google Scholar 

  21. A.Monteiro, “Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique”, An. Acad. Brasil Ci 32 (1960) 1–7.

    Google Scholar 

  22. V.Muškardin, Quasi-Boolean Algebras and Semantics for Entailment, Ph.D.Thesis, University of Bristol, 1978.

    Google Scholar 

  23. E. Nagel, The Structure of Science: Problems in the Logic of Scientific Explanation (Routledge & Kegan Paul, 1979).

    Google Scholar 

  24. H.Rasiowa, An Algebraic Approach to Non-Clasical Logics (North Holland, 1974).

    Google Scholar 

  25. H.Reichenbach, Wahrscheinlichkeitslehre (Leiden, 1935).

    Google Scholar 

  26. H.Reichenbach, “Three-valued Logic and the Interpretation of Quantum Mechanics”, in The Logico-Algebraic Approach to Quantum Mechanics Vol.1 (ed.) C.A.Hooker (D.Reidel, 1975).

    Google Scholar 

  27. B.Russell, Introduction to Mathematical Philosophy (Allen & Unwin, 1970).

    Google Scholar 

  28. K.Schütte, Beweistheorie (Springer, 1960).

    Google Scholar 

  29. A.Tarski, Logic, Semantics, Metamathematics (Oxford, 1956).

    Google Scholar 

References to the Writing of S.Körner

  1. “On Entailment”, Proceedings of the Aristotelian Society XXI (1947) 143–162.

    Google Scholar 

  2. Conceptual Thinking (Dover, 1959).

    Google Scholar 

  3. The Philosophy of Mathematics (Hutchinson University Library, 1960).

    Google Scholar 

  4. Experience and Theory (Routledge & Kegan Paul, 1966).

    Google Scholar 

  5. Private communication to A.Anderson, 29.1.73.

    Google Scholar 

  6. “Material Necessity”, Kant Studien (1973) 423–430.

    Google Scholar 

  7. Experience and Conduct (Cambridge University Press, 1976).

    Google Scholar 

  8. “On Logical Validity and Informal Appropriateness”, Philosophy 54 (1979) 377–79.

    Google Scholar 

  9. “Science and the Organisation of Belief”, in (ed.) D.H.Mellor, Science, Belief and Behaviour (Cambridge University Press, 1980).

    Google Scholar 

Download references

Authors
  1. John P. Cleave
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan T. J. Srzednicki

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Martinus Nijhoff Publishers, Dordrecht

About this chapter

Cite this chapter

Cleave, J.P. (1987). Logic and Inexactness. In: Srzednicki, J.T.J. (eds) Stephan Körner — Philosophical Analysis and Reconstruction. Nijhoff International Philosophy Series, vol 28. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-3639-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-3639-3_15

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-8128-3

  • Online ISBN: 978-94-009-3639-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation