{"id":"W4366809696","doi":"10.1353/rss.2011.0012","title":"Generality of Logical Types","year":2011,"lang":"en","type":"article","venue":"Russell the Journal of Bertrand Russell Studies","topic":"Philosophy and History of Science","field":"Arts and Humanities","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Ambiguity; Generality; Statement (logic); Type (biology); Logical framework; Type theory; Context (archaeology); Logical conjunction; Calculus (dental); Epistemology; Perspective (graphical); Computer science; Mathematics; Philosophy; Programming language; Artificial intelligence; Psychology","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009029923,0.0001348851,0.0003850606,0.00007098782,0.0004474085,0.00001360474,0.0003966443,0.00002973696,0.0005448773],"category_scores_gemma":[0.00003611537,0.00006638027,0.0001783407,0.00004894545,0.001493312,0.0002024548,0.00003767004,0.0001863714,0.00002023708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001714278,"about_ca_system_score_gemma":0.00002989691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007217313,"about_ca_topic_score_gemma":0.000116619,"domain_scores_codex":[0.9988483,0.0001069398,0.0005026423,0.00008631797,0.0002865974,0.0001692699],"domain_scores_gemma":[0.9989508,0.0001600383,0.0004103512,0.0001450766,0.0002786944,0.00005504134],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001323372,0.000914071,0.0005696088,0.0002342487,0.001324311,0.00004462173,0.5034794,0.00004601754,0.003473429,0.4671934,0.01944275,0.001954774],"study_design_scores_gemma":[0.003161485,0.004623192,0.00673923,0.0005341528,0.0020812,0.0002796792,0.04376467,0.00003292605,0.02253084,0.4063089,0.5087982,0.001145541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.78822,0.03141649,0.00004106333,0.001388127,0.001763601,0.0001349093,0.00001156602,0.0000186339,0.1770056],"genre_scores_gemma":[0.9940661,0.003872137,0.0001404047,0.0001775959,0.0004808475,6.145029e-7,1.21813e-7,0.000006356456,0.001255846],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4893555,"threshold_uncertainty_score":0.5966024,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1798400899868277,"score_gpt":0.2705028701679318,"score_spread":0.09066278018110413,"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."}}