{"id":"W2023468778","doi":"10.2307/2586525","title":"The anatytic conception of truth and the foundations of arithmetic","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Cardinality (data modeling); Simple (philosophy); Axiom; Epistemology; Statement (logic); Operator (biology); Peano axioms; Infinity; Discrete mathematics; Philosophy; Computer science","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.001938313,0.000417161,0.0004570363,0.001718589,0.002424425,0.005551754,0.0009981124,0.001686426,0.00413238],"category_scores_gemma":[0.003821558,0.0003134676,0.0006819931,0.0009352161,0.01910698,0.01053208,0.002959581,0.002964855,0.0007988441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003880313,"about_ca_system_score_gemma":0.001454106,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001846035,"about_ca_topic_score_gemma":0.001212441,"domain_scores_codex":[0.9983223,0.0008035947,0.00007048701,0.0002569123,0.0003835136,0.0001631846],"domain_scores_gemma":[0.998372,0.0009444298,0.0001524398,0.0002561234,0.000192468,0.00008254485],"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.000001638786,6.81573e-7,0.00001290673,0.000003579022,5.164416e-7,0.000003640546,0.00009715666,0.00006214031,0.00001519031,0.9992847,0.000120586,0.0003971552],"study_design_scores_gemma":[0.00000204364,0.000002002832,0.00002966425,0.000009056511,8.815005e-7,0.000008337855,0.00004432362,0.0002548328,0.00002268754,0.9953195,0.004304898,0.00000179184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.06200558,0.01464536,0.1631465,0.02977785,0.0009437967,0.00004380908,0.0003847612,0.0003210407,0.7287313],"genre_scores_gemma":[0.955961,0.002666729,0.01897334,0.001531994,0.0008819479,0.00008495156,0.0001158545,0.00006570097,0.01971842],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005551754,"threshold_uncertainty_score":0.02815372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02055114835792022,"score_gpt":0.3135710641695807,"score_spread":0.2930199158116605,"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."}}