{"id":"W6929227949","doi":"10.48550/arxiv.math/0306298","title":"The Informal Logic of Mathematical Proof","year":2003,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Biosensors and Analytical Detection","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Argumentation theory; Mathematical proof; Variety (cybernetics); Argument (complex analysis); Informal logic; Mathematical practice; Mathematical logic; Natural (archaeology); Philosophical analysis; Logical framework","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.009464201,0.001164358,0.001031688,0.003828333,0.003019969,0.01082542,0.002582058,0.003089729,0.00658951],"category_scores_gemma":[0.02004263,0.0008716023,0.001632258,0.002313875,0.02505531,0.01613157,0.005511647,0.005664091,0.002282016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00393185,"about_ca_system_score_gemma":0.002470922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001184866,"about_ca_topic_score_gemma":0.0005321504,"domain_scores_codex":[0.988536,0.00627145,0.0008845182,0.001485794,0.002324292,0.0004978956],"domain_scores_gemma":[0.9844185,0.01027349,0.001296696,0.002316742,0.001302836,0.0003917596],"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.000001895006,0.000001822788,0.00001495418,0.00002523513,0.000002833626,0.00001391474,0.000165596,0.0001188775,0.0000475127,0.9969796,0.0005414807,0.002086367],"study_design_scores_gemma":[0.000005336171,0.000004230262,0.00002079969,0.00003090427,0.000003363626,0.00004076816,0.00003545991,0.0007493193,0.0001095111,0.976748,0.02224584,0.000006521791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005289505,0.009917779,0.8421853,0.01427864,0.0009234721,0.0001419649,0.000301815,0.0006095296,0.1263521],"genre_scores_gemma":[0.4623874,0.009146797,0.4873889,0.006330969,0.003399502,0.001085114,0.0004954969,0.0004432979,0.02932263],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01082542,"threshold_uncertainty_score":0.05005211,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0416818496316831,"score_gpt":0.1607634164554504,"score_spread":0.1190815668237673,"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."}}