{"id":"W4416132934","doi":"10.1007/s11229-025-05354-3","title":"Logical nihilism and dealing with counterexamples in logic with proofs and refutations","year":2025,"lang":"en","type":"article","venue":"Synthese","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Counterexample; Philosophy of science; Mathematical proof; Philosophy of language; Nihilism; Proposition; Metaphysics; Logical consequence; Calculus (dental)","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.0001918444,0.0001056912,0.0001427312,0.00009042908,0.00009411384,0.0001213833,0.0001680507,0.00004335662,0.000004359149],"category_scores_gemma":[0.00008026657,0.00006360019,0.000008230205,0.0002142147,0.0001344858,0.000155641,0.0001027963,0.00009532011,0.000002223766],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001746289,"about_ca_system_score_gemma":0.00004900146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005328466,"about_ca_topic_score_gemma":0.0005225939,"domain_scores_codex":[0.999285,0.00004328377,0.0001010292,0.0003160359,0.00008440468,0.0001701979],"domain_scores_gemma":[0.9994653,0.0002320662,0.00003277895,0.0001794483,0.00004356715,0.0000467934],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00004986014,0.00009284078,0.06020576,0.00007004608,0.00002696263,0.00008802519,0.002487568,0.00005498618,0.0001260904,0.9095807,0.00002997155,0.02718718],"study_design_scores_gemma":[0.004956464,0.001817501,0.573723,0.002477652,0.0001199744,0.000725524,0.002863374,0.06325843,0.001903961,0.3335508,0.01273275,0.001870624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8028538,0.001790135,0.1613361,0.001807864,0.00005567732,0.0004211506,0.000002714429,0.0001619916,0.03157049],"genre_scores_gemma":[0.9865543,0.00003776651,0.01300429,0.000142472,0.00000937074,0.00002232854,5.225926e-7,0.000003479948,0.0002254939],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5760299,"threshold_uncertainty_score":0.2593541,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0116884037142754,"score_gpt":0.2422737405302538,"score_spread":0.2305853368159784,"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."}}