{"id":"W2103168978","doi":"","title":"Logic, modality, and philosophy of mathematics","year":2000,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Quine; Philosophy; Epistemology; Philosophical logic; Philosophy of mathematics; Mathematical logic; Analytic philosophy; Argument (complex analysis); Foundations of mathematics; Metaphysics; Surprise; Mathematics; Contemporary philosophy; Sociology; Algorithm","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001252618,0.00006965765,0.0001273648,0.00002414116,0.0000339351,0.00003156669,0.0003164914,0.00003550365,0.0003785582],"category_scores_gemma":[0.00001155225,0.00004904353,0.00003123484,0.0001055005,0.00005595939,0.0001324575,0.0001020643,0.00003595251,0.0001119859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004430939,"about_ca_system_score_gemma":0.00001175855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000153092,"about_ca_topic_score_gemma":0.000003068115,"domain_scores_codex":[0.9994864,0.00001511334,0.0001333494,0.000151973,0.0001030422,0.0001101122],"domain_scores_gemma":[0.9995643,0.00004542509,0.00003078322,0.0002787264,0.00003081366,0.00004987759],"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":[5.677931e-7,0.00008842726,0.0003208141,0.0000258094,0.000004996125,0.000001807628,0.0004929978,0.000003610295,0.00004405026,0.9889911,0.000247169,0.009778654],"study_design_scores_gemma":[0.0001747502,0.0000690981,0.0007384036,0.00001120725,0.000003407065,0.00001711243,0.00001280849,0.02326627,0.0007169531,0.9740638,0.0008248943,0.0001013163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05142363,0.0002033997,0.1009577,0.0009016754,0.00004767643,0.00008666602,9.455663e-7,0.0001011295,0.8462771],"genre_scores_gemma":[0.9384831,0.00004986225,0.05868398,0.0001702708,0.0000311746,0.000001789058,2.943779e-7,0.000002694017,0.002576825],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8870595,"threshold_uncertainty_score":0.4144947,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02692553440535995,"score_gpt":0.247652433365079,"score_spread":0.2207268989597191,"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."}}