{"id":"W1978529007","doi":"10.1093/philmat/12.3.222","title":"Choice Principles and Constructive Logics","year":2004,"lang":"en","type":"article","venue":"Philosophia Mathematica","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Constructive; Constructivism (international relations); Axiom; Epistemology; Metaphysics; Intuitionistic logic; Computer science; Mathematical economics; Philosophy; Mathematics; Propositional calculus; Political science; Law","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.01080821,0.0005962708,0.0006722266,0.002573912,0.002039526,0.005274067,0.00143178,0.001983416,0.006163694],"category_scores_gemma":[0.01146495,0.0006259376,0.001232593,0.001700239,0.02299981,0.008629847,0.004344595,0.004702526,0.0008152743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004051855,"about_ca_system_score_gemma":0.001920232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001132042,"about_ca_topic_score_gemma":0.001090241,"domain_scores_codex":[0.9908311,0.005616711,0.0003919242,0.0007147418,0.001919933,0.000525545],"domain_scores_gemma":[0.9843116,0.01160594,0.0007880701,0.001303289,0.00144483,0.0005462875],"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.000002579894,0.000003068747,0.00001754882,0.00001103968,0.000004024133,0.000007005379,0.00005771595,0.0002700235,0.00003410497,0.9981987,0.0002522167,0.001142023],"study_design_scores_gemma":[0.000003703587,0.00000201417,0.000009588006,0.000005955389,0.000001798503,0.000006319366,0.00001300155,0.0004710685,0.00003772798,0.9975767,0.001870063,0.000002102753],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03225209,0.00610562,0.6783102,0.02608538,0.0008059996,0.0001405366,0.000221768,0.0004057575,0.2556726],"genre_scores_gemma":[0.8548828,0.002542665,0.1206977,0.004720275,0.001033297,0.0002388905,0.0001486592,0.0001465189,0.01558919],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01080821,"threshold_uncertainty_score":0.05715996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07225244496838655,"score_gpt":0.3244857180188701,"score_spread":0.2522332730504835,"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."}}