{"id":"W4366809855","doi":"10.1353/rss.2013.0009","title":"Substitution’s Unsolved “Insolubilia”","year":2013,"lang":"en","type":"article","venue":"Russell the Journal of Bertrand Russell Studies","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Substitution (logic); Epistemology; Interpretation (philosophy); Simple (philosophy); Mathematical economics; Philosophy; Type theory; Hierarchy; Mathematics; Computer science; Type (biology); Linguistics; Economics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001414336,0.0002244287,0.0004464853,0.00008604825,0.000444654,0.00004093616,0.000640407,0.00009045223,0.001215388],"category_scores_gemma":[0.0001499023,0.0001109792,0.0002199212,0.0003478334,0.001065435,0.0002446615,0.00005791158,0.0004260275,0.0007417212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004521617,"about_ca_system_score_gemma":0.00003328962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005565198,"about_ca_topic_score_gemma":0.000009619694,"domain_scores_codex":[0.9979816,0.00033348,0.0006580923,0.000176719,0.000397813,0.0004522942],"domain_scores_gemma":[0.9978845,0.0009727242,0.0003427967,0.0003276107,0.0003037342,0.0001686362],"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.0009082391,0.001037379,0.001793049,0.00007538114,0.002243676,0.0001072186,0.02708628,0.0001557834,0.009205842,0.9128149,0.03810871,0.006463614],"study_design_scores_gemma":[0.003833768,0.001429138,0.03289417,0.0002655774,0.0009130277,0.00103202,0.007574211,0.00005651026,0.006745926,0.9094727,0.03496664,0.0008162962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8619166,0.02429905,0.001048956,0.01192629,0.00314664,0.0004586502,0.000003985582,0.00004268383,0.09715715],"genre_scores_gemma":[0.9947013,0.002883005,0.0001441854,0.0005515192,0.000475781,0.000008683903,2.33124e-7,0.00001291115,0.001222443],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1327846,"threshold_uncertainty_score":0.9996976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0408061869132717,"score_gpt":0.3120884016403735,"score_spread":0.2712822147271018,"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."}}