{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001406827,0.00009254265,0.0001446829,0.0001000383,0.0001102659,0.00006161806,0.0002988715,0.00007069662,0.00000302756],"category_scores_gemma":[0.0003202075,0.0000705912,0.00004275172,0.0005883551,0.00006862763,0.0001155794,0.0001487927,0.00005599362,0.000006386821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001147814,"about_ca_system_score_gemma":0.0000571008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001408835,"about_ca_topic_score_gemma":0.00001792577,"domain_scores_codex":[0.9993148,0.00003315258,0.0001324742,0.00021327,0.0001067141,0.0001995833],"domain_scores_gemma":[0.9992078,0.0002701835,0.00006772118,0.000265656,0.000131514,0.00005715768],"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.00003631312,0.0001774196,0.00379764,0.0004604329,0.0001320266,0.0000466691,0.006482517,0.0001010907,0.0202681,0.9207481,0.003785998,0.04396372],"study_design_scores_gemma":[0.002122331,0.001204229,0.1249181,0.000274688,0.0001727831,0.0001692773,0.001122797,0.3109475,0.02710118,0.5213332,0.009436672,0.001197186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6970502,0.00041131,0.2963907,0.001456142,0.0006928596,0.001026667,0.00008686296,0.0006147222,0.002270637],"genre_scores_gemma":[0.9880818,0.00003276339,0.01148647,0.00001873077,0.0000501354,0.00001951313,0.000007489539,0.000007228165,0.000295936],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3994149,"threshold_uncertainty_score":0.2878625,"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."}}