{"id":"W2100260968","doi":"10.1007/s10992-007-9071-1","title":"SUPERVALUATION FIXED-POINT LOGICS OF TRUTH","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Epistemology; Mathematical economics; Calculus (dental); Philosophy","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.005138229,0.0008937671,0.001534996,0.003005412,0.00220392,0.005928705,0.002982374,0.002048334,0.01020671],"category_scores_gemma":[0.009597252,0.001197043,0.00224109,0.002519186,0.00805521,0.01915698,0.003969938,0.006681528,0.001167795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003330051,"about_ca_system_score_gemma":0.0009072177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001400114,"about_ca_topic_score_gemma":0.001257138,"domain_scores_codex":[0.9973992,0.000951639,0.0002309635,0.0006192876,0.0005664803,0.0002323866],"domain_scores_gemma":[0.9927487,0.004312138,0.0003094681,0.001261533,0.0009880236,0.0003801687],"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.00001313343,0.000005020168,0.00003666641,0.00001365163,0.000006004585,0.00001178821,0.00009187918,0.0001927299,0.00008313316,0.9979073,0.0001888515,0.001449871],"study_design_scores_gemma":[0.000008063742,0.000003818455,0.00001744147,0.000004754669,0.000007247931,0.00001428507,0.00002018293,0.001134476,0.0001196278,0.9979789,0.0006867018,0.00000452153],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05686528,0.002085244,0.8482247,0.004606444,0.0003610576,0.0001141742,0.0004911558,0.0007668118,0.08648512],"genre_scores_gemma":[0.8756692,0.0008470444,0.1069334,0.0009357467,0.0006044343,0.0001476526,0.0004474683,0.0002421018,0.01417302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01020671,"threshold_uncertainty_score":0.03414482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07778070247620184,"score_gpt":0.2800608235043985,"score_spread":0.2022801210281967,"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."}}