{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01724076,0.001222275,0.002242001,0.004087928,0.003010714,0.01024109,0.002306349,0.006349686,0.006765069],"category_scores_gemma":[0.02356067,0.001294052,0.001707534,0.002336529,0.04422243,0.03209269,0.00399346,0.009120055,0.002326239],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004273726,"about_ca_system_score_gemma":0.003631429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002105108,"about_ca_topic_score_gemma":0.001377672,"domain_scores_codex":[0.9897249,0.007323108,0.0003293697,0.0008315227,0.001388486,0.0004026238],"domain_scores_gemma":[0.9829727,0.0129304,0.0004806349,0.002007617,0.001242053,0.0003664594],"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.00001052979,0.000004408182,0.00001331134,0.00002092487,0.000005750571,0.000004494419,0.0002191157,0.0001077763,0.00002512079,0.9962309,0.001628091,0.001729595],"study_design_scores_gemma":[0.000007685386,0.00000226687,0.00001058331,0.00002541648,0.000002664096,0.000003582192,0.00004999729,0.0001261975,0.00003547686,0.9927309,0.007001046,0.000004193886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01016286,0.07424188,0.4016188,0.245738,0.00749494,0.00009567246,0.0002954421,0.0007327509,0.2596197],"genre_scores_gemma":[0.6674872,0.02673406,0.1913654,0.03868943,0.01161252,0.0006401899,0.000316875,0.00143059,0.06172375],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01724076,"threshold_uncertainty_score":0.09117895,"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."}}