{"id":"https://openalex.org/W4232813151","doi":"https://doi.org/10.1017/s1079898600010568","title":"Logic in the 1930s: Type Theory and Model Theory","display_name":"Logic in the 1930s: Type Theory and Model Theory","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W4232813151","doi":"https://doi.org/10.1017/s1079898600010568"},"language":"en","primary_location":{"id":"doi:10.1017/s1079898600010568","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1079898600010568","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040695039","display_name":"Georg Schiemer","orcid":"https://orcid.org/0000-0003-1197-4532"},"institutions":[{"id":"https://openalex.org/I292141241","display_name":"Munich School of Philosophy","ror":"https://ror.org/02kqy4228","country_code":"DE","type":"education","lineage":["https://openalex.org/I292141241"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Georg Schiemer","raw_affiliation_strings":["Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians Universit\u00e4t M\u00fcnchen, D-80539 M\u00fcnchen, Germany, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians Universit\u00e4t M\u00fcnchen, D-80539 M\u00fcnchen, Germany, E-mail:","institution_ids":["https://openalex.org/I292141241","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041793307","display_name":"Erich H. Reck","orcid":"https://orcid.org/0000-0002-3303-689X"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erich H. Reck","raw_affiliation_strings":["Department of Philosophy, University of California at Riverside, Riverside, CA 92521, USA, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of California at Riverside, Riverside, CA 92521, USA, E-mail:","institution_ids":["https://openalex.org/I103635307"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.844,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.94318913,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":"4","first_page":"433","last_page":"472"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.6270887851715088},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6204073429107666},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.5781669616699219},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5410924553871155},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.5299252867698669},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5041874647140503},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4761205315589905},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46245408058166504},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.453387588262558},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4461400508880615},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40433746576309204},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.29352256655693054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27303117513656616},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.10818549990653992},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.09721514582633972},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0962967574596405}],"concepts":[{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.6270887851715088},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6204073429107666},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.5781669616699219},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5410924553871155},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.5299252867698669},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5041874647140503},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4761205315589905},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46245408058166504},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.453387588262558},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4461400508880615},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40433746576309204},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.29352256655693054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27303117513656616},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.10818549990653992},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.09721514582633972},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0962967574596405},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1079898600010568","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1079898600010568","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W129488983","https://openalex.org/W145167769","https://openalex.org/W578034257","https://openalex.org/W608459200","https://openalex.org/W623137244","https://openalex.org/W1503411050","https://openalex.org/W1510647520","https://openalex.org/W1532018530","https://openalex.org/W1544540238","https://openalex.org/W1572451808","https://openalex.org/W1574975957","https://openalex.org/W1593773959","https://openalex.org/W1733208214","https://openalex.org/W1776154745","https://openalex.org/W1812825084","https://openalex.org/W1964132161","https://openalex.org/W1967212445","https://openalex.org/W1974909295","https://openalex.org/W1976549967","https://openalex.org/W1977152473","https://openalex.org/W2004839050","https://openalex.org/W2021714104","https://openalex.org/W2051095970","https://openalex.org/W2054885127","https://openalex.org/W2055655687","https://openalex.org/W2065052474","https://openalex.org/W2065513194","https://openalex.org/W2109912207","https://openalex.org/W2140792783","https://openalex.org/W2142305280","https://openalex.org/W2152892251","https://openalex.org/W2153509342","https://openalex.org/W2156393745","https://openalex.org/W2164924018","https://openalex.org/W2308245951","https://openalex.org/W2324027672","https://openalex.org/W2331720955","https://openalex.org/W2495408489","https://openalex.org/W2496840272","https://openalex.org/W2501014490","https://openalex.org/W2501804021","https://openalex.org/W2601523163","https://openalex.org/W3021659953","https://openalex.org/W3120173222","https://openalex.org/W3191108229","https://openalex.org/W4230734037","https://openalex.org/W4231621694","https://openalex.org/W4232345288","https://openalex.org/W4244886352","https://openalex.org/W4248017050","https://openalex.org/W4298436432","https://openalex.org/W4299731435","https://openalex.org/W4388294936","https://openalex.org/W4391838086","https://openalex.org/W6713197628","https://openalex.org/W6735779031","https://openalex.org/W6876078353"],"related_works":["https://openalex.org/W2584131834","https://openalex.org/W1937180777","https://openalex.org/W169822098","https://openalex.org/W1601239300","https://openalex.org/W37159637","https://openalex.org/W2168281995","https://openalex.org/W4320723398","https://openalex.org/W2316406086","https://openalex.org/W2739903892","https://openalex.org/W2955445504"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"historical":[2],"discussions":[3],"of":[4,34,70,83,92,102,148],"twentieth-century":[5],"logic,":[6],"it":[7],"is":[8,56,121],"typically":[9],"assumed":[10],"that":[11,18,64,130],"model":[12,72,149],"theory":[13,52,117],"emerged":[14],"within":[15,27],"the":[16,23,28,32,48,68,81,87,93,103,113,131,137,146],"tradition":[17,95,105,139],"adopted":[19],"first-order":[20,54,104,119],"logic":[21,55,120],"as":[22,59,124,143],"standard":[24],"framework.":[25],"Work":[26],"type-theoretic":[29,94,138],"tradition,":[30],"in":[31,44,86,136],"style":[33],"Principia":[35],"Mathematica":[36],",":[37],"tends":[38],"to":[39,53,79,118,133,145],"be":[40,141],"downplayed":[41],"or":[42],"ignored":[43],"this":[45],"connection.":[46],"Indeed,":[47],"shift":[49],"from":[50,115],"type":[51,116],"sometimes":[57],"seen":[58,142],"involving":[60],"a":[61,125],"radical":[62],"break":[63],"first":[65],"made":[66,135],"possible":[67],"rise":[69],"modern":[71],"theory.":[73,150],"While":[74],"comparing":[75],"several":[76],"early":[77],"attempts":[78],"develop":[80],"semantics":[82,134],"axiomatic":[84],"theories":[85],"1930s,":[88],"by":[89],"two":[90,100],"proponents":[91,101],"(Carnap":[96],"and":[97,99,107,128],"Tarski)":[98],"(G\u00f6del":[106],"Hilbert),":[108],"we":[109],"argue":[110],"that,":[111],"instead,":[112],"move":[114],"better":[122],"understood":[123],"gradual":[126],"transformation,":[127],"further,":[129],"contributions":[132],"should":[140],"central":[144],"evolution":[147]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}