Skip to main content
SpringerLink
Log in

Logical Consequence: A Turn in Style

  • Chapter
Logic and Scientific Methods

Part of the book series: Synthese Library ((SYLI,volume 259))

Abstract

This talk summarizes some of the things that contemporary logic and, in particular, proof theory stemming from Gentzen have to say about the notion of consequence. It starts from very elementary facts, the understanding of which doesn’t require any technical knowledge, to reach the more specialized areas of substructural logics and categorial proof theory. There, one may turn to a style of proof-theoretical investigation whose goal is not just the elimination of cut. Some tentative philosophical suggestions are drawn from this summary.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.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.

References

  • Bernays, P. [1965] Betrachtung zum Sequenzen-Kalkul, in A.-T. Tymieniecka ed., Contributions to Logic and Methodology in Honor of J.M. Bocheński, North-Holland, Amsterdam, pp. 1–44.

    Google Scholar 

  • Boričić, B. [1985] On sequence-conclusion natural deduction, Journal of Philosophical Logic vol. 14, pp. 359–377.

    Article  Google Scholar 

  • Carnap, R. [1943] Formalization of Logic, Harvard University Press, Cambridge, Mass.

    Google Scholar 

  • Carroll, L. [1895] What the tortoise said to Achilles, Mind (N.S.) vol. 4, pp. 278–280.

    Article  Google Scholar 

  • Ćelluci, C. [1992] Existential instantiation and normalization in sequent natural deduction, Annals of Pure and Applied Logic vol. 58, pp. 111–148.

    Article  Google Scholar 

  • Čubrić, D. [1994] Interpolation for bicartesian closed categories, Archive for Mathematical Logic vol. 33, pp. 291–319.

    Article  Google Scholar 

  • Curry, H.B., and Feys, R. [1958] Combinatory Logic, Vol. I, North-Holland, Amsterdam.

    Google Scholar 

  • Di Cosmo, R.[1995] Isomorphisms of Types: From λ-Calculus to Information Retrieval and Language Design, Birkhäuser, Boston.

    Book  Google Scholar 

  • Došen, K. [1985] Sequent systems for modal logic, The Journal of Symbolic Logic vol. 50, pp. 149–168.

    Article  Google Scholar 

  • Došen, K. [1988] Sequent systems and groupoid models, I, Studia Logica vol. 47, pp. 353–385 (Addenda and corrigenda, Studia Logica vol. 49, 1990, p. 614).

    Article  Google Scholar 

  • Došen, K. [1989] Logical constants as punctuation marks, Notre Dame Journal of Formal Logic vol. 30, pp. 362–381 (slightly amended version in: D.M. Gabbay ed., What is a Logical System?, Oxford University Press, Oxford, 1994, pp. 273–296) .

    Article  Google Scholar 

  • Došen, K. [1992] Modal logic as metalogic, Journal of Logic, Language and Information vol. 1, pp. 173–201.

    Article  Google Scholar 

  • Došen, K. [1994] On passing from singular to plural consequences, in: E. Orlowska ed., Essays in Memory of Helena Rasiowa, Kluwer, Dordrecht (to appear). [1996] Deductive completeness, The Bulletin of Symbolic Logic (to appear).

    Google Scholar 

  • Došen, K., and Petrić, Z. [1993] Modal functional completeness, in: H. Wansing ed., Proof Theory of Modal Logic, Kluwer, Dordrecht (to appear).

    Google Scholar 

  • Došen, K., and Petrić, Z. [1994] Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (manuscript) .

    Google Scholar 

  • Došen, K., and Petrić, Z. [1995] Isomorphic objects in symmetric monoidal closed categories, Mathematical Structures in Computer Science (to appear).

    Google Scholar 

  • Došen, K., and Schroeder-Heister, P. [1985] Conservativeness and uniqueness, Theoria vol. 51, pp. 159–173 (Errata, Theoria vol. 52, 1986, p. 127).

    Google Scholar 

  • Došen, K., and Schroeder-Heister, P. [1988] Uniqueness, definability and interpolation, The Journal of Symbolic Logic vol. 53, pp. 554–570.

    Article  Google Scholar 

  • Došen, K., and Schroeder-Heister, P., eds [1993] Substructural Logics, Oxford University Press, Oxford.

    Google Scholar 

  • Dummett, M.A.E. [1975] The philosophical basis of intuitionistic logic, in: H.E. Rose and J.C. Shepherdson eds, Logic Colloquium ’73, North-Holland, Amsterdam, pp. 5–40.

    Google Scholar 

  • Fitting, M. [1983] Proof Methods for Modal and Intuitionistic Logics, Reidel, Dordrecht.

    Book  Google Scholar 

  • Gentzen, G. [1935] Untersuchungen über das logische Schließen, Mathematische Zeitschrift vol. 39, pp. 176–210, 405–431 (English translation in The Collected Papers of Gerhard Gentzen, M.E. Szabo ed., North-Holland, Amsterdam, 1969).

    Article  Google Scholar 

  • Girard, J.-Y. [1987] Proof Theory and Logical Complexity, Vol. I, Bibliopolis, Naples.

    Google Scholar 

  • Girard, J.-Y., Lafont, Y., and Taylor, P. [1989] Proofs and Types, Cambridge University Press, Cambridge.

    Google Scholar 

  • Hösli, B., and Jäger, G. [1994] About some symmetries of negation, The Journal of Symbolic Logic vol. 59, pp. 473–485.

    Article  Google Scholar 

  • Kelly, G.M., and MacLane, S. [1971] Coherence in closed categories, Journal of Pure and Applied Algebra vol. 1, pp. 97–140.

    Article  Google Scholar 

  • Kneale, W. [1956] The province of logic, in: H.D. Lewis ed., Contemporary British Philosophy, Allen and Unwin, London, pp. 237–261.

    Google Scholar 

  • Lambek, J. [1974] Functional completeness of cartesian categories, Annals of Mathematical Logic vol. 6, pp. 259–292.

    Article  Google Scholar 

  • Lambek, J. [1989] Multicategories revisited, in: J.W. Gray and A. Scedrov eds, Categories in Computer Science and Logic, American Mathematical Society, Providence, pp. 217–239.

    Chapter  Google Scholar 

  • Lambek, J. [1993] Logic without structural rules (Another look at cut elimination), in [Došen & Schroeder-Heister 1993], pp. 179–206.

    Google Scholar 

  • Lambek, J., and Scott, P.J. [1986] Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge.

    Google Scholar 

  • Lawvere, F.W. [1969] Adjointness in foundations, Dialectica vol. 23, pp. 281–296.

    Article  Google Scholar 

  • MacLane, S. [1971] Categories for the Working Mathematician, Springer, Berlin.

    Google Scholar 

  • Mints, G. [1992] Lewis’ systems and system T (1965–1973), in Selected Papers in Proof Theory, Bibliopolis, Naples, pp. 221–294 (English translation, with additions, of a paper published in Russian as an appendix to the Russian translation of R. Feys, Modal Logic, Nauka, Moscow, 1974, pp. 422–509).

    Google Scholar 

  • Pottinger, G. [1977] Normalization as a homomorphic image of cut elimination, Annals of Mathematical Logic vol. 12, pp. 323–357.

    Article  Google Scholar 

  • Prawitz, D. [1965] Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm.

    Google Scholar 

  • Prawitz, D. [1971] Ideas and results in proof theory, in: J.E. Fenstad ed., Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, pp. 235–307.

    Chapter  Google Scholar 

  • Quine, W.V.O. [1951] Two dogmas of empiricism, Philosophical Review vol. 60, pp. 20–43.

    Article  Google Scholar 

  • Scott, D.S. [1971] On engendering an illusion of understanding, The Journal of Philosophy vol. 68, pp. 787–807.

    Article  Google Scholar 

  • Scott, D.S. [1974] Completeness and axiomatizability in many-valued logic, in: L. Henkin et al. eds, Proceedings of the Tarski Symposium, American Mathematical Society, Providence, pp. 411–435.

    Chapter  Google Scholar 

  • Shoesmith, D.J., and Smiley, T.J. [1978] Multiple-Conclusion Logic, Cambridge University Press, Cambridge.

    Book  Google Scholar 

  • Smullyan, R.M. [1968] Analytic cut, The Journal of Symbolic Logic vol. 33, pp. 560–564.

    Article  Google Scholar 

  • Soloviev, S.V. [1981] The category of finite sets and cartesian closed categories (in Russian), Zapiski nauchnykh seminarov LOMI vol. 105, pp. 174–194 (English translation in Journal of Soviet Mathematics vol. 22, 1983, pp. 1387–1400).

    Google Scholar 

  • Soloviev, S.V. [1993] A complete axiom system for isomorphism of types in closed categories, in: A. Voronkov ed., Logic Programming and Automated Reasoning, Lecture Notes in Artificial Intelligence no 698, Springer, Berlin, pp. 360–371.

    Chapter  Google Scholar 

  • Stenlund, S. [1972] Combinators, Lambda Terms and Proof Theory, Reidel, Dordrecht.

    Book  Google Scholar 

  • Szabo, M.E. [1978] Algebra of Proofs, North-Holland, Amsterdam.

    Google Scholar 

  • Takano, M. [1992] Subformula property as a substitute for cut elimination in modal propositional logics, Mathematica Japonica vol. 37, pp. 1129–1145.

    Google Scholar 

  • Tarski, A. [1930] Über einige fundamentale Begriffe der Metamathematik, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie vol. 23, pp. 22–29 (English translation in [Tarski 1956]) .

    Google Scholar 

  • Tarski, A. [1930a] Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, I, Monatshefte für Mathematik und Physik vol. 37, pp. 361–404 (English translation in [Tarski 1956]) .

    Google Scholar 

  • Tarski, A. [1936] On the concept of logical consequence (in Polish), PrzeglądFilozoficzny vol. 39, pp. 58–68 (English translation in [Tarski 1956]).

    Google Scholar 

  • Tarski, A. [1956] Logic, Semantics, Metamathematics: Papers from 1923 to 1938, J.H. Woodger ed., Oxford University Press, Oxford (second edition, J. Corcoran ed., Hackett, Indianapolis, 1983).

    Google Scholar 

  • Wójcicki, R. [1988] Theory of Logical Calculi: Basic Theory of Consequence Operations, Kluwer, Dordrecht.

    Book  Google Scholar 

  • Zucker, J. [1974] The correspondence between cut elimination and normalization, Annals of Mathematical Logic vol. 7, pp. 1–156.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, Belgrade, Serbia

    Kosta Došen

  2. IRIT, University of Toulouse III, France

    Kosta Došen

Authors
  1. Kosta Došen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Florence, Italy

    Maria Luisa Dalla Chiara

  2. University of Amsterdam, The Netherlands

    Kees Doets  & Johan van Benthem  & 

  3. University of Milan, Italy

    Daniele Mundici

  4. Stanford University, USA

    Johan van Benthem

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Došen, K. (1997). Logical Consequence: A Turn in Style. In: Dalla Chiara, M.L., Doets, K., Mundici, D., van Benthem, J. (eds) Logic and Scientific Methods. Synthese Library, vol 259. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0487-8_15

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0487-8_15

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-4786-1

  • Online ISBN: 978-94-017-0487-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation