{"id":"W3006720422","doi":"10.7202/1068146ar","title":"John T. Baldwin, \"Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism.\"","year":2020,"lang":"en","type":"article","venue":"Philosophy in Review","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Foundationalism; Philosophy; Epistemology; Mathematical practice","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.003665579,0.0002591159,0.0008590567,0.00005534569,0.0001108127,0.00001899614,0.0003478537,0.00008260884,0.0002344142],"category_scores_gemma":[0.008989911,0.0001752652,0.000172897,0.0002852699,0.0004951151,0.0003837994,0.0001106895,0.0002727227,0.00004876594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002895309,"about_ca_system_score_gemma":0.00006086436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.1832e-7,"about_ca_topic_score_gemma":1.540439e-7,"domain_scores_codex":[0.9971308,0.0008726857,0.001069662,0.0002642054,0.0004845144,0.0001782013],"domain_scores_gemma":[0.9958665,0.002767334,0.0006455705,0.0004414238,0.0001808598,0.00009830621],"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.0002027584,0.0001434724,0.000003158191,0.0116675,0.00005451872,0.000002220468,0.0026626,0.00001067685,0.000004398672,0.9845277,0.0004907537,0.0002302287],"study_design_scores_gemma":[0.001012435,0.00003907891,4.376477e-7,0.003100856,0.000327173,0.00002976052,0.00008254166,0.003500577,0.000008903061,0.9888404,0.002876007,0.0001818583],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001784507,0.1419226,0.1969504,0.1488028,0.0002125607,0.008346919,0.00007958926,0.0003293979,0.5015712],"genre_scores_gemma":[0.8668985,0.03099972,0.06888023,0.03168498,0.0006278816,0.0004886019,0.00004076099,0.000193177,0.0001861867],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.865114,"threshold_uncertainty_score":0.9993578,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09175166853147762,"score_gpt":0.3532073178409755,"score_spread":0.2614556493094978,"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."}}