كانت و نظریه ايده های فطری؛ آيا كانت فطری گرا است؟ دکتر حميد طالب زاده @eat_book #مقاله #فلسفه

#معرفی_کتاب مقدمه‌ی کاملی بر منطق سی فان لی @harmoniclib #منطق

🔴تمدید مهلت ارسال مقالات کامل به همایش «رنه گنون و احیاء خمیرۀ ازلی» با سپاس فراوان از استقبال گستردۀ علاقه‌مندان از همایش بین المللی «رنه گنون و احیاء خمیرۀ ازلی»، به اطلاع می‌رساند که با تصمیم شورای اجرایی همایش، مهلت ارسال مقالات به این همایش تا 12 دی‌ماه سال 1403 تمدید شد. گفتنی است که پژوهشگران می‌توانند مقالات کامل خود را از طریق سامانۀ همایش به آدرس وبگاه https://guenon.irip.ac.ir ارسال بفرمایند. نتیجۀ داوری مقالات تا 12 بهمن‌ماه 1403 به اطلاع نویسندگان گرامی خواهد رسید. 🆔https://eitaa.com/hekmatfalsafe

💠ظرفیت‌های فلسفه اسلامی در پاسخ به نیازهای معاصر 👤استاد فنایی اشکوری ➖➖➖➖➖ 🗳@vajeazeh

جلسه نوزدهم درسگفتار فلسفه معاصر دکتر اردبیلی @Philosophy_files #درسگفتار #فلسفه_معاصر

جلسه بیستم و آخر درسگفتار فلسفه معاصر دکتر اردبیلی @Philosophy_files #درسگفتار #فلسفه_معاصر

برهان صدیقین و وحدت شخصی وجود در حکمت متعالیه قباد محمدی شیخی احمد عابدی #مقاله #فلسفه

💠 ظرفیت‌شناسی منطق فازی در سیر تحصیلات حوزوی 👤استاد واسطی ➖➖➖➖➖➖ 🗳@vajeazeh

💠 فلسفه در عربستان جدید [عربستان پسا سلفیه ؟] 🔸عنوان چند برنامه‌ در عربستان سعودی به مناسبت روز جهانی فلسفه ▫️افلاطون و فلسفه‌ی اشراقی ▪️محاوره‌ی لیسیس افلاطون ▫️فلسفه برای زندگی ▪️فلسفه برای کودکان تصویری ▫️رابطه‌ی فلسفه و حقوق ▪️نقش فلسفه در ساخت آینده (هوش مصنوعی) ▫️فلسفه‌ی دکارتی کوجیتو: مفهوم و ابعاد ▪️نفس مابین علم و فلسفه @safsat

👤استاد دکتر غلامحسین ابراهیمی دینانی در مصاحبه با جناب هادی الواتی در چنل یوتیوب"الحیره": من شدیداً به "وحدت وجود" باور دارم و اگر کسی به "وحدت وجود" باور نداشته باشد "مشرک" است. @drdinani

🎥 #ببینید | #علامه_جعفری 💠 ستارگان حکمت 🔰ویژه‌برنامه بزرگداشت علامه محمدتقی جعفری(ره) 💢علامه جعفری؛ فیلسوف زمانه و زمینه ⬅️موضوع: فلسفه سیاسی علامه جعفری و دین معقول(۱) 🔸جلسه ششم 🎤استاد دکتر مرتضی یوسفی‌راد #مجمع_عالی_حکمت_اسلامی 🆔@hekmateislami

🎥 #ببینید | #علامه_جعفری 💠 ستارگان حکمت 🔰ویژه‌برنامه بزرگداشت علامه محمدتقی جعفری(ره) 💢علامه جعفری؛ فیلسوف زمانه و زمینه ⬅️موضوع: فلسفه سیاسی علامه جعفری و دین معقول(۲) 🔸جلسه هفتم 🎤استاد دکتر مرتضی یوسفی‌راد #مجمع_عالی_حکمت_اسلامی 🆔@hekmateislami

🎥 #ببینید | #فارابی 💠 ستارگان حکمت 🔰ویژه برنامه‌های روز بزرگداشت ابونصر فارابی 💢فلسفه سیاسی فارابی ⬅️موضوع: شرح حال فارابی 🔸جلسه اول 🎤حجت الاسلام دکتر محسن مهاجرنیا #مجمع_عالی_حکمت_اسلامی 🆔@hekmateislami

مقاله "خودکارسازی برهان هستی‌شناختی گودل برای اثبات وجود خدا با استفاده از قضیه-اثبات‌های خودکار مرتبه بالاتر" نوشته کریستوف بنزمولر و برونو ولتزنلوگل پالئو به بررسی امکان اثبات وجود خدا با استفاده از منطق ریاضی و ابزارهای خودکارسازی قضیه می‌پردازد. آنها برهان هستی‌شناختی گودل را به عنوان مبنای کار خود قرار داده و سعی کرده‌اند با استفاده از منطق موجهات مرتبه بالاتر و قضیه‌اثبات‌های خودکار، این برهان را به صورت ماشینی اثبات کنند. برهان هستی‌شناختی گودل: کورت گودل، ریاضیدان و منطق‌دان برجسته، برهان هستی‌شناختی خود را برای اثبات وجود خدا ارائه داد. این برهان بر پایه مفاهیم فلسفی و منطقی بنا شده و از تعاریف و اصول موضوعه برای رسیدن به نتیجه استفاده می‌کند. برهان گودل به زبان ساده به شرح زیر است: 1.  تعریف صفت مثبت (Positive Property):  یک صفت مثبت است اگر و تنها اگر نقیض آن منفی باشد. به عبارت دیگر، صفات خوب مانند مهربانی، دانایی و قدرت، صفات مثبت هستند، در حالی که صفات بد مانند شرارت، نادانی و ضعف، صفات منفی هستند. 2.  اصل موضوعه 1:  اگر یک صفت مثبت باشد، آنگاه ترکیب منطقی آن با صفات مثبت دیگر نیز مثبت است. به عبارت دیگر، اگر P و Q دو صفت مثبت باشند، آنگاه P و Q نیز یک صفت مثبت است. 3.  اصل موضوعه 2:  اگر یک صفت، مثبت باشد، آنگاه امکان وجود داشتن چیزی که آن صفت را دارد، وجود دارد. به عبارت دیگر، اگر P یک صفت مثبت باشد، آنگاه ممکن است موجودی وجود داشته باشد که دارای صفت P باشد. 4.  اصل موضوعه 3:  صفت خداگونه بودن (God-likeness) یک صفت مثبت است. صفت خداگونه بودن به معنای داشتن تمام صفات مثبت است. 5.  تعریف ذات (Essence):  ذات یک شیء، مجموعه‌ای از صفات ضروری آن شیء است. به عبارت دیگر، اگر یک شیء دارای ذات خود باشد، آنگاه آن شیء وجود دارد. 6.  اصل موضوعه 4:  اگر چیزی خداگونه باشد، آنگاه ذاتاً خداگونه است. به عبارت دیگر، اگر موجودی دارای تمام صفات مثبت باشد، آنگاه این صفت (داشتن تمام صفات مثبت) برای آن موجود ضروری است. 7.  لم 1:  اگر چیزی خداگونه باشد، آنگاه صفت خداگونه بودن یک صفت ضروری برای آن است. (این لم از اصل موضوعه 4 و تعریف ذات نتیجه می‌شود) 8.  قضیه 1:  امکان وجود یک موجود خداگونه وجود دارد. (این قضیه از اصل موضوعه 3 و اصل موضوعه 2 نتیجه می‌شود) 9.  لم 2:  اگر چیزی خداگونه باشد و صفت خداگونه بودن یک صفت ضروری برای آن باشد، آنگاه آن موجود ضرورتاً وجود دارد. (این لم از تعریف ذات نتیجه می‌شود) 10. قضیه نهایی:  ضرورتاً موجودی خداگونه وجود دارد. (این قضیه از قضیه 1، لم 1 و لم 2 نتیجه می‌شود) خودکارسازی برهان گودل: بنزمولر و پالئو در مقاله خود، برهان گودل را به زبان منطق موجهات مرتبه بالاتر (Higher-order Modal Logic) فرموله کرده‌اند. این منطق به آنها اجازه می‌دهد تا مفاهیمی مانند "ضرورت"، "امکان" و "صفات مرتبه بالاتر" (صفاتی که به صفات دیگر اطلاق می‌شوند، مانند "مثبت بودن") را به طور دقیق بیان کنند. سپس آنها با استفاده از قضیه‌اثبات‌های خودکار مانند LEO-II و Isabelle/HOL، این فرمول‌بندی را به صورت ماشینی اثبات کرده‌اند. فرمول‌بندی ریاضی برهان گودل (بدون لتکس): 1.  تعریف صفت مثبت:     P(x) ↔ ¬N(x)     که در آن P(x) به معنای "x یک صفت مثبت است" و N(x) به معنای "x یک صفت منفی است" می‌باشد. 2.  اصل موضوعه 1:     ∀P∀Q [P(x) ∧ Q(x) → (P ∧ Q)(x)]     که در آن P و Q صفات هستند. 3.  اصل موضوعه 2:     ∀P [P(x) → ◊∃y P(y)]     که در آن ◊ به معنای "امکان" است. 4.  اصل موضوعه 3:     G(x)     که در آن G(x) به معنای "x صفت خداگونه بودن را دارد" است. و همچنین:     G(x)↔∀φ [P(φ) → φ(x)]     که یعنی چیزی خداگونه است اگر و تنها اگر تمام صفات مثبت را داشته باشد. 5.  تعریف ذات:     E(x, φ) ↔ φ(x) ∧ ∀ψ [ψ(x) → □(ψ(x))]     که در آن E(x, φ) به معنای "φ ذات x است" و □ به معنای "ضرورت" است. 6.  اصل موضوعه 4:     ∀x [G(x) → E(x, G)] 7.  لم 1:     ∀x [G(x) → □G(x)] 8.  قضیه 1:     ◊∃x G(x) 9.  لم 2:     ∀x [(G(x) ∧ □G(x)) → □∃y(y=x)] 10. قضیه نهایی:     □∃x G(x) ادامه:👇👇 @ReligionandScience2021

توضیحات بیشتر در مورد نمادها: *   ∀: به معنای "برای هر" یا سور عمومی است. *   ∃: به معنای "وجود دارد" یا سور وجودی است. *   ∧: به معنای "و" یا عطف منطقی است. *   →: به معنای "اگر ... آنگاه" یا شرطی منطقی است. *   ¬: به معنای "نقیض" یا نفی منطقی است. *  و ↔: به معنای "اگر و تنها اگر" یا دو شرطی منطقی است. * و  □: عملگر موجهات برای ضرورت است. *  و ◊: عملگر موجهات برای امکان است. * و   φ و ψ: متغیرهایی هستند که بر روی صفات دلالت می‌کنند. نتیجه‌گیری: بنزمولر و پالئو با استفاده از منطق موجهات مرتبه بالاتر و قضیه‌اثبات‌های خودکار، نشان داده‌اند که برهان هستی‌شناختی گودل را می‌توان به صورت ماشینی اثبات کرد. این بدان معنا نیست که وجود خدا به طور قطعی اثبات شده است، زیرا اعتبار برهان گودل همچنان مورد بحث فلاسفه و منطق‌دانان است. با این حال، کار بنزمولر و پالئو نشان می‌دهد که می‌توان از ابزارهای منطق ریاضی برای بررسی مفاهیم فلسفی پیچیده مانند وجود خدا استفاده کرد. همچنین، خودکارسازی این برهان، امکان بررسی دقیق‌تر و عمیق‌تر فرض‌ها و استدلال‌های به کار رفته در آن را فراهم می‌کند. منبع: Automating Godel’s Ontological Proof of God’s Existence ¨ with Higher-order Automated Theorem Provers. Christoph Benzmuller ¨ and Bruno Woltzenlogel. @ReligionandScience2021

برهان هستی‌شناختی گودل، اگرچه از برهان آنسلم الهام گرفته شده، اما با آن یکسان نیست و پیچیدگی‌ها و ظرافت‌های بیشتری دارد. در واقع، برهان گودل را می‌توان نسخه‌ی مدرنیزه شده و فرمال‌تر برهان آنسلم در نظر گرفت که با استفاده از منطق موجهات (Modal Logic) بیان شده است. شباهت‌ها: هر دو برهان آنسلم و گودل تلاش می‌کنند وجود خداوند را با استفاده از استدلال منطقی و بدون توسل به شواهد تجربی اثبات کنند. هر دو برهان بر این ایده استوارند که خدا موجودی کامل است و وجود داشتن، بخشی از کمال است.  بنابراین، اگر خدا کامل است، باید وجود داشته باشد. تفاوت‌ها: 1.  فرمالیسم:  برهان آنسلم به زبان طبیعی و غیر فرمال بیان شده است، در حالی که برهان گودل با استفاده از منطق موجهات مرتبه بالاتر به طور دقیق فرموله شده است. این فرمالیسم به گودل اجازه می‌دهد تا مفاهیمی مانند "ضرورت"، "امکان" و "صفات" را به طور دقیق تعریف کند و از ابهامات موجود در برهان آنسلم جلوگیری کند. 2.  مفهوم صفت مثبت:  آنسلم به طور واضح مفهوم "صفت مثبت" را تعریف نمی‌کند، در حالی که گودل این مفهوم را به طور دقیق تعریف می‌کند و اصولی را برای ترکیب صفات مثبت ارائه می‌دهد. 3.  ساختار برهان:  ساختار برهان گودل پیچیده‌تر از برهان آنسلم است و شامل لم‌ها و قضایای میانی بیشتری است.  گودل از مفاهیم منطق موجهات مانند عملگرهای "ضرورت" و "امکان" برای ساختاردهی برهان خود استفاده می‌کند. 4.  دامنه برهان:  برهان آنسلم بیشتر بر مفهوم "وجود داشتن در ذهن" و "وجود داشتن در واقعیت" تمرکز دارد، در حالی که برهان گودل بر مفهوم "ذات" و "ضرورت وجود" تأکید دارد. به طور خلاصه: برهان گودل را می‌توان به عنوان تلاشی برای formalize کردن و دقیق‌تر کردن برهان آنسلم در نظر گرفت.  گودل با استفاده از ابزارهای منطق مدرن، سعی کرده است استدلال آنسلم را از ابهامات و انتقادات وارد بر آن رها کند. با این حال،  اعتبار هر دو برهان همچنان مورد بحث و مناقشه فلاسفه و منطق‌دانان است. @ReligionandScience2021

برخی از منتقدان برجسته برهان گودل عبارتند از: *   جردن هاوارد سوبل (Jordan Howard Sobel):  سوبل در کتاب خود "منطق و تئولوژی" (Logic and Theism) به تفصیل به نقد برهان گودل پرداخته است. او استدلال می‌کند که برهان گودل مبتنی بر مفاهیم مبهم و اصول موضوعه مشکوک است. *   گراهام اوپی (Graham Oppy):  اوپی، فیلسوف دین، در نوشته‌های خود به نقد براهین هستی‌شناختی، از جمله برهان گودل، پرداخته است. *   جان هالدن (John Haldane): هالدن، فیلسوف و متکلم، نیز از منتقدان برهان گودل است. و اما پاسخ به انتقادات سوبل به گودل در منطق موجهات:👇👇 @ReligionandScience2021

از کتاب خود روبرت کونز، درباره‌ی چالش‌هایی بر نقدهای سوبل. دکتر کونز از بزرگترین منطق‌دانان و متخصصان منطق موجهات در عصر مدرن است. @ReligionandScience2021

استدلال گودل در ضرورت منطقی وجود خداوند توسط: Christoph Benzmüller and Bruno Woltzenlogel-Paleo. با کامپیوتر پروف سیستم  (Verified) شد و صحت آن تأیید شد، به عبارت دیگر استدلال گودل خطای منطقی ندارد و استدلال‌های آن موجود است. دکتر «Robert C. Koons» که پروفسور فلسفه تحلیلی می‌باشد در رد ادعای (Sobel) می‌نویسد. دکتر (Sobel) علیت یا (Causation) را با ضرورت مترادف گرفته تا بتواند استدلال گودل را به چالش بکشد، او می‌نویسد: Sobel may be confusing causation with necessitation. Its quite right, as he shows in his critique of Leibniz, that it is impossible for a necessary being to necessitate or give a sufficient reason for contingent beings. However, thats irrelevant to the question of causation. Similarly, Sobel insists that contingent things cant “matter to” necessary beings: but of course, the question at issue is the converse one: can necessary beings “matter to” contingent ones? Why not?  استدلال گودل از اکسیوم ۴  (theorem) و ۳ تعریف تشکیل می‌شود که بر فونداسیون ریاضیات و تئوری مجموعه‌ها (set theory) استوار است،   انچه گودل در تعریف ویژگی‌های  مثبت  در استدلال خود آورده است که (Sobel) آن را قبول ندارد بر پایه یک مفهوم آشکار می‌باشد و آن اینکه تعاریفی وجود دارند که احتیاج به اثبات ندارند، کلیه انسان‌های منطقی در قبول آن‌ها متفق القول هستند مثل غیر اخلاقی بودن کشتن نوزاد . (Sobel) در کتاب خود در صفحه ۱۵۷ در رد استدلال گودل می‌نویسد: The axioms in G¨odel’s ontological proof [7, 8] (cf. Fig. 1) entail what is called modal collapse [20, 9]: the formula ϕ → ϕ, abbreviated as MC, holds for any formula ϕ and not just for ∃x.God(x) as intended. سوبل غافل از آن است که شهود انسان سلیم احتیاج به اثبات مفاهیم اشاره شده در  بالا را ندارد و (MC) یا (modal collapse) به معنای (collapse) استدلال نیست و به نوع تفسیر و فهم دقیق از تعریف (positive properties) و یا ویژگی‌های مثبت بستگی  دارد. از دیدگاه گودل ویژگی‌های مثبت صفاتی می‌باشند که متقارن (Epistemic) ان با (Intuition) در تضاد است مثل مثال کشتن نوزاد غیراخلاقی است. گودل نشان داد که جهت پل زدن بین ریاضیات و متاریاضی تنها روش‌های استنتاج  (deductive) و یا (inductive) کافی نیست. او با دو قضیه ناتمامیت نشان داد که هیچ سیستم فرمالی کامل نیست و (intution) نقش اعظم را بازی می‌کند. او می‌گوید: What directly is shown is that mathematics goes beyond applying deductive or formal steps, also insight, intuition or meaning on a higher level come into play. Further, no formal system is complete, as a mathematician can always provide true statements that are formally improvable. خوب نتیجه این است که ادعای سوبل و (modal collapse) نه تنها معنا ندارد بلکه کارایی هم در مفاهیم متاریاضی ندارد و فقط یک مفهوم بی‌ثمر است. Ontological Proofs Today. از صفحه ۴۸ به بعد را در کتاب بالا را بخوانند. The Puzzle of Existence. ‌ به چالش کشیدن سوبل بین صفحه ۲۶۷ تا ۲۷۷. Modality Matters: Twenty-five Essays in Honour of Krister. صفحه ۴۰۰. Neo-Aristotelian Perspectives in Metaphysics - Page 266. صفحه‌ی ٢۶۶. 👤Dr Rahman Hosseinzade. @ReligionandScience2021

🔺درسگفتار تاریخ فلسفه غرب 👤دکتر محمدمهدی اردبیلی 🔹 ترم اول: ظهور لوگوس یونانی؛ فلسفه پیش سقراطی و سقراط 🎙صوت جلسه‌ اول #اردبیلی #تاریخ_فلسفه #صوتی @nutqiyyat

به مناسبت صدمین سال تولد استاد سید عبدالله انوار یادنامه دو جلدی با عنوان «آسمان معرفت» توسط سازمان اسناد و کتابخانه ملی ایران منتشر شد. آسمان معرفت مجموعه مقالات در گرامیداشت سید عبدالله انوار به کوشش غلامرضا امیرخانی تعداد صفحات 1384 صفحه در دو جلد https://t.me/AbdollahAnvar

✅ظرفیت های فلسفه اسلامی در پاسخ به نیازهای معاصر ✅استاد فنائی اشکوری 🆔➡️https://B2n.ir/u68793 🌐#فلسفه_اسلامی 🆔@irip_ir

🎥 #ببینید | #علامه_جعفری 💠 ستارگان حکمت 🔰ویژه‌برنامه بزرگداشت علامه محمدتقی جعفری(ره) 💢علامه جعفری؛ فیلسوف زمانه و زمینه ⬅️موضوع: علامه جعفری و سیاست حیات مطلوب و معقول(۱) 🔸جلسه هشتم 🎤استاد دکتر مرتضی یوسفی‌راد #مجمع_عالی_حکمت_اسلامی 🆔@hekmateislami