{"id":"W3191918141","doi":"10.1007/s11229-021-03318-x","title":"Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus","year":2021,"lang":"en","type":"article","venue":"Synthese","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Calculus (dental); Natural deduction; Notation; Mathematics; Philosophy of science; Propositional calculus; Epistemology; Computer science; Philosophy; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001278542,0.0002306742,0.0003879842,0.00004628081,0.0001682674,0.00004107783,0.0004425529,0.0002195654,0.008353675],"category_scores_gemma":[0.00313644,0.0001261281,0.0001542975,0.0003607841,0.0008398411,0.00005252056,0.0002269703,0.000367713,0.00101582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003989217,"about_ca_system_score_gemma":0.0001028762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003437981,"about_ca_topic_score_gemma":0.00003092311,"domain_scores_codex":[0.9971423,0.0009295332,0.000321506,0.0006181239,0.0004886596,0.0004999295],"domain_scores_gemma":[0.9964463,0.002347794,0.00009783838,0.0007364526,0.0001008091,0.0002708646],"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.0003015804,0.0003141246,0.00001781463,0.00001102085,0.00006047134,0.0005285629,0.0009320042,0.00000166283,0.002351403,0.9808076,0.0002812509,0.01439252],"study_design_scores_gemma":[0.0014512,0.001551167,0.002788111,0.0002504617,0.000198786,0.001328397,0.003273692,0.001074981,0.06895889,0.8881177,0.03015994,0.0008466975],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3650669,0.0006658783,0.003232918,0.01315765,0.0004888327,0.0003586493,0.00008546678,0.00007174057,0.616872],"genre_scores_gemma":[0.9943162,0.00001904228,0.0004434881,0.002281306,0.0001360642,0.00004840895,0.000001865044,0.00001838983,0.002735235],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6292493,"threshold_uncertainty_score":0.999762,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04658337332357298,"score_gpt":0.3685737409093255,"score_spread":0.3219903675857526,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}