Mathematical Truth
"Mathematical Truth" on Paul Benacerrafi artikkel. See ilmus ajakirjas Journal of Philosophy, 1973, 70 (19), lk 661–679. Ta väidab selles, et ükski matemaatika filosoofiline tõlgendus ei ole ühtaegu rahuldav nii epistemoloogia kui ka semantika vaatepunktist. Matemaatilist tõesust on küll võimalik seletada nii, et see vastab meie süntaktilisele ja semantilisele tõesusekäsitusele mittematemaatilises keeles; ja on võimalik seletada meie matemaatilist teadmist kooskõlas kausaalse arusaamaga teadmisest; kuid üldjuhul ei ole võimalik teha mõlemat korraga. Nimelt eeldab tõesuse seletamine matemaatiliste abstraktsete objektide olemasolu, kuid need objektid pole tunnetusele kättesaadavad, sest nad on põhjuslikult inertsed ehk põhjuslikult mittemõjusad, mistõttu nad pole meeltetajule kättesaadavad. Teiselt poolt, kui siduda tõesustingimused kuidagi tõestusega, siis pole arusaadav, kuidas ja miks nad puutuvad tõesusesse. Seda nimetatakse Benacerrafi dilemmaks.