{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009915851,0.0002314094,0.000621718,0.0001351696,0.0001060647,0.000003134652,0.0001466742,0.0001465171,0.0002406745],"category_scores_gemma":[0.0004935397,0.0002106415,0.0001322484,0.00008091702,0.0007534339,0.00008646171,0.00003422713,0.000181725,0.000006765869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008473309,"about_ca_system_score_gemma":0.00006788469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002284438,"about_ca_topic_score_gemma":0.000002159238,"domain_scores_codex":[0.9985421,0.0001830964,0.0005591033,0.0002629142,0.0002781765,0.0001745619],"domain_scores_gemma":[0.9984246,0.0004936692,0.0004448346,0.0004104411,0.0001109991,0.0001154412],"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.00004720793,0.0002536298,0.00005193807,0.0009030629,0.00004791656,0.000008338508,0.001637151,0.00000132571,0.001006236,0.9941291,0.001741785,0.0001723304],"study_design_scores_gemma":[0.000467411,0.0001855253,0.00001634298,0.0001039814,0.0001405476,0.00003269317,0.00006285054,0.00001219312,0.0007647139,0.9145823,0.08342635,0.0002051622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2690009,0.02665227,0.00371177,0.0002507981,0.0009141375,0.0006424806,0.0000466482,0.0001310329,0.6986499],"genre_scores_gemma":[0.9819564,0.0001847255,0.01602745,0.0001816973,0.00005545139,0.000006299742,0.000001249138,0.00002945636,0.001557288],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7129554,"threshold_uncertainty_score":0.8589712,"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002824672,0.0001316275,0.0001929964,0.00005210235,0.00007761241,0.000004155786,0.0001587296,0.0001492994,0.00165222],"category_scores_gemma":[0.00007350873,0.0001033049,0.00003832447,0.0000542664,0.002341619,0.0000459096,0.00003970121,0.0003280369,0.00005811017],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001386918,"about_ca_system_score_gemma":0.00001566469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008151585,"about_ca_topic_score_gemma":8.433999e-7,"domain_scores_codex":[0.9990956,0.00007583721,0.0001687373,0.0003541644,0.0001252054,0.0001804605],"domain_scores_gemma":[0.999287,0.000214298,0.00007713745,0.0002408348,0.00002376553,0.0001569406],"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.0001143598,0.0001320163,0.0001736219,0.00001215716,0.000006603841,0.00005005865,0.0003130098,6.261654e-8,0.009209642,0.9889278,0.0001931533,0.0008675492],"study_design_scores_gemma":[0.0003145364,0.0005274244,0.002868045,0.00001042543,0.00001051294,0.00009323442,0.00001101101,0.000003093211,0.0002188257,0.9857444,0.01005581,0.0001426418],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3411857,0.0008105484,0.0000182159,0.001900067,0.0005930803,0.0000888627,0.000009099005,0.00002992839,0.6553645],"genre_scores_gemma":[0.9976493,0.00001885858,0.0001951612,0.001827933,0.0001449116,0.000008879844,0.00000120435,0.000004829801,0.0001489135],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6564636,"threshold_uncertainty_score":0.9992604,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006126759,0.0002949008,0.0005766767,0.0003479753,0.0002045311,0.00001800403,0.0004557356,0.00007395788,0.0008614123],"category_scores_gemma":[0.00003692679,0.0002102344,0.0001109356,0.00006289332,0.002649348,0.0003315555,0.00007308044,0.0002757484,0.00002674662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001899871,"about_ca_system_score_gemma":0.00007765325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004116083,"about_ca_topic_score_gemma":0.0001492875,"domain_scores_codex":[0.9981626,0.0001822712,0.0006231476,0.0003898614,0.0003989945,0.0002431404],"domain_scores_gemma":[0.9987271,0.0002086291,0.0003867076,0.0004651781,0.0001239985,0.0000883502],"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.00002357236,0.001236691,0.0003665193,0.0003162615,0.00002534079,0.000012918,0.1260108,0.000001352275,0.0001179874,0.8669546,0.004736129,0.0001978616],"study_design_scores_gemma":[0.0008854822,0.001235063,0.001084791,0.0001037331,0.00009690435,0.00001379851,0.005088608,0.00004661761,0.000002971253,0.8423395,0.1486775,0.0004251175],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3230731,0.02111275,0.000003693017,0.001204072,0.001106563,0.001031383,0.00001582499,0.00004823323,0.6524043],"genre_scores_gemma":[0.9975711,0.0001362532,0.00009514168,0.0008502936,0.0003554865,0.00006003369,0.000002848959,0.0000171405,0.0009117781],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6744978,"threshold_uncertainty_score":0.9761631,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002928507,0.0001018033,0.0002486064,0.000106866,0.0002246192,0.00000476459,0.0001493949,0.00003068121,0.0001310037],"category_scores_gemma":[0.000009009173,0.00006695832,0.00005559222,0.00002475966,0.002581858,0.000098919,0.00001663743,0.00008013881,0.00000212187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003134131,"about_ca_system_score_gemma":0.00005872238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001465169,"about_ca_topic_score_gemma":0.00001508977,"domain_scores_codex":[0.9992458,0.00004214962,0.0003212276,0.0001502045,0.000152363,0.00008829639],"domain_scores_gemma":[0.9994637,0.00004313717,0.000224899,0.0001560866,0.00007891427,0.00003328141],"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.00009239506,0.0001412239,0.00001123544,0.00005896503,0.00001214837,5.062253e-7,0.03653246,5.310376e-7,0.0004910805,0.9609017,0.0006918279,0.001065976],"study_design_scores_gemma":[0.0009987046,0.0004118607,0.001328475,0.00008183417,0.00005760298,0.000005124008,0.0005287753,0.000006953436,0.0001604726,0.8434795,0.152743,0.0001976695],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1255193,0.01307695,0.00003345305,0.002738028,0.0005339394,0.0003230658,0.00002190263,0.00002645378,0.8577269],"genre_scores_gemma":[0.9986843,0.00008445292,0.000348043,0.0004745593,0.000111295,0.000005060933,0.000002073767,0.000003004338,0.0002872447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.873165,"threshold_uncertainty_score":0.9512965,"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.0001969081,0.0001243185,0.0002705177,0.00008064677,0.0004422411,0.00001360822,0.0002929346,0.00003212713,0.0006733437],"category_scores_gemma":[0.00002592438,0.00009030329,0.00007081962,0.00005617257,0.004125085,0.0002566831,0.00007088628,0.00005528793,0.00001391238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009140262,"about_ca_system_score_gemma":0.0000928401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003495711,"about_ca_topic_score_gemma":0.00004094424,"domain_scores_codex":[0.999054,0.00002024735,0.0002745629,0.0002706739,0.0002251096,0.000155441],"domain_scores_gemma":[0.9989603,0.00008392517,0.0002376599,0.0002737474,0.0003438803,0.0001004744],"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.0000587066,0.00008509264,0.0003478236,0.0001698329,0.00002422435,3.481993e-7,0.08588475,0.000004069823,0.003096906,0.8789194,0.03044353,0.0009653725],"study_design_scores_gemma":[0.0008679834,0.0007489657,0.000640311,0.0001023054,0.00008982875,0.000007976513,0.007262429,0.00006925248,0.002188422,0.2332965,0.7543394,0.0003866091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4674249,0.02444654,0.00005293534,0.006996806,0.001747206,0.002099484,0.0003689624,0.00004045602,0.4968227],"genre_scores_gemma":[0.9957533,0.00004873638,0.000121161,0.0007950432,0.0002516367,0.00006387763,0.000001652041,0.000006890515,0.002957667],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7238959,"threshold_uncertainty_score":0.9985851,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002217302,0.0001510135,0.000261252,0.00007350806,0.0001415862,0.000002527772,0.0001571166,0.0001155035,0.0004534402],"category_scores_gemma":[0.00001901992,0.0001252793,0.00005352072,0.0000770152,0.001884638,0.000125405,0.00004286556,0.0001630587,0.00005817185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000255579,"about_ca_system_score_gemma":0.00001806692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001801046,"about_ca_topic_score_gemma":3.306889e-7,"domain_scores_codex":[0.9989497,0.0001004352,0.0002307413,0.0003598474,0.0001397967,0.0002194542],"domain_scores_gemma":[0.9993823,0.0001011995,0.0001042064,0.0002366521,0.00002041218,0.0001552195],"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.00005889753,0.0001404637,0.0004479928,0.00003881582,0.00001309946,0.0000362377,0.001762451,8.032974e-7,0.0003724131,0.9961352,0.0005804492,0.0004131739],"study_design_scores_gemma":[0.0003944152,0.0003682857,0.003191573,0.00001940028,0.0000146686,0.0001347843,0.00001066572,0.000005882801,0.00002878388,0.9789668,0.01669413,0.0001706163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2246504,0.03332554,0.00006117378,0.001710972,0.0006730449,0.0002464787,0.00001131194,0.00006758398,0.7392535],"genre_scores_gemma":[0.9979565,0.0004124288,0.0001253058,0.000865286,0.0001782516,0.00001437898,0.000001709145,0.000007828156,0.0004383039],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7733061,"threshold_uncertainty_score":0.6944029,"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003260289,0.000133682,0.0002218661,0.00008915849,0.0001155638,0.00000262041,0.0002350344,0.0001155258,0.002141385],"category_scores_gemma":[0.0001270594,0.0000875578,0.00008271136,0.0001039634,0.0008239914,0.0001230679,0.00006706094,0.00008937886,0.0003408127],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009867659,"about_ca_system_score_gemma":0.00002436424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001115654,"about_ca_topic_score_gemma":9.676066e-7,"domain_scores_codex":[0.9988929,0.0001069196,0.0002303076,0.0003064944,0.0001332571,0.0003300946],"domain_scores_gemma":[0.9991373,0.0001972132,0.00008528335,0.0002781298,0.00006907123,0.0002330241],"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.0001423878,0.0001185827,0.00008174248,0.000006045257,0.00001401352,0.000009429159,0.0004022203,1.810227e-7,0.004028218,0.991899,0.001724557,0.001573588],"study_design_scores_gemma":[0.0006251556,0.0005189831,0.00157753,0.00002347171,0.00001664221,0.0000146977,0.00001267232,6.390519e-7,0.0001640778,0.9694698,0.02742073,0.0001556175],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02625494,0.002572058,0.007364061,0.02354959,0.001387206,0.0003315505,0.0002144533,0.00009028996,0.9382359],"genre_scores_gemma":[0.9966749,0.00001450918,0.0001546503,0.002468177,0.0002112728,0.00002329466,0.000002056981,0.000005557843,0.0004456055],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9704199,"threshold_uncertainty_score":0.9987708,"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001176621,0.000190302,0.0003416066,0.0001510811,0.0002180473,0.00001602752,0.0001768735,0.00009059359,0.001791241],"category_scores_gemma":[0.00004910292,0.0001588938,0.0001454393,0.00004185352,0.001288053,0.00009073318,0.00006470575,0.0002018154,0.00005353277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008312218,"about_ca_system_score_gemma":0.00004635304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005855326,"about_ca_topic_score_gemma":0.00001984774,"domain_scores_codex":[0.9990377,0.00005356595,0.000307762,0.0003025541,0.0001299811,0.0001683684],"domain_scores_gemma":[0.9993322,0.0001404233,0.0001233003,0.0002609435,0.00007949833,0.00006362065],"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.00006598828,0.0001475559,0.00004138153,0.0001917223,0.00003974641,0.000009172065,0.002343646,6.406697e-7,0.00004099154,0.977491,0.01917986,0.0004483178],"study_design_scores_gemma":[0.0001920881,0.0001019782,0.00004711729,0.00004793937,0.00004314191,0.00000106542,0.00004515377,0.00001069857,0.00001078395,0.6152493,0.384142,0.0001086752],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00141638,0.01066108,0.00006759146,0.00691132,0.001135358,0.0001392518,0.00004407861,0.00007762717,0.9795473],"genre_scores_gemma":[0.9816667,0.00008781658,0.00007538209,0.006359196,0.000462647,0.00001226982,0.000007474438,0.00000867205,0.01131983],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9802504,"threshold_uncertainty_score":0.9991212,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001657676,0.0001105356,0.0001961737,0.0000596186,0.00008810491,0.00004137546,0.0001960229,0.00007896042,0.00009287868],"category_scores_gemma":[0.00002683699,0.0001028557,0.00004493977,0.0000543062,0.0002492143,0.0001773608,0.00005650893,0.00008307475,0.00004817716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004330528,"about_ca_system_score_gemma":0.00001945235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006974349,"about_ca_topic_score_gemma":0.00000114564,"domain_scores_codex":[0.9990764,0.00007649243,0.000217309,0.0003223659,0.0001495231,0.0001579046],"domain_scores_gemma":[0.9993764,0.00008726892,0.0001379251,0.0002266621,0.00006767186,0.0001041183],"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.000002422081,0.0000822899,0.0001588058,0.00004454265,0.000007227415,0.000004210772,0.0001168085,8.086017e-7,0.0002824112,0.9916035,0.002792982,0.004903968],"study_design_scores_gemma":[0.0002485694,0.0003477657,0.008643707,0.00001210756,0.00000649126,0.00007984559,0.000008440997,0.00009444108,0.00003637323,0.95674,0.03361745,0.0001648164],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1697457,0.1348711,0.07757099,0.01928413,0.004614861,0.004815002,0.00005673521,0.0013102,0.5877313],"genre_scores_gemma":[0.9977647,0.0002641226,0.0009722025,0.0007253851,0.00009091407,0.00003287221,0.000008631705,0.000004904908,0.0001362611],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.828019,"threshold_uncertainty_score":0.4194336,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009116603,0.0001003709,0.0002108843,0.00002279269,0.000193549,0.000009102768,0.00008461001,0.00003867569,0.0001133776],"category_scores_gemma":[0.00003352685,0.00006730372,0.00005991636,0.00001798733,0.001118065,0.00007058102,0.00003103229,0.0001127715,0.00000344559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001397054,"about_ca_system_score_gemma":0.00001364156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006496377,"about_ca_topic_score_gemma":0.000003999399,"domain_scores_codex":[0.9993905,0.00004972881,0.0002239624,0.0001462557,0.00009954855,0.00008997994],"domain_scores_gemma":[0.9995317,0.0001209124,0.0001403087,0.00009845034,0.0000385565,0.00007007735],"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.00008903191,0.00003467515,0.00004104833,0.00009056932,0.00002154141,0.000001616644,0.00290784,7.582093e-7,0.0001973519,0.9957744,0.0004425966,0.0003986084],"study_design_scores_gemma":[0.0002826264,0.0003684323,0.0001805635,0.00001655918,0.0000338847,0.000001893525,0.00006358406,0.00005515278,0.00003717102,0.5473388,0.4515368,0.00008450914],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1630286,0.0507405,0.00004514141,0.02504334,0.001101813,0.000561648,0.00009380217,0.0001192776,0.7592659],"genre_scores_gemma":[0.9980149,0.0003203631,0.00001287453,0.0009256767,0.0005352305,0.00000442369,0.000002478598,0.000005921264,0.0001781732],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8349863,"threshold_uncertainty_score":0.4119557,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000227769,0.00004237468,0.0001117256,0.00002330707,0.0002181035,0.0000017157,0.0000817539,0.00004947758,0.00002928825],"category_scores_gemma":[0.00002028877,0.00003313932,0.00004216063,0.00007989431,0.0007152109,0.00003219606,0.00002343983,0.00003724577,7.193495e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000691296,"about_ca_system_score_gemma":0.0003711242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001170058,"about_ca_topic_score_gemma":0.0000738405,"domain_scores_codex":[0.999504,0.00006148014,0.0001762747,0.00008609367,0.0001129435,0.000059264],"domain_scores_gemma":[0.9996938,0.00003434154,0.0001038363,0.00007586205,0.00006688079,0.00002531445],"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.0000136082,0.0001983383,0.004927479,0.0001717382,0.00002970676,1.61381e-7,0.06051862,9.651671e-7,0.00079938,0.931447,0.001203581,0.0006894699],"study_design_scores_gemma":[0.0004410387,0.00007601044,0.01836082,0.0000788843,0.00009833231,0.000001026568,0.00188999,0.00001349814,0.000621882,0.9155892,0.06267439,0.0001548967],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7767379,0.006523089,0.0001951431,0.003448191,0.0007808316,0.0003557667,0.000007259365,0.00001475734,0.2119371],"genre_scores_gemma":[0.9983015,0.0001010334,0.0003624058,0.00005327445,0.00004633492,0.000004992453,0.000001559177,0.000001217427,0.001127661],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2215636,"threshold_uncertainty_score":0.2635224,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004441292,0.0001402485,0.0001568262,0.000147227,0.00008278416,0.00002705198,0.0003838383,0.00007430964,0.00007764064],"category_scores_gemma":[0.00003708203,0.00008738244,0.00007396244,0.0001915774,0.0002543869,0.0001432066,0.00008061295,0.000234056,0.00004203029],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001386995,"about_ca_system_score_gemma":0.00006670353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001409453,"about_ca_topic_score_gemma":0.000003178638,"domain_scores_codex":[0.9990156,0.0001553844,0.0001654935,0.0003497654,0.0001482467,0.000165554],"domain_scores_gemma":[0.9993987,0.0001804709,0.00004879314,0.0002991902,0.00002384542,0.00004898235],"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.00001424921,0.00005560927,0.00004479289,0.0000423428,0.000006462183,0.0000250043,0.001479291,0.00001939134,0.0001448451,0.9927154,0.00147392,0.00397874],"study_design_scores_gemma":[0.0001104841,0.0002673588,0.0006352638,0.00006643422,0.000006303748,0.00002658756,0.00002347871,0.002841136,0.00008637566,0.9854764,0.01032223,0.0001379205],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.07024043,0.03425795,0.008259621,0.01204565,0.00403602,0.0004994546,0.000006407653,0.0003441295,0.8703104],"genre_scores_gemma":[0.9985574,0.0001002903,0.0003176288,0.0004639293,0.0002077625,0.00001243248,0.000001072882,0.000005899337,0.0003335292],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.928317,"threshold_uncertainty_score":0.3563353,"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002267104,0.00008077796,0.0001179996,0.00006008806,0.0000197183,0.00002282,0.0002313613,0.00003228128,0.00002511202],"category_scores_gemma":[0.000008055193,0.00004634619,0.00003665663,0.00008019129,0.0000735285,0.0003954754,0.00005559557,0.00008058044,0.000009415974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005906623,"about_ca_system_score_gemma":0.00002129818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000147346,"about_ca_topic_score_gemma":0.00004985137,"domain_scores_codex":[0.9994004,0.00006896309,0.0001323189,0.0001603579,0.0001323683,0.000105555],"domain_scores_gemma":[0.999688,0.00006942041,0.00004693529,0.0001539476,0.00001299579,0.00002871617],"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.00002523404,0.0001243293,0.0006772779,0.00002842756,0.000003142858,0.00002726554,0.01790559,0.00001086034,0.0002957586,0.9792971,0.0006322304,0.0009728072],"study_design_scores_gemma":[0.0006894144,0.0004734914,0.01129854,0.00006557242,0.000003019929,0.00002329823,0.0004720284,0.0005237307,0.0000396372,0.9623953,0.02381593,0.0002001164],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7048643,0.01462597,0.0001215314,0.002415702,0.0003322099,0.0003276035,0.000002493358,0.00002029393,0.2772899],"genre_scores_gemma":[0.9974349,0.00003167024,0.00009895591,0.002106358,0.00002698882,0.000003853543,0.000001091814,0.000001509916,0.0002947317],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2925706,"threshold_uncertainty_score":0.1889943,"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001486932,0.0001019219,0.0002241305,0.00006714724,0.00008750804,0.000006619558,0.0001081391,0.00003975271,0.001317926],"category_scores_gemma":[0.0001011297,0.0000960653,0.00006460274,0.00003382469,0.0005971168,0.0001655772,0.00003129778,0.000090311,0.00001289737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003036096,"about_ca_system_score_gemma":0.0000894379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001993449,"about_ca_topic_score_gemma":0.000005963941,"domain_scores_codex":[0.9992269,0.00007859209,0.0002936814,0.0001661756,0.0001364842,0.00009820435],"domain_scores_gemma":[0.9992448,0.0001373641,0.0002106525,0.0002196599,0.0001436016,0.00004389934],"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.00001188922,0.0001404068,0.0001015875,0.0005552639,0.00001675512,0.0000040912,0.01656224,0.000002636716,0.0008399413,0.9804072,0.000976771,0.0003812101],"study_design_scores_gemma":[0.0001857536,0.0001328381,0.0002823655,0.0002380304,0.00005526981,0.00001527964,0.0005972547,0.00002165007,0.0004861459,0.971238,0.02658753,0.0001599464],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1794943,0.03114251,0.0001033672,0.002680328,0.001954593,0.0002052994,0.00006029425,0.00005502648,0.7843043],"genre_scores_gemma":[0.9981235,0.0002005198,0.0005162789,0.0003110292,0.000233287,0.000006387263,0.00000969633,0.000006331573,0.000592988],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8186292,"threshold_uncertainty_score":0.999595,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}