{"id":"W1495223504","doi":"10.1017/9781316755808","title":"Logicism Renewed","year":2017,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Recursion (computer science); Computer science; Foundations of mathematics; Epistemology; Computational logic; Programming language; Type theory; Mathematical logic; Calculus (dental); Type (biology); Philosophy; Description logic","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002516561,0.0005423142,0.0007355441,0.002206423,0.00252794,0.008969177,0.0008733565,0.002946025,0.01485856],"category_scores_gemma":[0.003871538,0.0003923512,0.0008817859,0.001752528,0.01310854,0.01336743,0.00466246,0.007176556,0.003753311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01033663,"about_ca_system_score_gemma":0.004619676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002332212,"about_ca_topic_score_gemma":0.002250141,"domain_scores_codex":[0.9978324,0.0006277284,0.00007035707,0.0003718547,0.0008975292,0.0002002456],"domain_scores_gemma":[0.9973189,0.001447875,0.0001040405,0.0003661127,0.0004940691,0.0002689209],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009803447,0.000006768898,0.00003025754,0.00006948646,0.000002887058,0.000022787,0.0004227983,0.00009028177,0.0001192529,0.9638092,0.02076459,0.0146519],"study_design_scores_gemma":[0.000006671184,0.000006920116,0.00004999724,0.000141457,0.000002801617,0.0000913774,0.0001485986,0.0001955383,0.0001072677,0.3025889,0.696654,0.000006537947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.005488259,0.1529198,0.02148077,0.1436158,0.0114786,0.00002578718,0.0002201052,0.0004208133,0.66435],"genre_scores_gemma":[0.2724028,0.1268868,0.01722252,0.05398737,0.02488971,0.0001327263,0.0003511338,0.0009505998,0.5031763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01485856,"threshold_uncertainty_score":0.07499778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03491482713895466,"score_gpt":0.2168411209733744,"score_spread":0.1819262938344198,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}