Skip to main content
SpringerLink
Log in

The Single-minded Pursuit of Consistency and its Weakness

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

I argue that a compulsive seeking for just one sense of consistency is hazardous to rationality, and that observing the subtle distinctions of reasonableness between individual and groups may suggest wider, structuralistic notions of consistency, even relevant to re-assessing Gödel’s Second Incompleteness Theorem and to science as a whole.

Saberíamos muito mais das complexidades da vida se nos aplicássemos a estudar com afinco as suas contradições em vez de perdermos tanto tempo com as identidades e coerências, que estas têm obrigação de explicar-se por si mesmas. José Saramago, “A Caverna”

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

Article 22 July 2014

Jeffrey Sanford Russell, John Hawthorne & Lara Buchak

References

  1. Alchourrón C.E., Gärdenfors P., Makinson D. (1985) ‘On the logic of theory change: partial meet contraction and revision functions’. Journal of Symbolic Logic 50(2): 510–530

    Article  Google Scholar 

  2. Bernays, P., ‘Mathematische Existenz und Widerspruchsfreiheit’, in Etudes de Philosophie des sciences en hommage ‘a Ferdinand Gonseth, Editions du Griffon, Neuchâtel, 1950, pp. 11–25.

  3. Béziau, J.-Y., ‘S5 is a paraconsistent logic and so is first-order classical logic’, Logical Studies 9: 301–309, 2002. http://www.logic.ru/Russian/LogStud/09/LS$\_$9$\_$e$\_$Beziau.zip.

  4. Béziau J.-Y. (2005) ‘Paraconsistent logic from a modal viewpoint’. Journal of Applied Logic 3(1): 7–14

    Article  Google Scholar 

  5. Boolos G. (1980) ‘Omega-consistency and the diamond’. Studia Logica 39(2-3): 237–243

    Article  Google Scholar 

  6. Boolos, G., ‘Gödel’s Second Incompleteness Theorem explained in words of one syllable’, Mind 103(409): 1–3, 1994. Reprinted in R. Jeffrey and J. Burgess (eds.), Logic, Logic, and Logic, Harvard University Press, 1998, pp. 411–413.

    Google Scholar 

  7. Bueno-Soler, J., ‘Completeness and incompleteness for anodic modal logics’, Journal of Applied Non-classical Logics 19(3): 291–310, 2009. Preprint available at CLE e-Prints vol. 9, n. 5, 2009. http://www.cle.unicamp.br/e-prints/vol_9,n_5,2009.html

  8. Bueno-Soler, J., W. A. Carnielli, and M. E. Coniglio, ‘Possible-translations algebraizability’, in J.-Y. B´eziau, W.A. Carnielli, and D. Gabbay (Org.), Handbook of Paraconsistency, London, 2007, pp. 321–340.

  9. Byers, W., How Mathematicians Think – Using Ambiguity, Contradiction, and Paradox to Create Mathematics, Princeton University Press, 2007.

  10. Caleiro, C., W.A. Carnielli, M.E. Coniglio, and J. Marcos, ‘Two’s company: The humbug of many logical values’, in Jean-Yves Béziau (Org.), Logica Universalis – Towards a General Theory of Logic, Basel: Birkhauser Verlag, 2005, pp. 169–189.

  11. Carnielli, W.A., ‘Many-valued logics and plausible reasoning’, in Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, Charlotte, NC, USA, 1990, pp. 328–335. IEEE Computer Society.

  12. Carnielli, W.A., ‘Possible-translations semantics for paraconsistent logics’, in D. Batens et al. (eds.), Frontiers of Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Logic and Computation Series, Baldock: Research Studies Press, King’s College Publications, 2000, pp. 149–163.

  13. Carnielli W.A., Coniglio M.E., D’Ottaviano I.M.L. (2009) ‘New dimensions on translations between logics’. Logica Universalis 3(1): 1–18

    Article  Google Scholar 

  14. Carnielli, W.A., M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas, Analysis and Synthesis of Logics, Applied Logic Series volume 35, Springer, 2008.

  15. Carnielli, W.A., M. E. Coniglio, and J. Marcos, ‘Logics of formal inconsistency’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume 14, Springer, 2nd edition, 2007, pp. 15–107. Preprint available at CLE e-Prints vol 5, n. 1, 2005. www.cle.unicamp.br/e-prints/vol_5,n_1,2005.html .

  16. Carnielli, W.A., and M. Lima-Marques, ‘Society semantics and multiple-valued logics’, in Advances in contemporary logic and computer science: Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6- 10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 1999, pp. 33–5.

  17. Carnielli, W.A., and J. Marcos, ‘A Taxonomy of C-Systems’, in Paraconsistency – the Logical Way to the Inconsistent, in W. A. Carnielli, M. E. Coniglio and I. M. L. D’Ottaviano (eds.), Lecture Notes in Pure and Applied Mathematics, vol. 228, Marcel Dekker, New York, 2002, pp. 01–94. Preprint available at CLE e-Prints vol 1, n. 5, 2001. http://www.cle.unicamp.br/e-prints/abstract_5.htm.

  18. Carnielli, W.A., and C. Pizzi, Modalities and Multimodalities, Series Logic, Epistemology, and the Unity of Science, Vol. 12, Springer, 2008.

  19. Dugundji J. (1940) ‘Note on a property of matrices for Lewis and Langford’s calculi of propositions’. The Journal of Symbolic Logic 5(4): 150–151

    Article  Google Scholar 

  20. Gärdenfors P. (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Bradford Books

    Google Scholar 

  21. Hughes, G.E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.

  22. Jaśkowski, S., ‘A propositional calculus for inconsistent deductive systems’ (in Polish), Studia Societatis Scientiarum Torunensis, Sectio A, 5: 57–77, 1948. Translated into English in Studia Logica 24: 143–157, 1967, and in Logic and Logical Philosophy, 7: 35–56, 1999.

  23. Kripke, S., ‘Semantical analysis of modal logic, II: non-normal modal propositional calculi’, in J.W. Addison, L. Henkin, and A. Tarski (eds.), The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley, Amsterdam: North Holland, 1965, pp. 206–220.

  24. Ladd-Franklin C. (1928) ‘The antilogism’. Mind 37: 532–534

    Article  Google Scholar 

  25. Lewis, C. I., and C. H. Langford, Symbolic Logic, New York: Century Company, 1932. Reprinted by Dover Publications (2nd edition) New York, 1959.

  26. Lewis, D., ‘Possible Worlds’, in M. Loux (ed.), The Possible and the Actual, Ithaca: Cornell University Press, 1979, pp. 182–190.

  27. Loparic A., da Costa N.C.A. (1984) ‘Paraconsistency, paracompleteness and valuations’. Logique et Analyse 106: 119–131

    Google Scholar 

  28. Łukasiewicz J. (1953) ‘A system of modal logic’. Journal of Computing Systems 1: 111–149

    Google Scholar 

  29. MacColl H. (1906) ‘Symbolic reasoning’. Mind 15: 504–518

    Article  Google Scholar 

  30. Marcos, J., Semânticas de Traduções Possíveis (Possible-Translations Semantics, in Portuguese), Master’s thesis, State University of Campinas (Unicamp), Campinas, 1999. URL = http://www.cle.unicamp.br/pub/thesis/J.Marcos/

  31. Marcos, J., ‘Modality and paraconsistency’, in M. Bilkova and L. Behounek (eds.), The Logica Yearbook 2004, Filosofia, Prague, 2005, pp. 213–222.

  32. Marcos J. (2005) ‘Nearly every normal modal logic is paranormal’. Logique et Analyse 48(189–192): 279–300

    Google Scholar 

  33. Marcos J. (2008) ‘Possible-translations semantics for some weak classicallybased paraconsistent logics’. Journal of Applied Non-Classical Logics 18: 7–28

    Article  Google Scholar 

  34. Massacci, F., ‘A bridge between modal logics and contextual reasoning’, in P. Brézillon and S. Abu-Hakima (eds.), IJCAI-95 International Workshop on Modeling Context in Knowledge Representation and Reasoning, number 95, Institut Blaise Pascal, 1995, pp. 89–98.

  35. Mele, A.R., Rawling, P. (eds) (2004) The Oxford Handbook of Rationality. Oxford University Press, USA

    Google Scholar 

  36. Mortensen, C., Inconsistent Mathematics, Kluwer Acad. Publ., 1995.

  37. Rescher N., Brandon R. (1980) The Logic of Inconsistency. Basil Blackwell, Oxford

    Google Scholar 

  38. Robles G., Méndez J.M. (2008) ‘The basic constructive logic for a weak sense of consistency’. Journal of Logic, Language and Information 17(1): 89–107

    Article  Google Scholar 

  39. Rovane, C., ‘Rationality and persons’, in A.R. Mele and P. Rawling (eds.), The Oxford Handbook of Rationality, Oxford University Press, USA, 2004, pp. 320–343.

  40. Russell B. (1907) ‘On the nature of truth’. Proceedings of the Aristotelian Society 7: 228–249

    Google Scholar 

  41. Saramago, J., A Caverna, Companhia das Letras, São Paulo, 2000. English edition: The Cave, Mariner Books, 2003.

  42. Segerberg K. (1972) ‘Post completeness in modal logic’. The Journal of Symbolic Logic 37(4): 711–715

    Article  Google Scholar 

  43. Shapiro S. (1997) Philosophy of Mathematics: Structure and Ontology. Oxford University Press, Oxford

    Google Scholar 

  44. Shukla A. (1972) ‘The existence postulate and non-regular systems of modal logic’. Notre Dame Journal of Formal Logic 13(3): 369–378

    Article  Google Scholar 

  45. Stalnaker, R., ‘Possible Worlds’, in M. Loux (ed.), The Possible and the Actual, Ithaca: Cornell University Press, 1979, pp. 225–234.

  46. Stalnaker R. (1968) ‘A theory of conditionals’. Studies in Logical Theory – American Philosophical Quarterly 2: 98–112

    Google Scholar 

  47. Wassermann R. (2003) ‘Generalized change and the meaning of rationality postulates’. Studia Logica 73(2): 299–319

    Article  Google Scholar 

  48. Willard D. (2005) ‘An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency’. Journal of Symbolic Logic 70(4): 1171–1209

    Article  Google Scholar 

  49. Wittgenstein, L., Remarks on the Foundations of Mathematics, G.H. von Wright, R.Rhees, and G. E. M. Anscombe (eds.), Basil Blackwell, Oxford, 2nd edition, 1967.

  50. Woleński, J., ‘Truth and Consistency’, Axiomathes, in print, 2010. Advanced on-line publication DOI:10.1007/s10516-010-9112-1

Download references

Author information

Authors and Affiliations

  1. Centre for Logic, Epistemology and the History of Science - CLE, Campinas, Brazil

    Walter Carnielli

  2. Department of Philosophy, State University of Campinas - UNICAMP, P.O. Box 6133, 13083-970, Campinas, SP, Brazil

    Walter Carnielli

Authors
  1. Walter Carnielli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Walter Carnielli.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Carnielli, W. The Single-minded Pursuit of Consistency and its Weakness. Stud Logica 97, 81–100 (2011). https://doi.org/10.1007/s11225-010-9298-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9298-7

Keywords

Search

Navigation