{"id":"W4248815907","doi":"10.1017/ccol052177005x.005","title":"Logic","year":2003,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Classical Philosophy and Thought","field":"Arts and Humanities","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Epistemology; Autoepistemic logic; Propositional calculus; Many-valued logic; Rule of inference; Philosophy of logic; Inference; Zeroth-order logic; Computer science; Philosophy; Mathematics; Calculus (dental); Programming language; Multimodal logic; Description logic; Medicine","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00004200659,0.0003342555,0.0003481755,0.0001066671,0.0003500412,0.00008190892,0.0003184584,0.0002248485,0.0001836299],"category_scores_gemma":[0.000004497096,0.0003501981,0.0002889492,0.000001559235,0.000603295,0.00007325095,0.0001398087,0.0004649067,0.0001434405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009675243,"about_ca_system_score_gemma":0.00003138491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003636142,"about_ca_topic_score_gemma":0.000006972059,"domain_scores_codex":[0.9990235,0.00002567541,0.0001460237,0.000384945,0.0001900156,0.0002298542],"domain_scores_gemma":[0.9991698,0.0000492663,0.0001414267,0.0003890616,0.0001139276,0.0001365065],"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.00002480528,0.00000937369,2.162731e-8,0.00003385293,0.00008143503,0.0001870771,0.0001104746,1.237036e-7,9.495024e-7,0.8394207,0.1598835,0.0002476161],"study_design_scores_gemma":[0.0002821395,0.00004792928,1.244681e-7,0.00006570309,0.0001705147,0.000004660639,0.00003318628,0.000001939658,0.00001427524,0.003575165,0.9953874,0.0004169953],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000003790355,0.0001538537,0.00001746153,0.0001122422,0.0006312809,0.000207849,0.0003558957,0.0001460736,0.9983715],"genre_scores_gemma":[0.0005890201,0.0000400747,0.00001182446,0.0005854138,0.0007397112,3.392801e-7,0.00004290247,0.0000425632,0.9979482],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8358456,"threshold_uncertainty_score":0.999895,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05768117357616798,"score_gpt":0.192759199633103,"score_spread":0.135078026056935,"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."}}