{"id":"W1975161136","doi":"10.1007/s10992-010-9135-5","title":"Anderson and Belnap’s Invitation to Sin","year":2010,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Tautology (logic); Quine; Modal logic; Nominalization; Epistemology; Philosophy; Modal; Normal modal logic; Calculus (dental); Linguistics; Computer science; Mathematics; Multimodal logic; Programming language; Zeroth-order logic; Description logic","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.00434346,0.0007529387,0.001086281,0.001128936,0.005810011,0.005105839,0.001350235,0.00980803,0.016714],"category_scores_gemma":[0.02422381,0.0004541769,0.001020333,0.0008931056,0.01066456,0.009552156,0.004819081,0.02269443,0.00925407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002853343,"about_ca_system_score_gemma":0.003032163,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003661213,"about_ca_topic_score_gemma":0.003922587,"domain_scores_codex":[0.9967,0.001210494,0.0001739322,0.0007042083,0.0008900457,0.0003212674],"domain_scores_gemma":[0.9931442,0.003483518,0.0002833935,0.0008756281,0.001684416,0.0005288699],"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.00004634245,0.00002717993,0.0001408125,0.00003242335,0.00001322203,0.00006035101,0.0005043003,0.00007828927,0.0000583907,0.6449391,0.3477934,0.006306245],"study_design_scores_gemma":[0.00002474452,0.00000661146,0.0001068982,0.00004786888,0.000008824713,0.00009814631,0.0001932837,0.0002173081,0.00009976111,0.6218815,0.3772954,0.00001971428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.001532518,0.004521829,0.007857326,0.8367828,0.03255394,0.00002485905,0.0002065325,0.0002260326,0.1162942],"genre_scores_gemma":[0.1307154,0.003428194,0.01068344,0.6092696,0.0407183,0.0002770115,0.0002657715,0.0005322956,0.20411],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.016714,"threshold_uncertainty_score":0.05591393,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03821893589564161,"score_gpt":0.2806048830763099,"score_spread":0.2423859471806683,"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."}}