Skip to main content
SpringerLink
Log in

Remarks on the Scott–Lindenbaum Theorem

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In the late 1960s and early 1970s, Dana Scott introduced a kind of generalization (or perhaps simplification would be a better description) of the notion of inference, familiar from Gentzen, in which one may consider multiple conclusions rather than single formulas. Scott used this idea to good effect in a number of projects including the axiomatization of many-valued logics (of various kinds) and a reconsideration of the motivation of C.I. Lewis. Since he left the subject it has been vigorously prosecuted by a number of authors under the heading of abstract entailment relations where it has found an important role in both algebra and theoretical computer science. In this essay we go back to the beginnings, as presented by Scott, in order to make some comments about Scott’s cut rule, and show how much of Scott’s main result may be applied to the case of single-conclusion logic.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Czelakowski J.: Matrices, primitive satisfaction and finitely based logics. Studia Logica 42(1), 89–104 (1983)

    Article  Google Scholar 

  2. Došen, K., On passing from singular to plural consequences, in E. Orlowska (ed.), Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag, Heidelberg, 1999, pp. 533–547.

  3. Gentzen, G., The collected papers of Gerhard Gentzen, in M. E. Szabo (ed.), Volume 55 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1969.

  4. Hacking, I., What is logic?, in D. M. G abbay (ed.), What is a Logical System?, Oxford University Press, Oxford, 1994, pp. 1–33.

  5. Payette G., Schotch P.K.: On preserving. Logica Universalis 1(2), 295–310 (2007)

    Article  Google Scholar 

  6. Scott D.: On engendering an illusion of understanding. The Journal of Philosophy 68(21), 787–807 (1971)

    Article  Google Scholar 

  7. Scott, D., Completeness and axiomatizability in many-valued logic, in A. Tarski and L. Henkin (eds.), Proceedings of the Tarski Symposium, vol. 25 of Proceedings of Symposia in Pure Mathematics, American Mathematical Society, 2nd ed. (1979), 1974, pp. 411–436.

  8. Shoesmith D.J., Smiley T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)

    Book  Google Scholar 

  9. Wójcicki, R., Theory of Logical Calculi: Basic Theory of Consequence Operations, Vol. 147 of Synthese Library, Kluwer, Dordrecht, 1988.

Download references

Author information

Authors and Affiliations

  1. Dalhousie University, Halifax, NS, Canada

    Gillman Payette & Peter K. Schotch

Authors
  1. Gillman Payette
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter K. Schotch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gillman Payette.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Payette, G., Schotch, P.K. Remarks on the Scott–Lindenbaum Theorem. Stud Logica 102, 1003–1020 (2014). https://doi.org/10.1007/s11225-013-9519-y

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9519-y

Keywords

Search

Navigation