آیر، آلفرد. (1398). زبان حقیقت منطق. ترجمۀ منوچهر بزرگمهر. تهران: انتشارات شفیعی، چاپ اول.
انیشتن، آ. (1396). فیزیک و واقعیت. ترجمۀ محمدرضا خواجهپور. تهران: نشر خوارزمی، چاپ اول.
پوپر، کارل. (1393). حدسها و ابطالها. ترجمۀ رحمتالله جباری. تهران: نشر شرکت سهامی انتشار، چاپ اول.
حکاک، سید محمد. (1380). تحقیق در آراء معرفتی هیوم. تهران: انتشارات حکمت، چاپ اول.
. رندال هرمن.(1376). سیر تکامل عقل نوین. ترجمه: ابوالقاسم پاینده. انتشارات علمی فرهنگی تهران. چاپ دوم.
. صدرالمتألهین، محمد قوام شیرازی . (1392). اسفار اربعه. ترجمه و تحقیق: محمد خواجوی. نشر مولی، تهران. چاپ اول، چهار جلدی.
. صدرالمتألهین، محمد قوام شیرازی .(1392). اسرار الآیات. ترجمه: محمد خواجوی. نشر مولی. تهران. چاپ چهارم.
. صدرالمتألهین، محمد قوام شیرازی . (1386). رساله اتحاد عاقل و معقول. ترجمه: علی بابایی. نشر مولی. تهران. چاپ اول.
. صدرالمتألهین، محمد قوام شیرازی ، (1400). التنقیح فی المنطق، ترجمه: سلیمانی، نشر مجمع عالی حکمت اسلامی، قم. چاپ دوم.
. صدرالمتألهین، محمد قوام شیرازی . (1366). تفسیر القرآن الکریم. نشر بیدار. قم. چاپ اول.
. صدرالمتألهین، محمد قوام شیرازی . (بیتا). الحاشیه علی الهیات الشفاء. انتشارات بیدار. قم.
. فولکیه، پل. (1366)، فلسفه عمومی. ترجمه: یحیی مهدوی. انتشارات دانشگاه تهران. تهران. چاپ اول.
. کولیون مارک. (1400). درآمدی بر فلسفه ریاضیات. ترجمه: کامران شهبازی. نشر نقد فرهنگ. تهران. چاپ سوم.
. کارنپ رودلف. (1378). مقدمهای بر فلسفه علم. ترجمه: یوسف عفیفی. نشر نیلوفر. تهران. چاپ سوم.
. همپل کارل. (1375). ماهیت راستی ریاضی. چاپ در اعتماد 1375ش، صص 188-211.
. Berth, Arthur, (2003), The Meta physical Foundation of Modern Science, NewYork, Dover Publication.
. Borchert, D. M. (2006), Planck, Max, Encyclopedia of Philosophy. (2nd Edition) 10 vols, Gale/ Thomson Learning, vol. 7.
. Bundy, A. (2005). What is a Proof? , Philosophical Transactions of the Royal Society, No.363.
. Chaitin, G. J. (1987). Algorithmic Information Theory.(Cambridge U. P: Cambridge) .METHUEN & CO. LTD.
. Doncy, Jonathan, Ed. (1992). A Companion to Epistemology. London: Blackwell.
. Dirac, P.A. (1981). Einstain the Development of Phisics, in the Impact of Modern Scientific Ideas on Society. Dordrechat-Holland.
. Einstein, Albert. (1970). Philosopher-Scientist. edited by P.A. Schipp. open court, Lasalle.
. Friedman, Michael. (1998). Logical Positivism in routledge Encyclopedia of Philosophy. Vol. 5. ed. Edward craig. London and New York.
. Hume David. (1739). A Treatise of Human Nature. Printed for John Noon at the White-Hart, near Mercer’s – Chapel, in Cheapfide. London. Vol 1.
. Hilbert, D. (1983). On the Infinite, in P. Benacerraf and H. Putname (eds). Philosophy of Mathematics: Selected Readings, 2nd edition, Cambridge University Press.
. Mahner, M. (2007). Demarceting science frome non science. Handbook of the Philosophy of science: General Philosophy of science-Focal Issues, Dov M. Gabbay.
. Margenau. H. (1992). Cosmos, Bios, Theos. (La Salle, ILLinois: Open Court.
. Olsker, T. C. (2011). What Do We Maen by Mathematical Proof. Journal of Humathematics. Vol.1, No.1.
. Putnam, H. (1979). What is Mathematical Truth, in H.Putnam Mathematics Matter and Method. Philosophical Papers, Vol1, 2nd edition, Combridge University Press.
. Quine, W.V. (1976). Carnap and Logical Truth. reprinted in The Ways of Paradox and Other Essays, revised edition, combridge, MA: Harvard University.
. Roos, M. (2003). Introduction to Cosmology. John Wiley and Sons, UK.
. Riess, A.G. (1998). Observational Evidence from Supernova for an Accelerating Universe and a Cosmological Constant. The Astronomical Journal 116.
. Wber,K. (2009). Proving is not Convincing, Presented at Twelfth Conference on Research in Undergraduate Mathematics Education, Releigh, NC.
. Wilkinson, D. (1993). God the Bing Bang and Stephan Hawking. Publisher: Monarch Books.
.Wolfram, S. (2002). A New Kind of Science. (Wolfram Me- dia: New York.
.Weinberg, S. (1992). Dreams of a Final Theory: The Scientist's Search for the Ultimate Laws of Nature, Pantheon Books.