{"id":"W3160687356","doi":"10.1007/s10670-021-00378-w","title":"Modal Structuralism with Theoretical Terms","year":2021,"lang":"en","type":"article","venue":"Erkenntnis","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia, Okanagan Campus; University of British Columbia","funders":"European Research Council; Universität Wien; European Commission","keywords":"Peano axioms; Structuralism (philosophy of science); Axiom; Modal; Semantics (computer science); Modal logic; Mathematics; Accessibility relation; Ontology; Epistemology; Philosophy of mathematics; Linguistics; Algebra over a field; Philosophy; Computer science; Pure mathematics; Discrete mathematics; Programming language","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001186865,0.0001199473,0.0001380486,0.00001991911,0.00009727048,0.00004273931,0.0002266117,0.0000813536,0.01663494],"category_scores_gemma":[0.00004305381,0.00007981626,0.00005172619,0.0002229907,0.0008839216,0.00006252405,0.00006529427,0.0001890836,0.0004146321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001350304,"about_ca_system_score_gemma":0.00002332353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006929676,"about_ca_topic_score_gemma":0.000002528918,"domain_scores_codex":[0.998844,0.0001167582,0.0001192682,0.0003657916,0.0002099079,0.0003442603],"domain_scores_gemma":[0.9992591,0.000109857,0.00002519531,0.0004039528,0.00003885061,0.0001630344],"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.00005617564,0.00004206476,0.0002389688,0.00000194372,0.00002225254,0.000291356,0.0004898867,8.990824e-7,0.0007042115,0.9950461,0.0002657155,0.0028404],"study_design_scores_gemma":[0.0003796216,0.0001203992,0.009900142,0.0000113793,0.0000199545,0.0003395144,0.0001270393,0.00003667155,0.00316895,0.9822539,0.003440851,0.0002015702],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3183886,0.00005517717,0.0007244472,0.003456376,0.0005851123,0.00005676339,0.00001519065,0.0000647798,0.6766535],"genre_scores_gemma":[0.996914,0.000001613503,0.000622898,0.001109005,0.000299768,0.00001004017,0.000006582409,0.00001173937,0.001024403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6785253,"threshold_uncertainty_score":0.984264,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008714607388055092,"score_gpt":0.271983577767156,"score_spread":0.263268970379101,"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."}}