{"id":"W2146474977","doi":"10.1111/nous.12111","title":"Triviality For Restrictor Conditionals","year":2015,"lang":"en","type":"article","venue":"Noûs","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Triviality; Semantics (computer science); Mathematics; Computer science; Pure 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":[],"consensus_categories":[],"category_scores_codex":[0.0003219894,0.00006192575,0.00009472178,0.00002899506,0.00007696867,0.00004921116,0.0003565346,0.00004461875,0.00002323773],"category_scores_gemma":[0.000324338,0.00005124349,0.00005133648,0.0001163587,0.00002445662,0.0001485919,0.0001117981,0.00003261739,0.0002521316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007660725,"about_ca_system_score_gemma":0.000127057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001244137,"about_ca_topic_score_gemma":0.00001295868,"domain_scores_codex":[0.9993535,0.00003341031,0.000104326,0.0001984504,0.0001470551,0.0001632163],"domain_scores_gemma":[0.9992798,0.0001439701,0.00004800331,0.0002549654,0.0001467498,0.000126539],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002396867,0.0001233248,0.003225844,0.00001234306,0.0000157439,0.000006686412,0.0008742651,0.000009745667,0.0002551495,0.5710292,0.4195866,0.004837154],"study_design_scores_gemma":[0.001955673,0.0002606673,0.01442858,0.000008075076,0.000008881553,0.00001697895,0.00001432491,0.005809374,0.004180514,0.1688044,0.804229,0.0002836143],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1076133,0.0007263927,0.7008173,0.00394616,0.003442607,0.0007576513,0.00006793821,0.0005631133,0.1820654],"genre_scores_gemma":[0.9805532,0.000002280933,0.01163754,0.0003841014,0.0003620608,0.00004691527,0.00001506947,0.000004926213,0.006993884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8729399,"threshold_uncertainty_score":0.3240726,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1108556081268895,"score_gpt":0.318624103902844,"score_spread":0.2077684957759544,"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."}}