{"id":"W1942179416","doi":"10.1007/s11229-015-0877-z","title":"Carnap’s early metatheory: scope and limits","year":2015,"lang":"en","type":"article","venue":"Synthese","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"Austrian Science Fund","keywords":"Metatheory; Philosophy of science; Epistemology; Decidability; Philosophy of language; Axiom; Completeness (order theory); Philosophy; Scope (computer science); Consistency (knowledge bases); Metaphysics; Calculus (dental); Mathematics; Computer science; Programming language; Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0003171969,0.00009332606,0.0001318783,0.00008334004,0.000188886,0.0001240295,0.0001469661,0.00001777869,0.0002349231],"category_scores_gemma":[0.0000897686,0.00007319978,0.00003400612,0.00002238879,0.0005340838,0.0002866687,0.00002751074,0.000070408,0.0003845132],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002512352,"about_ca_system_score_gemma":0.00005412436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004222919,"about_ca_topic_score_gemma":0.0005551752,"domain_scores_codex":[0.9993472,0.00004500764,0.00009377608,0.0001729506,0.0001746833,0.0001663614],"domain_scores_gemma":[0.9995212,0.00004940649,0.00003505309,0.0001706739,0.00006811762,0.0001555606],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000339644,0.00004734645,0.0001175989,0.00001248492,0.00002185315,0.00001498305,0.07527746,4.873817e-7,0.0001193412,0.912141,0.006116485,0.00609699],"study_design_scores_gemma":[0.0001653646,0.0001316529,0.0001483525,0.0000229177,0.0000266825,0.000003817415,0.002774109,0.00001167657,0.0001074455,0.03418959,0.9622326,0.00018577],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2816607,0.002307375,0.000002319917,0.0003608948,0.000655758,0.00006921187,0.00001268991,0.00006061179,0.7148705],"genre_scores_gemma":[0.9864635,0.00002338405,0.00003735835,0.0002109128,0.0004941333,0.000007776243,6.288415e-7,0.00001130047,0.01275093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9561161,"threshold_uncertainty_score":0.4942268,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07753328981058133,"score_gpt":0.2370888479784961,"score_spread":0.1595555581679148,"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."}}