{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004517468,0.0001729084,0.0001902634,0.0001492395,0.0001395899,0.000215481,0.0007556622,0.0001151642,0.000177165],"category_scores_gemma":[0.00002199235,0.0001350327,0.0001006917,0.0002741049,0.00001629877,0.004735473,0.0003773382,0.0001572793,0.003430808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000371551,"about_ca_system_score_gemma":0.00005101634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000382635,"about_ca_topic_score_gemma":0.000004685726,"domain_scores_codex":[0.9984496,0.00001924247,0.0004514676,0.000188964,0.0003534679,0.0005372275],"domain_scores_gemma":[0.9990872,0.00003809957,0.0002126788,0.0004847743,0.00007537344,0.0001018421],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000190987,0.00003864143,0.01640412,0.0001211533,0.00002236409,0.00001090799,0.001933624,0.00266677,0.0005673207,0.9425644,0.0007194934,0.0349321],"study_design_scores_gemma":[0.003805882,0.001216748,0.1658389,0.0001409323,0.00001469277,0.0003461493,0.0005112655,0.5813792,0.003389305,0.004312781,0.2372813,0.001762871],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2568453,0.0001407113,0.4223141,0.0003117131,0.002512563,0.0008460346,0.00000403636,0.0007031242,0.3163224],"genre_scores_gemma":[0.9892721,0.00001051326,0.007613044,0.001787537,0.00008246772,0.00001415122,0.00001065068,0.000005463279,0.001204042],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9382516,"threshold_uncertainty_score":0.9973451,"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."}}