{"id":"W2914643333","doi":"10.1017/s1755020319000054","title":"BUNDER’S PARADOX","year":2019,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Prima facie; Class (philosophy); Resolution (logic); Logical consequence; Consistency (knowledge bases); Calculus (dental); Mathematics; Non-classical logic; Mathematical economics; Computer science; Discrete mathematics; Philosophy; Epistemology; Programming language","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.003774832,0.0003573229,0.0007259274,0.001537093,0.002764262,0.005434412,0.001288608,0.003057157,0.005766498],"category_scores_gemma":[0.007239683,0.0004017058,0.0006176232,0.001218547,0.01091144,0.01052219,0.004172094,0.005429129,0.00102888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003924985,"about_ca_system_score_gemma":0.002097477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003583007,"about_ca_topic_score_gemma":0.002797018,"domain_scores_codex":[0.9969622,0.001275724,0.0001341297,0.0005082513,0.000905716,0.0002139026],"domain_scores_gemma":[0.9976085,0.001313662,0.0001747554,0.0004151819,0.0003160633,0.00017175],"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.000004266474,0.000003327229,0.00002661226,0.00001420422,0.000002778223,0.00002743596,0.0001806597,0.0001490678,0.00004886261,0.9953269,0.002175706,0.002040192],"study_design_scores_gemma":[0.000005671952,0.000002789692,0.00002963442,0.00003362122,0.000002599121,0.0000539014,0.00008064503,0.0006987508,0.000101005,0.974968,0.02401739,0.000006039766],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0659707,0.03307072,0.1353143,0.1283484,0.002265605,0.00006882614,0.0003412648,0.0005465017,0.6340737],"genre_scores_gemma":[0.8928607,0.01099399,0.02749956,0.01554078,0.001234144,0.0001364325,0.0001551699,0.0002364337,0.05134283],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005766498,"threshold_uncertainty_score":0.02847785,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01684499666056861,"score_gpt":0.2631201973523586,"score_spread":0.24627520069179,"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."}}