{"id":"W2103168978","doi":"","title":"Logic, modality, and philosophy of mathematics","year":2000,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Quine; Philosophy; Epistemology; Philosophical logic; Philosophy of mathematics; Mathematical logic; Analytic philosophy; Argument (complex analysis); Foundations of mathematics; Metaphysics; Surprise; Mathematics; Contemporary philosophy; Sociology; Algorithm","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003188035,0.0005249798,0.0006418579,0.002134291,0.003332351,0.007093765,0.001034476,0.003093159,0.004426299],"category_scores_gemma":[0.005417568,0.0003172982,0.0004662003,0.001940896,0.02872624,0.009285701,0.002910757,0.006005895,0.0008022693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006593681,"about_ca_system_score_gemma":0.003529082,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0050641,"about_ca_topic_score_gemma":0.00464651,"domain_scores_codex":[0.9971992,0.00178787,0.0001262091,0.000269732,0.0004929335,0.0001240411],"domain_scores_gemma":[0.9972129,0.001931497,0.0001407409,0.0002649622,0.0003394388,0.0001104785],"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.00000486265,0.00000219264,0.00002477865,0.00002622201,0.000002227747,0.00001155085,0.0007593723,0.00005600023,0.00002436515,0.9903318,0.00612026,0.002636429],"study_design_scores_gemma":[0.000007705208,0.000005502171,0.0001168895,0.00008020578,0.000001894592,0.00003220249,0.0003460148,0.00009460388,0.00002330384,0.9110966,0.08819082,0.000004199946],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.009815783,0.2869039,0.01840448,0.2270049,0.003881137,0.00003439651,0.0002043267,0.000122238,0.4536289],"genre_scores_gemma":[0.8161882,0.0759813,0.008862578,0.03300249,0.007811798,0.0002257114,0.0001361961,0.0001148695,0.05767692],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007093765,"threshold_uncertainty_score":0.04784065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02692553440535995,"score_gpt":0.247652433365079,"score_spread":0.2207268989597191,"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."}}