{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00293367,0.001246259,0.0008514886,0.003806627,0.001585893,0.002781643,0.00143237,0.004156488,0.007399419],"category_scores_gemma":[0.01074527,0.001000592,0.000694106,0.004901983,0.003641283,0.01039297,0.001686291,0.004968686,0.004318367],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003819547,"about_ca_system_score_gemma":0.003978527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0193242,"about_ca_topic_score_gemma":0.03193513,"domain_scores_codex":[0.9971831,0.001147592,0.0001948517,0.000263628,0.001097039,0.0001137629],"domain_scores_gemma":[0.9940352,0.003837159,0.0004445148,0.0001892463,0.001301288,0.0001926923],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003513367,0.00001771217,0.00025913,0.001771586,0.00003628321,0.0000488885,0.000704936,0.00009063206,0.0001037336,0.08329248,0.8595058,0.05413369],"study_design_scores_gemma":[0.00003142398,0.00001358496,0.001289203,0.002406423,0.00003550657,0.0001551615,0.0003556034,0.0001081059,0.0002378715,0.1184632,0.8768792,0.00002467699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0001298017,0.9106748,0.001102739,0.07489452,0.004548415,0.00001302523,0.0001163558,0.00003049342,0.008489829],"genre_scores_gemma":[0.01313728,0.8878254,0.002395171,0.06066566,0.01108274,0.0001262833,0.0002607287,0.0001020308,0.02440471],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.0193242,"threshold_uncertainty_score":0.03842348,"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."}}