{"id":"W4363652005","doi":"10.1007/s11229-023-04114-5","title":"Structured propositions and a semantics for unrestricted impure logics of ground","year":2023,"lang":"en","type":"article","venue":"Synthese","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Philosophy of language; Philosophy of science; Semantics (computer science); Iterated function; Computer science; Common ground; Identity (music); Epistemology; Theoretical computer science; Metaphysics; Programming language; Natural language processing; Artificial intelligence; Mathematics; Philosophy; Psychology; Communication","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.004404201,0.0008180416,0.0007918944,0.002943929,0.002864226,0.007872628,0.00292817,0.002706791,0.007677338],"category_scores_gemma":[0.007552211,0.001255,0.002830805,0.002162859,0.009726317,0.01909835,0.005543702,0.005756698,0.0008431527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002440474,"about_ca_system_score_gemma":0.001518613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001517524,"about_ca_topic_score_gemma":0.002075877,"domain_scores_codex":[0.9968267,0.001158963,0.0003371902,0.0006191568,0.0007219948,0.0003359269],"domain_scores_gemma":[0.9942243,0.003105557,0.00045037,0.001216307,0.000647603,0.0003558689],"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.00001415156,0.00001143539,0.00003945295,0.00002097806,0.000007427412,0.00003470439,0.0002050429,0.0004272831,0.0001689738,0.9973087,0.0002588448,0.001502966],"study_design_scores_gemma":[0.00001257449,0.000007268916,0.00002799699,0.00001875344,0.00001264172,0.00003755236,0.0001022328,0.002366986,0.0003880624,0.9945353,0.002482584,0.000008113061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02803653,0.001135409,0.9235858,0.003921364,0.0002635466,0.0001447833,0.0005088919,0.0008526767,0.04155101],"genre_scores_gemma":[0.6547699,0.0007745232,0.3306848,0.0011808,0.0003978132,0.0003307484,0.0009268826,0.0002484808,0.01068604],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007872628,"threshold_uncertainty_score":0.02568328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02123858582481138,"score_gpt":0.2642165872199406,"score_spread":0.2429780013951292,"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."}}