{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.01184599,0.0007584137,0.001459253,0.005468201,0.005106643,0.006977355,0.001989783,0.003072472,0.006785605],"category_scores_gemma":[0.02219735,0.000872326,0.001139533,0.003298675,0.03631172,0.01736497,0.00489097,0.006473538,0.0009032355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006346242,"about_ca_system_score_gemma":0.003321204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003415587,"about_ca_topic_score_gemma":0.00347072,"domain_scores_codex":[0.9934728,0.003935569,0.0003216485,0.0008904535,0.00111919,0.0002603917],"domain_scores_gemma":[0.982051,0.01254809,0.0003471987,0.002991298,0.001705284,0.0003571036],"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.000002859443,0.000001371758,0.00001571653,0.00001160084,0.000001969948,0.000004159259,0.0002002946,0.00005200554,0.000007310533,0.9982424,0.0003893214,0.001070972],"study_design_scores_gemma":[0.000002322996,0.000001555872,0.00002019998,0.00002217258,0.00000173027,0.000009205205,0.00005119793,0.000153713,0.00003181129,0.9943283,0.005375438,0.000002306227],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0224677,0.02853277,0.3434766,0.04905578,0.001303076,0.0000849592,0.0003446164,0.0003791717,0.5543554],"genre_scores_gemma":[0.8344886,0.00815088,0.1159093,0.005230374,0.001821365,0.000422921,0.0002424763,0.0004560906,0.03327803],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9948934,"threshold_uncertainty_score":0.06264836,"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."}}