{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002295219,0.0004142975,0.0005334235,0.0001710385,0.0005301366,0.0004106622,0.003853907,0.0005450544,0.000001041006],"category_scores_gemma":[0.00002155921,0.000429063,0.0002936115,0.00001236248,0.000252279,0.0002627703,0.001498138,0.0004678869,0.0000827045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002839364,"about_ca_system_score_gemma":0.0004697791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002793621,"about_ca_topic_score_gemma":0.000004964749,"domain_scores_codex":[0.9979687,0.0001059849,0.0002023637,0.0008582275,0.0003940393,0.0004706454],"domain_scores_gemma":[0.9968436,0.00005998589,0.0005155178,0.002146969,0.0002019534,0.0002319496],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000007003573,0.000008775545,0.00000136447,0.00005734946,0.00006162545,0.0005829937,0.00005179613,5.01627e-7,0.000005125128,0.7751702,0.2204171,0.00363613],"study_design_scores_gemma":[0.0004263466,0.00006795915,0.00001219437,0.00002940809,0.00005758522,0.00003666839,0.000005425447,0.0001466564,0.00007909571,0.0004639441,0.998175,0.0004997252],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000001832244,0.000230961,0.06917486,0.00001878207,0.001242928,0.0004167375,0.00001381124,0.0004315433,0.9284685],"genre_scores_gemma":[0.001721526,0.00003892595,0.0003655275,0.00005195159,0.0003437844,0.000001467569,0.00003005565,0.00002572148,0.997421],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7777579,"threshold_uncertainty_score":0.9998161,"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."}}