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”
Similar content being viewed by others
References
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
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.
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.
Béziau J.-Y. (2005) ‘Paraconsistent logic from a modal viewpoint’. Journal of Applied Logic 3(1): 7–14
Boolos G. (1980) ‘Omega-consistency and the diamond’. Studia Logica 39(2-3): 237–243
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.
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
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.
Byers, W., How Mathematicians Think – Using Ambiguity, Contradiction, and Paradox to Create Mathematics, Princeton University Press, 2007.
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.
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.
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.
Carnielli W.A., Coniglio M.E., D’Ottaviano I.M.L. (2009) ‘New dimensions on translations between logics’. Logica Universalis 3(1): 1–18
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.
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 .
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.
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.
Carnielli, W.A., and C. Pizzi, Modalities and Multimodalities, Series Logic, Epistemology, and the Unity of Science, Vol. 12, Springer, 2008.
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
Gärdenfors P. (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Bradford Books
Hughes, G.E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.
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.
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.
Ladd-Franklin C. (1928) ‘The antilogism’. Mind 37: 532–534
Lewis, C. I., and C. H. Langford, Symbolic Logic, New York: Century Company, 1932. Reprinted by Dover Publications (2nd edition) New York, 1959.
Lewis, D., ‘Possible Worlds’, in M. Loux (ed.), The Possible and the Actual, Ithaca: Cornell University Press, 1979, pp. 182–190.
Loparic A., da Costa N.C.A. (1984) ‘Paraconsistency, paracompleteness and valuations’. Logique et Analyse 106: 119–131
Łukasiewicz J. (1953) ‘A system of modal logic’. Journal of Computing Systems 1: 111–149
MacColl H. (1906) ‘Symbolic reasoning’. Mind 15: 504–518
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/
Marcos, J., ‘Modality and paraconsistency’, in M. Bilkova and L. Behounek (eds.), The Logica Yearbook 2004, Filosofia, Prague, 2005, pp. 213–222.
Marcos J. (2005) ‘Nearly every normal modal logic is paranormal’. Logique et Analyse 48(189–192): 279–300
Marcos J. (2008) ‘Possible-translations semantics for some weak classicallybased paraconsistent logics’. Journal of Applied Non-Classical Logics 18: 7–28
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.
Mele, A.R., Rawling, P. (eds) (2004) The Oxford Handbook of Rationality. Oxford University Press, USA
Mortensen, C., Inconsistent Mathematics, Kluwer Acad. Publ., 1995.
Rescher N., Brandon R. (1980) The Logic of Inconsistency. Basil Blackwell, Oxford
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
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.
Russell B. (1907) ‘On the nature of truth’. Proceedings of the Aristotelian Society 7: 228–249
Saramago, J., A Caverna, Companhia das Letras, São Paulo, 2000. English edition: The Cave, Mariner Books, 2003.
Segerberg K. (1972) ‘Post completeness in modal logic’. The Journal of Symbolic Logic 37(4): 711–715
Shapiro S. (1997) Philosophy of Mathematics: Structure and Ontology. Oxford University Press, Oxford
Shukla A. (1972) ‘The existence postulate and non-regular systems of modal logic’. Notre Dame Journal of Formal Logic 13(3): 369–378
Stalnaker, R., ‘Possible Worlds’, in M. Loux (ed.), The Possible and the Actual, Ithaca: Cornell University Press, 1979, pp. 225–234.
Stalnaker R. (1968) ‘A theory of conditionals’. Studies in Logical Theory – American Philosophical Quarterly 2: 98–112
Wassermann R. (2003) ‘Generalized change and the meaning of rationality postulates’. Studia Logica 73(2): 299–319
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
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.
Woleński, J., ‘Truth and Consistency’, Axiomathes, in print, 2010. Advanced on-line publication DOI:10.1007/s10516-010-9112-1
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9298-7