1
A PhD. student of philosophy of Physics in Baqir al-Ulum University.
2
. An associate professor and faculty member at sociology colleague of Tehran University.
3
A PhD. holder of Islamic philosophy and theology of the Research Institute of Islamic philosophy and Theosophy of Iran, Tehran.
Abstract
As a philosophical question covering issues such as whether dimensions of the world are finite or infinite, the possibility of indivisible part, the possibility of an infinite thing, whether time and temporal past incidents are finite or infinite, and regressio ad infinitum in the chain of causes and effects, "Ad infinitum in actu" has since long caught the attention and disputes of scholars. Some of them have argued for the possibility and some for the impossibility of it. There are others who considered the arguments of both sides inadequate and thus remained silent about the issue. Following Kantor's efforts, it was embraced that "Ad infinitum in actu" is neither provable nor refutable logically. Having embraced that mathematics of infinitum in actu cannot be proved nor can it be decided about and that it is far from mathematics of finitude, at last ad infinitum in actu was accepted as one postulate in the theory of postulates of sets. In their essay showing that ad infinitum in actu is far from mathematical infinitum, the authors have suggested an argument to demonstrate that infinitum in actu is mathematically unprovable. It will become evident that mathematical arguments for the refutation of ad infinitum in actu (such as those of comparison, of the side and the middle, of ladder, and so on) are not real arguments, rather they are mere hints to more illuminate the consequences of the concept of ad infinitum in actu in the light of which one can decide about the possibility or impossibility of ad infinitum in actu.
حسنزاده آملى، حسن (1365). هزار و یک نکته. چاپ پنجم. تهران: مرکز نشر فرهنگی رجاء.
خادمزاده، وحید و سعیدیمهر، محمد (1388). «بررسی برهانهای ریاضیاتی ابطال تسلسل براساس نظریه مجموعهها». فلسفه و کلام اسلامی، 42 (1)، ص68-45.
سبزواری، ملاهادی (1379). شرح المنظوم (ج4)، با تصحیح و تعلیق آیتالله حسنزاده آملى و تحقیق و تقدیم مسعود طالبى. تهران: نشر ناب.
زارع، روزبه و حسینی، سید حسن (1394). «مسأله آغاز: طرح و بررسی دیدگاه صدرالمتألهین و علامه طباطبایی در باب حدوث زمانی عالم طبیعت». پژوهشهای هستیشناختی، 4 (7)، ص38-123.
صدرالدین شیرازی، ﻣﺤﻤﺪﺑﻦاﺑﺮاﻫﯿﻢ (1410ق). الحکمة اﻟﻤﺘﻌﺎلیة ﻓﻲ الاﺳﻔار العقلیة الاربعة (ج2). بیروت: دار احیاء التراث العربی.
طالبزاده، سید حمید (1385). «متناهی و نامتناهی». فلسفه، دانشگاه تهران، 34 (1)، ص102-87.
طباطبایی، سید محمدحسین (1424ق.). نهایة الحکمة. به تحقیق عباسعلی زارعی سبزواری. قم: مؤسسه نشر اسلامی.
قطبالدین شیرازی، محمدبنمسعود (1383). شرح حکمة الاشراق. به اهتمام عبدالله نورانی و مهدی محقق. تهران: انجمن آثار و مفاخر فرهنگی.
ـــــــــــــــ (1367). تمهیدات. ترجمه حداد عادل. تهران: مرکز نشر دانشگاهی.
کهنسال، علیرضا (1381). «تأمل در تسلسل». مطالعات اسلامی، (56)، ص114-85.
مصباح یزدی، محمدتقی (1393). تعلیقة علی نهایة الحکمة. قم: مؤسسه آموزشی و پژوهشی امام خمینی.
مطهری، مرتضی (1378). اصول فلسفه و روش رئالیسم (ج5). چاپ سوم. قم: نشر صدرا.
ـــــــــــــــ (1369). حرکت و زمان در فلسفه اسلامی (ج2). چاپ سوم. تهران: انتشارات حکمت.
میراحمدی، سید سعید (1396). امکان بحث و اقامه برهان در باب «نامتناهی». پایاننامه سطح 3، حوزه علمیه قم.
Abian,; LaMacchia, S. (1978). “On the consistency and independence of some set-theoretical axioms”. Notre Dame Journal of Formal Logic, 19 (1), P. 155-8.
Cantor, Zermelo E. (Ed.) (1932). Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Springer. Berlin. reprinted by Olms, Hildesheim (1966).
Craig, E. (1998). Routledge Encyclopedia of philosophy (vol. 4). Londen: Routledge.
Craig, W. L. (1979). The Kalam Cosmological Argument. London: The McMillan Press.
Craig, W. L.; Smith Q. (1995). Theism, Atheism, and Big Bang Cosmology. (Clarendon Paperbacks). USA: Oxford University Press.
Dauben, J. W. (1979). George Cantor his mathematics and philosophy of the infinite. reprint 1990. USA: Princeton University Press.
Ewald, W. (1996). From Kant to Hilbert: a source book in the foundation of mathematics (vol. 2). reprinted 2005. New York: Oxford University Press. (H. Poincaré, 1906b, Mathematics and logic: III).
Forster, T. (2003). Logic, induction and sets (No. 56). Cambridge University Press.
Hrbacek,; Jech, T. (1999). Introduction to set theory. 3rd edition. New York: Marcel Dekker, Inc.
Kline, M. (1982). Mathematics: The Loss of Certainty. New York: Oxford University Press.
Mendelson, E. (1956). “Some Proofs of Independence in Axiomatic Set Theory”. The Journal of Symbolic Logic, 21(3), P. 291-303.
Russ, (2004). The mathematical works of Bernard Bolzano. reprinted 2006. New York: Oxford University Press.
Stillwell, J. (2010). Roads to infinity: the mathematics of truth and proof. CRC Press.
Van Heijenoort, J (1967). From Frege to Godel: a source book in mathematical logic 1879-1931. USA: Harvard University Press.
Wittgenstein, L. (1989). Lectures on the Foundations of Mathematics. Diamond, C. (Ed.). Chicago: Chicago University Press.
___________ (1978). Remarks on the Foundations of Mathematics. Oxford: Blackwell.
Mirahmadi,S. S. , Parsania,H. P. and Ihterami,R. (2023). Is ad infinitum in actu Provable?(a critical study). Journal of Hikmat-e-Islami, 9(34), 175-193.
MLA
Mirahmadi,S. S. , , Parsania,H. P. , and Ihterami,R. . "Is ad infinitum in actu Provable?(a critical study)", Journal of Hikmat-e-Islami, 9, 34, 2023, 175-193.
HARVARD
Mirahmadi S. S., Parsania H. P., Ihterami R. (2023). 'Is ad infinitum in actu Provable?(a critical study)', Journal of Hikmat-e-Islami, 9(34), pp. 175-193.
CHICAGO
S. S. Mirahmadi, H. P. Parsania and R. Ihterami, "Is ad infinitum in actu Provable?(a critical study)," Journal of Hikmat-e-Islami, 9 34 (2023): 175-193,
VANCOUVER
Mirahmadi S. S., Parsania H. P., Ihterami R. Is ad infinitum in actu Provable?(a critical study). Journal of Hikmat-e-Islami, 2023; 9(34): 175-193.