{"id":"W4391012378","doi":"10.1007/978-3-031-46193-4_1","title":"Logical Methodology and the Structure of Logic Syllabi","year":2023,"lang":"fr","type":"book-chapter","venue":"Annals of the Canadian Society for History and Philosophy of Mathematics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Syllabus; Computer science; Programming language; Mathematics; Mathematics education","routes":{"ca_aff":true,"ca_fund":false,"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.002561313,0.0004785709,0.0006581371,0.003669537,0.003970065,0.007721566,0.001369099,0.001171281,0.01643314],"category_scores_gemma":[0.006579235,0.000841616,0.0005921295,0.003210001,0.01522733,0.009493498,0.001808968,0.003341544,0.00246392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008882889,"about_ca_system_score_gemma":0.00584506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02050812,"about_ca_topic_score_gemma":0.02768188,"domain_scores_codex":[0.9984523,0.0007295127,0.00009324436,0.0001958691,0.000388844,0.0001402594],"domain_scores_gemma":[0.9961488,0.002458999,0.0001802327,0.0003545267,0.0006871597,0.000170192],"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.000002308771,0.000001829002,0.00001847777,0.000007967671,7.344577e-7,0.000003995419,0.000174505,0.00005914521,0.00002515465,0.9961534,0.001117051,0.002435472],"study_design_scores_gemma":[0.000002619512,0.000001556245,0.00004559594,0.00001355809,0.000001529371,0.000008945392,0.00005771832,0.0003749084,0.00005545769,0.9799005,0.01953444,0.000003050516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.01400707,0.01313747,0.2538223,0.01489074,0.0007852692,0.00008981518,0.0007195978,0.0005749676,0.7019728],"genre_scores_gemma":[0.7177089,0.00797263,0.1422396,0.0015602,0.001447191,0.0002732635,0.0008727146,0.0006313112,0.1272941],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.02050812,"threshold_uncertainty_score":0.0644502,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2503053587881075,"score_gpt":0.3023907524221672,"score_spread":0.05208539363405967,"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."}}