Skip to main content
SpringerLink
Log in
Book cover

Conference on Computability in Europe

CiE 2012: How the World Computes pp 17–28Cite as

Information and Logical Discrimination

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7318))

Abstract

Allo & Mares [2] present an “informational” account of logical consequence that is based on the content-nonexpansion platitude. The core of this proposal is an inversion of the standard direction of explanation: Informational content is not defined relative to a pre-existing logical space, but it is approached in terms of the level of abstraction at which information is assessed.

In this paper I focus directly on one of the main ideas introduced in that paper, namely the contrast between logical discrimination and deductive strength, and use this contrast to (1) illustrate a number of open problems for an informational conception of logical consequence, (2) review its connection with the dynamic turn in logic, and (3) situate it relative to the research agenda of the philosophy of information.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aberdein, A., Read, S.: The philosophy of alternative logics. In: Haaparanta, L. (ed.) The Development of Modern Logic, pp. 613–723. Oxford University Press, Oxford (2009)

    Chapter  Google Scholar 

  2. Allo, P., Mares, E.: Informational semantics as a third alternative? Erkenntnis, 1–19 (2011), http://dx.doi.org/10.1007/s10670-011-9356-1

  3. Anderson, A.R., Belnap, N.D.: Entailment. The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)

    MATH  Google Scholar 

  4. Barwise, J.: Information and impossibilities. Notre Dame Journal of Formal Logic 38(4), 488–515 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  5. Barwise, J., Perry, J.: Situation and Attitudes. The David Hume Series of Philosophy and Cognitive Science Reissues. CSLI Publications, Stanford (1999)

    Google Scholar 

  6. Beall, J.C., Restall, G.: Logical Pluralism. Oxford University Press, Oxford (2006)

    Google Scholar 

  7. Beall, J., Brady, R., Dunn, J., Hazen, A., Mares, E., Meyer, R., Priest, G., Restall, G., Ripley, D., Slaney, J., Sylvan, R.: On the ternary relation and conditionality. Journal of Philosophical Logic, 1–18 (May 2011) online First

    Google Scholar 

  8. van Benthem, J.: Logical dynamics meets logical pluralism? Australasian Journal of Logic 6, 182–209 (2008)

    MathSciNet  MATH  Google Scholar 

  9. van Benthem, J.: The information in intuitionistic logic. Synthese 167(2), 251–270 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Copeland, B.J.: On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic. Journal of Philosophical Logic 8(1), 399–413 (1979), http://dx.doi.org/10.1007/BF00258440

    Article  MathSciNet  MATH  Google Scholar 

  11. Floridi, L.: The Philosophy of Information. Oxford University Press, Oxford (2011)

    Book  Google Scholar 

  12. Gentzen, G.: Untersuchungen über das logische Schließen. I. Mathematische Zeitschrift 39(1), 176–210 (1935)

    Article  MathSciNet  Google Scholar 

  13. Haack, S.: Deviant Logic. Some Philosophical Issues. Cambridge University Press, Cambridge (1974)

    MATH  Google Scholar 

  14. Humberstone, I.L.: Logical discrimination. In: Béziau, J.Y. (ed.) Logica Universalis, pp. 207–228. Birkhäuser Verlag, Basel (2005)

    Chapter  Google Scholar 

  15. Mares, E.: Relevant logic and the theory of information. Synthese 109(3), 345–360 (1997)

    Article  MathSciNet  Google Scholar 

  16. Mares, E.: General information in relevant logic. Synthese 167(2), 343–362 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Paoli, F.: Substructural logics a primer. Trends in Logic: Studia Logica Library, vol. 13. Kluwer Academic, Dordrecht (2002)

    MATH  Google Scholar 

  18. Restall, G.: Information flow and relevant logics. In: Seligman, J., Westerståhl, D. (eds.) Logic, Language and Computation: The 1994 Moraga Proceedings, pp. 463–477. CSLI-Press, Stanford (1994)

    Google Scholar 

  19. Saguillo, J.M.: Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence. History and Philosophy of Logic 30(1), 21–48 (2009)

    Article  MathSciNet  Google Scholar 

  20. Tarski, A.: On the concept of logical consequence. In: Tarski, A., Corcoran, J. (eds.) Logic, Semantics, Meta-Matematics, 2nd edn., Hackett, Indianapolis (1983)

    Google Scholar 

  21. Wansing, H.: The Logic of Information Structures. LNCS (LNAI), vol. 681. Springer, Berlin (1993)

    Book  MATH  Google Scholar 

  22. Wansing, H.: Informational interpretation of substructural logics. Journal of Logic, Language and Information 2, 285–308 (1993)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Logic and Philosophy of Science, Vrije Universiteit Brussel, Pleinlaan 2, B-1050, Brussels, Belgium

    Patrick Allo

Authors
  1. Patrick Allo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Mathematics, University of Leeds, LS2 9JT, Leeds, UK

    S. Barry Cooper

  2. Computer Laboratory, University of Cambridge, Willialm Gates Building, J.J. Thomson Avenue, CB3 0FD, Cambridge, UK

    Anuj Dawar

  3. Institute for Logic, Language and Computation, University of Amsterdam, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Allo, P. (2012). Information and Logical Discrimination. In: Cooper, S.B., Dawar, A., Löwe, B. (eds) How the World Computes. CiE 2012. Lecture Notes in Computer Science, vol 7318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30870-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30870-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30869-7

  • Online ISBN: 978-3-642-30870-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation