{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005615021,0.0005341007,0.0006965489,0.001346449,0.003209992,0.00709707,0.001429715,0.002518944,0.004943159],"category_scores_gemma":[0.007986914,0.0003849631,0.0009924108,0.00127891,0.01364307,0.01072408,0.004009389,0.005330054,0.0007874431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00480358,"about_ca_system_score_gemma":0.002804507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00287738,"about_ca_topic_score_gemma":0.00179908,"domain_scores_codex":[0.9966066,0.00172448,0.0001736186,0.0004790572,0.0007255661,0.0002908251],"domain_scores_gemma":[0.9965886,0.001924791,0.0002009094,0.0004461673,0.0005739128,0.000265654],"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.000002397463,0.000001594534,0.00001199666,0.0000059797,0.00000162648,0.00002049627,0.00009479694,0.0001305763,0.00002193293,0.9983892,0.0008378476,0.0004816142],"study_design_scores_gemma":[0.000004038656,0.000001557922,0.00001047449,0.000006589245,0.000001527557,0.00002604179,0.00003246961,0.0005786397,0.00003569761,0.9933031,0.005996617,0.000003161328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02789458,0.01411833,0.333205,0.06638391,0.002165456,0.000122897,0.0005563181,0.0005204605,0.555033],"genre_scores_gemma":[0.8662081,0.004568478,0.06706569,0.01122353,0.001742947,0.000291804,0.0002844046,0.0002088285,0.04840617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00709707,"threshold_uncertainty_score":0.03485262,"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."}}