{"id":78531,"date":"2022-09-29T08:30:33","date_gmt":"2022-09-29T13:30:33","guid":{"rendered":"https:\/\/www.biblia.work\/dictionaries\/ramified-theory-of-types\/"},"modified":"2022-09-29T08:30:33","modified_gmt":"2022-09-29T13:30:33","slug":"ramified-theory-of-types","status":"publish","type":"post","link":"https:\/\/www.biblia.work\/dictionaries\/ramified-theory-of-types\/","title":{"rendered":"Ramified theory of types"},"content":{"rendered":"<h2>Ramified theory of types<\/h2>\n<p>See impredicative definition, and paradoxes, logical.<\/p>\n<p>B. Russell,<\/p>\n<p>Mathematical logic as based on the theory of types, American Journal of Mathematics, vol. 30 (1908), pp. 222- 262.<\/p>\n<p>L. Chwistek,<\/p>\n<p>The theory of constructive types, Annales de la Societe Polonaise de Mathematique, vol. 2 (1924), pp. 9-48, and vol. 3 (1925), pp. 92-141.<\/p>\n<p>W. V. Quine,<\/p>\n<p>On the axiom of reducibthty, Mind, n. s. vol. 45 (1936), pp. 498-500.<\/p>\n<p>F. B. Fitch,<\/p>\n<p>The consistency of the ramified Principia, The Journal of Symbolic Logic, vol. 3 (1938), pp. 140-149.<\/p>\n<h4 align='right'><i><b>Fuente: The Dictionary of Philosophy<\/b><\/i><\/h4>\n","protected":false},"excerpt":{"rendered":"<p>Ramified theory of types See impredicative definition, and paradoxes, logical. B. Russell, Mathematical logic as based on the theory of types, American Journal of Mathematics, vol. 30 (1908), pp. 222- 262. L. Chwistek, The theory of constructive types, Annales de la Societe Polonaise de Mathematique, vol. 2 (1924), pp. 9-48, and vol. 3 (1925), pp. &hellip; <a href=\"https:\/\/www.biblia.work\/dictionaries\/ramified-theory-of-types\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Ramified theory of types&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-78531","post","type-post","status-publish","format-standard","hentry","category-encyclopedic-dictionary"],"_links":{"self":[{"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/posts\/78531","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/comments?post=78531"}],"version-history":[{"count":0,"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/posts\/78531\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/media?parent=78531"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/categories?post=78531"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.biblia.work\/dictionaries\/wp-json\/wp\/v2\/tags?post=78531"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}