{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009236258,0.000483067,0.0004421325,0.001160259,0.001499616,0.00436033,0.0006689191,0.0013951,0.01220352],"category_scores_gemma":[0.003217171,0.0002622148,0.0004645311,0.001208081,0.008084876,0.005332547,0.001919558,0.00299246,0.002824711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003538619,"about_ca_system_score_gemma":0.001701595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002271989,"about_ca_topic_score_gemma":0.002170043,"domain_scores_codex":[0.9990242,0.0003896495,0.00006200886,0.000137646,0.0002795229,0.0001069978],"domain_scores_gemma":[0.9989688,0.0006355208,0.00006800729,0.00009995557,0.0001839804,0.00004367031],"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.000004623492,0.000001907345,0.00001694532,0.00004690258,0.000001758914,0.00002584114,0.0005542567,0.0000429157,0.00005224059,0.9833881,0.009900767,0.005963833],"study_design_scores_gemma":[0.000008986342,0.00001139752,0.0002043706,0.0001087266,0.000003753771,0.0001317469,0.0003536872,0.0003434301,0.0001871898,0.6452815,0.3533573,0.000007927621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.009217012,0.02571614,0.05018892,0.04740875,0.003545033,0.00005375961,0.0004374685,0.0002299191,0.863203],"genre_scores_gemma":[0.6885937,0.0256573,0.0310781,0.01220771,0.00536487,0.0003492611,0.0007450952,0.0005173567,0.2354866],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01220352,"threshold_uncertainty_score":0.04082483,"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."}}