{"id":"W2785825067","doi":"10.22329/il.v39i2.5169","title":"Informalizing Formal Logic","year":2019,"lang":"en","type":"article","venue":"Informal Logic","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Argumentation theory; Deductive reasoning; Logical consequence; Computer science; Philosophy of logic; Non-classical logic; Informal logic; Probabilistic argumentation; Classical logic; Theory; Epistemology; Automated reasoning; Artificial intelligence; Mathematics; Programming language; Philosophy","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"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.008165396,0.001332749,0.0008458364,0.002888879,0.002647821,0.006744115,0.002479269,0.002041784,0.007717927],"category_scores_gemma":[0.01434341,0.0006836968,0.00212635,0.001611485,0.01263623,0.01430061,0.005813213,0.005417359,0.001541608],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004227637,"about_ca_system_score_gemma":0.002167964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002189392,"about_ca_topic_score_gemma":0.001415865,"domain_scores_codex":[0.9927669,0.003348947,0.0007359994,0.001006798,0.001610841,0.0005305362],"domain_scores_gemma":[0.9910728,0.00527249,0.000563757,0.001573251,0.001288812,0.0002288174],"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.000003707014,0.000004958244,0.00002547195,0.00004753942,0.000004730396,0.00002404335,0.0003106328,0.0005514473,0.0001223728,0.9954002,0.000683183,0.002821648],"study_design_scores_gemma":[0.000007971049,0.000005845876,0.00001704479,0.00006378916,0.000007395083,0.0000369549,0.00007622675,0.001577646,0.0002055966,0.9712172,0.02677695,0.000007424976],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004809273,0.003654406,0.9049661,0.007145604,0.000756895,0.0001543786,0.0002938649,0.0006440332,0.07757537],"genre_scores_gemma":[0.4360119,0.007710827,0.5198613,0.004988031,0.002937803,0.0007549943,0.001179947,0.0006244295,0.02593078],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008165396,"threshold_uncertainty_score":0.04318321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02538945278425951,"score_gpt":0.2469731877781087,"score_spread":0.2215837349938491,"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."}}