{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001664274,0.000366405,0.00112096,0.00007041449,0.0003485114,0.00001463536,0.001020267,0.0006458549,0.00004749273],"category_scores_gemma":[0.0005465515,0.0002292353,0.001095618,0.0000846107,0.005223445,0.00006307112,0.0002672334,0.0004102743,0.000001277201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008771456,"about_ca_system_score_gemma":0.0005492204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001668626,"about_ca_topic_score_gemma":0.00474467,"domain_scores_codex":[0.9981642,0.0001706358,0.0006961961,0.0003613746,0.0002732439,0.0003343023],"domain_scores_gemma":[0.995298,0.002265433,0.001083247,0.0006853745,0.0004585193,0.0002093759],"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.00001566158,0.00001804981,0.000006249251,0.001937333,0.0003885438,0.000001069482,0.009488337,0.000007220698,0.0000324068,0.9832393,0.004127904,0.0007379454],"study_design_scores_gemma":[0.0003856576,0.0001810181,0.00002164608,0.000348141,0.0002585523,0.00002785755,0.0001054723,0.0009445036,0.0000915261,0.9690059,0.02840851,0.0002211774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01413865,0.2805256,0.02335417,0.1841981,0.01486945,0.01205601,0.007768054,0.0002037988,0.4628862],"genre_scores_gemma":[0.7234669,0.01191464,0.1747635,0.01278751,0.0016978,0.00004147166,0.00005244797,0.00027549,0.07500018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7093283,"threshold_uncertainty_score":0.9974838,"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."}}