جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 54
مباحثی در منطق های وجهی گودل استاندارد
نویسنده:
نسیم یاری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در این پایان‌نامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدل‌های کریپکی پایه‌گذاری شده است اثبات می‌کنیم که ‎در آن گزاره‌ها در هر جهان و رابطه‌ی دسترس‌پذیری بین جهان‌ها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارن‌هایی که بین منطق‌های □ و◊ وجود دارد می‌پردازیم: در منطق نخست (□) مفهوم درستی به قاب‌هایی که رابطه‌ی دسترس‌پذیری آن‌ها دو مقداری است‏، فرو می‌کاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قاب‌هایی است که رابطه‌ی دسترس‌پذیری‌ آن‌ها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستم‌های وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر می‌گیریم. همچنین قضیه‌های تمامیت به زبان‌هایی که به یک مجموعه‌ی خوش‌ترتیب گسسته از ارزش‌های درستی نیز مجهز باشد گسترش داده خواهند‎ شد. ‏بازبرد اصلی این ‎‎‏پایان‌نامه [۶] می‌باشد.
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تبریز: دانشگاه تبریز,
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
گودل؛ از نسبیت تا ایدئالیسم سازگاری نسبیت آینشتاین با فلسفه کانت در باب مسئله زمان
نویسنده:
علی اکبر احمدی افرمجانی، امیر نعیمی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
طرح نظریه نسبیت آینشتاین، فیزیک نیوتنی را با دشواری های فراوانی روبرو کرد، چنان که برای اصلاح آن چاره ای نماند جز کنار گذاشتن و یا اصلاح برخی از بنیادی ترین مفاهیم، از جمله زمان و مکان. بسیاری بر این باورند که نسبیت ضربات جبران ناپذیری نیز بر فلسفه کانت وارد آورده است. با این همه، کسانی مانند کورت گودل (Kurt Godel) کوشیده اند نسبیت را به گونه ای بخوانند که نه تنها به تناقض با فلسفه کانت نینجامد، بلکه تاییداتی نیز از برای آن فراهم آورد. مقاله حاضر شرح و بررسی کوشش گودل است برای همسو کردن نسبیت و فلسفه کانت در باب «زمان»، و نیز ملاحظاتی در باب اینکه چگونه طرح مساله «زمان» در نسبیت می تواند به جانبداری از ایدئالیسم بینجامد. در پایان، کوشش گودل برای همسو کردن کانت به کنار گذاشتن تصلب چارچوب های کانتی در فرایند شناخت و پیشنهاد حذف فرض ناشناختنی بودن شی فی نفسه می انجامد.
صفحات :
از صفحه 119 تا 142
نقد سه استدلال گودلی در فلسفه ذهن
نویسنده:
محمدصالح زارع پور، محمدعلی حجتی
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات) , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیه گودل و نتایج آن استفاده کرده اند. در فلسفه ذهن استدلالات مبتنی بر قضیه گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخشی از آن مردود است، (ب) استدلال لوکاس به کلی مردود است، و (پ) بخشی از استدلال پنروز مقبول و بخشی از آن مشکوک است.
صفحات :
از صفحه 33 تا 47
عدم ضرورت «قضیّه ضروریّه بتّاته سهروردی»
نویسنده:
سردار دکامی، حسن ابراهیمی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تهران,
چکیده :
سهروردی در منطق حکمة‌الاشراق در یک نوآوری تمام جهات را به ضرورت برمی‌گرداند. وی جهات سه‌گانه ضرورت، امتناع، و امکان را جزء محمول قرار داده و بر آن است که در این صورت جهت در همه‌ قضایا ضرورت می‌شود. از آن‌جا که بحث از جهت در دیگر مباحث منطقی، مانند تناقض، عکس، و قیاس‌ها نیز به میان می‌آید، طبعاً این نوآوری در این مباحث تأثیرگذار است. سهروردی بدین نکته واقف بوده و این تأثیرها را نشان داده است. به فرض تمامیّتِ این نوآوری، این نوشتار بر آن است که خواه مراد سهروردی اختصار در بحث باشد یا ضروری کردن قضایا در علوم حقیقی یا برهانی، اساساً نیازی بدین ضروری‌سازی و فرو کاستن همه‌ جهات در ضرورت نیست و این نوآوری مشکلی را حلّ نمی‌کند. لذا از سوی اکثریّت منطق‌دانان بعد از سهروردی مورد غفلت قرار گرفته است.
صفحات :
از صفحه 95 تا 110
بررسی و نقد راه‌حل براون برای مسأله دسترسی‌ پذیری
نویسنده:
حسین بیات
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه آزاد اسلامی,
کلیدواژه‌های فرعی :
چکیده :
طبق نظریه علّی معرفت، باید بین معلوم (مُدرَک) و فاعل شناسا (مُدرِک) یک رابطه‌ى علّی برقرار باشد. از سوی دیگر، افلاطو ن­گرایی مستلزم قبول هستی­مندهایی است که فاقد قدرت علّی­ اند و بنابراین نمی­ توانند مدرَک و معلوم ما باشند. این تعارض را اصطلاحاً «مسأله دسترسی‌پذیری معرفتی» می­ نامند. جیمز رابرت براون، فیلسوف معاصر آمریکایی، مدعی است که این مسأله را حل کرده است. او نخست با توسّل به مثال نقض EPR استدلال می‌کند که نظریه علّی معرفت معتبر نیست و بنابراین لازم بودن شرط قدرت علّی برای حصول معرفت منتفی است (دلیل نقضی). سپس با فرض وجود یک قوه ادراکی به نام «چشمِ ذهن» تلاش می‌کند تا دسترسی غیرعلّی به هستی­مندهای ریاضیاتی را معقول جلوه دهد (دلیل حلّی). اما هیچ‌کدام از دو استدلالِ براون قابل دفاع نیستند و مشکل دسترسی ­پذیری هم‌چنان باقی است. زیرا این مدعا که «نتایج آزمایش EPR را نمی ­توان بر اساس رابطه علّی بین مدرِک و مدرَک تبیین کرد»، مستلزم اِفراز دامنه مصادیق معرفت علمی به دو زیر مجموعه معرفت علّی و کوانتومی است، نه بی اعتباری نظریه علّی معرفت. یعنی دسترسی به نتایج EPR را شاید با رابطه علّی و فیزیک نسبیت نتوان تبیین کرد اما به هر حال یک پشتوانه علمی دیگر دارد: نظریه کوانتوم. در حالی‌که نظریه علمی مشابهی وجود ندارد که هستی­مندهای ریاضیاتی را در دسترس علمی ما قرار دهد. از سوی دیگر، استعاره‌ى چشم ذهن صرفاً ارزش تبیینی دارد نه توجیهی. روشن است که مشکل دسترسی را نمی ­توان با توسّل به وجود ناموجه یک قوه‌ى شناختی حل کرد.
صفحات :
از صفحه 31 تا 50
بررسی تبعیت دلالت از اراده از منظر ابن‌سینا و خواجه نصیر طوسی
نویسنده:
فردین جمشیدی مهر، علیرضا کهنسال
نوع منبع :
مقاله , مطالعه تطبیقی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تهران,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
برخی از منطق‌دانان بر این باورند که دلالت تابع اراده است و تا اراده‌ای محقق نشود، دلالتی صورت نمی‌گیرد. ابن‌سینا، خواجه نصیر طوسی و دبیران کاتبی از این دسته‌اند. برخی دیگر از بزرگان منطق نظیر قطب‌الدین رازی در این امر به مخالفت برخاسته و دلالت را تنها تابع علم به وضع دانسته‌اند. تتبعات تاریخی نشان می‌دهد که این مسئله از زمان ابن‌سینا و ‌توسط شخص وی مطرح شده است. از این رو تلاش کرده‌ایم که نظر ابن‌سینا به صورت کامل، تقریر و درباره اختلافات دو تن از شارحین بزرگ کلام وی یعنی خواجه نصیر طوسی و قطب رازی داوری شود. عده‌ای از اصولیون به‌نام نیز که در یک مسئله اصولی اختلاف نظر داشته‌اند، استطرادا به این بحث پرداخته و تفسیر دیگری را بیان کرده‌اند و مدعی شده‌اند که مراد عَلَمین (ابن‌سینا و خواجه نصیر) چیزی جز تفسیر آنان نبوده است. این نوشتار در صدد مقایسه نظر اصولیان و منطق‌دانان نیست و ذکر پاره‌ای از نظرات در اصول فقه تنها نشان‌دهنده وجودِ برداشت‌ها و تفسیرهای دیگر از کلام ابن‌سینا و خواجه نصیر می‌باشد. در این مقاله به شرح و جرح اقوال مشهور پرداخته و نتیجه گرفته‌ایم که در این باب نظر صائب همان قول قطب‌الدین رازی صاحب محاکمات است.
صفحات :
از صفحه 19 تا 30
بازخوانی انتقادی از مقاله: «نقش پیش فرضها و مبانی کلامی در فهم و تفسیر آیات قرآن»
نویسنده:
فتح الله نجارزادگان
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات)
منابع دیجیتالی :
وضعیت نشر :
قم: نهاد نمایندگی مقام معظم رهبری در دانشگاه ها – دانشگاه معارف اسلامی,
چکیده :
مقاله «نقش پیش فرضها و مبانی کلامی در فهم و تفسیر آیات قرآن» ضمن آنکه وجود گرایش کلامی در تفاسیر را اثبات می کند به میزان دخالت پیش فرضهای کلامی در تفسیر آیات می پردازد و در آن با محوریت مبحث «رویت حق تعالی» در آیه «لن ترانی» (اعراف/143) از سه تفسیر تبیان، کشاف، کبیر (که به ترتیب نمایندگان مبانی کلامی شیعه، معتزله و اشاعره اند) بهره می گیرد تا تاثیر و دخالت مبانی کلامی در تفسیر آیه مذکور را برملا سازد.این مقاله علی رغم نقاط قوت، با کاستی هایی نیز روبروست از جمله می توان به ادعاهای بی دلیل، خطا در تطبیق، عدم ارایه دیدگاه روشن از آیه رویت، عدم تنقیح تعابیر کلیدی، ناصوابی در عنوان مقاله، تهافت در رد و اثبات آموزه ها و عدم تفکیک در منشا ترجیح عقل بر نقل، اشاره کرد که در پی آن اهمیت سه وجهی مورد ادعای مولف پیرامون این موضوع ابطال شده، دستاوردهای علمی مقاله را مورد تردید قرار می دهد.
صفحات :
از صفحه 33 تا 52
 ارزیابی مقایسه ای نظریه اعتدال ارسطویی و نظریه اخلاقی اسلام
نویسنده:
احمد عابدی، راضیه تبریزی زاده اصفهانی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تهران,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
«نظریۀ اعتدال» که خاستگاهی یونانی دارد و بر پایۀ نظریۀ ارسطو بنیان نهاده شده است، به تدریج از قرون سوم و چهارم هجری به حوزۀ اخلاق اسلامی وارد و سبب شد حکیمان بسیاری چون ابن مسکویه و خواجه نصیرالدین طوسی آن را مبنای آثار اخلاقی خویش قرار دهند. طبق «نظریۀ اعتدال»، ملاک فضیلت آن است که انسان بر اساس عقل خود حد میانه را در هر عملی رعایت و از افراط و تفریط (که رذیلت محسوب می شود) دوری کند. در این پژوهش کوشیده ایم با ارزیابی و مقایسۀ این دیدگاه با نظریۀ اخلاقی اسلام، که در متون اصیل دینی یعنی آیات و روایات آمده است، به دیدگاه صحیح و جامعی در این زمینه دست یابیم. در نهایت حاصل این کوشش، نمایاندنِ ناتمام بودن مبنای «نظریۀ اعتدال» ارسطویی است و نیز اثبات اینکه بر اساس نصوص معتبر دینی ، آنچه ملاک «سعادت» انسان و جامع همۀ فضیلت ها محسوب می شود «قرب به خداوند» است و در مقابل، «شقاوت» دوری از هر عملی است که انسان را به خدای متعال نزدیک کند.
صفحات :
از صفحه 619 تا 644
بررسی تطبیقی نظریه خودگرایی و حب ذات
نویسنده:
مصطفی عزیزی علویجه
نوع منبع :
مقاله , کتابخانه عمومی , مطالعه تطبیقی
منابع دیجیتالی :
وضعیت نشر :
قم: نهاد نمایندگی مقام معظم رهبری در دانشگاه ها – دانشگاه معارف اسلامی,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
از جمله مکتبهای عمده در «فلسفه اخلاق»، مکتب خودگرایی است؛ این مکتب قایل است: انسان باید به گونه ای رفتار کند که بزرگ ترین خیر و منفعت خویش را تامین نماید.رگه های این نظریه را بایستی در اندیشه های مکتب اپیکور یا مکتب لذت گرایی جستجو نمود.البته در قرون بعدی اندیشمندانی همچون نیچه، شوپنهاور، فروید و دیگران به شکلهای گوناگونی این نظریه را تقویت نمودند.نیچه نظریه «ابرمرد» را ارایه داد و فروید نیز با محور قراردادن «غرایز جنسی» بر این جنبه از خودگرایی پافشاری نمود.در میان اندیشمندان و فیلسوفان مسلمان دیدگاه مشابهی در این راستا به نام «حب ذات» پیشنهاد شد؛ آنها بر این باورند که هر موجود ذی شعوری به خود و کمالات خود علاقه دارد و این یک گرایش اصیل در سرشت اوست.
صفحات :
از صفحه 125 تا 160
  • تعداد رکورد ها : 54