{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":14,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":14,"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":"0b44699414d1","filters":{"venue":"History and Philosophy of Logic"}},"results":[{"id":"W2082097877","doi":"10.1080/01445340310001604707","title":"Aristotle's<i>Prior Analytics</i>and Boole's<i>Laws of Thought</i>","year":2003,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":56,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"University of South Florida","keywords":"Epistemology; Philosophy; Philosophical logic; George (robot); Contradiction; Propositional calculus; Truth function; Philosophy of logic; Computer science; Mathematics; Artificial intelligence; Linguistics","authors":[{"name":"John Corcoran","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07488232201868612,"gpt":0.2656035892044067,"spread":0.1907212671857206,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002734023,0.0004197913,0.000391437,0.002643325,0.00246368,0.006998531,0.0009787701,0.001909146,0.003672417],"category_scores_gemma":[0.0051619,0.0003371586,0.0004901558,0.001312303,0.02632452,0.006496478,0.002003002,0.004475829,0.0009235594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007155681,"about_ca_system_score_gemma":0.002959703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006709686,"about_ca_topic_score_gemma":0.004394063,"domain_scores_codex":[0.9976313,0.0009314854,0.0001005585,0.0003744674,0.0007919329,0.0001701731],"domain_scores_gemma":[0.9965648,0.001642723,0.0003767042,0.0003884429,0.0008183652,0.0002088703],"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.000004619936,0.000003457922,0.00003962304,0.000007314672,0.000001259109,0.000008351816,0.0003427562,0.00008523143,0.00003675532,0.9962476,0.001687858,0.001535179],"study_design_scores_gemma":[0.000006607979,0.000007525046,0.0002128864,0.0000500875,0.000003455431,0.00002370567,0.0002100021,0.0005647314,0.0001777308,0.9505629,0.04817157,0.000008925857],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04534568,0.01925271,0.1635727,0.06026749,0.002748465,0.00009095374,0.0004790497,0.0004642758,0.7077786],"genre_scores_gemma":[0.895751,0.004339559,0.02742143,0.004083538,0.001799097,0.00009692731,0.0002095518,0.0001776141,0.06612138],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007155681,"threshold_uncertainty_score":0.05191839,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2153924662","doi":"10.1080/01445340903445063","title":"Etchemendy and Bolzano on Logical Consequence","year":2010,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":16,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Epistemology; Extension (predicate logic); Relation (database); Logical consequence; Philosophy; Mathematics; Computer science","authors":[{"name":"Paul Rusnock","is_ca":true},{"name":"Mark E. Burke","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06011320210642194,"gpt":0.2906486405184537,"spread":0.2305354384120318,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00216143,0.0005108731,0.0004969353,0.001533356,0.002704656,0.003071704,0.0006711957,0.002698981,0.003722667],"category_scores_gemma":[0.006998356,0.0002979897,0.0005624568,0.001277861,0.015736,0.006653326,0.002984838,0.004041844,0.0006267435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003900954,"about_ca_system_score_gemma":0.001620967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003240399,"about_ca_topic_score_gemma":0.002662082,"domain_scores_codex":[0.9981871,0.0008890788,0.00006753104,0.0002902684,0.0004272341,0.0001387091],"domain_scores_gemma":[0.9965987,0.002501326,0.0001614024,0.0002246962,0.0004243166,0.00008955049],"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.00001132133,0.00000650143,0.00005903454,0.00002481533,0.000002860816,0.00002979652,0.0003415938,0.0001118772,0.00003084079,0.9902864,0.006039475,0.003055588],"study_design_scores_gemma":[0.00001041112,0.000004738833,0.0001461481,0.00007299578,0.000003276411,0.00003689462,0.0001190185,0.0001850175,0.00008328551,0.9424474,0.05688543,0.000005484089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02808079,0.0827409,0.07490308,0.1701851,0.005202346,0.00006071386,0.0002245588,0.0001152807,0.6384873],"genre_scores_gemma":[0.8063332,0.02936608,0.02112027,0.03342583,0.00496203,0.0002571942,0.0001455064,0.0002270082,0.1041629],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003900954,"threshold_uncertainty_score":0.02830356,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1970489865","doi":"10.1080/01445340.2013.865912","title":"Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics","year":2013,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia, Okanagan Campus; University of British Columbia","funders":"","keywords":"Philosophy of mathematics; Epistemology; Philosophy; History of mathematics; History and philosophy of science; Philosophy of mathematics education; Mathematics; Mathematics education; Connected Mathematics","authors":[{"name":"Andrew David Irvine","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09148112898383175,"gpt":0.229012245948163,"spread":0.1375311169643313,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003792423,0.0003950052,0.0005650384,0.00273166,0.003879349,0.005642374,0.001174567,0.0022571,0.002809402],"category_scores_gemma":[0.005796338,0.0004504879,0.000488548,0.003180961,0.0302989,0.01541676,0.002047793,0.005371106,0.0003313901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005833738,"about_ca_system_score_gemma":0.003163766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005008846,"about_ca_topic_score_gemma":0.005508853,"domain_scores_codex":[0.9976279,0.001443367,0.00006965839,0.0002546297,0.0004711878,0.0001332914],"domain_scores_gemma":[0.992089,0.006632319,0.0002873602,0.0003386785,0.0004320083,0.0002205908],"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.000004666924,0.000003082607,0.00003796153,0.00001665517,0.000001411817,0.00001585537,0.001407746,0.00007499021,0.0000151882,0.9938969,0.002346031,0.00217953],"study_design_scores_gemma":[0.000008539959,0.00000925105,0.0002294073,0.00009551117,0.000005422036,0.0000751972,0.0008982538,0.0003489402,0.0001093124,0.9354198,0.06279123,0.000009190207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04125898,0.142596,0.05030786,0.1155501,0.001373222,0.00004271232,0.0001930323,0.0001962405,0.648482],"genre_scores_gemma":[0.9099376,0.03714053,0.009882469,0.005358247,0.002192935,0.0000538488,0.00006766648,0.0001377622,0.03522902],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005833738,"threshold_uncertainty_score":0.04232687,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2042193072","doi":"10.1080/01445340902731802","title":"Psychologism and the Development of Russell's Account of Propositions","year":2009,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Psychologism; Proposition; Sketch; Relation (database); Epistemology; Determinative; Section (typography); Philosophy; Variety (cybernetics); Development (topology); Mathematics; Computer science; Linguistics","authors":[{"name":"David Godden","is_ca":false},{"name":"Nicholas Griffin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06539431488709142,"gpt":0.2402142564717103,"spread":0.1748199415846189,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007732976,0.0005390566,0.0006826505,0.004222712,0.003679592,0.007535328,0.001863116,0.003171422,0.002714936],"category_scores_gemma":[0.00538876,0.0008060264,0.0009630403,0.002149654,0.04776935,0.01158387,0.003018464,0.007026006,0.0006434899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008401235,"about_ca_system_score_gemma":0.004789163,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004511478,"about_ca_topic_score_gemma":0.002907191,"domain_scores_codex":[0.9947784,0.002912854,0.0002022508,0.0005999003,0.001175125,0.0003314476],"domain_scores_gemma":[0.995418,0.003094978,0.0002527853,0.0004335157,0.0005863359,0.0002145338],"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.000001694428,0.000001843873,0.00001219797,0.000005700585,9.172847e-7,0.000009376964,0.0004222597,0.00008939319,0.00001487659,0.9985209,0.0003178462,0.0006030385],"study_design_scores_gemma":[0.00000457991,0.000004061288,0.00003766855,0.00001446598,0.000001610795,0.00002646189,0.000112778,0.0003593431,0.0000433354,0.9871069,0.01228413,0.000004575225],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02109441,0.01785203,0.2846087,0.05184239,0.0009324282,0.00009367111,0.0002261699,0.0004872065,0.622863],"genre_scores_gemma":[0.8636007,0.008002546,0.09353953,0.006514884,0.001375468,0.0001757038,0.0001378075,0.0002919768,0.02636136],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008401235,"threshold_uncertainty_score":0.06095546,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2100157366","doi":"10.1080/01445340.2013.806396","title":"Frege, Carnap, and Explication: ‘Our Concern Here Is to Arrive at a Concept of Number Usable for the Purpose of Science’","year":2013,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Explication; Principle of compositionality; Metaphysics; Epistemology; Philosophy; Philosophy of science","authors":[{"name":"Gregory Lavers","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0867136572106655,"gpt":0.2560315030209044,"spread":0.169317845810239,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006611743,0.0008644707,0.0009042455,0.002964239,0.005220351,0.006707446,0.001654061,0.007442981,0.003625199],"category_scores_gemma":[0.009209926,0.0004644913,0.0007856484,0.002481938,0.05108763,0.01892946,0.003839119,0.007511264,0.0007585208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00569495,"about_ca_system_score_gemma":0.00227483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006205822,"about_ca_topic_score_gemma":0.003127079,"domain_scores_codex":[0.9965541,0.002144694,0.00012196,0.0004920921,0.0004516677,0.0002353467],"domain_scores_gemma":[0.9967363,0.002328595,0.0002112567,0.0003142032,0.0003091704,0.0001004615],"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.000004364609,0.000001380539,0.0000224641,0.00001816473,0.000001877931,0.00001787285,0.001303829,0.000042201,0.00001604133,0.9947459,0.002139774,0.001686087],"study_design_scores_gemma":[0.000004708238,0.000008161977,0.0000794372,0.00008178234,0.00000442077,0.00007856041,0.0007396671,0.0001329981,0.00006563022,0.9493237,0.04946671,0.00001424311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03477012,0.06860781,0.1565552,0.349115,0.005251674,0.00006512559,0.0001624075,0.0003367583,0.3851359],"genre_scores_gemma":[0.880838,0.01253157,0.03088859,0.03233098,0.003657664,0.000275635,0.0001038571,0.0003018794,0.03907171],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007442981,"threshold_uncertainty_score":0.04131997,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1971038675","doi":"10.1080/01445340701550817","title":"Leśniewski and Russell's Paradox: Some Problems","year":2008,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"Killam Trusts","keywords":"Mereology; Distributive property; Philosophy; Element (criminal law); Interpretation (philosophy); Epistemology; Style (visual arts); Set (abstract data type); Mathematical economics; Mathematics; Linguistics; Law; Literature; Computer science; Pure mathematics; Political science; Art","authors":[{"name":"Rafał Urbaniak","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0763039453114484,"gpt":0.2610951026989287,"spread":0.1847911573874803,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01383584,0.0009566111,0.002306884,0.003775299,0.007605783,0.006917553,0.004623813,0.01253491,0.01061438],"category_scores_gemma":[0.02500598,0.0008180423,0.001133838,0.005566191,0.02376061,0.03761186,0.007224814,0.01668707,0.001677506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006668682,"about_ca_system_score_gemma":0.004543905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006228067,"about_ca_topic_score_gemma":0.004492808,"domain_scores_codex":[0.9928601,0.003789656,0.0003864494,0.0008040666,0.001695057,0.0004646439],"domain_scores_gemma":[0.984177,0.01227696,0.0006780536,0.0007816514,0.001468054,0.000618302],"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.00001326114,0.00001874454,0.00005265314,0.00004997481,0.000005432134,0.0000948318,0.0006214141,0.0001273072,0.00001296089,0.9808362,0.01313289,0.005034386],"study_design_scores_gemma":[0.00001289313,0.000002655413,0.00003981759,0.00004083962,0.00000128266,0.00007768512,0.0004724814,0.0002092645,0.00001648946,0.98233,0.01678805,0.00000852418],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.009179079,0.05026939,0.02647834,0.8383444,0.00467012,0.00003988902,0.0001285426,0.0001730979,0.0707171],"genre_scores_gemma":[0.6007765,0.06934179,0.0465427,0.1891507,0.03039981,0.0005771544,0.000250042,0.0006164624,0.0623448],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01383584,"threshold_uncertainty_score":0.07317173,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2432866249","doi":"10.1080/01445340.2016.1186884","title":"Fred Sommers’ Contributions to Formal Logic","year":2016,"lang":"en","type":"article","venue":"History and Philosophy of 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":"Bishop's University","funders":"","keywords":"Quine; Epistemology; Philosophy; Subject (documents); Value (mathematics); Classics; Sociology; History; Mathematics; Computer science; Library science","authors":[{"name":"George Englebretsen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04953838315809034,"gpt":0.2991883807602036,"spread":0.2496499976021133,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00346896,0.0007644945,0.00049995,0.002538179,0.002382328,0.002877962,0.0007816081,0.001770435,0.006662847],"category_scores_gemma":[0.0102201,0.0006180925,0.0009868216,0.001518843,0.007929531,0.004813892,0.001759932,0.004224898,0.001688137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007839842,"about_ca_system_score_gemma":0.00297278,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007746556,"about_ca_topic_score_gemma":0.005692535,"domain_scores_codex":[0.9967998,0.001137922,0.0001892371,0.0005331293,0.001133952,0.0002058729],"domain_scores_gemma":[0.9941004,0.00435731,0.0001340662,0.0003083818,0.0008857543,0.0002141234],"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.00001372745,0.00001231117,0.0001498209,0.00005930718,0.00001347169,0.00006389072,0.0005854752,0.001084863,0.0001189574,0.9329869,0.04471314,0.0201982],"study_design_scores_gemma":[0.000007360868,0.000006349514,0.0001396005,0.0000995209,0.00000693777,0.0001087876,0.00008163181,0.00142169,0.0002081109,0.6705482,0.3273551,0.00001679966],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"review","genre_scores_codex":[0.01166617,0.1538627,0.1508955,0.1625978,0.01398603,0.00005105783,0.000641587,0.0007085741,0.5055906],"genre_scores_gemma":[0.4816617,0.06709596,0.09188475,0.01837887,0.01575265,0.0001178242,0.0006284074,0.0004737306,0.3240061],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.007839842,"threshold_uncertainty_score":0.05688232,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4407039891","doi":"10.1080/01445340.2024.2448793","title":"Is Aristotle’s Syllogistic a Logic?","year":2025,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Classical Philosophy and Thought","field":"Arts and Humanities","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 Alberta","funders":"","keywords":"Syllogism; Epistemology; Interpretation (philosophy); Philosophy; Axiom; Sequent; Sequent calculus; Natural deduction; Mathematics; Linguistics; Mathematical proof; Discrete mathematics","authors":[{"name":"Phil Corkum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09481924021408294,"gpt":0.2531865053071748,"spread":0.1583672650930918,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001988942,0.0002521475,0.0005166002,0.001364717,0.003258366,0.004553617,0.0008440177,0.001936197,0.005544735],"category_scores_gemma":[0.003635353,0.0002217047,0.000416736,0.001290497,0.01356489,0.007088111,0.001106298,0.002037867,0.001293043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004313197,"about_ca_system_score_gemma":0.00342055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01203088,"about_ca_topic_score_gemma":0.01155139,"domain_scores_codex":[0.9983023,0.0005905428,0.00005616837,0.0002583799,0.0005729272,0.0002196526],"domain_scores_gemma":[0.9986601,0.0006254552,0.0001157849,0.0001389459,0.0003264228,0.0001332412],"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.000004467791,0.000002614294,0.00006277292,0.000008731725,0.000001753364,0.00001628649,0.0003080321,0.00004469054,0.00002387315,0.9924304,0.003547754,0.003548632],"study_design_scores_gemma":[0.000004391633,0.000004326756,0.0002322555,0.00002641106,0.000002106722,0.00003136379,0.0002795896,0.0005271254,0.00005109713,0.9492639,0.04957076,0.000006674316],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03875256,0.01619118,0.09300313,0.2054567,0.002443111,0.00004415069,0.0004010457,0.0003302812,0.6433779],"genre_scores_gemma":[0.8835086,0.007407652,0.03139183,0.02006107,0.003651519,0.00008614927,0.000219967,0.0001459553,0.0535273],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01203088,"threshold_uncertainty_score":0.03129458,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2092096394","doi":"10.1080/01445340.2013.817076","title":"Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication","year":2013,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Relation (database); Sketch; Philosophy; Epistemology; TRACE (psycholinguistics); Inference; CLARITY; Classics; History; Linguistics; Mathematics; Computer science","authors":[{"name":"Francine F. Abeles","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03380008430535854,"gpt":0.2223133626463594,"spread":0.1885132783410009,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001276501,0.0002469994,0.0002252982,0.0009208509,0.002228301,0.002518958,0.0003691986,0.001064573,0.003785874],"category_scores_gemma":[0.002061633,0.0002727531,0.0001725375,0.001435494,0.008146264,0.003142253,0.0009211496,0.001614952,0.0005071626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0124729,"about_ca_system_score_gemma":0.002459802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.1089667,"about_ca_topic_score_gemma":0.09322727,"domain_scores_codex":[0.9990795,0.000468165,0.0000407249,0.0001095081,0.0001761569,0.0001259582],"domain_scores_gemma":[0.9991314,0.0004815656,0.00005315437,0.00005534781,0.0002256327,0.00005303558],"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.00002074213,0.00000313686,0.00008323099,0.00002239356,0.000001483274,0.00004688553,0.001498318,0.0002336741,0.0001174456,0.9842717,0.007910707,0.005790125],"study_design_scores_gemma":[0.00002116549,0.00001690241,0.001603968,0.000132881,0.00001160172,0.00009735882,0.001205832,0.001306831,0.0003409268,0.6050512,0.3901876,0.00002370865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.09141119,0.06348556,0.04724639,0.07951934,0.002087966,0.00002868643,0.0005146175,0.0002370647,0.7154691],"genre_scores_gemma":[0.8592994,0.01615194,0.007153466,0.006154972,0.001252927,0.00003930397,0.0001704523,0.0001012904,0.1096763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1089667,"threshold_uncertainty_score":0.2166649,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3002744517","doi":"10.1080/01445340.2019.1693246","title":"The Principle of Contradiction and Symbolic Logic","year":2020,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Classical Philosophy and Thought","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Contradiction; Law of excluded middle; Philosophy; Mathematical logic; Epistemology; Calculus (dental); Translation (biology); Mathematics; Algorithm; Medicine; Chemistry","authors":[{"name":"Jan Łukasiewicz","is_ca":false},{"name":"Adam Trybus","is_ca":false},{"name":"Bernard Linsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09184441441257152,"gpt":0.2274576648006361,"spread":0.1356132503880646,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009236258,0.000483067,0.0004421325,0.001160259,0.001499616,0.00436033,0.0006689191,0.0013951,0.01220352],"category_scores_gemma":[0.003217171,0.0002622148,0.0004645311,0.001208081,0.008084876,0.005332547,0.001919558,0.00299246,0.002824711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003538619,"about_ca_system_score_gemma":0.001701595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002271989,"about_ca_topic_score_gemma":0.002170043,"domain_scores_codex":[0.9990242,0.0003896495,0.00006200886,0.000137646,0.0002795229,0.0001069978],"domain_scores_gemma":[0.9989688,0.0006355208,0.00006800729,0.00009995557,0.0001839804,0.00004367031],"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.000004623492,0.000001907345,0.00001694532,0.00004690258,0.000001758914,0.00002584114,0.0005542567,0.0000429157,0.00005224059,0.9833881,0.009900767,0.005963833],"study_design_scores_gemma":[0.000008986342,0.00001139752,0.0002043706,0.0001087266,0.000003753771,0.0001317469,0.0003536872,0.0003434301,0.0001871898,0.6452815,0.3533573,0.000007927621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.009217012,0.02571614,0.05018892,0.04740875,0.003545033,0.00005375961,0.0004374685,0.0002299191,0.863203],"genre_scores_gemma":[0.6885937,0.0256573,0.0310781,0.01220771,0.00536487,0.0003492611,0.0007450952,0.0005173567,0.2354866],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01220352,"threshold_uncertainty_score":0.04082483,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W7128201811","doi":"10.1080/01445340.2025.2506332","title":"Venn and Existential Import: Development of the Modern Doctrine of Categorical Propositions","year":2025,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Education, Law, and Society","field":"Social Sciences","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":"Social Sciences and Humanities Research Council","keywords":"Venn diagram; Existentialism; Categorical variable; Development (topology); Doctrine","authors":[{"name":"Byeong-uk Yi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04780183893255752,"gpt":0.2968511544116201,"spread":0.2490493154790626,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006329717,0.0004297605,0.0006795459,0.002677116,0.002936822,0.006440723,0.001651927,0.002698534,0.004499629],"category_scores_gemma":[0.00824549,0.0004850703,0.0006646857,0.0017376,0.04147197,0.01309812,0.004828583,0.007228041,0.00053009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005342534,"about_ca_system_score_gemma":0.003966708,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002836348,"about_ca_topic_score_gemma":0.00321341,"domain_scores_codex":[0.9965612,0.002189008,0.0001091929,0.0004465159,0.0005061731,0.0001878345],"domain_scores_gemma":[0.9942496,0.003959115,0.0002589869,0.000724925,0.0006339746,0.000173362],"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.000001415875,0.000001272964,0.00001663521,0.000004637413,4.682536e-7,0.000003724756,0.0003025859,0.00003353697,0.000007874105,0.9987926,0.0001544793,0.0006806923],"study_design_scores_gemma":[0.000002387346,0.00000243522,0.00003602176,0.00002288379,9.093358e-7,0.00001414029,0.0001225236,0.0002276072,0.00002725719,0.9917144,0.007826542,0.000002709132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0422797,0.01620924,0.1820539,0.05643518,0.001046903,0.00005744887,0.000186093,0.0001471039,0.7015844],"genre_scores_gemma":[0.9384147,0.004153702,0.02772061,0.003906894,0.001006469,0.0001030817,0.00008631873,0.0001143811,0.0244938],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006440723,"threshold_uncertainty_score":0.03876293,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396512806","doi":"10.1080/01445340.2024.2336404","title":"Ruth Barcan Marcus on the Deduction Theorem in Modal Logic","year":2024,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Modal logic; Normal modal logic; Modal; Mathematics; Sequent calculus; Calculus (dental); Philosophy; Geometry; Medicine; Materials science","authors":[{"name":"Roberta Ballarin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04270484688803463,"gpt":0.2317749303856146,"spread":0.18907008349758,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002459373,0.0003578425,0.0005325716,0.001520205,0.003087921,0.002709881,0.0007432246,0.001469689,0.003361559],"category_scores_gemma":[0.005366449,0.0003987456,0.0005057872,0.001142693,0.01076928,0.006529638,0.002061778,0.003730311,0.001057207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003394379,"about_ca_system_score_gemma":0.001744115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007103541,"about_ca_topic_score_gemma":0.003736792,"domain_scores_codex":[0.9982932,0.0007984204,0.00004915315,0.000263559,0.0004656277,0.0001299913],"domain_scores_gemma":[0.9962225,0.003116338,0.0001154563,0.0001444564,0.0003135113,0.00008776233],"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.0000133012,0.000007166391,0.0000468919,0.00004056956,0.000003071651,0.00004876046,0.0003753095,0.0004445731,0.0001280775,0.9840188,0.007650919,0.007222495],"study_design_scores_gemma":[0.00001251495,0.00001237716,0.0001257687,0.00008603411,0.000006724512,0.00006886714,0.0000833903,0.001561458,0.0004074547,0.9019929,0.09562179,0.00002075865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.03002113,0.1339671,0.1794116,0.1978939,0.005535369,0.00008636674,0.0002017264,0.0006390905,0.4522437],"genre_scores_gemma":[0.7815281,0.04835889,0.07546692,0.02307878,0.008364756,0.0001964296,0.0001310719,0.0003401222,0.062535],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.007103541,"threshold_uncertainty_score":0.02462804,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2912929253","doi":"10.1080/01445340.2018.1554471","title":"Topos Theory in Montréal in the 1970s: My Personal Involvement","year":2019,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Cultural Insights and Digital Impacts","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"Université de Montréal","funders":"","keywords":"Topos theory; Humanities; Philosophy; Sociology; Art; Literature","authors":[{"name":"Gonzalo E. Reyes","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.135058688402539,"gpt":0.2401446229372409,"spread":0.1050859345347019,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001741038,0.0003917326,0.0004002635,0.001368402,0.0123837,0.005746924,0.001085604,0.001397083,0.01623477],"category_scores_gemma":[0.004834706,0.0004268005,0.0002347951,0.003091646,0.01258756,0.003987304,0.00247708,0.002704211,0.0006274661],"about_ca_system_candidate":true,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.1135995,"about_ca_system_score_gemma":0.05528049,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.9600378,"about_ca_topic_score_gemma":0.9776888,"domain_scores_codex":[0.9985012,0.0004356885,0.00002594932,0.0002092147,0.0003090854,0.0005188592],"domain_scores_gemma":[0.997896,0.0008515104,0.0001190199,0.00008419393,0.0004903662,0.0005589465],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.00005618274,0.00003817732,0.002966614,0.00008581579,0.00001321907,0.0004991542,0.0378406,0.001120186,0.0003089508,0.8813888,0.03817758,0.0375047],"study_design_scores_gemma":[0.00002202676,0.00002850279,0.01354949,0.0002145736,0.00002500045,0.0001461992,0.0306653,0.001593758,0.001149674,0.06229059,0.8902432,0.00007163571],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2203933,0.02696311,0.006829289,0.09922114,0.0008549344,0.00007967616,0.000710393,0.0001789226,0.6447692],"genre_scores_gemma":[0.8484975,0.007369799,0.001229201,0.001461872,0.0001501211,0.00002878776,0.0000870586,0.0001081137,0.1410676],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9876163,"threshold_uncertainty_score":0.8242258,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3172612205","doi":"10.1080/01445340.2021.1924570","title":"A Pragmatic-Semiotic Defence of Bivalence","year":2021,"lang":"en","type":"article","venue":"History and Philosophy of Logic","topic":"Pragmatism in Philosophy and Education","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Kwantlen Polytechnic University","funders":"","keywords":"Semiotics; Notation; Epistemology; Argument (complex analysis); Philosophy; Intuitionistic logic; Linguistics; Computer science; Propositional calculus","authors":[{"name":"Marc Champagne","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06448543821641771,"gpt":0.2340536066031685,"spread":0.1695681683867508,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006952133,0.0007334156,0.0006667731,0.001613436,0.00472957,0.008189122,0.001636643,0.003687462,0.0054915],"category_scores_gemma":[0.0086403,0.0005933475,0.0009907853,0.001172066,0.02745755,0.01091543,0.007867006,0.006335282,0.001127289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003880727,"about_ca_system_score_gemma":0.002287851,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001790422,"about_ca_topic_score_gemma":0.00139049,"domain_scores_codex":[0.9919187,0.004747347,0.0002858332,0.0009615911,0.001603913,0.0004826012],"domain_scores_gemma":[0.9960715,0.001875423,0.0002558724,0.000824563,0.0007327991,0.0002399718],"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.000002048736,0.000001506086,0.00001227116,0.000004428255,6.532512e-7,0.000007026823,0.0002740287,0.00002016578,0.00004541116,0.9990795,0.0001913112,0.0003616599],"study_design_scores_gemma":[0.000009676017,0.00001271703,0.00004504156,0.00002357801,0.000003098737,0.0000535389,0.0002773825,0.0004255935,0.0002426426,0.9755104,0.02338893,0.000007469213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02940512,0.002617115,0.2795782,0.04205769,0.0009439994,0.00008522047,0.0001492524,0.0002391695,0.6449242],"genre_scores_gemma":[0.9260776,0.0006075093,0.03406918,0.004133518,0.0004303484,0.0002234974,0.00006431283,0.0001673759,0.03422675],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008189122,"threshold_uncertainty_score":0.03676683,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}