{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,26]],"date-time":"2024-05-26T19:40:12Z","timestamp":1716752412384},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"13","license":[{"start":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T00:00:00Z","timestamp":1400544000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s11229-014-0474-6","type":"journal-article","created":{"date-parts":[[2014,5,19]],"date-time":"2014-05-19T12:27:04Z","timestamp":1400502424000},"page":"3063-3078","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Inconsistency in mathematics and the mathematics of inconsistency"],"prefix":"10.1007","volume":"191","author":[{"given":"Jean Paul","family":"van Bendegem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,20]]},"reference":[{"key":"474_CR1","doi-asserted-by":"crossref","unstructured":"Avigad, J., Dean, E., & Mumma, J. (2009). A formal system for Euclid\u2019s elements. Review of Symbolic Logic, 2(4), 700\u2013768.","DOI":"10.1017\/S1755020309990098"},{"key":"474_CR2","doi-asserted-by":"crossref","unstructured":"Balaguer, M. (1998). Platonism and anti-platonism in mathematics. Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780195122305.001.0001"},{"key":"474_CR3","doi-asserted-by":"crossref","unstructured":"Beall, J. C. (1999). From full blooded platonism to really full blooded platonism. Philosophia mathematica, 7(3), 322\u2013325.","DOI":"10.1093\/philmat\/7.3.322"},{"key":"474_CR4","unstructured":"Broome, T. H. (2010). Metaphysics of engineering. In I. Van De Poel & D. E. Goldberg (Eds.), Philosophy and engineering: An emerging agenda (pp. 295\u2013304). New York: Springer."},{"key":"474_CR5","unstructured":"Cardano, G. (1968). The great art or the rules of algebra. Cambridge(Mass): The MIT Press, (translated and edited by T. R. Witmer)."},{"key":"474_CR6","unstructured":"Colyvan, M. (2009). Applying Inconsistent Mathematics. In Bueno, O. & Linnebo, \u00d8. (Eds.), \u00a0New waves in philosophy of mathematics. (pp. 160\u2013172). Basingstoke: Palgrave MacMillan."},{"key":"474_CR7","unstructured":"Costa, Da, & Newton, C. A. (2004). Paraconsistent logics and paraconsistency: Technical and philosophical developments. CLE e-prints (Section Logic), 4(3), 105."},{"key":"474_CR8","unstructured":"Gasarch, W. I. (2002). The P=?NP Poll. Electronic version at http:\/\/www.cs.umd.edu\/ gasarch\/ papers\/poll.pdf, Accessed 2 February 2010"},{"key":"474_CR9","doi-asserted-by":"crossref","unstructured":"Lakatos, I. (1976). Proofs and refutations. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781139171472"},{"key":"474_CR10","doi-asserted-by":"crossref","unstructured":"Maddy, P. (1988a). Believing the axioms I. Journal of Symbolic Logic, 53(2), 481\u2013511.","DOI":"10.2307\/2274520"},{"issue":"3","key":"474_CR11","doi-asserted-by":"crossref","first-page":"736","DOI":"10.2307\/2274569","volume":"53","author":"P Maddy","year":"1988","unstructured":"Maddy, P. (1988b). Believing the axioms II. Journal of Symbolic Logic, 53(3), 736\u2013764.","journal-title":"Journal of Symbolic Logic"},{"issue":"160","key":"474_CR12","first-page":"375","volume":"42","author":"E Mares","year":"1997","unstructured":"Mares, E. (1997). Paraconsistent probability theory and paraconsistent Bayesianism. Logique et Analyse, 42(160), 375\u2013384.","journal-title":"Logique et Analyse"},{"key":"474_CR13","volume-title":"Negative math. How mathematical rules can be positively bent","author":"AA Martinez","year":"2006","unstructured":"Martinez, A. A. (2006). Negative math. How mathematical rules can be positively bent. Princeton: Princeton University Press."},{"key":"474_CR14","doi-asserted-by":"crossref","first-page":"917","DOI":"10.2307\/2274145","volume":"49","author":"RK Meyer","year":"1984","unstructured":"Meyer, R. K., & Mortensen, C. (1984). Inconsistent models for relevant arithmetics. The Journal of Symbolic Logic, 49, 917\u2013929.","journal-title":"The Journal of Symbolic Logic"},{"key":"474_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8453-1","volume-title":"Inconsistent mathematics","author":"C Mortensen","year":"1995","unstructured":"Mortensen, C. (1995). Inconsistent mathematics. Dordrecht: Kluwer."},{"key":"474_CR16","unstructured":"Mueller, I. (1981). Philosophy of mathematics and deductive structure in Euclid\u2019s elements. Cambridge, Mass: MIT. (New edition: 2006, New York: Dover Publications)."},{"issue":"3","key":"474_CR17","doi-asserted-by":"crossref","first-page":"494","DOI":"10.2307\/2269958","volume":"36","author":"R Parikh","year":"1971","unstructured":"Parikh, R. (1971). Existence and feasibility in arithmetic. The Journal of Symbolic Logic, 36(3), 494\u2013508.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2\u2014-3","key":"474_CR18","first-page":"157","volume":"41","author":"G Priest","year":"1982","unstructured":"Priest, G. (1982). To be and not to be: dialectical tense logic. Studia Logica, 41(2\u2014-3), 157\u2013176.","journal-title":"Studia Logica"},{"key":"474_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In contradiction","author":"G Priest","year":"1987","unstructured":"Priest, G. (1987). In contradiction. Dordrecht: Nijhoff."},{"key":"474_CR20","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","volume":"2","author":"G Priest","year":"1991","unstructured":"Priest, G. (1991). Minimally inconsistent LP. Studia Logica, 2, 321\u2013331.","journal-title":"Studia Logica"},{"key":"474_CR21","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1023\/A:1004251506208","volume":"26","author":"G Priest","year":"1997","unstructured":"Priest, G. (1997). Inconsistent models for arithmetic: I finite models. The Journal of Philosophical Logic, 26, 223\u2013235.","journal-title":"The Journal of Philosophical Logic"},{"key":"474_CR22","doi-asserted-by":"crossref","first-page":"1519","DOI":"10.2307\/2695062","volume":"65","author":"G Priest","year":"2000","unstructured":"Priest, G. (2000). Inconsistent models for arithmetic: II the general case. The Journal of Symbolic Logic, 65, 1519\u20131529.","journal-title":"The Journal of Symbolic Logic"},{"key":"474_CR23","first-page":"242","volume":"33","author":"G Priest","year":"2004","unstructured":"Priest, G., & Brown, B. (2004). Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus. Journal of Philosophical Logic, 33, 242\u2013263.","journal-title":"Journal of Philosophical Logic"},{"key":"474_CR24","unstructured":"Priest, G., Tanaka, K. (2009). Paraconsistent logic. The Stanford Encyclopedia of Philosophy (Winter 2009 ed.), E. N. Zalta (Ed.), http:\/\/plato.stanford.edu\/archives\/win2009\/entries\/logic-paraconsistent\/"},{"key":"474_CR25","unstructured":"Priest, G., Berto, F. (2010). Dialetheism. The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), E. N. Zalta (ed.), http:\/\/plato.stanford.edu\/archives\/sum2010\/entries\/dialetheism\/"},{"key":"474_CR26","unstructured":"Robinson, A. (1979). The metaphysics of the calculus. In W. A. J. Luxemburg, & S. K\u00f6rner (eds.), Selected papers of Abraham Robinson: nonstandard analysis and philosophy (vol. 2, pp. 537\u2013549). New Haven: Yale University Press"},{"key":"474_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00832085","volume":"16","author":"R Routley","year":"1976","unstructured":"Routley, R., & Meyer, R. (1976). Dialectical logic, classical logic and the consistency of the world. Studies in Soviet Thought, 16, 1\u201325.","journal-title":"Studies in Soviet Thought"},{"key":"474_CR28","unstructured":"Van Bendegem, J. P. (1994). Strict finitism as a viable alternative in the foundations of mathematics. Logique et Analyse, 37, 145, (date of publication: 1996, pp. 23\u201340)"},{"key":"474_CR29","unstructured":"Van Bendegem, J. P. (2002). Inconsistencies in the history of mathematics: The case of infinitesimals. In: Joke Meheus (ed.) Inconsistency in science, (pp. 43\u201357). Dordrecht: Kluwer Academic Publishers (Origins: Studies in the Sources of Scientific Creativity, vol. 2)."},{"key":"474_CR30","unstructured":"Van Bendegem, J. P. (2008). What-if\u2019 stories in mathematics: An alternative route to complex numbers. In Danblon, E., Kissine, M., Martin, F., & Vogeleer, S. (Eds.), Linguista Sum: M\u00e9langes offerts \u00e0 Marc Dominicy \u00e0 l\u2019occasion de son soixanti\u00e8me anniversaire. (pp. 391\u2013402). Paris: Harmattan."},{"key":"474_CR31","unstructured":"Van Bendegem, J. P. (2010). Finitism in geometry. The Stanford Encyclopedia of Philosophy, E. N. Zalta (ed.), The Metaphysics Research Lab at the Center for the Study of Language and Information. Stanford, CA: Stanford University. http:\/\/plato.stanford.edu\/entries\/geometry-finitism\/"},{"key":"474_CR32","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1017\/S1755020309990281","volume":"3","author":"Z Weber","year":"2010","unstructured":"Weber, Z. (2010). Transfinite numbers in paraconsistent set theory. The Review of Symbolic Logic, 3, 71\u201392.","journal-title":"The Review of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0474-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-014-0474-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0474-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,26]],"date-time":"2024-05-26T19:26:02Z","timestamp":1716751562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-014-0474-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,20]]},"references-count":32,"journal-issue":{"issue":"13","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["474"],"URL":"https:\/\/doi.org\/10.1007\/s11229-014-0474-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,20]]}}}