{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T01:40:52Z","timestamp":1718329252266},"reference-count":39,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2016,1,1]]},"DOI":"10.1215\/00294527-3429057","type":"journal-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T15:13:15Z","timestamp":1453993995000},"source":"Crossref","is-referenced-by-count":6,"title":["Restriction by Noncontraction"],"prefix":"10.1215","volume":"57","author":[{"given":"Elia","family":"Zardini","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Barker, C., \u201cFree choice permission as resource-sensitive reasoning,\u201d <i>Semantics and Pragmatics<\/i>, vol. 3 (2010), pp. 1\u201338.","DOI":"10.3765\/sp.3.10"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Barwise, J., and R. Cooper, \u201cGeneralized quantifiers and natural language,\u201d <i>Linguistics and Philosophy<\/i>, vol. 4 (1981), pp. 159\u2013219.","DOI":"10.1007\/BF00350139"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Beall, J. C., <i>Spandrels of Truth<\/i>, Oxford University Press, Oxford, 2009.","DOI":"10.1093\/acprof:oso\/9780199285495.003.0009"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Beall, J. C., \u201cFree of detachment: Logic, rationality, and gluts,\u201d <i>No\u00fbs<\/i>, vol. 49 (2015), pp. 410\u201323.","DOI":"10.1111\/nous.12029"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Beall, J. C., R. Brady, A. Hazen, G. Priest, and G. Restall, \u201cRelevant restricted quantification,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 35 (2006), pp. 587\u201398.","DOI":"10.1007\/s10992-005-9008-5"},{"key":"6","unstructured":"[6] Brady, R., <i>Universal Logic<\/i>, vol. 109 of <i>CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 2006."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Curry, H. B., \u201cThe inconsistency of certain formal logics,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 7 (1942), pp. 115\u201317.","DOI":"10.2307\/2269292"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Field, H., <i>Saving Truth from Paradox<\/i>, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Field, H., \u201cNaive truth and restricted quantification: Saving truth a whole lot better,\u201d <i>Review of Symbolic Logic<\/i>, vol. 7 (2014), pp. 147\u201391.","DOI":"10.1017\/S1755020313000312"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Heim, I., \u201cArtikel und Definitheit,\u201d pp. 487\u2013535 in <i>Semantik\/Semantics: Ein internationales Handbuch der zeitgen\u00f6ssischen Forschung. An International Handbook of Contemporary Research<\/i>, edited by A. von Stechow and D. Wunderlich, vol. 6 of <i>Handb\u00fccher zur Sprach- und Kommunikationswissenschaft<\/i>, de Gruyter, Berlin, 1991.","DOI":"10.1515\/9783110126969.7.487"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Kripke, S. A., \u201cOutline of a theory of truth,\u201d <i>Journal of Philosophy<\/i>, vol. 72 (1975), pp. 690\u2013716.","DOI":"10.2307\/2024634"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Lindstr\u00f6m, P., \u201cFirst order predicate logic with generalized quantifiers,\u201d <i>Theoria<\/i>, vol. 32 (1966), pp. 186\u201395.","DOI":"10.1111\/j.1755-2567.1966.tb00600.x"},{"key":"13","unstructured":"[13] Lokhorst, G.-J. C., \u201cDeontic linear logic with Petri net semantics,\u201d Technical report, Center for the Philosophy of Information and Communication Technology, Department of Philosophy, Erasmus University of Rotterdam, 1997."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] McCawley, J. D., \u201cA program for logic,\u201d pp. 498\u2013544 in <i>Semantics of Natural Language<\/i>, edited by D. Davidson and G. Harman, vol. 40 of <i>Synthese Library<\/i>, Reidel, Dordrecht, 1972.","DOI":"10.1007\/978-94-010-2557-7_18"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Mostowski, A., \u201cOn a generalization of quantifiers,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 44 (1957), pp. 12\u201336.","DOI":"10.4064\/fm-44-1-12-36"},{"key":"16","unstructured":"[16] Priest, G., <i>In Contradiction<\/i>, 2nd edition, Oxford University Press, Oxford, 2006."},{"key":"17","unstructured":"[17] Quine, W. V. O., <i>Word and Object<\/i>, Technology Press, Cambridge, Mass., 1960."},{"key":"18","unstructured":"[18] Restall, G., \u201cMultiple conclusions,\u201d pp. 189\u2013205 in <i>Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress<\/i>, edited by P. H\u00e1jek, L. Vald\u00e9s Villanueva, and D. Westerst\u00e5hl, College Publications, London, 2005."},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Ripley, D., \u201cConservatively extending classical logic with transparent truth,\u201d <i>Review of Symbolic Logic<\/i>, vol. 5 (2012), pp. 354\u201378.","DOI":"10.1017\/S1755020312000056"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Ripley, D., \u201cParadoxes and failures of cut,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 91 (2013), pp. 139\u201364.","DOI":"10.1080\/00048402.2011.630010"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Stanley, J., and Z. G. Szab\u00f3, \u201cOn quantifier domain restriction,\u201d <i>Mind and Language<\/i>, vol. 15 (2000), pp. 219\u201361.","DOI":"10.1111\/1468-0017.00130"},{"key":"22","unstructured":"[22] Strawson, P. F., <i>Introduction to Logical Theory<\/i>, Methuen, London, 1952."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] van Fraassen, B. C., \u201cPresupposition, implication, and self-reference,\u201d <i>Journal of Philosophy<\/i>, vol. 65 (1968), pp. 136\u201352.","DOI":"10.2307\/2024557"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Weir, A., \u201cNaive truth and sophisticated logic,\u201d pp. 218\u201349 in <i>Deflationism and Paradox<\/i>, edited by B. Armour-Garb and J. C. Beall, Oxford University Press, Oxford, 2005.","DOI":"10.1093\/oso\/9780199287116.003.0014"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Zardini, E., \u201cA model of tolerance,\u201d <i>Studia Logica<\/i>, vol. 90 (2008), pp. 337\u201368.","DOI":"10.1007\/s11225-008-9156-z"},{"key":"26","unstructured":"[26] Zardini, E., \u201cTowards first-order tolerant logics,\u201d pp. 35\u201338 in <i>Philosophy, Mathematics, Linguistics: Aspects of Interaction<\/i>, edited by O. Prozorov, Russian Academy of Sciences, St. Petersburg, 2009."},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Zardini, E., \u201cTruth without contra(di)ction,\u201d <i>Review of Symbolic Logic<\/i>, vol. 4 (2011), pp. 498\u2013535.","DOI":"10.1017\/S1755020311000177"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Zardini, E., \u201cIt is not the case that [<i>P<\/i> and \u2018It is not the case that <i>P<\/i>\u2019 is true] nor is it the case that [<i>P<\/i> and \u2018<i>P<\/i>\u2019 is not true],\u201d <i>Thought<\/i>, vol. 1 (2013), pp. 309\u201319.","DOI":"10.1002\/tht3.51"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] Zardini, E., \u201cNaive modus ponens,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 42 (2013), pp. 575\u201393.","DOI":"10.1007\/s10992-012-9239-1"},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Zardini, E., \u201cContext and consequence: An intercontextual substructural logic,\u201d <i>Synthese<\/i>, vol. 191 (2014), pp. 3473\u2013500.","DOI":"10.1007\/s11229-014-0490-6"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Zardini, E., \u201cEvans tolerated,\u201d pp. 327\u201352 in <i>Vague Objects and Vague Identity<\/i>, edited by K. Akiba and A. Abasnezhad, vol. 33 of <i>Logic, Epistemology, and the Unity of Science<\/i>, Springer, Dordrecht, 2014.","DOI":"10.1007\/978-94-007-7978-5_16"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Zardini, E., \u201cNaive truth and naive logical properties,\u201d <i>Review of Symbolic Logic<\/i>, vol. 7 (2014), pp. 351\u201384.","DOI":"10.1017\/S1755020314000045"},{"key":"33","unstructured":"[33] Zardini, E., <i>Living on the slippery slope: The nature, sources and logic of vagueness<\/i>, Ph.D. dissertation, University of St Andrews, 2008."},{"key":"34","unstructured":"[34] Zardini, E., \u201cBreaking the chains: Following-from and transitivity,\u201d edited by C. Caret and O. Hjortland, to appear in <i>Foundations of Logical Consequence<\/i> (2014)."},{"key":"35","unstructured":"[35] Zardini, E., \u201c\u00c9s la veritat una mentida? Perspectives sobre les paradoxes sem\u00e0ntiques,\u201d to appear in <i>Anuari de la Societat Catalana de Filosofia<\/i> (2014)."},{"key":"36","unstructured":"[36] Zardini, E., \u201cFirst-order tolerant logics,\u201d to appear in <i>Review of Symbolic Logic<\/i> (2014)."},{"key":"37","doi-asserted-by":"crossref","unstructured":"[37] Zardini, E., \u201cGetting one for two, or the contractors\u2019 bad deal: Towards a unified solution to the semantic paradoxes,\u201d pp. 461\u201393 in <i>Unifying the Philosophy of Truth<\/i>, edited by T. Achourioti, H. Galinon, Jos\u00e9 Mart\u00ednez Fern\u00e1ndez, and K. Fujimoto, vol. 36 of <i>Logic, Epistemology and the Unity of Science<\/i>, Springer, Dordrecht, 2015.","DOI":"10.1007\/978-94-017-9673-6_23"},{"key":"38","doi-asserted-by":"publisher","unstructured":"[38] Zardini, E., \u201cThe opacity of truth,\u201d to appear in <i>Topoi<\/i> (2014).","DOI":"10.1017\/S1755020314000045"},{"key":"39","doi-asserted-by":"crossref","unstructured":"[39] Zardini, E., \u201c$\\forall$ and $\\omega$,\u201d pp. 489\u2013526 in <i>Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language<\/i>, edited by A. Torza, Springer, Basel, 2015.","DOI":"10.1007\/978-3-319-18362-6_21"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3429057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T01:05:37Z","timestamp":1718327137000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-57\/issue-2\/Restriction-by-Noncontraction\/10.1215\/00294527-3429057.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":39,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2016,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3429057","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}