{"id":"W3002744517","doi":"10.1080/01445340.2019.1693246","title":"The Principle of Contradiction and Symbolic Logic","year":2020,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Classical Philosophy and Thought","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Contradiction; Law of excluded middle; Philosophy; Mathematical logic; Epistemology; Calculus (dental); Translation (biology); Mathematics; Algorithm; Medicine; Chemistry","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.00009116603,0.0001003709,0.0002108843,0.00002279269,0.000193549,0.000009102768,0.00008461001,0.00003867569,0.0001133776],"category_scores_gemma":[0.00003352685,0.00006730372,0.00005991636,0.00001798733,0.001118065,0.00007058102,0.00003103229,0.0001127715,0.00000344559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001397054,"about_ca_system_score_gemma":0.00001364156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006496377,"about_ca_topic_score_gemma":0.000003999399,"domain_scores_codex":[0.9993905,0.00004972881,0.0002239624,0.0001462557,0.00009954855,0.00008997994],"domain_scores_gemma":[0.9995317,0.0001209124,0.0001403087,0.00009845034,0.0000385565,0.00007007735],"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.00008903191,0.00003467515,0.00004104833,0.00009056932,0.00002154141,0.000001616644,0.00290784,7.582093e-7,0.0001973519,0.9957744,0.0004425966,0.0003986084],"study_design_scores_gemma":[0.0002826264,0.0003684323,0.0001805635,0.00001655918,0.0000338847,0.000001893525,0.00006358406,0.00005515278,0.00003717102,0.5473388,0.4515368,0.00008450914],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1630286,0.0507405,0.00004514141,0.02504334,0.001101813,0.000561648,0.00009380217,0.0001192776,0.7592659],"genre_scores_gemma":[0.9980149,0.0003203631,0.00001287453,0.0009256767,0.0005352305,0.00000442369,0.000002478598,0.000005921264,0.0001781732],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8349863,"threshold_uncertainty_score":0.4119557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09184441441257152,"score_gpt":0.2274576648006361,"score_spread":0.1356132503880646,"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."}}