{"id":"W2032952766","doi":"10.1007/bf02379783","title":"Knowability and intuitionistic logic","year":2001,"lang":"en","type":"article","venue":"Philosophia","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":54,"is_retracted":false,"has_abstract":false,"ca_institutions":"Wilfrid Laurier University; University of Waterloo","funders":"","keywords":"Philosophy of language; Philosophy of science; Philosophy of mind; Philosophy; Epistemology; Intuitionistic logic; Linguistics; Metaphysics; Propositional calculus","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.000200889,0.0001175436,0.0001354118,0.00004747215,0.0001773265,0.0001180306,0.0003766321,0.00005214379,0.00005788935],"category_scores_gemma":[0.000126246,0.00009851802,0.00003912142,0.0002154812,0.0001156141,0.0002371316,0.0002236394,0.0001028447,0.0002379901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003152509,"about_ca_system_score_gemma":0.00002748052,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001081645,"about_ca_topic_score_gemma":0.000006822444,"domain_scores_codex":[0.9991071,0.00005201107,0.0001399942,0.0003660785,0.0001202342,0.0002146467],"domain_scores_gemma":[0.99928,0.0000852505,0.00004235422,0.0004077707,0.00006545297,0.0001191901],"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.000003906517,0.0000808833,0.003606674,0.00001218442,0.000005540373,0.00002352003,0.0001856854,0.000001950114,0.0000536319,0.9869341,0.0002639955,0.008827956],"study_design_scores_gemma":[0.0002030164,0.00008847183,0.0136722,0.000007550115,0.000005103866,0.00007957863,0.000003143096,0.003516493,0.00003267027,0.9763982,0.005843116,0.0001504142],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.09638267,0.003056508,0.3500365,0.02546183,0.00135021,0.0005247173,0.000005049434,0.001075914,0.5221066],"genre_scores_gemma":[0.995867,0.00007072588,0.003156403,0.0004752141,0.0002644451,0.00001078079,0.000001653511,0.000004733941,0.0001490068],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8994844,"threshold_uncertainty_score":0.4017448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03412442582355944,"score_gpt":0.2603120722121932,"score_spread":0.2261876463886338,"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."}}