{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T05:21:02Z","timestamp":1775280062700,"version":"3.50.1"},"reference-count":35,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,10,1]]},"DOI":"10.1305\/ndjfl\/1039540773","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:54:55Z","timestamp":1046206495000},"source":"Crossref","is-referenced-by-count":14,"title":["Inconsistency without Contradiction"],"prefix":"10.1215","volume":"38","author":[{"given":"Achille C.","family":"Varzi","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1]Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, <i>Entailment: The Logic of Relevance and Necessity,<\/i> vol. 2, Princeton University Press, Princeton, 1992."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2]Belnap, N. D. Jr., ``A useful four-valued logic,'' pp. 8--37 in <i>Modern Uses of Multiple-Valued Logics<\/i>, edited by J. M. Dunn and G. Epstein, Reidel, Dordrecht, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3]Bencivenga, E., ``Free semantics for indefinite descriptions,'' <i>Journal of Philosophical Logic<\/i>, vol. 7 (1978), pp. 389--405.","DOI":"10.1007\/BF00245936"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4]Bencivenga, E., ``Free semantics,'' <i>Boston Studies in the Philosophy of Science<\/i>, vol. 47 (1981), pp. 31--48.","DOI":"10.1007\/978-94-009-8937-5_3"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Fine, K., ``Vagueness, truth, and logic,'' <i>Synthese<\/i>, vol. 30 (1975), pp. 265--300.","DOI":"10.1007\/BF00485047"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Fitting, M., ``Kleene's logic, generalized,'' <i>Journal of Logic and Computation<\/i>, vol. 18 (1992), pp. 225--56.","DOI":"10.1093\/logcom\/1.6.797"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Fodor, J. A., and E. Lepore, ``What cannot be evaluated cannot be evaluated, and it cannot be supervalued either,'' <i>The Journal of Philosophy<\/i>, vol. 93 (1996), pp. 516--35.","DOI":"10.2307\/2940838"},{"key":"9","unstructured":"[9]G\u00e4rdenfors, P., <i>Knowledge in Flux<\/i>, The MIT Press, Cambridge, 1988."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Grant, J., ``Inconsistent and incomplete logics,'' <i>Mathematics Magazine<\/i>, vol. 48 (1975), pp. 154--9.","DOI":"10.2307\/2689697"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11]Gupta, A., and N. D. Belnap, Jr., <i>The Revision Theory of Truth<\/i>, The MIT Press, Cambridge, 1993.","DOI":"10.7551\/mitpress\/5938.001.0001"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12]Hyde, D., ``From heaps and gaps to heaps of gluts,'' <i>Mind<\/i>, vol. 106 (1997), pp. 641--60.","DOI":"10.1093\/mind\/106.424.641"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Jennings, R. E., and P. K. Schotch, ``The preservation of coherence,'' <i>Studia Logica<\/i>, vol. 43 (1984), pp. 89--106.","DOI":"10.1007\/BF00935743"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Kamp, H., ``Two theories about adjectives,'' pp. 45--89 in <i>Semantics and Natural Language<\/i>, edited by E. L. Keenan, Cambridge University Press, Cambridge, 1975.","DOI":"10.1017\/CBO9780511897696.011"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16]Kyburg, H. E., Jr., ``The rule of adjunction and reasonable inference,'' <i>The Journal of Philosophy<\/i>, vol. 94 (1997), pp. 109--25.","DOI":"10.2307\/2941105"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18]Levi, I., <i>The Fixation of Belief and Its Undoing<\/i>, Cambridge University Press, Cambridge, 1991.","DOI":"10.1017\/CBO9780511663819"},{"key":"19","unstructured":"[19]Lewis, D. K., ``Truth in fiction,'' <i>American Philosophical Quarterly<\/i>, vol. 15 (1978), pp. 37--46."},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20]Lewis, D. K., ``Logic for Equivocators,'' <i>No\u00fb<\/i>s, vol. 16 (1982), pp. 431--41.","DOI":"10.2307\/2216219"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21]Lewis, D. K., ``Postscripts to `Anselm and Actuality','' pp. 21--25 in <i>Philosophical Papers<\/i>, vol. 1, Oxford University Press, New York, 1983.","DOI":"10.1093\/0195032047.003.0002"},{"key":"22","unstructured":"[22]Lewis, D. K., ``Postscripts to `Truth in Fiction','' pp. 276--80 in <i>Philosophical Papers<\/i>, vol. 1, Oxford University Press, New York, 1983."},{"key":"23","unstructured":"[23] Lewis, D. K., <i>On The Plurality of Worlds<\/i>, Blackwell, Oxford, 1986."},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] McCall, S., ``Excluded middle, bivalence, and fatalism,'' <i>Inquiry<\/i>, vol. 4 (1966), pp. 384--6.","DOI":"10.1080\/00201746608601471"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Mehlberg, H., <i>The Reach of Science<\/i>, Toronto University Press, Toronto, 1958.","DOI":"10.3138\/9781487582760"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Priest, G., ``Sylvan's box,'' <i>Notre Dame Journal of Formal Logic<\/i>, vol. 38 (1997), pp. 573--82.","DOI":"10.1305\/ndjfl\/1039540770"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Priest, G., and Routley, R., ``Systems of paraconsistent logic,'' pp. 151--86 in <i>Paraconsistent Logic. Essays on the Inconsistent<\/i>, edited by G. Priest, R. Routley, and J. Norman, Philosophia Verlag, Munich, 1989.","DOI":"10.2307\/j.ctv2x8v8c7.8"},{"key":"28","unstructured":"[28]Rescher, N., and R. Brandom, <i>The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology<\/i>, Basil Blackwell, Oxford, 1980."},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Schotch, P. K., and R. E. Jennings, ``On detonating,'' pp. 306--27 in <i>Paraconsistent Logic. Essays on the Inconsistent<\/i>, edited by G. Priest, R. Routley, and J. Norman, Philosophia Verlag, Munich, 1989.","DOI":"10.2307\/j.ctv2x8v8c7.14"},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30]Scott, D., ``Continuous lattices,'' pp. 97--136 in <i>Toposes, Algebraic Geometry and Logic<\/i>, edited by F. W. Lawvere, Springer-Verlag, Berlin, 1972.","DOI":"10.1007\/BFb0073967"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] van Fraassen, B. C., ``Singular terms, truth-value gaps, and free logic,'' <i>The Journal of Philosophy<\/i>, vol. 63 (1966), pp. 481--95.","DOI":"10.2307\/2024549"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] van Fraassen, B. C., ``The completeness of free logic,'' <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 12 (1966), pp. 219--34.","DOI":"10.1002\/malq.19660120117"},{"key":"33","unstructured":"[33]Varzi, A. C., ``Universal semantics,'' Ph.D. thesis, University of Toronto, 1994."},{"key":"34","unstructured":"[34]Varzi, A. C., ``Super-duper supervaluationism,'' pp. 17--40 in <i>Logica '94. Proceedings of the 8th International Symposium<\/i>, edited by T. Childers and O. Majer, Filosofia, Prague, 1995."},{"key":"35","doi-asserted-by":"publisher","unstructured":"[35]Visser, A., ``Four-valued semantics and the liar,'' <i>Journal of Philosophical Logic<\/i>, vol. 12 (1984), pp. 181--212.","DOI":"10.1007\/BF00453021"},{"key":"5","unstructured":"[5] Collins, J., and A. C. Varzi, ``Unsharpenable vagueness,'' Proceedings of the Conference on Methods in Philosophy and the Sciences, New York, 1997."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Ja\u015bkowski, S.,``Rachunek zda\u0144dla system\u00f3w dedukcyjnych sprzecznych,'' <i>Studia Societatis Scientiarum Torunensis<\/i>, \\S A 1, 8 (1948), pp. 55--77. (Translated as ``Propositional calculus for contradictory deductive systems,'' <i>Studia Logica<\/i>, vol. 24 (1965), pp. 143--57.)","DOI":"10.1007\/BF02134311"},{"key":"17","unstructured":"[17]Levi, I., <i>The Enterprise of Knowledge<\/i>, The MIT Press, Cambridge, 1980."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039540773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:15Z","timestamp":1706649195000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-4\/Inconsistency-without-Contradiction\/10.1305\/ndjfl\/1039540773.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10,1]]},"references-count":35,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1997,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039540773","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,10,1]]}}}