{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:36Z","timestamp":1706649036576},"reference-count":22,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1722701","type":"journal-article","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T14:20:17Z","timestamp":1352384417000},"source":"Crossref","is-referenced-by-count":1,"title":["Objects: A Study in Kantian Formal Epistemology"],"prefix":"10.1215","volume":"53","author":[{"given":"Giovanni","family":"Boniolo","sequence":"first","affiliation":[]},{"given":"Silvio","family":"Valentini","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"13","unstructured":"[13] Laycock, H., \u201cObject,\u201d in <i>The Stanford Encyclopedia of Philosophy<\/i>, edited by E. N. Zalta, 2011, <a href=\"http:\/\/plato.stanford.edu\/archives\/win2011\/entries\/object\/\">http:\/\/plato.stanford.edu\/archives\/win2011\/entries\/object\/<\/a>."},{"key":"16","unstructured":"[16] Rosen, G., \u201cAbstract objects,\u201d in <i>The Stanford Encyclopedia of Philosophy<\/i>, edited by E. N. Zalta, 2012, <a href=\"http:\/\/plato.stanford.edu\/archives\/spr2012\/entries\/abstract-objects\/\">http:\/\/plato.stanford.edu\/archives\/spr2012\/entries\/abstract-objects\/<\/a>."},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Achourioti, T., and M. van Lambalgen, \u201cA formalization of Kant\u2019s transcendental logic,\u201d <i>Review of Symbolic Logic<\/i>, vol. 4 (2011), pp. 254\u201389.","DOI":"10.1017\/S1755020310000341"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Bitbol, M., P. Kerszberg, and J. Petitot, eds., <i>Constituting Objectivity: Transcendental Perspectives on Modern Physics<\/i>, Springer, New York, 2009.","DOI":"10.1007\/978-1-4020-9510-8"},{"key":"3","unstructured":"[3] Boniolo, G., <i>On Scientific Representation. From Kant to a New Philosophy of Science<\/i>, Palgrave Macmillan, Basingtoke, England, 2007."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Boniolo, G., and S. Valentini, \u201cVagueness, Kant and topology: A study of formal epistemology,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 37 (2008), pp. 141\u201368.","DOI":"10.1007\/s10992-007-9064-0"},{"key":"5","unstructured":"[5] Brown, H. I., <i>Perception, Theory, and Commitment: The New Philosophy of Science<\/i>, University of Chicago Press, Chicago, 1977."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Carnap, R., <i>Logische Syntax der Sprache<\/i>, Springer, Vienna, 1968; English translation in <i>The Logical Syntax of Language<\/i>, Kegan Paul Trench, Trubner, London, 1937.","DOI":"10.1007\/978-3-662-25376-2"},{"key":"7","unstructured":"[7] Cassirer, E., <i>Substanzbegriff und Funktionsbegriff<\/i>, Bruno Cassirer, Berlin, 1910; English translation in <i>Substance and Function<\/i>, Open Court, Chicago, 1923."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Coquand, T., G. Sambin, J. Smith, and S. Valentini, \u201cInductively generated formal topologies,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 124 (2003), pp. 71\u2013106.","DOI":"10.1016\/S0168-0072(03)00052-6"},{"key":"9","unstructured":"[9] Kant, I., <i>Critique of Pure Reason<\/i>, Macmillan, London, 1933."},{"key":"10","unstructured":"[10] Kant, I., <i>Metaphysical Foundations of Natural Science<\/i>, translated and edited by M. Friedman, <i>Cambridge Texts in the History of Philosophy<\/i>, Cambridge University Press, Cambridge, 2004."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Hendricks, V. F., <i>Mainstream and Formal Epistemology<\/i>, Cambridge University Press, New York, 2006.","DOI":"10.1017\/CBO9780511616150"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Horsten, L., and I. Douven, \u201cFormal methods in the philosophy of science,\u201d <i>Studia Logica<\/i>, vol. 89 (2008), pp. 151\u201362.","DOI":"10.1007\/s11225-008-9129-2"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Maietti, M. E., and S. Valentini, \u201cA structural investigation on formal topology: Coreflection of formal covers and exponentiability,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 69 (2004), pp. 967\u20131005.","DOI":"10.2178\/jsl\/1102022209"},{"key":"15","unstructured":"[15] Martin-L\u00f6f, P., <i>Intuitionistic Type Theory<\/i>, vol. 1 of <i>Studies in Proof Theory: Lecture Notes<\/i>, Bibliopolis, Naples, 1984."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Sambin, G., \u201cSome points in formal topology,\u201d pp. 347\u2013408 in <i>Topology in Computer Science (Schlo\u00df Dagstuhl, 2000)<\/i>, edited by R. Kopperman, M. B. Smyth, and D. Spreen, vol. 305 of <i>Theoretical Computer Science<\/i>, Elsevier, Amsterdam, 2003.","DOI":"10.1016\/S0304-3975(02)00704-1"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Sambin, G., and S. Valentini, \u201cBuilding up a tool-box for Martin-L\u00f6f\u2019s type theory,\u201d pp. 221\u201344 of <i>Twenty-five Years of Constructive Type Theory (Venice, 1995)<\/i>, edited by G. Sambin and J. Smith, vol. 36 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1998.","DOI":"10.1093\/oso\/9780198501275.003.0014"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Tarski, A., \u201cA lattice-theoretical fixpoint theorem and its applications,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 5 (1955), pp. 285\u2013309.","DOI":"10.2140\/pjm.1955.5.285"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Valentini, S., \u201cThe problem of the formalization of constructive topology,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 44 (2005), pp. 115\u201329.","DOI":"10.1007\/s00153-004-0243-1"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Valentini, S., \u201cEvery countably presented formal topology is spatial, classically,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 71 (2006), pp. 491\u2013500.","DOI":"10.2178\/jsl\/1146620155"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Valentini, S., \u201cRelative formal topology: The positivity predicate comes first,\u201d <i>Mathematical Structures in Computer Science<\/i>, vol. 22 (2012), pp. 69\u2013102.","DOI":"10.1017\/S0960129511000466"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1722701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:55Z","timestamp":1706648275000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-4\/Objects-A-Study-in-Kantian-Formal-Epistemology\/10.1215\/00294527-1722701.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":22,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1722701","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}