{"id":"W2890251009","doi":"10.1215/00294527-2018-0011","title":"Second-Order Logic of Paradox","year":2018,"lang":"fr","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Interpretation (philosophy); Order (exchange); Epistemology; Metaphysics; Appeal; Higher-order logic; Term logic; Computer science; Philosophy of logic; Philosophy; Computational logic; Mathematics; Artificial intelligence; Description logic; Programming language; Law","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001644949,0.0004271524,0.0009008477,0.0002747863,0.0002785024,0.000188957,0.001800142,0.0003973149,0.003171707],"category_scores_gemma":[0.0004155709,0.0003202995,0.0005264838,0.0008462078,0.000796056,0.002251765,0.0004803445,0.0008019113,0.0005430636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001210118,"about_ca_system_score_gemma":0.0005958104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002495364,"about_ca_topic_score_gemma":0.00007075148,"domain_scores_codex":[0.9962721,0.00027349,0.001415331,0.0003546267,0.0006846855,0.0009997254],"domain_scores_gemma":[0.9950312,0.0002531614,0.001771473,0.0005755693,0.001968213,0.0004003281],"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.0005550796,0.002112957,0.005548345,0.0005876127,0.0005581252,0.001023595,0.01166578,0.0002974674,0.002333894,0.7304137,0.05003804,0.1948654],"study_design_scores_gemma":[0.007999984,0.02723907,0.04503154,0.001588349,0.0006188581,0.01252408,0.0009441817,0.02629279,0.01529281,0.2096418,0.6505161,0.002310463],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.276581,0.0463369,0.3422227,0.006538459,0.0212767,0.0005363056,0.00007010181,0.00009708205,0.3063407],"genre_scores_gemma":[0.9544749,0.0005808792,0.03277339,0.001196657,0.002349767,0.000001573753,0.000002254889,0.0000218917,0.008598638],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6778939,"threshold_uncertainty_score":0.9999249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03852876044959015,"score_gpt":0.2838133854384775,"score_spread":0.2452846249888873,"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."}}