{"id":"W2082097877","doi":"10.1080/01445340310001604707","title":"Aristotle's<i>Prior Analytics</i>and Boole's<i>Laws of Thought</i>","year":2003,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":56,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of South Florida","keywords":"Epistemology; Philosophy; Philosophical logic; George (robot); Contradiction; Propositional calculus; Truth function; Philosophy of logic; Computer science; Mathematics; Artificial intelligence; Linguistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002734023,0.0004197913,0.000391437,0.002643325,0.00246368,0.006998531,0.0009787701,0.001909146,0.003672417],"category_scores_gemma":[0.0051619,0.0003371586,0.0004901558,0.001312303,0.02632452,0.006496478,0.002003002,0.004475829,0.0009235594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007155681,"about_ca_system_score_gemma":0.002959703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006709686,"about_ca_topic_score_gemma":0.004394063,"domain_scores_codex":[0.9976313,0.0009314854,0.0001005585,0.0003744674,0.0007919329,0.0001701731],"domain_scores_gemma":[0.9965648,0.001642723,0.0003767042,0.0003884429,0.0008183652,0.0002088703],"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.000004619936,0.000003457922,0.00003962304,0.000007314672,0.000001259109,0.000008351816,0.0003427562,0.00008523143,0.00003675532,0.9962476,0.001687858,0.001535179],"study_design_scores_gemma":[0.000006607979,0.000007525046,0.0002128864,0.0000500875,0.000003455431,0.00002370567,0.0002100021,0.0005647314,0.0001777308,0.9505629,0.04817157,0.000008925857],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04534568,0.01925271,0.1635727,0.06026749,0.002748465,0.00009095374,0.0004790497,0.0004642758,0.7077786],"genre_scores_gemma":[0.895751,0.004339559,0.02742143,0.004083538,0.001799097,0.00009692731,0.0002095518,0.0001776141,0.06612138],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007155681,"threshold_uncertainty_score":0.05191839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07488232201868612,"score_gpt":0.2656035892044067,"score_spread":0.1907212671857206,"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."}}