{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007893538,0.0005647875,0.0007972789,0.003005266,0.003220065,0.006902668,0.001957852,0.00162799,0.005890876],"category_scores_gemma":[0.01143218,0.0008001911,0.002044849,0.002034969,0.01509839,0.01528174,0.007141044,0.005281572,0.001134805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003691301,"about_ca_system_score_gemma":0.001450712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00116676,"about_ca_topic_score_gemma":0.0007122189,"domain_scores_codex":[0.9944822,0.002255378,0.0004113131,0.001057294,0.00129494,0.0004990358],"domain_scores_gemma":[0.9928923,0.003431744,0.0005601428,0.001921594,0.00078492,0.0004092962],"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.00000201153,0.000001452686,0.00007858881,0.00001194909,0.000003120475,0.00001204669,0.0001156296,0.0001321154,0.00003470443,0.9983347,0.0002381511,0.001035559],"study_design_scores_gemma":[0.000005417055,0.00000462678,0.00007307439,0.00001144684,0.000005213884,0.0000568162,0.00004825259,0.0006153636,0.00008087163,0.9866499,0.01244385,0.000005292527],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.05697171,0.008288121,0.6190854,0.01723232,0.001205244,0.0001134254,0.0004705844,0.0008151404,0.2958182],"genre_scores_gemma":[0.8820257,0.002722306,0.09302036,0.00231791,0.001140489,0.0002038284,0.0001951276,0.0002979369,0.01807633],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007893538,"threshold_uncertainty_score":0.04174548,"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."}}