{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T11:51:57Z","timestamp":1676289117733},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T00:00:00Z","timestamp":1488931200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10992-017-9434-1","type":"journal-article","created":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T22:33:24Z","timestamp":1489012404000},"page":"449-479","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Some Notes on Truths and Comprehension"],"prefix":"10.1007","volume":"47","author":[{"given":"Thomas","family":"Schindler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,8]]},"reference":[{"key":"9434_CR1","doi-asserted-by":"crossref","unstructured":"Beringer, T., & Schindler, T. (2017). A graph-theoretic analysis of the semantic paradoxes. Under review.","DOI":"10.1017\/bsl.2017.37"},{"key":"9434_CR2","volume-title":"Computability and logic","author":"G Boolos","year":"2003","unstructured":"Boolos, G., Burgess, J., & Jeffrey, R. (2003). Computability and logic, 4th edn. Cambridge: Cambridge University Press.","edition":"4th edn."},{"key":"9434_CR3","doi-asserted-by":"crossref","first-page":"663","DOI":"10.2307\/2274021","volume":"51","author":"JP Burgess","year":"1986","unstructured":"Burgess, J.P. (1986). The truth is never simple. Journal of Symbolic Logic, 51, 663\u2013681.","journal-title":"Journal of Symbolic Logic"},{"key":"9434_CR4","doi-asserted-by":"crossref","first-page":"1452","DOI":"10.2307\/2275486","volume":"56","author":"J Cain","year":"1991","unstructured":"Cain, J., & Damnjanovic, Z. (1991). On the Weak Kleene scheme in Kripke\u2019s theory of truth. Journal of Symbolic Logic, 56, 1452\u20131468.","journal-title":"Journal of Symbolic Logic"},{"key":"9434_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19890350202","volume":"35","author":"A Cantini","year":"1989","unstructured":"Cantini, A. (1989). Notes on formal theories of truth. Zeitschr. f. Math. Logik und Grundlagen d Math, 35, 97\u2013130.","journal-title":"Zeitschr. f. Math. Logik und Grundlagen d Math"},{"key":"9434_CR6","doi-asserted-by":"crossref","first-page":"244","DOI":"10.2307\/2274965","volume":"55","author":"A Cantini","year":"1990","unstructured":"Cantini, A. (1990). A theory of formal truth arithmetically equivalent to ID 1. Journal of Symbolic Logic, 55, 244\u2013259.","journal-title":"Journal of Symbolic Logic"},{"key":"9434_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S. (1991). Reflecting on incompleteness. Journal of Symbolic Logic, 56, 1\u201349.","journal-title":"Journal of Symbolic Logic"},{"key":"9434_CR8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1017\/S1755020314000379","volume":"8","author":"M Fischer","year":"2015","unstructured":"Fischer, M., Halbach, V., Kriener, J., & Stern, J. (2015). Axiomatizing semantic theories of truth? Review of Symbolic Logic, 8, 257\u2013278.","journal-title":"Review of Symbolic Logic"},{"key":"9434_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00302338","volume":"11","author":"A Gupta","year":"1982","unstructured":"Gupta, A. (1982). Truth and paradox. Journal of Philosphical Logic, 11, 1\u201360.","journal-title":"Journal of Philosphical Logic"},{"key":"9434_CR10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF01135378","volume":"43","author":"V Halbach","year":"1995","unstructured":"Halbach, V. (1995). Tarski hierarchies. Erkenntnis, 43, 339\u2013367.","journal-title":"Erkenntnis"},{"key":"9434_CR11","doi-asserted-by":"crossref","DOI":"10.1515\/9783050072258","volume-title":"Axiomatische Wahrheitstheorien Logica Nova","author":"V Halbach","year":"1996","unstructured":"Halbach, V. (1996). Axiomatische Wahrheitstheorien Logica Nova. Berlin: Akademie Verlag."},{"key":"9434_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1005662017962","volume":"53","author":"V Halbach","year":"2000","unstructured":"Halbach, V. (2000). Truth and reduction. Erkenntnis, 53, 97\u2013126.","journal-title":"Erkenntnis"},{"key":"9434_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/A:1005275222332","volume":"126","author":"V Halbach","year":"2001","unstructured":"Halbach, V. (2001). How innocent is deflationism? Synthese, 126, 167\u2013194.","journal-title":"Synthese"},{"key":"9434_CR14","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1017\/S1755020309990220","volume":"2","author":"V Halbach","year":"2009","unstructured":"Halbach, V. (2009). Reducing compositional to disquotational truth. Review of Symbolic Logic, 2, 786\u2013798.","journal-title":"Review of Symbolic Logic"},{"key":"9434_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic theories of truth. Cambridge: Cambridge University Press."},{"key":"9434_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00302339","volume":"11","author":"H Herzberger","year":"1982","unstructured":"Herzberger, H. (1982). Notes on naive semantics. Journal of Philosphical Logic, 11, 61\u2013102.","journal-title":"Journal of Philosphical Logic"},{"key":"9434_CR17","unstructured":"Horsten, L. (1995). The semantical paradoxes, the neutrality of truth and the neutrality of the minimalist theory of truth. In P. Cortois (Ed.), The many problems of realism, vol. 3 of Studies in the general philosophy of science (pp. 173\u2013187). Tilburg University Press."},{"key":"9434_CR18","doi-asserted-by":"crossref","DOI":"10.1093\/0198752237.001.0001","volume-title":"Truth","author":"P Horwich","year":"1998","unstructured":"Horwich, P. (1998). Truth, 2nd edn. Oxford: Basil Blackwell.","edition":"2nd edn."},{"key":"9434_CR19","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/mind\/108.429.69","volume":"108","author":"J Ketland","year":"1999","unstructured":"Ketland, J. (1999). Deflationism and Tarski\u2019s paradise. Mind, 108, 69\u201394.","journal-title":"Mind"},{"key":"9434_CR20","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"9434_CR21","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10992-004-3758-3","volume":"34","author":"H Leitgeb","year":"2005","unstructured":"Leitgeb, H. (2005). What truth depends on. Journal of Philosphical Logic, 34, 155\u2013192.","journal-title":"Journal of Philosphical Logic"},{"key":"9434_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical logic","author":"DJ Monk","year":"1976","unstructured":"Monk, D.J. (1976). Mathematical logic. New York: Springer."},{"key":"9434_CR23","unstructured":"Moschovakis, Y.N. (1974). Elementary induction on abstract structures. Dover Publications."},{"key":"9434_CR24","unstructured":"Nicolai, C. (2016). Equivalences for truth predicates. Review of Symbolic Logic. forthcoming."},{"key":"9434_CR25","unstructured":"Parsons, C. (1983). Ontology and mathematics. In Mathematics in philosophy (pp. 37\u201362). Cornell University Press."},{"key":"9434_CR26","unstructured":"Parsons, C. (1983). Sets and classes. In Mathematics in philosophy, (pp. 209\u2013220). Cornell University Press."},{"key":"9434_CR27","volume-title":"Proof theory the first step into impredicativity","author":"W Pohlers","year":"2009","unstructured":"Pohlers, W. (2009). Proof theory the first step into impredicativity. Berlin Heidelberg: Springer."},{"issue":"\/142","key":"9434_CR28","first-page":"37","volume":"141","author":"H Putnam","year":"1969","unstructured":"Putnam, H., Boyd, R., & Hensel, G. (1969). A recursion theoretic characterization of the ramified analytical hierarchy. Transactions of the American Mathematical Society, 141(\/142), 37\u201362.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9434_CR29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1017\/S1755020313000282","volume":"7","author":"T Schindler","year":"2014","unstructured":"Schindler, T. (2014). Axioms for grounded truth. Review of Symbolic Logic, 7, 73\u201383.","journal-title":"Review of Symbolic Logic"},{"key":"9434_CR30","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s10992-014-9327-5","volume":"44","author":"T Schindler","year":"2015","unstructured":"Schindler, T. (2015). A disquotational theory of truth as strong as Z 2 \u2212 $^{-}_{2}$ . Journal of Philosophical Logic, 44, 395\u2013410.","journal-title":"Journal of Philosophical Logic"},{"key":"9434_CR31","first-page":"493","volume":"95","author":"S Shapiro","year":"1998","unstructured":"Shapiro, S. (1998). Proof and truth: Through thick and thin. Journal of Philosophy, 95, 493\u2013521.","journal-title":"Journal of Philosophy"},{"key":"9434_CR32","unstructured":"Shoenfield, J.R. (1967). Mathematical logic. Addison-Wesley."},{"key":"9434_CR33","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of second order arithmetic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G. (2009). Subsystems of second order arithmetic, 2nd edn. Cambridge: Cambridge University Press.","edition":"2nd edn."},{"key":"9434_CR34","doi-asserted-by":"publisher","unstructured":"Speranski, S.O. (2017). Notes on the computational aspects of Kripke\u2019s theory of truth. Studia Logica, 105, 407\u2013429. https:\/\/doi.org\/10.1007\/s1122501696948 .","DOI":"10.1007\/s1122501696948"},{"key":"9434_CR35","unstructured":"Tarski, A., Mostowski, A., & Robinson, R. (1953). Undecidable theories. North Holland, Amsterdam."},{"key":"9434_CR36","first-page":"307","volume-title":"Advances in modal logic","author":"A Visser","year":"1997","unstructured":"Visser, A. (1997). An overview of interpretability logic. In Advances in modal logic, (pp. 307\u2013359). Stanford: CSLI Publications."},{"key":"9434_CR37","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s00153-008-0087-1","volume":"47","author":"A Visser","year":"2008","unstructured":"Visser, A. (2008). Pairs, sets and sequences in first-order theories. Archive for Mathematical Logic, 47, 299\u2013326.","journal-title":"Archive for Mathematical Logic"},{"key":"9434_CR38","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1017\/S1755020309090261","volume":"2","author":"A Visser","year":"2009","unstructured":"Visser, A. (2009). Cardinal arithmetic in the style of Baron von M\u00fcnchhausen. Review of Symbolic Logic, 2, 570\u2013589.","journal-title":"Review of Symbolic Logic"},{"key":"9434_CR39","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2687753","volume":"7","author":"P Welch","year":"2001","unstructured":"Welch, P. (2001). On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set. Bulletin of Symbolic Logic, 7, 345\u2013360.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9434_CR40","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s10992-014-9324-8","volume":"44","author":"P Welch","year":"2015","unstructured":"Welch, P. (2015). The complexity of the dependence operator. Journal of Philosophical Logic, 44, 337\u2013440.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-017-9434-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9434-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9434-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T18:07:35Z","timestamp":1658772455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-017-9434-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,8]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9434"],"URL":"https:\/\/doi.org\/10.1007\/s10992-017-9434-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,8]]}}}