{"id":"W2313787739","doi":"10.1017/s1079898600003620","title":"Peter Smith. An introduction to formal logic. Cambridge University Press, Cambridge, 2003, viii + 357 pp.","year":2004,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Content (measure theory); Computer science; Philosophy; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001894534,0.002824627,0.001907626,0.006416653,0.00131634,0.002376564,0.001622041,0.001906291,0.05037879],"category_scores_gemma":[0.004036484,0.002473492,0.001866632,0.00571511,0.003140375,0.0094344,0.001516311,0.00445741,0.03433636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002476917,"about_ca_system_score_gemma":0.001756233,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00594649,"about_ca_topic_score_gemma":0.009105257,"domain_scores_codex":[0.9987615,0.0002565304,0.0001992174,0.0002139795,0.0004904462,0.00007842015],"domain_scores_gemma":[0.9970748,0.001866698,0.0001633557,0.0002095298,0.0005597482,0.0001258548],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006294333,0.00005052269,0.0003362061,0.001762839,0.0000690261,0.0001940617,0.0006876765,0.0008882118,0.0004096857,0.09671301,0.6630584,0.2357674],"study_design_scores_gemma":[0.00002597591,0.00002166154,0.0006758604,0.0007429485,0.00003058623,0.0004914274,0.0001478619,0.0004609824,0.0003618655,0.1652475,0.831762,0.00003135674],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0006949943,0.8464796,0.0576559,0.01740659,0.005088425,0.00006721372,0.002099586,0.001870578,0.06863707],"genre_scores_gemma":[0.02358731,0.7645581,0.07752663,0.005171137,0.008809027,0.0003004001,0.003340311,0.001898423,0.1148087],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.05037879,"threshold_uncertainty_score":0.1685339,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01190490713823545,"score_gpt":0.2133161788503368,"score_spread":0.2014112717121013,"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."}}