{"id":"W2111035999","doi":"10.1017/s0012217314000730","title":"Natural Deduction: An Introduction to Logic with Real Arguments, a Little History, and Some HumourRICHARD T.W. ARTHUR Peterborough: Broadview Press, 2011; 452 pp.; $44.95 (paperback)","year":2014,"lang":"en","type":"article","venue":"Dialogue","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Law and economics; Mathematical economics; History; Mathematics; Sociology","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.003410101,0.001594794,0.001390792,0.003231911,0.001855246,0.006721239,0.001595349,0.003271844,0.0388312],"category_scores_gemma":[0.004146389,0.00129921,0.001271939,0.00398171,0.007884025,0.01405262,0.002759462,0.009819131,0.02312517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004137704,"about_ca_system_score_gemma":0.003060882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002555539,"about_ca_topic_score_gemma":0.003654139,"domain_scores_codex":[0.9970907,0.001087392,0.000185858,0.0003565179,0.001097878,0.0001815877],"domain_scores_gemma":[0.9963301,0.002554469,0.0001609267,0.000202274,0.0005013276,0.0002509019],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006290607,0.00006562491,0.0001103067,0.001127392,0.00002701493,0.0001350806,0.001060708,0.0003880626,0.0006041705,0.1674867,0.62625,0.2026821],"study_design_scores_gemma":[0.000008197351,0.00001583276,0.0001350701,0.0005952671,0.000004613856,0.0001772861,0.000163988,0.0001088363,0.00008423839,0.08214671,0.9165444,0.00001561686],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"commentary","genre_scores_codex":[0.0004442431,0.7475091,0.03145653,0.04075532,0.01150985,0.00007783886,0.0002741603,0.0007180111,0.167255],"genre_scores_gemma":[0.02132138,0.5320687,0.04217668,0.02630054,0.02891108,0.0003805235,0.0008594231,0.000984275,0.3469974],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.0388312,"threshold_uncertainty_score":0.1299033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01455661779490833,"score_gpt":0.2230176643385012,"score_spread":0.2084610465435929,"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."}}