{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:39:28Z","timestamp":1725532768301},"publisher-location":"Dordrecht","reference-count":32,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048124008"},{"type":"electronic","value":"9789048124015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-90-481-2401-5_15","type":"book-chapter","created":{"date-parts":[[2009,5,18]],"date-time":"2009-05-18T14:42:14Z","timestamp":1242657734000},"page":"203-219","source":"Crossref","is-referenced-by-count":4,"title":["Leon Chwistek\u2019s Theory of Constructive Types"],"prefix":"10.1007","author":[{"given":"Bernard","family":"Linsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Anderson, C. Anthony. \u201cRussellian Intensional Logic\u201d, in Themes from Kaplan, J. Almog, J. Perry and H. Wettstein, eds., New York: Oxford University Press, 1989: 67\u2013103."},{"key":"15_CR2","unstructured":"Carnap, Rudolf. Notes on Chwistek, Manuscript RC 081-25-01, Carnap Papers, Archive of Scientific Philosophy, University of Pittsburgh, 1932."},{"key":"15_CR3","volume-title":"Meaning and Necessity","author":"Rudolf Carnap","year":"1947","unstructured":"Carnap, Rudolf. Meaning and Necessity, Chicago: University of Chicago Press. 1947."},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1017\/S0022481200039396","volume":"1","author":"Alonzo Church","year":"1936","unstructured":"Church, Alonzo. \u201cA bibliography of Symbolic Logic.\u201d The Journal of Symbolic Logic, 1, 1936: 121\u2013192.","journal-title":"The Journal of Symbolic Logic"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"168","DOI":"10.2307\/2268286","volume":"2","author":"Alonzo Church","year":"1937","unstructured":"Church, Alonzo. Review of Leon Chwistek, \u00dcberwindung des Begriffsrealismus, in Journal of Symbolic Logic, 2, 1937: 168\u2013170.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"747","DOI":"10.2307\/2272393","volume":"41","author":"Alonzo Church","year":"1976","unstructured":"Church, Alonzo. \u201cComparison of Russell\u2019s Resolution of the Semantical Antinomies with that of Tarski\u201d, Journal of Symbolic Logic, 41, 1976: 747\u2013760.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00214734","volume":"10","author":"Alonzo Church","year":"1976","unstructured":"Church, Alonzo. \u201cSchr\u00f6der\u2019s Anticipation of the Simple Theory of Types\u201d, Erkenntnis, 10, 1976: 407-411.","journal-title":"Erkenntnis"},{"key":"15_CR8","unstructured":"Chwistek, Leon. \u201cAntynomje Logiki Formalnej\u201d, Przeglad Filozoficzny 24, 1921: 164\u201371. Translated as \u201cAntinomies of Formal Logic\u201d by Z. Jordan in McCall, 1967, 338\u2013345."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/BF01215902","volume":"14","author":"Leon Chwistek","year":"1922","unstructured":"Chwistek, Leon. \u201c\u00dcber die Antinomien der Prinzipien der Mathematik\u201d, Mathematische Zeitschrift 14, 1922: 236\u2013243.","journal-title":"Mathematische Zeitschrift"},{"key":"15_CR10","first-page":"9","volume":"II","author":"Leon Chwistek","year":"1924","unstructured":"Chwistek, Leon. \u201cThe Theory of Constructive Types, (Principles of Logic and Mathematics), Part I\u201d, Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique (Rocznik Polskiego Towarzystwa Matematycznego), Vol. II (for 1923), 1924: 9\u201348.","journal-title":"Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique (Rocznik Polskiego Towarzystwa Matematycznego)"},{"key":"15_CR11","unstructured":"Chwistek, Leon. \u201cThe Theory of Constructive Types, (Principles of Logic and Mathematics) Part II\u201d, Vol. III (for 1924), 1925: 92\u2013141."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Chwistek, Leon. The Limits of Science, trans. E. Brodie, London: Kegan Paul, 1948.","DOI":"10.1063\/1.3066160"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Copi, Irving M. \u201cThe Inconsistency or Redundancy of Principia Mathematica.\u201d, Philosophy and Phenomenological Research, XI, 1950\u20131951: 190\u2013199.","DOI":"10.2307\/2103637"},{"key":"15_CR14","volume-title":"Alfred Tarski: Life and Logic","author":"Anita Feferman Burdman","year":"2004","unstructured":"Feferman, Anita Burdman and Feferman, Solomon. Alfred Tarski: Life and Logic, Cambridge: Cambridge University Press, 2004."},{"key":"15_CR15","unstructured":"G\u00f6del. Kurt G\u00f6del: Collected Works, Vol.IV, Solomon Feferman, et. al., eds., Oxford: Oxford University Press, 2003."},{"key":"15_CR16","volume-title":"The Search for Mathematical Roots: 1870-1940","author":"Ivor Grattan-Guinness","year":"2000","unstructured":"Grattan-Guinness, Ivor. The Search for Mathematical Roots: 1870-1940, Princeton: Princeton University Press, 2000."},{"key":"15_CR17","unstructured":"Hatcher, William S. Foundations of Mathematics, Philadelphia: W.B. Saunders, 1968."},{"key":"15_CR18","unstructured":"Jadacki, Jan. J. \u201cLeon Chwistek - Bertrand Russell\u2019s Scientific Correspondence.\u201d Dialectics and Humanism: The Polish Philosophical Quarterly, XIII(1), 1986: 239\u2013263."},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1080\/01445340310001614698","volume":"25","author":"Bernard Linsky","year":"2004a","unstructured":"Linsky, Bernard. \u201cLeon Chwistek on the No-Classes Theory of Principia Mathematica.\u201d History and Philosophy of Logic, 25, 2004a: 53\u201371.","journal-title":"History and Philosophy of Logic"},{"key":"15_CR20","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1515\/9783110199680.435","volume-title":"One Hundred Years of Russell\u2019s Paradox","author":"Bernard Linsky","year":"2004b","unstructured":"Linsky, Bernard. \u201cClasses of Classes and Classes of Functions in Principia Mathematica\u201d, Godehard Link, ed. One Hundred Years of Russell\u2019s Paradox, Berlin and New York: Walter de Gruyter, 2004b: 435\u2013447."},{"volume-title":"Polish Logic: 1920\u20131939","year":"1967","key":"15_CR21","unstructured":"McCall, Storrs, ed. Polish Logic: 1920\u20131939, Oxford: Clarendon Press, 1967."},{"key":"15_CR22","first-page":"19","volume-title":"Bertrand Russell\u2019s Philosophy","author":"John Myhill","year":"1974","unstructured":"Myhill, John. \u201cThe Undefinability of the Set of Natural Numbers in the Ramified Principia\u201d , in George Nakhnikian, ed., Bertrand Russell\u2019s Philosophy, London: Duckworth, 1974: 19\u201327."},{"key":"15_CR23","unstructured":"Myhill, John. \u201cA Refutation of an Unjustified Attack on the Axiom of Reducibility\u201d, in Bertrand Russell Memorial Volume, H.D. Lewis, ed., George Allen and Unwin, 1979: 81\u201390."},{"key":"15_CR24","unstructured":"Ramsey, Frank P. \u201cThe Foundations of Mathematics\u201d, in The Foundations of Mathematics and Other Logical Essays, London: Routledge and Kegan Paul, 1931."},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"69","DOI":"10.2307\/2269061","volume":"4","author":"Abraham Robinsohn","year":"1939","unstructured":"Robinsohn, Abraham. \u201cOn the Independence of the Axioms of Definiteness (Axiome der Bestimmtheit)\u201d, Journal of Symbolic Logic, 4, 1939: 69\u201372.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR26","first-page":"59","volume-title":"Bertrand Russell: Logic and Knowledge; Essays 1901\u20131950","author":"Bertrand Russell","year":"1956","unstructured":"Russell, Bertrand. \u201cMathematical Logic as Based on the Theory of Types\u201d, in Bertrand Russell: Logic and Knowledge; Essays 1901\u20131950, R. Marsh, ed., London: George Allen and Unwin, 1956: 59\u2013102."},{"key":"15_CR27","unstructured":"Russell, Bertrand. \u201cThe Philosophy of Logical Atomism\u201d, in Marsh, 177\u2013281."},{"key":"15_CR28","unstructured":"Smullyan, Arthur F. \u201cModality and Descriptions\u201d, Journal of Symbolic Logic, 13, 1948: 31\u20137. Reprinted in Linsky, Leonard, ed., Reference and Modality, Oxford: Oxford University Press, 1971, 35\u201343."},{"key":"15_CR29","unstructured":"Tarski, Alfred. Logic, Semantics, Metamathematics: Papers from 1923 to 1938, translated into English and edited by Joseph H. Woodger. Oxford: Clarendon Press, 1956."},{"key":"15_CR30","unstructured":"Whitehead, A.N., and Russell, B.A. ([PM]) Principia Mathematica, Cambridge: Cambridge University Press, 1910\u20131913, second ed., 1925\u20131927."},{"key":"15_CR31","doi-asserted-by":"crossref","DOI":"10.1515\/9783112451144","volume-title":"Das Kontinuum","author":"Herman Weyl","year":"1918","unstructured":"Weyl, Herman. Das Kontinuum, Leipzig: Veit, 1918."},{"key":"15_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-2581-6","volume-title":"Logic and Philosophy in the Lvov-Warsaw School","author":"Jan Wolenski","year":"1989","unstructured":"Wolenski, Jan. Logic and Philosophy in the Lvov-Warsaw School, Dordrecht: Kluwer, 1989."}],"container-title":["The Golden Age of Polish Philosophy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-2401-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T05:39:40Z","timestamp":1684993180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-90-481-2401-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9789048124008","9789048124015"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-2401-5_15","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}