{"meta":{"query_hash":"0b44699414d1","filters":{"venue":"History and Philosophy of Logic"},"cohort_total":14,"direct_labels_cover":0,"predictions_cover":14,"exported":14,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/0b44699414d1","api":"https://metacan.xera.ac/api/v1/cohort?venue=History+and+Philosophy+of+Logic"},"results":[{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.09148112898383175,"score_gpt":0.22901224594816302,"score_spread":0.1375311169643313,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1970489865","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.32307315,0.021112751,0.0000036930169,0.0012040718,0.0011065634,0.0010313826,0.000015824995,0.00004823323,0.6524043],"genre_scores_gemma":[0.99757105,0.00013625319,0.00009514168,0.00085029355,0.00035548653,0.000060033693,0.0000028489587,0.000017140499,0.0009117781],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99816257,0.00018227122,0.00062314764,0.00038986135,0.00039899445,0.00024314036],"domain_scores_gemma":[0.99872714,0.00020862908,0.00038670757,0.00046517813,0.0001239985,0.0000883502],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006126759,0.00029490082,0.0005766767,0.00034797526,0.00020453107,0.000018004033,0.00045573563,0.000073957875,0.0008614123],"category_scores_gemma":[0.000036926787,0.00021023437,0.000110935594,0.00006289332,0.0026493475,0.0003315555,0.00007308044,0.00027574837,0.000026746617],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000023572358,0.001236691,0.00036651926,0.00031626155,0.00002534079,0.000012917998,0.1260108,0.0000013522751,0.00011798739,0.86695457,0.0047361287,0.00019786158],"study_design_scores_gemma":[0.0008854822,0.0012350626,0.0010847908,0.00010373307,0.000096904354,0.000013798514,0.005088608,0.000046617606,0.0000029712526,0.84233946,0.14867747,0.00042511747],"about_ca_topic_score_codex":0.00041160826,"about_ca_topic_score_gemma":0.00014928747,"teacher_disagreement_score":0.67449784,"about_ca_system_score_codex":0.00018998714,"about_ca_system_score_gemma":0.00007765325,"threshold_uncertainty_score":0.97616315},"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,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.0763039453114484,"score_gpt":0.26109510269892866,"score_spread":0.18479115738748025,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1971038675","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.22465041,0.033325538,0.00006117378,0.0017109716,0.00067304494,0.00024647874,0.000011311941,0.000067583984,0.73925346],"genre_scores_gemma":[0.9979565,0.00041242878,0.00012530577,0.00086528604,0.00017825156,0.000014378976,0.000001709145,0.000007828156,0.0004383039],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9989497,0.00010043524,0.00023074134,0.00035984736,0.0001397967,0.00021945417],"domain_scores_gemma":[0.9993823,0.00010119948,0.000104206374,0.00023665206,0.00002041218,0.0001552195],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022173022,0.00015101349,0.00026125196,0.00007350806,0.00014158618,0.0000025277723,0.00015711664,0.00011550346,0.00045344015],"category_scores_gemma":[0.000019019915,0.00012527926,0.000053520722,0.0000770152,0.0018846384,0.00012540503,0.000042865562,0.00016305872,0.00005817185],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00005889753,0.00014046366,0.0004479928,0.00003881582,0.000013099458,0.000036237696,0.0017624507,8.032974e-7,0.00037241314,0.9961352,0.0005804492,0.0004131739],"study_design_scores_gemma":[0.00039441517,0.00036828572,0.0031915728,0.00001940028,0.000014668602,0.00013478426,0.000010665715,0.0000058828014,0.000028783885,0.9789668,0.01669413,0.00017061626],"about_ca_topic_score_codex":0.00001801046,"about_ca_topic_score_gemma":3.3068892e-7,"teacher_disagreement_score":0.7733061,"about_ca_system_score_codex":0.000025557902,"about_ca_system_score_gemma":0.000018066916,"threshold_uncertainty_score":0.6944029},"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,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.06539431488709142,"score_gpt":0.2402142564717103,"score_spread":0.1748199415846189,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2042193072","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.12551926,0.013076946,0.000033453045,0.0027380278,0.0005339394,0.00032306576,0.000021902633,0.000026453776,0.85772693],"genre_scores_gemma":[0.9986843,0.00008445292,0.00034804296,0.00047455932,0.000111294976,0.000005060933,0.0000020737673,0.000003004338,0.00028724474],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99924576,0.000042149622,0.00032122765,0.00015020448,0.000152363,0.00008829639],"domain_scores_gemma":[0.9994637,0.000043137166,0.00022489905,0.00015608658,0.000078914265,0.000033281412],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002928507,0.00010180334,0.0002486064,0.00010686596,0.00022461917,0.00000476459,0.00014939487,0.00003068121,0.00013100369],"category_scores_gemma":[0.0000090091735,0.000066958324,0.00005559222,0.000024759664,0.0025818583,0.000098919,0.000016637432,0.00008013881,0.00000212187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00009239506,0.00014122394,0.0000112354355,0.000058965026,0.000012148368,5.0622526e-7,0.036532458,5.310376e-7,0.0004910805,0.9609017,0.0006918279,0.0010659762],"study_design_scores_gemma":[0.0009987046,0.00041186067,0.0013284747,0.000081834165,0.00005760298,0.0000051240077,0.0005287753,0.000006953436,0.00016047261,0.8434795,0.152743,0.00019766952],"about_ca_topic_score_codex":0.000014651694,"about_ca_topic_score_gemma":0.000015089767,"teacher_disagreement_score":0.873165,"about_ca_system_score_codex":0.000031341307,"about_ca_system_score_gemma":0.000058722384,"threshold_uncertainty_score":0.9512965},"labels":[],"label_agreement":null},{"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.07488232201868612,"score_gpt":0.2656035892044067,"score_spread":0.19072126718572058,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2082097877","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.26900095,0.026652265,0.0037117698,0.00025079813,0.0009141375,0.00064248056,0.000046648198,0.0001310329,0.69864994],"genre_scores_gemma":[0.98195636,0.00018472552,0.016027447,0.00018169725,0.00005545139,0.0000062997424,0.0000012491377,0.000029456363,0.001557288],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99854213,0.00018309642,0.00055910327,0.0002629142,0.0002781765,0.00017456191],"domain_scores_gemma":[0.9984246,0.00049366924,0.00044483462,0.00041044113,0.00011099907,0.00011544115],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009915851,0.00023140936,0.000621718,0.00013516963,0.00010606468,0.0000031346524,0.00014667417,0.00014651708,0.00024067448],"category_scores_gemma":[0.00049353973,0.00021064152,0.00013224837,0.000080917016,0.0007534339,0.00008646171,0.000034227134,0.00018172496,0.000006765869],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004720793,0.00025362978,0.000051938066,0.0009030629,0.000047916565,0.0000083385075,0.0016371505,0.0000013257104,0.0010062363,0.99412906,0.001741785,0.00017233039],"study_design_scores_gemma":[0.00046741098,0.0001855253,0.000016342981,0.00010398135,0.00014054756,0.000032693166,0.000062850544,0.000012193121,0.00076471386,0.91458225,0.08342635,0.0002051622],"about_ca_topic_score_codex":0.0000022844376,"about_ca_topic_score_gemma":0.0000021592384,"teacher_disagreement_score":0.7129554,"about_ca_system_score_codex":0.00008473309,"about_ca_system_score_gemma":0.00006788469,"threshold_uncertainty_score":0.8589712},"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"","keywords":"Relation (database); Sketch; Philosophy; Epistemology; TRACE (psycholinguistics); Inference; CLARITY; Classics; History; Linguistics; Mathematics; Computer science","score_opus":0.03380008430535854,"score_gpt":0.22231336264635942,"score_spread":0.1885132783410009,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2092096394","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.16974573,0.13487108,0.07757099,0.019284125,0.0046148608,0.0048150015,0.000056735207,0.0013101998,0.5877313],"genre_scores_gemma":[0.9977647,0.00026412262,0.00097220246,0.0007253851,0.000090914065,0.000032872205,0.000008631705,0.000004904908,0.00013626114],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990764,0.00007649243,0.00021730896,0.0003223659,0.00014952311,0.00015790462],"domain_scores_gemma":[0.99937636,0.00008726892,0.00013792512,0.00022666207,0.000067671856,0.000104118306],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001657676,0.00011053563,0.00019617371,0.000059618596,0.000088104905,0.00004137546,0.00019602291,0.00007896042,0.00009287868],"category_scores_gemma":[0.000026836988,0.000102855745,0.000044939774,0.0000543062,0.00024921427,0.00017736075,0.00005650893,0.00008307475,0.00004817716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000024220815,0.0000822899,0.0001588058,0.000044542652,0.000007227415,0.000004210772,0.00011680849,8.0860167e-7,0.00028241123,0.9916035,0.002792982,0.004903968],"study_design_scores_gemma":[0.00024856938,0.00034776574,0.008643707,0.000012107562,0.00000649126,0.00007984559,0.000008440997,0.00009444108,0.000036373225,0.95673996,0.033617448,0.00016481639],"about_ca_topic_score_codex":0.00006974349,"about_ca_topic_score_gemma":0.0000011456402,"teacher_disagreement_score":0.82801896,"about_ca_system_score_codex":0.00004330528,"about_ca_system_score_gemma":0.000019452349,"threshold_uncertainty_score":0.41943356},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Concordia University","funders":"","keywords":"Explication; Principle of compositionality; Metaphysics; Epistemology; Philosophy; Philosophy of science","score_opus":0.0867136572106655,"score_gpt":0.25603150302090444,"score_spread":0.16931784581023895,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2100157366","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.46742493,0.024446543,0.000052935342,0.0069968062,0.0017472056,0.0020994844,0.00036896238,0.000040456016,0.49682269],"genre_scores_gemma":[0.99575335,0.000048736383,0.000121160985,0.00079504325,0.00025163672,0.000063877626,0.0000016520405,0.000006890515,0.002957667],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99905396,0.000020247347,0.00027456295,0.0002706739,0.00022510962,0.000155441],"domain_scores_gemma":[0.9989603,0.000083925166,0.00023765986,0.0002737474,0.0003438803,0.000100474375],"candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.00019690806,0.00012431845,0.00027051775,0.000080646765,0.0004422411,0.000013608221,0.00029293456,0.000032127133,0.0006733437],"category_scores_gemma":[0.000025924382,0.000090303285,0.00007081962,0.00005617257,0.0041250847,0.0002566831,0.00007088628,0.00005528793,0.000013912379],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000058706602,0.000085092644,0.0003478236,0.00016983289,0.000024224353,3.4819928e-7,0.08588475,0.0000040698233,0.0030969055,0.87891936,0.03044353,0.00096537254],"study_design_scores_gemma":[0.00086798344,0.0007489657,0.000640311,0.00010230539,0.00008982875,0.000007976513,0.007262429,0.000069252485,0.0021884216,0.2332965,0.7543394,0.00038660906],"about_ca_topic_score_codex":0.00034957106,"about_ca_topic_score_gemma":0.000040944244,"teacher_disagreement_score":0.7238959,"about_ca_system_score_codex":0.00009140262,"about_ca_system_score_gemma":0.0000928401,"threshold_uncertainty_score":0.9985851},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Epistemology; Extension (predicate logic); Relation (database); Logical consequence; Philosophy; Mathematics; Computer science","score_opus":0.06011320210642194,"score_gpt":0.29064864051845374,"score_spread":0.2305354384120318,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2153924662","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.34118572,0.0008105484,0.000018215902,0.0019000669,0.0005930803,0.000088862704,0.000009099005,0.000029928387,0.65536445],"genre_scores_gemma":[0.9976493,0.000018858578,0.00019516118,0.0018279332,0.00014491157,0.000008879844,0.0000012043504,0.000004829801,0.00014891355],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990956,0.00007583721,0.00016873732,0.00035416437,0.0001252054,0.00018046045],"domain_scores_gemma":[0.999287,0.000214298,0.000077137454,0.00024083475,0.000023765528,0.00015694062],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002824672,0.00013162753,0.00019299645,0.00005210235,0.000077612414,0.0000041557864,0.00015872964,0.00014929936,0.0016522205],"category_scores_gemma":[0.00007350873,0.00010330486,0.00003832447,0.000054266402,0.0023416185,0.0000459096,0.00003970121,0.00032803693,0.00005811017],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0001143598,0.00013201626,0.00017362188,0.000012157165,0.0000066038415,0.000050058654,0.00031300983,6.2616536e-8,0.009209642,0.9889278,0.00019315333,0.0008675492],"study_design_scores_gemma":[0.0003145364,0.0005274244,0.0028680447,0.00001042543,0.000010512943,0.00009323442,0.000011011015,0.0000030932113,0.00021882566,0.9857444,0.010055809,0.0001426418],"about_ca_topic_score_codex":0.000008151585,"about_ca_topic_score_gemma":8.433999e-7,"teacher_disagreement_score":0.65646356,"about_ca_system_score_codex":0.000013869182,"about_ca_system_score_gemma":0.000015664693,"threshold_uncertainty_score":0.9992604},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.049538383158090345,"score_gpt":0.2991883807602036,"score_spread":0.24964999760211326,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2432866249","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.026254937,0.0025720578,0.0073640607,0.023549588,0.0013872064,0.00033155052,0.00021445326,0.00009028996,0.9382359],"genre_scores_gemma":[0.9966749,0.00001450918,0.00015465029,0.0024681771,0.00021127283,0.000023294659,0.0000020569807,0.0000055578435,0.00044560546],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988929,0.00010691962,0.00023030757,0.00030649445,0.00013325705,0.00033009463],"domain_scores_gemma":[0.9991373,0.00019721316,0.000085283355,0.00027812977,0.00006907123,0.00023302408],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00032602888,0.00013368203,0.0002218661,0.000089158486,0.00011556375,0.00000262041,0.00023503436,0.00011552583,0.0021413853],"category_scores_gemma":[0.0001270594,0.000087557804,0.00008271136,0.00010396339,0.00082399143,0.00012306789,0.000067060944,0.00008937886,0.00034081266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00014238783,0.00011858273,0.00008174248,0.0000060452567,0.000014013515,0.000009429159,0.0004022203,1.810227e-7,0.004028218,0.991899,0.0017245567,0.0015735881],"study_design_scores_gemma":[0.0006251556,0.00051898306,0.0015775298,0.000023471712,0.000016642207,0.000014697704,0.000012672318,6.390519e-7,0.00016407784,0.9694698,0.027420726,0.00015561748],"about_ca_topic_score_codex":0.000011156537,"about_ca_topic_score_gemma":9.676066e-7,"teacher_disagreement_score":0.97041994,"about_ca_system_score_codex":0.00009867659,"about_ca_system_score_gemma":0.000024364237,"threshold_uncertainty_score":0.9987708},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Topos theory; Humanities; Philosophy; Sociology; Art; Literature","score_opus":0.135058688402539,"score_gpt":0.24014462293724087,"score_spread":0.10508593453470186,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2912929253","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.70486426,0.014625968,0.00012153142,0.0024157015,0.00033220986,0.0003276035,0.0000024933581,0.000020293934,0.27728993],"genre_scores_gemma":[0.99743485,0.000031670235,0.00009895591,0.002106358,0.000026988822,0.000003853543,0.0000010918143,0.0000015099157,0.00029473173],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99940044,0.00006896309,0.00013231894,0.00016035787,0.00013236832,0.000105555024],"domain_scores_gemma":[0.99968797,0.000069420414,0.000046935285,0.0001539476,0.000012995792,0.000028716175],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022671038,0.00008077796,0.000117999596,0.000060088063,0.0000197183,0.000022819995,0.00023136132,0.00003228128,0.000025112018],"category_scores_gemma":[0.000008055193,0.000046346187,0.000036656627,0.00008019129,0.0000735285,0.00039547542,0.00005559557,0.000080580445,0.000009415974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000025234043,0.0001243293,0.0006772779,0.000028427563,0.0000031428578,0.000027265542,0.017905585,0.000010860338,0.0002957586,0.9792971,0.00063223037,0.00097280723],"study_design_scores_gemma":[0.00068941445,0.00047349135,0.011298537,0.00006557242,0.000003019929,0.000023298227,0.0004720284,0.0005237307,0.0000396372,0.96239525,0.023815926,0.00020011638],"about_ca_topic_score_codex":0.00014734599,"about_ca_topic_score_gemma":0.000049851373,"teacher_disagreement_score":0.29257056,"about_ca_system_score_codex":0.00005906623,"about_ca_system_score_gemma":0.000021298178,"threshold_uncertainty_score":0.18899427},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.09184441441257152,"score_gpt":0.22745766480063614,"score_spread":0.13561325038806463,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3002744517","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.16302855,0.050740503,0.000045141405,0.025043342,0.0011018126,0.000561648,0.00009380217,0.00011927764,0.7592659],"genre_scores_gemma":[0.99801487,0.0003203631,0.000012874526,0.0009256767,0.0005352305,0.0000044236904,0.0000024785984,0.0000059212643,0.00017817318],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99939054,0.000049728813,0.00022396237,0.00014625565,0.00009954855,0.00008997994],"domain_scores_gemma":[0.9995317,0.000120912395,0.00014030866,0.00009845034,0.000038556496,0.00007007735],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009116603,0.00010037094,0.0002108843,0.000022792687,0.00019354904,0.000009102768,0.00008461001,0.000038675695,0.000113377595],"category_scores_gemma":[0.000033526852,0.00006730372,0.00005991636,0.000017987331,0.001118065,0.00007058102,0.00003103229,0.00011277147,0.0000034455904],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008903191,0.00003467515,0.000041048326,0.000090569316,0.000021541407,0.0000016166438,0.0029078403,7.582093e-7,0.0001973519,0.9957744,0.00044259656,0.00039860836],"study_design_scores_gemma":[0.00028262642,0.00036843232,0.00018056348,0.00001655918,0.0000338847,0.0000018935247,0.000063584055,0.000055152777,0.00003717102,0.54733884,0.45153677,0.00008450914],"about_ca_topic_score_codex":0.000006496377,"about_ca_topic_score_gemma":0.000003999399,"teacher_disagreement_score":0.8349863,"about_ca_system_score_codex":0.000013970544,"about_ca_system_score_gemma":0.000013641563,"threshold_uncertainty_score":0.4119557},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Kwantlen Polytechnic University","funders":"","keywords":"Semiotics; Notation; Epistemology; Argument (complex analysis); Philosophy; Intuitionistic logic; Linguistics; Computer science; Propositional calculus","score_opus":0.06448543821641771,"score_gpt":0.23405360660316846,"score_spread":0.16956816838675076,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3172612205","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.17949429,0.031142514,0.0001033672,0.0026803282,0.0019545932,0.0002052994,0.000060294253,0.00005502648,0.78430426],"genre_scores_gemma":[0.99812347,0.00020051983,0.0005162789,0.0003110292,0.000233287,0.0000063872626,0.00000969633,0.0000063315733,0.00059298804],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99922687,0.00007859209,0.00029368137,0.00016617561,0.00013648423,0.00009820435],"domain_scores_gemma":[0.9992448,0.00013736407,0.00021065255,0.00021965994,0.00014360159,0.000043899345],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001486932,0.000101921876,0.00022413046,0.000067147244,0.00008750804,0.000006619558,0.000108139146,0.000039752707,0.0013179256],"category_scores_gemma":[0.00010112971,0.0000960653,0.00006460274,0.00003382469,0.00059711677,0.00016557719,0.000031297783,0.000090311,0.0000128973725],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000011889217,0.00014040679,0.00010158748,0.00055526395,0.00001675512,0.0000040912005,0.016562242,0.000002636716,0.00083994126,0.9804072,0.000976771,0.0003812101],"study_design_scores_gemma":[0.00018575357,0.0001328381,0.00028236545,0.00023803036,0.000055269807,0.000015279638,0.00059725466,0.000021650072,0.0004861459,0.97123796,0.02658753,0.00015994642],"about_ca_topic_score_codex":0.00001993449,"about_ca_topic_score_gemma":0.0000059639406,"teacher_disagreement_score":0.8186292,"about_ca_system_score_codex":0.000030360961,"about_ca_system_score_gemma":0.0000894379,"threshold_uncertainty_score":0.999595},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04270484688803463,"score_gpt":0.23177493038561464,"score_spread":0.18907008349758,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4396512806","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07024043,0.034257952,0.0082596205,0.01204565,0.0040360205,0.00049945456,0.0000064076535,0.00034412948,0.87031037],"genre_scores_gemma":[0.99855745,0.00010029029,0.00031762884,0.0004639293,0.00020776251,0.000012432478,0.0000010728818,0.000005899337,0.00033352923],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99901557,0.00015538436,0.00016549353,0.0003497654,0.0001482467,0.00016555395],"domain_scores_gemma":[0.9993987,0.00018047093,0.000048793136,0.0002991902,0.000023845425,0.000048982347],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00044412923,0.0001402485,0.00015682621,0.00014722697,0.00008278416,0.000027051983,0.00038383825,0.00007430964,0.00007764064],"category_scores_gemma":[0.000037082027,0.00008738244,0.00007396244,0.00019157739,0.00025438686,0.00014320662,0.00008061295,0.00023405602,0.00004203029],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000014249211,0.000055609275,0.00004479289,0.0000423428,0.000006462183,0.000025004298,0.0014792909,0.000019391338,0.0001448451,0.99271536,0.0014739204,0.00397874],"study_design_scores_gemma":[0.000110484114,0.00026735885,0.0006352638,0.000066434215,0.0000063037483,0.000026587557,0.000023478715,0.0028411357,0.000086375665,0.98547643,0.010322232,0.00013792049],"about_ca_topic_score_codex":0.000014094528,"about_ca_topic_score_gemma":0.0000031786376,"teacher_disagreement_score":0.928317,"about_ca_system_score_codex":0.00013869946,"about_ca_system_score_gemma":0.000066703535,"threshold_uncertainty_score":0.35633525},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.09481924021408294,"score_gpt":0.2531865053071748,"score_spread":0.15836726509309185,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4407039891","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0014163797,0.010661078,0.000067591456,0.00691132,0.0011353575,0.0001392518,0.00004407861,0.00007762717,0.9795473],"genre_scores_gemma":[0.9816667,0.00008781658,0.000075382086,0.006359196,0.00046264697,0.000012269817,0.0000074744376,0.00000867205,0.011319831],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99903774,0.00005356595,0.00030776203,0.0003025541,0.00012998111,0.00016836838],"domain_scores_gemma":[0.9993322,0.00014042333,0.00012330028,0.00026094355,0.00007949833,0.000063620646],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00011766212,0.00019030197,0.00034160665,0.00015108107,0.00021804734,0.000016027516,0.00017687348,0.00009059359,0.0017912411],"category_scores_gemma":[0.00004910292,0.0001588938,0.0001454393,0.00004185352,0.0012880526,0.00009073318,0.000064705746,0.00020181536,0.000053532767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00006598828,0.00014755591,0.00004138153,0.00019172233,0.00003974641,0.000009172065,0.002343646,6.4066967e-7,0.000040991537,0.97749096,0.019179864,0.0004483178],"study_design_scores_gemma":[0.00019208807,0.00010197816,0.00004711729,0.000047939368,0.00004314191,0.0000010654197,0.000045153774,0.000010698574,0.000010783953,0.61524934,0.384142,0.00010867518],"about_ca_topic_score_codex":0.000058553258,"about_ca_topic_score_gemma":0.000019847737,"teacher_disagreement_score":0.98025036,"about_ca_system_score_codex":0.000083122184,"about_ca_system_score_gemma":0.000046353038,"threshold_uncertainty_score":0.99912125},"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,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"Social Sciences and Humanities Research Council","keywords":"Venn diagram; Existentialism; Categorical variable; Development (topology); Doctrine","score_opus":0.047801838932557524,"score_gpt":0.29685115441162013,"score_spread":0.24904931547906262,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W7128201811","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7767379,0.0065230895,0.00019514315,0.003448191,0.00078083156,0.0003557667,0.0000072593652,0.000014757342,0.21193705],"genre_scores_gemma":[0.9983015,0.000101033394,0.00036240584,0.00005327445,0.00004633492,0.000004992453,0.0000015591771,0.0000012174269,0.0011276607],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99950397,0.00006148014,0.00017627473,0.00008609367,0.000112943504,0.000059263995],"domain_scores_gemma":[0.99969375,0.000034341545,0.00010383632,0.00007586205,0.00006688079,0.000025314448],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022776904,0.000042374675,0.0001117256,0.00002330707,0.00021810345,0.0000017156998,0.000081753904,0.00004947758,0.00002928825],"category_scores_gemma":[0.00002028877,0.000033139317,0.000042160627,0.00007989431,0.00071521086,0.00003219606,0.00002343983,0.000037245765,7.193495e-8],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000013608199,0.00019833825,0.004927479,0.00017173818,0.000029706756,1.6138097e-7,0.06051862,9.651671e-7,0.00079937995,0.93144697,0.0012035812,0.0006894699],"study_design_scores_gemma":[0.00044103875,0.00007601044,0.018360816,0.000078884295,0.00009833231,0.0000010265683,0.0018899897,0.000013498136,0.000621882,0.9155892,0.06267439,0.00015489674],"about_ca_topic_score_codex":0.000117005846,"about_ca_topic_score_gemma":0.0000738405,"teacher_disagreement_score":0.22156361,"about_ca_system_score_codex":0.0000691296,"about_ca_system_score_gemma":0.00037112425,"threshold_uncertainty_score":0.26352242},"labels":[],"label_agreement":null}]}