{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":21,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":21,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"8547dc033b1c","filters":{"venue":"Journal of Philosophical Logic"}},"results":[{"id":"W2120747446","doi":"10.1007/s10992-011-9191-5","title":"On the Ternary Relation and Conditionality","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":121,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Conditionality; Relation (database); Ternary operation; Semantics (computer science); Mathematical economics; Epistemology; Binary relation; Mathematics; Computer science; Discrete mathematics; Philosophy; Political science; Law; Data mining; Programming language","authors":[{"name":"Jc Beall","is_ca":false},{"name":"Ross T. Brady","is_ca":false},{"name":"J. Michael Dunn","is_ca":false},{"name":"Allen Hazen","is_ca":true},{"name":"Edwin Mares","is_ca":false},{"name":"Robert K. Meyer","is_ca":false},{"name":"Graham Priest","is_ca":false},{"name":"Greg Restall","is_ca":false},{"name":"David Ripley","is_ca":false},{"name":"John Slaney","is_ca":false},{"name":"Richard Sylvan","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07743447063397903,"gpt":0.2576858007410835,"spread":0.1802513301071045,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006382576,0.0009139403,0.001448913,0.003162778,0.00387573,0.005588141,0.001788723,0.002791884,0.01197964],"category_scores_gemma":[0.02196658,0.001145977,0.002168109,0.003383764,0.01568052,0.0260048,0.004879706,0.0076684,0.001315344],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002724556,"about_ca_system_score_gemma":0.001571956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003917318,"about_ca_topic_score_gemma":0.002452308,"domain_scores_codex":[0.996717,0.001377205,0.000248577,0.0006380231,0.000613688,0.0004054505],"domain_scores_gemma":[0.9789966,0.01723654,0.0005983312,0.001432915,0.00128615,0.0004494271],"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.00001184723,0.000004064408,0.00004670137,0.00001377041,0.000002698856,0.00002092482,0.00009095181,0.0002062427,0.00005084065,0.9972646,0.0006425047,0.001644871],"study_design_scores_gemma":[0.000004991715,0.000002500044,0.00003183294,0.00001087514,0.000004562648,0.00002168759,0.00001576669,0.0006036042,0.00005489664,0.9974572,0.001785947,0.00000616785],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07403204,0.01882099,0.5853764,0.02952632,0.002938151,0.0001025727,0.0007572382,0.0005249074,0.2879215],"genre_scores_gemma":[0.8850567,0.008114372,0.07981849,0.003921305,0.004355655,0.0002030967,0.0005900256,0.0003712542,0.01756911],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01197964,"threshold_uncertainty_score":0.0400759,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4244929417","doi":"10.1023/a:1024248828122","title":"Synonymous Logics","year":2003,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; University of Alberta","funders":"","keywords":"Axiom; Equivalence (formal languages); Accessibility relation; Logical equivalence; Modal logic; Simple (philosophy); Mathematics; Logical consequence; Relation (database); Equivalence relation; Classical logic; Modal; Translation (biology); Axiomatic system; Mathematical economics; Computer science; Epistemology; Discrete mathematics; Artificial intelligence; Philosophy","authors":[{"name":"Francis Jeffry Pelletier","is_ca":true},{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03407663729605738,"gpt":0.262826674668639,"spread":0.2287500373725816,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001595368,0.0008381447,0.001026798,0.003284925,0.004702403,0.007822395,0.001493578,0.002002431,0.04363864],"category_scores_gemma":[0.005643294,0.0008652156,0.001176417,0.003359948,0.005033054,0.01547178,0.004155076,0.004337663,0.008960306],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001988007,"about_ca_system_score_gemma":0.001375181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001332363,"about_ca_topic_score_gemma":0.00144692,"domain_scores_codex":[0.9978564,0.0006683678,0.0002023332,0.0006108583,0.0004660876,0.0001958711],"domain_scores_gemma":[0.997586,0.0008918655,0.0001308643,0.0005905821,0.0006010587,0.000199748],"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.00001445631,0.000007572531,0.00006533974,0.00002321189,0.000004462534,0.00002216941,0.0001467859,0.00004287407,0.00008535143,0.985872,0.005880967,0.007834924],"study_design_scores_gemma":[0.00001203806,0.000003998296,0.00005309644,0.00002314057,0.00001036348,0.0001241519,0.0001217557,0.0004585785,0.0002212398,0.9438928,0.05507161,0.000007158149],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01342123,0.006340753,0.2851281,0.01165969,0.001946233,0.0001364482,0.002240247,0.001450608,0.6776768],"genre_scores_gemma":[0.6286715,0.006343981,0.1508306,0.006673556,0.002609176,0.000349294,0.006177389,0.001153009,0.1971916],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04363864,"threshold_uncertainty_score":0.1459858,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2046267553","doi":"10.1007/s10992-013-9280-8","title":"Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Perimeter Institute","funders":"Institut Périmètre de physique théorique; Engineering and Physical Sciences Research Council; University of Oxford","keywords":"Categorical quantum mechanics; Symmetric monoidal category; Mathematics; Compact space; Duality (order theory); Closed monoidal category; Closure (psychology); Pure mathematics; Enriched category; Quantum; Quantum operation; Quantum mechanics; Functor; Open quantum system; Physics","authors":[{"name":"Howard Barnum","is_ca":true},{"name":"Ross Duncan","is_ca":false},{"name":"Alexander Wilce","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04564277945081551,"gpt":0.2904123143250641,"spread":0.2447695348742486,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002946544,0.0007942406,0.001459696,0.00257353,0.002940687,0.004431055,0.001454699,0.00197624,0.004364812],"category_scores_gemma":[0.008134237,0.0008660532,0.002240337,0.002004159,0.007455042,0.01313441,0.005498888,0.003788924,0.0003820077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001679176,"about_ca_system_score_gemma":0.001000943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001903568,"about_ca_topic_score_gemma":0.001616945,"domain_scores_codex":[0.9978942,0.0006716122,0.0002380392,0.0004588669,0.0004382994,0.0002989889],"domain_scores_gemma":[0.9929556,0.00413011,0.0006917671,0.0008414916,0.0006485296,0.0007324803],"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.0000338354,0.00001670649,0.0004371684,0.00002513091,0.0000104163,0.00006116636,0.0003714666,0.0004595949,0.0003699602,0.995878,0.00028309,0.002053437],"study_design_scores_gemma":[0.00001073331,0.00001407048,0.0002342219,0.000005342339,0.000006763365,0.00004824931,0.0001141479,0.001906864,0.0001440747,0.9968596,0.0006467801,0.000009245711],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5102471,0.002057833,0.4472636,0.004017781,0.0001980904,0.0001118645,0.0008325559,0.0002663684,0.03500485],"genre_scores_gemma":[0.9611496,0.000516543,0.03182078,0.0003745017,0.0002280759,0.0001422846,0.0006287285,0.00008495552,0.00505445],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004431055,"threshold_uncertainty_score":0.01558298,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2082167645","doi":"10.1007/s10992-008-9086-2","title":"Iterated Belief Change and the Recovery Axiom","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Kensington Health","funders":"Australian Research Council; National ICT Australia; New South Wales Government; Australian Government; University of Sydney; Australian National University","keywords":"Axiom; Iterated function; Axiom of choice; Mathematical economics; Counterexample; Mathematics; Representation theorem; Peano axioms; Computer science; Discrete mathematics; Set (abstract data type); Set theory; Programming language","authors":[{"name":"Samir Chopra","is_ca":false},{"name":"Aditya Ghose","is_ca":false},{"name":"Thomas Meyer","is_ca":false},{"name":"Ka-Shu Wong","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07301883437600006,"gpt":0.2512008686636955,"spread":0.1781820342876954,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009117135,0.0005401985,0.001299131,0.001333742,0.002718244,0.003710017,0.00290591,0.00458793,0.01000061],"category_scores_gemma":[0.0434442,0.001027402,0.002455991,0.001047362,0.01074223,0.01529324,0.004722648,0.01025344,0.00101703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002547842,"about_ca_system_score_gemma":0.001912604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004130683,"about_ca_topic_score_gemma":0.002749838,"domain_scores_codex":[0.9933012,0.0026014,0.0004676565,0.001402788,0.001536068,0.0006910839],"domain_scores_gemma":[0.9586521,0.02931225,0.001670034,0.006233566,0.003358122,0.0007739862],"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.00004260005,0.00002192007,0.0001882489,0.00003729865,0.00002167658,0.0001004464,0.0002620685,0.0008194699,0.0001849236,0.9928823,0.0008486105,0.004590456],"study_design_scores_gemma":[0.00002860179,0.000009308658,0.0001207133,0.00001063778,0.00001447524,0.00009584717,0.00003894056,0.004348282,0.0002064636,0.9938929,0.001223587,0.00001023275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07109718,0.001795891,0.7716686,0.02791866,0.0005026668,0.0002066114,0.0004538925,0.0005850142,0.1257715],"genre_scores_gemma":[0.868091,0.0006743741,0.1130202,0.002189908,0.000464724,0.000263286,0.0002882759,0.0001398061,0.01486831],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01000061,"threshold_uncertainty_score":0.04821664,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2001917952","doi":"10.1007/s10992-007-9062-2","title":"SYNONYMOUS LOGICS: A CORRECTION","year":2007,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Modal; Mathematical economics; Computer science; Accessibility relation; Mathematics; Modal logic; Epistemology; Discrete mathematics; Philosophy","authors":[{"name":"Francis Jeffry Pelletier","is_ca":true},{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02643765142860307,"gpt":0.2751352111698898,"spread":0.2486975597412867,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006913034,0.001137119,0.001231058,0.006721678,0.005115142,0.004237005,0.003351048,0.004714781,0.03715418],"category_scores_gemma":[0.06932379,0.0007732029,0.001628097,0.004899657,0.006074634,0.007630336,0.004097078,0.01045587,0.01172167],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002885884,"about_ca_system_score_gemma":0.003985662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00396227,"about_ca_topic_score_gemma":0.00501813,"domain_scores_codex":[0.9912993,0.002164737,0.0011849,0.001474059,0.003251788,0.0006252361],"domain_scores_gemma":[0.9394308,0.02441235,0.001934853,0.009964783,0.0228506,0.001406672],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001684993,0.00003467853,0.0009755054,0.0002600201,0.00008272335,0.00116442,0.0007703482,0.0001080374,0.000398748,0.2105889,0.7378522,0.04759602],"study_design_scores_gemma":[0.0001537286,0.00003051368,0.001221216,0.0003776655,0.0002067903,0.003203815,0.000671268,0.00166356,0.002186708,0.2148095,0.775376,0.00009926281],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.009528862,0.004827792,0.0696764,0.409547,0.4065648,0.0001176839,0.002887586,0.003562587,0.09328737],"genre_scores_gemma":[0.363176,0.008215059,0.06622078,0.1797484,0.1500936,0.0003419143,0.003293881,0.003938305,0.224972],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03715418,"threshold_uncertainty_score":0.1242931,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3207154427","doi":"10.1007/s10992-021-09637-1","title":"Neighbourhood Semantics for Quantified Relevant Logics","year":2021,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"Grantová Agentura České Republiky","keywords":"Kripke semantics; T-norm fuzzy logics; Computer science; Semantics (computer science); Algebraic semantics; Mathematics; Calculus (dental); Algebra over a field; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Programming language; Intermediate logic; Medicine","authors":[{"name":"Andrew Tedder","is_ca":false},{"name":"Nicholas Ferenz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05283776686609398,"gpt":0.2940385986675461,"spread":0.2412008318014521,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003673648,0.0006709926,0.001359038,0.003384578,0.002958684,0.006422288,0.002327348,0.00185071,0.006064439],"category_scores_gemma":[0.009092256,0.000872849,0.002370532,0.00257244,0.00414301,0.01621946,0.00475263,0.00372261,0.0007910195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002729087,"about_ca_system_score_gemma":0.001343905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002125297,"about_ca_topic_score_gemma":0.002470576,"domain_scores_codex":[0.9967463,0.001121124,0.0003599492,0.0005920779,0.0009083633,0.0002721414],"domain_scores_gemma":[0.9948237,0.002831885,0.0003173698,0.0007471651,0.0008323742,0.0004474561],"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.00002573662,0.00001576871,0.00005949682,0.0000432114,0.000009691557,0.00003438066,0.0001658791,0.0008856457,0.0002108257,0.9946897,0.0004356136,0.003424042],"study_design_scores_gemma":[0.00001023753,0.000004931272,0.00002442236,0.00001222038,0.00001079046,0.00002073992,0.00004711881,0.004079884,0.0001581425,0.9936743,0.001949419,0.000007763515],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04620031,0.001614003,0.9040664,0.002520902,0.000331774,0.0001546143,0.000604694,0.0008261789,0.0436811],"genre_scores_gemma":[0.7691687,0.001282524,0.2109341,0.0006809389,0.0004830825,0.0003032328,0.001055688,0.0003425114,0.01574914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006422288,"threshold_uncertainty_score":0.02028757,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2095033023","doi":"10.1007/s10992-014-9314-x","title":"What Should I Believe About What Would Have Been the Case?","year":2014,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and History of Science","field":"Arts and Humanities","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Counterfactual conditional; Metaphysics; Epistemology; Probabilistic logic; Section (typography); Mathematical economics; Econometrics; Counterfactual thinking; Computer science; Philosophy; Mathematics","authors":[{"name":"Franz Huber","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1205926440839829,"gpt":0.2869356180893501,"spread":0.1663429740053673,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01836364,0.0005754456,0.001092421,0.0009545052,0.008190977,0.01252287,0.002571016,0.01474272,0.01162075],"category_scores_gemma":[0.06541006,0.0005656689,0.0008904631,0.000773155,0.0287945,0.01674922,0.003305335,0.02563142,0.004803687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004874079,"about_ca_system_score_gemma":0.004543557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005445661,"about_ca_topic_score_gemma":0.006131216,"domain_scores_codex":[0.9915154,0.004328327,0.0002968969,0.001241936,0.00141626,0.001201152],"domain_scores_gemma":[0.9794841,0.008169481,0.002043641,0.00168943,0.005591328,0.003022103],"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.0001938346,0.00007531456,0.002808463,0.0003069549,0.0001259802,0.001020881,0.01381844,0.0001639183,0.0003903556,0.8152663,0.152952,0.01287765],"study_design_scores_gemma":[0.0001152213,0.00007713065,0.001250517,0.001285348,0.00009991897,0.0008397014,0.02061959,0.0004525376,0.0007694555,0.6586127,0.3157291,0.0001487721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.00361245,0.002919914,0.002563351,0.9616367,0.006399771,0.00001310385,0.00006393711,0.0000312913,0.02275948],"genre_scores_gemma":[0.3167447,0.00490621,0.007203794,0.6392558,0.007379414,0.0001406819,0.00009488119,0.0001905653,0.02408385],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01836364,"threshold_uncertainty_score":0.09711736,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2049735587","doi":"10.1023/a:1026564222011","title":"Sets and Classes as Many","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Set (abstract data type); Labelling; Computer science; Set theory; Class (philosophy); Theoretical computer science; Mathematics; Algebra over a field; Discrete mathematics; Artificial intelligence; Pure mathematics; Programming language; Biology","authors":[{"name":"John Bell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0239217590449745,"gpt":0.2814064645425275,"spread":0.257484705497553,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001755747,0.0007623342,0.001084422,0.003216712,0.003779539,0.01131882,0.001467258,0.001775946,0.02027921],"category_scores_gemma":[0.00509789,0.0006314718,0.0008700888,0.003544276,0.01014324,0.02392025,0.004352613,0.004976276,0.002616384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002103536,"about_ca_system_score_gemma":0.0007696691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009423915,"about_ca_topic_score_gemma":0.001013631,"domain_scores_codex":[0.9978704,0.000747951,0.0001664083,0.0004974068,0.0005414413,0.0001763222],"domain_scores_gemma":[0.9973139,0.001204494,0.0001973749,0.0006503079,0.0003631957,0.0002706851],"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.000002527083,0.000001966522,0.00002456872,0.000008128076,0.00000156443,0.000003246603,0.0001102479,0.00002537391,0.00001873338,0.9975483,0.0006149922,0.001640339],"study_design_scores_gemma":[0.000003695113,0.00000201619,0.00003519067,0.000007006056,0.00000423071,0.00003008468,0.0000983838,0.0001293086,0.0000377251,0.9848887,0.01476117,0.000002610714],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05765561,0.02402552,0.2095072,0.03954105,0.004197856,0.0001076048,0.001171252,0.0007698569,0.6630241],"genre_scores_gemma":[0.8266801,0.006713225,0.04964854,0.003034566,0.002986117,0.0002764317,0.0006645351,0.0002564869,0.10974],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02027921,"threshold_uncertainty_score":0.0678407,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1975161136","doi":"10.1007/s10992-010-9135-5","title":"Anderson and Belnap’s Invitation to Sin","year":2010,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Tautology (logic); Quine; Modal logic; Nominalization; Epistemology; Philosophy; Modal; Normal modal logic; Calculus (dental); Linguistics; Computer science; Mathematics; Multimodal logic; Programming language; Zeroth-order logic; Description logic","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03821893589564161,"gpt":0.2806048830763099,"spread":0.2423859471806683,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00434346,0.0007529387,0.001086281,0.001128936,0.005810011,0.005105839,0.001350235,0.00980803,0.016714],"category_scores_gemma":[0.02422381,0.0004541769,0.001020333,0.0008931056,0.01066456,0.009552156,0.004819081,0.02269443,0.00925407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002853343,"about_ca_system_score_gemma":0.003032163,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003661213,"about_ca_topic_score_gemma":0.003922587,"domain_scores_codex":[0.9967,0.001210494,0.0001739322,0.0007042083,0.0008900457,0.0003212674],"domain_scores_gemma":[0.9931442,0.003483518,0.0002833935,0.0008756281,0.001684416,0.0005288699],"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.00004634245,0.00002717993,0.0001408125,0.00003242335,0.00001322203,0.00006035101,0.0005043003,0.00007828927,0.0000583907,0.6449391,0.3477934,0.006306245],"study_design_scores_gemma":[0.00002474452,0.00000661146,0.0001068982,0.00004786888,0.000008824713,0.00009814631,0.0001932837,0.0002173081,0.00009976111,0.6218815,0.3772954,0.00001971428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.001532518,0.004521829,0.007857326,0.8367828,0.03255394,0.00002485905,0.0002065325,0.0002260326,0.1162942],"genre_scores_gemma":[0.1307154,0.003428194,0.01068344,0.6092696,0.0407183,0.0002770115,0.0002657715,0.0005322956,0.20411],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.016714,"threshold_uncertainty_score":0.05591393,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2158711753","doi":"10.1007/s10992-013-9269-3","title":"A Closer Look at Manifest Consequence","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":5,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Relation (database); GRASP; Epistemology; Class (philosophy); Identity (music); Domain (mathematical analysis); Semantics (computer science); Field (mathematics); Computer science; Mathematics; Philosophy; Pure mathematics; Programming language; Aesthetics","authors":[{"name":"Max Weiss","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04278416641731048,"gpt":0.3103525521179388,"spread":0.2675683857006284,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003071076,0.0004968364,0.001448445,0.002646728,0.004480738,0.007257196,0.001581791,0.00413114,0.02810306],"category_scores_gemma":[0.007746772,0.0005098634,0.001319596,0.002391259,0.01508803,0.0283441,0.004134072,0.01104717,0.001722126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003212999,"about_ca_system_score_gemma":0.001290515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002293002,"about_ca_topic_score_gemma":0.001956736,"domain_scores_codex":[0.9975133,0.0009436347,0.0001118185,0.0003762339,0.0006922971,0.0003627353],"domain_scores_gemma":[0.9950023,0.002865818,0.00018387,0.001046371,0.0006478559,0.0002537175],"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.000005094998,0.000004904571,0.00002174174,0.000005671336,0.00000139179,0.00001676225,0.0001433468,0.00002483631,0.00004437446,0.9982134,0.0007148128,0.0008036239],"study_design_scores_gemma":[0.000006420477,0.000007113574,0.00006793859,0.000008789773,0.000002463222,0.00003732571,0.0001260043,0.0001499761,0.00004386177,0.993489,0.006057562,0.00000364273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04056015,0.006718141,0.1862088,0.08673327,0.002509015,0.0000579613,0.0002899899,0.0003440024,0.6765786],"genre_scores_gemma":[0.8729774,0.003219762,0.02282895,0.01118238,0.002800293,0.000123438,0.0002136706,0.0005472377,0.08610685],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02810306,"threshold_uncertainty_score":0.09401411,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1966325497","doi":"10.1023/a:1026520223346","title":"Remarks on the Modal Logic of Henry Bradford Smith","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University","funders":"","keywords":"Modal logic; Possible world; Modality (human–computer interaction); Modal; Philosophy; Epistemology; S5; Beneficiary; Philosophical logic; Accessibility relation; Computer science; Artificial intelligence; Law; Political science","authors":[{"name":"Mary C. MacLeod","is_ca":false},{"name":"Peter Κ. Schotch","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03128535650661957,"gpt":0.2574964087609861,"spread":0.2262110522543665,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004660608,0.0005535513,0.0009338973,0.001352727,0.004191381,0.003384734,0.001534759,0.00416143,0.01319321],"category_scores_gemma":[0.01135291,0.0005581811,0.0006465751,0.001140174,0.008647831,0.00997171,0.002024424,0.01150429,0.003285888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004611787,"about_ca_system_score_gemma":0.001551257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01450601,"about_ca_topic_score_gemma":0.009236943,"domain_scores_codex":[0.9982108,0.0006991516,0.00006556565,0.0003072598,0.0005430721,0.0001741825],"domain_scores_gemma":[0.9945666,0.003861545,0.0001429226,0.0002999933,0.0008454709,0.000283614],"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.00003845721,0.00001681767,0.00006747333,0.00005461578,0.00001148162,0.00005331587,0.0002724853,0.0001984143,0.00007428525,0.7252501,0.2669158,0.00704654],"study_design_scores_gemma":[0.00003134804,0.000008736049,0.0002039031,0.0001154382,0.00001117388,0.00004313296,0.0002186964,0.0002078791,0.0002035756,0.5290046,0.4699215,0.00003004098],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"commentary","genre_scores_codex":[0.002635946,0.03275241,0.009363064,0.76631,0.02098511,0.0000176561,0.0002117688,0.0001520683,0.1675719],"genre_scores_gemma":[0.1671658,0.03388532,0.01205195,0.482836,0.08923145,0.0001340903,0.0001667065,0.0003530284,0.2141756],"genre_candidate":"commentary","genre_consensus":"commentary","teacher_disagreement_score":0.01450601,"threshold_uncertainty_score":0.04413569,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2100260968","doi":"10.1007/s10992-007-9071-1","title":"SUPERVALUATION FIXED-POINT LOGICS OF TRUTH","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Epistemology; Mathematical economics; Calculus (dental); Philosophy","authors":[{"name":"Philip Kremer","is_ca":true},{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07778070247620184,"gpt":0.2800608235043985,"spread":0.2022801210281967,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005138229,0.0008937671,0.001534996,0.003005412,0.00220392,0.005928705,0.002982374,0.002048334,0.01020671],"category_scores_gemma":[0.009597252,0.001197043,0.00224109,0.002519186,0.00805521,0.01915698,0.003969938,0.006681528,0.001167795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003330051,"about_ca_system_score_gemma":0.0009072177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001400114,"about_ca_topic_score_gemma":0.001257138,"domain_scores_codex":[0.9973992,0.000951639,0.0002309635,0.0006192876,0.0005664803,0.0002323866],"domain_scores_gemma":[0.9927487,0.004312138,0.0003094681,0.001261533,0.0009880236,0.0003801687],"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.00001313343,0.000005020168,0.00003666641,0.00001365163,0.000006004585,0.00001178821,0.00009187918,0.0001927299,0.00008313316,0.9979073,0.0001888515,0.001449871],"study_design_scores_gemma":[0.000008063742,0.000003818455,0.00001744147,0.000004754669,0.000007247931,0.00001428507,0.00002018293,0.001134476,0.0001196278,0.9979789,0.0006867018,0.00000452153],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05686528,0.002085244,0.8482247,0.004606444,0.0003610576,0.0001141742,0.0004911558,0.0007668118,0.08648512],"genre_scores_gemma":[0.8756692,0.0008470444,0.1069334,0.0009357467,0.0006044343,0.0001476526,0.0004474683,0.0002421018,0.01417302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01020671,"threshold_uncertainty_score":0.03414482,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1745228384","doi":"10.1007/s10992-015-9370-x","title":"Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)","year":2015,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Natural deduction; Arrow; Absurdity; Simple (philosophy); Classical logic; Calculus (dental); Propositional calculus; Natural number","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.06028258325813828,"gpt":0.2709156767648104,"spread":0.2106330935066721,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002150761,0.0003592467,0.0004008128,0.001489118,0.001789151,0.001722634,0.0008623909,0.001570258,0.007665948],"category_scores_gemma":[0.004232148,0.0003055464,0.001199757,0.0008465137,0.003888638,0.009920135,0.001938162,0.002867805,0.001135692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001313795,"about_ca_system_score_gemma":0.001304967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001594133,"about_ca_topic_score_gemma":0.001818665,"domain_scores_codex":[0.9994516,0.0001898323,0.0000481032,0.0001108122,0.0001381084,0.00006156191],"domain_scores_gemma":[0.9990112,0.0005383535,0.00004226095,0.0001329599,0.0002122892,0.0000629089],"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.00000883426,0.000007546887,0.00004225799,0.00002086917,0.000003919159,0.00002980824,0.0001107432,0.0001134244,0.00009167707,0.9930862,0.001455381,0.005029318],"study_design_scores_gemma":[0.000006415732,0.000003932274,0.00004192154,0.000008728091,0.00000424868,0.00003544826,0.00002031647,0.0006036074,0.0002235239,0.992449,0.006597386,0.0000054343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05072696,0.003872166,0.6793233,0.01406668,0.002862619,0.000109311,0.0003320546,0.0004805934,0.2482263],"genre_scores_gemma":[0.7483461,0.001755275,0.2016232,0.002566177,0.001059611,0.0001483072,0.0003600913,0.000148733,0.04399249],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007665948,"threshold_uncertainty_score":0.0256452,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4324152536","doi":"10.1007/s10992-022-09696-y","title":"Varieties of Self-Reference in Metamathematics","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Azrieli Foundation; Leverhulme Trust","keywords":"Diagonal; Computer science; Coding (social sciences); Sentence; Operator (biology); Accidental; Mathematics; Algebra over a field; Pure mathematics; Artificial intelligence; Physics; Geometry","authors":[{"name":"Balthasar Grabmayr","is_ca":false},{"name":"Volker Halbach","is_ca":false},{"name":"Lingyuan Ye","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06161155011563364,"gpt":0.2971888337484152,"spread":0.2355772836327816,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002888964,0.0002128752,0.0004902207,0.001386293,0.001607477,0.003234602,0.0006443479,0.0008846245,0.002949153],"category_scores_gemma":[0.004002869,0.0003320118,0.0005840242,0.0007579991,0.007199979,0.005982962,0.002892986,0.001490887,0.0002484946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001130039,"about_ca_system_score_gemma":0.0004370893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005115899,"about_ca_topic_score_gemma":0.0005179992,"domain_scores_codex":[0.9979851,0.0008312184,0.000162184,0.0003677982,0.0004199803,0.0002337072],"domain_scores_gemma":[0.9966137,0.001525933,0.0002492873,0.0008640016,0.0005593303,0.0001877453],"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.00001004748,0.00000353704,0.0001568131,0.000009769249,0.000002595871,0.00004167801,0.000331936,0.0001074627,0.0005121218,0.9979033,0.0001137791,0.0008069083],"study_design_scores_gemma":[0.00001511897,0.00001520184,0.0003708936,0.00001216972,0.000007111947,0.000114875,0.000421391,0.001857986,0.001269719,0.9927059,0.00319789,0.00001181687],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7185591,0.0007177269,0.1490463,0.002351856,0.0001724483,0.00004518486,0.0002564821,0.0004941634,0.1283568],"genre_scores_gemma":[0.9927565,0.00006812374,0.005406487,0.000111107,0.00003683291,0.00001461355,0.00005179067,0.00003114548,0.001523468],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003234602,"threshold_uncertainty_score":0.01527846,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4390087301","doi":"10.1007/s10992-023-09729-0","title":"Tarski’s Theory of the Formal Correctness of Definitions","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Calculus (dental); Epistemology; Mathematics; Programming language; Philosophy; Medicine","authors":[{"name":"David Hitchcock","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1148561883136053,"gpt":0.3258815039496001,"spread":0.2110253156359947,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009647998,0.001155665,0.001725006,0.003852956,0.003577963,0.007091341,0.002761601,0.003947607,0.009065021],"category_scores_gemma":[0.02751699,0.001828725,0.004141716,0.002787423,0.01842935,0.02377109,0.004327245,0.009050195,0.00197645],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00450811,"about_ca_system_score_gemma":0.003319379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003349187,"about_ca_topic_score_gemma":0.002011044,"domain_scores_codex":[0.9917333,0.003435126,0.00111132,0.001362697,0.00183101,0.0005265034],"domain_scores_gemma":[0.9838741,0.01035291,0.0004611111,0.002254261,0.002855858,0.000201846],"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.000008451231,0.000004186233,0.00002671151,0.00003398621,0.000008241323,0.00001146057,0.0001280474,0.0002460819,0.0000514874,0.9970506,0.0009614413,0.001469288],"study_design_scores_gemma":[0.00001386647,0.000004747096,0.00002378213,0.00001579326,0.00000882637,0.00002080319,0.00002029911,0.0007631402,0.0001742302,0.9918509,0.007095631,0.000007984255],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01013159,0.004873658,0.8383759,0.01822796,0.002734807,0.000164325,0.0007984737,0.0005871481,0.1241062],"genre_scores_gemma":[0.6448755,0.00357245,0.3135089,0.00646538,0.002320991,0.000520005,0.0009729957,0.0004988876,0.02726482],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.009647998,"threshold_uncertainty_score":0.05102408,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1996583871","doi":"10.1007/s10992-011-9170-x","title":"Embedding If and Only If","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"University of Nottingham; University of Leeds","keywords":"Embedding; Interpretation (philosophy); Triviality; Mathematics; Computer science; Artificial intelligence; Pure mathematics; Programming language","authors":[{"name":"Adam Sennet","is_ca":false},{"name":"Jonathan Weisberg","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07626222733691729,"gpt":0.3348656494363541,"spread":0.2586034220994368,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001355065,0.0006117693,0.0006350868,0.0009173664,0.001623635,0.002704181,0.0007328584,0.0013668,0.03626139],"category_scores_gemma":[0.004639608,0.0006341197,0.0006942635,0.0005773968,0.003286805,0.009513082,0.003887768,0.002412406,0.008247568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001049934,"about_ca_system_score_gemma":0.001032065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001492203,"about_ca_topic_score_gemma":0.001954841,"domain_scores_codex":[0.9976242,0.0004429208,0.0001647818,0.0009224328,0.0003053897,0.0005402112],"domain_scores_gemma":[0.9968548,0.0009240624,0.0002228463,0.0006888531,0.001101603,0.0002078329],"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.0001257355,0.00004869733,0.001083123,0.0001848564,0.00003481104,0.0004497037,0.0008506142,0.000331731,0.002662415,0.9514058,0.01599681,0.02682568],"study_design_scores_gemma":[0.00004028941,0.00003117103,0.001478448,0.0000785403,0.00004636792,0.001007417,0.0009390045,0.003656334,0.005092836,0.9106424,0.07692211,0.0000650314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1412752,0.0008538367,0.3283988,0.01214473,0.002260217,0.0003418688,0.004780224,0.005760197,0.504185],"genre_scores_gemma":[0.8830219,0.0004377067,0.03719112,0.002070452,0.0005502867,0.0002504835,0.00386631,0.0009063276,0.07170542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03626139,"threshold_uncertainty_score":0.1213065,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4327544648","doi":"10.1007/s10992-022-09690-4","title":"Modus Ponens and the Logic of Decision","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Modus ponens; Counterexample; Normative; Prima facie; Epistemology; Non-classical logic; Argument (complex analysis); Assertion; Negation; Logical consequence; Logical equivalence; Incompatibilism; Mathematics; Spurious relationship; Rule of inference; Philosophy; Equivalence (formal languages); Computer science; Inference; Linguistics; Discrete mathematics; Determinism","authors":[{"name":"Nate Charlow","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05439717415429019,"gpt":0.3448644979927846,"spread":0.2904673238384944,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007616729,0.0006669218,0.001312502,0.002000293,0.002943921,0.006627647,0.001844336,0.0029482,0.005876666],"category_scores_gemma":[0.01347895,0.0008231335,0.001447753,0.001417208,0.01777266,0.00947545,0.002553375,0.005425574,0.0006382327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005147683,"about_ca_system_score_gemma":0.003588135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003384343,"about_ca_topic_score_gemma":0.002323513,"domain_scores_codex":[0.9960979,0.0020254,0.0001761749,0.0005638708,0.0007267573,0.0004097901],"domain_scores_gemma":[0.9914871,0.00684293,0.0003782337,0.0005266865,0.0004842689,0.0002807816],"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.000009183242,0.000003860746,0.00003212868,0.000006067507,0.00000449452,0.00001374977,0.00004876456,0.0003477211,0.00001371928,0.9984725,0.0002860814,0.0007616948],"study_design_scores_gemma":[0.000006149583,0.000001225891,0.00001184468,0.000002347206,0.000001231446,0.000004912835,0.000007247639,0.0005407725,0.00001220918,0.9988432,0.0005672328,0.000001620395],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.130281,0.01385065,0.3297153,0.1056419,0.001879413,0.0001171992,0.0004424046,0.0003737731,0.4176983],"genre_scores_gemma":[0.9662287,0.001636988,0.01923127,0.001879343,0.0008336201,0.00009458038,0.00007336924,0.00005776331,0.009964369],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007616729,"threshold_uncertainty_score":0.04028159,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4410015847","doi":"10.1007/s10992-025-09796-5","title":"Logical Rationalism","year":2025,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Epistemology; Non-classical logic; Logical consequence; Philosophy; Computer science; Mathematics","authors":[{"name":"Eric P. Wilkinson","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04442947032869038,"gpt":0.3630284708137215,"spread":0.3185990004850311,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01002744,0.0005682384,0.0008515007,0.002068868,0.002835324,0.006370648,0.001467013,0.003217356,0.0071393],"category_scores_gemma":[0.01387693,0.0004173458,0.001041585,0.001012462,0.03308101,0.007892604,0.00374513,0.0060687,0.001521603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006979149,"about_ca_system_score_gemma":0.003419553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00209671,"about_ca_topic_score_gemma":0.001024464,"domain_scores_codex":[0.9911166,0.004532215,0.0004227723,0.001172155,0.002158207,0.0005979558],"domain_scores_gemma":[0.9877396,0.007265628,0.0006873764,0.001478455,0.002251319,0.0005775555],"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.000003855977,0.000004198625,0.00003949809,0.00001575358,0.000004032679,0.000014346,0.0001706626,0.0001557321,0.00002921101,0.9977928,0.0008931642,0.000876674],"study_design_scores_gemma":[0.000005427941,0.000002350986,0.0000239635,0.00001549023,0.000002343576,0.0000101637,0.00004174334,0.0003233849,0.0000355114,0.9938813,0.005655986,0.000002208467],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02251557,0.006886452,0.2147722,0.09631002,0.00139243,0.0001828847,0.0002930189,0.0003376071,0.6573098],"genre_scores_gemma":[0.9227487,0.002723181,0.03704409,0.00918443,0.001868431,0.0002737875,0.0002412034,0.0001862198,0.0257298],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01002744,"threshold_uncertainty_score":0.05303079,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4385469305","doi":"10.1007/s10992-023-09717-4","title":"Quantum Epistemology and Constructivism","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"National Center of Competence in Research Quantum Science and Technology; Social Sciences and Humanities Research Council; Foundational Questions Institute","keywords":"Constructivism (international relations); Epistemology; Formal epistemology; Inference; Philosophy; Mathematics; Social epistemology","authors":[{"name":"Patrick Fraser","is_ca":true},{"name":"Nuriya Nurgalieva","is_ca":false},{"name":"Lídia del Rio","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0348466878439347,"gpt":0.2885277078438908,"spread":0.2536810199999561,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007579217,0.0007423975,0.001645818,0.004272933,0.005702781,0.01075598,0.00195073,0.004315579,0.006941691],"category_scores_gemma":[0.0113136,0.001019371,0.001415692,0.003048551,0.04749434,0.02287453,0.0058041,0.007944332,0.0006269932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0060287,"about_ca_system_score_gemma":0.00305906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002692895,"about_ca_topic_score_gemma":0.001738656,"domain_scores_codex":[0.9950597,0.003010305,0.0002786815,0.000509597,0.0008154046,0.0003263403],"domain_scores_gemma":[0.9861326,0.0103699,0.000602903,0.001296356,0.001160838,0.0004373376],"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.000001625424,0.000003549791,0.00001852104,0.000008550987,0.000002161387,0.000003853835,0.0001350158,0.0000372847,0.000007178014,0.9993274,0.0001572758,0.0002976089],"study_design_scores_gemma":[0.000002877226,9.27818e-7,0.00001242204,0.000005422373,0.000001187356,0.000004399689,0.00004846363,0.0001075647,0.000009863041,0.9988927,0.0009125925,0.000001554447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0705015,0.02644068,0.355352,0.1107305,0.002734053,0.0001362608,0.0005467932,0.0003099535,0.4332483],"genre_scores_gemma":[0.9530756,0.003821136,0.02756984,0.002489717,0.001745656,0.0002357776,0.0001529248,0.00011659,0.01079277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01075598,"threshold_uncertainty_score":0.04374146,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4206046586","doi":"10.1007/s10992-014-9330-x","title":"Guest Editors’ Introduction","year":2014,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science","authors":[{"name":"James P. Delgrande","is_ca":true},{"name":"Jérôme Lang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01717220033087949,"gpt":0.24629256994569,"spread":0.2291203696148106,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003786427,0.001280521,0.001111897,0.002837704,0.001833479,0.007323632,0.002023741,0.004395085,0.1564764],"category_scores_gemma":[0.02106377,0.0005330304,0.0009938253,0.001206818,0.001047112,0.00352095,0.002542457,0.006794867,0.09031259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001472504,"about_ca_system_score_gemma":0.002267496,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005663859,"about_ca_topic_score_gemma":0.001268772,"domain_scores_codex":[0.997272,0.0003094586,0.0002461135,0.0005523095,0.001239062,0.0003811997],"domain_scores_gemma":[0.985036,0.002356258,0.0009298876,0.0009178484,0.006968988,0.003791058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002246011,0.000009928134,0.00004661007,0.000117784,0.000004182287,0.00004036747,0.00001700469,0.00002434204,0.0000938136,0.001844758,0.9803561,0.01742253],"study_design_scores_gemma":[0.00001089368,0.0000147256,0.0001423074,0.00009699896,0.000005654492,0.00008049684,0.00001980713,0.00004016738,0.00009959027,0.001181503,0.9983012,0.000006648339],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.000171268,0.005954803,0.0005843303,0.03705388,0.9303817,0.00003360107,0.0002253148,0.0002012789,0.02539391],"genre_scores_gemma":[0.003712178,0.006757002,0.0006846242,0.02497099,0.7264075,0.0000885703,0.0003177556,0.0003364954,0.2367249],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1564764,"threshold_uncertainty_score":0.5234659,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4410480514","doi":"10.1007/s10992-025-09798-3","title":"Mīmāṃsā on ‘better-not’ Permissions","year":2025,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Indian and Buddhist Studies","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Social Sciences and Humanities Research Council; Social Sciences and Humanities Research Council of Canada; Austrian Science Fund; European Commission","keywords":"Computer science; Mathematics; Art","authors":[{"name":"Agata Ciabattoni","is_ca":false},{"name":"Josephine Dik","is_ca":false},{"name":"Elisa Freschi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07313588520802602,"gpt":0.2910793731410738,"spread":0.2179434879330478,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005294238,0.0004044732,0.0006478062,0.001351895,0.002986582,0.003735126,0.001138486,0.002225016,0.007276074],"category_scores_gemma":[0.006133785,0.0004004169,0.0009573833,0.00089453,0.015127,0.01017419,0.004707577,0.003777956,0.00115948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003231541,"about_ca_system_score_gemma":0.002037534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002605105,"about_ca_topic_score_gemma":0.002950149,"domain_scores_codex":[0.9955513,0.001980691,0.0002723247,0.0008428426,0.001035512,0.0003173368],"domain_scores_gemma":[0.9958569,0.002134669,0.0002724605,0.0007039674,0.0007869687,0.0002450178],"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.000005961765,0.000002668349,0.00003515495,0.00001187572,0.000001261628,0.00003475658,0.0002889172,0.00009587534,0.000101716,0.9978791,0.0002883468,0.001254439],"study_design_scores_gemma":[0.00001272804,0.00002321728,0.0001451684,0.00004330648,0.000009929865,0.0001859533,0.0003872275,0.002910455,0.0006131625,0.9630165,0.03263325,0.00001906504],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1083027,0.002816841,0.337259,0.02440231,0.001585624,0.0001801378,0.0002934446,0.0008473457,0.5243126],"genre_scores_gemma":[0.9451544,0.0005174453,0.03051868,0.002099939,0.0003807428,0.00009081834,0.00005423579,0.0001003756,0.02108349],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007276074,"threshold_uncertainty_score":0.02799892,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}