{"id":"W2990104440","doi":"10.1093/bjps/axz049","title":"Using Logic to Evolve More Logic: Composing Logical Operators via Self-Assembly","year":2019,"lang":"en","type":"article","venue":"The British Journal for the Philosophy of Science","topic":"Language and cultural evolution","field":"Social Sciences","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mila - Quebec Artificial Intelligence Institute","funders":"","keywords":"Principle of compositionality; Computer science; Cognitive science; Context (archaeology); Logical conjunction; Non-classical logic; Theoretical computer science; Artificial intelligence; Logical consequence; Psychology; Programming language","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.002805894,0.0001078139,0.0001845147,0.0000457761,0.006299585,0.0007043088,0.001430353,0.0000547536,0.00004238555],"category_scores_gemma":[0.0002369897,0.00006282516,0.0001509604,0.0007707332,0.001226992,0.0006463376,0.0001368577,0.0002563514,0.00001787161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002079459,"about_ca_system_score_gemma":0.0001963869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009005419,"about_ca_topic_score_gemma":0.00006589267,"domain_scores_codex":[0.9980351,0.0001344368,0.0002695033,0.0002275758,0.0008590952,0.0004743222],"domain_scores_gemma":[0.9988215,0.0001659078,0.0001871764,0.0001646476,0.0004861518,0.0001746266],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004049561,0.0008401779,0.001629176,0.000105761,0.0002589608,0.0001445254,0.1019891,0.02538602,0.475147,0.3302636,0.002262209,0.06156841],"study_design_scores_gemma":[0.003385517,0.002279055,0.01742839,0.002209601,0.0005724567,0.006629564,0.0904924,0.03884973,0.01042814,0.8169065,0.008362752,0.00245588],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9789882,0.001303668,0.003082856,0.01088727,0.001105034,0.0008035612,0.000007918899,0.00003918866,0.003782297],"genre_scores_gemma":[0.9951579,0.00009769859,0.002788362,0.001260854,0.000593562,0.000003911053,3.254356e-7,0.000006352649,0.00009106103],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4866429,"threshold_uncertainty_score":0.9949941,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05769855581245458,"score_gpt":0.3468420183891781,"score_spread":0.2891434625767235,"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."}}