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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 186
پلنتینگا و ضرورت
نویسنده:
امامویردی سه برادری لاهرود
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب The Nature of Necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزاره‌ای و وجه شئ‌ای، ذات‌گرا‏یی و تحویل به تئوری مجموعه‌ها، جایگاه ضرورت، تابع هسته‌ای، جهان‌ها، کتابها و ویژگی‌های ذاتی، شاخص‌بندی اولیه ذات، این‌همانی بین جهانی یا افراد مقید‌به‌جهان، منطق موجهات و اشیاء ممکن و دلالت‌شناختی محض و کاربردی می باشد.
مشخصات اثر
م‍ف‍اه‍ی‍م‌ اول‍ی‌، ض‍روری‌، ب‍دی‍ه‍ی‌، ی‍ق‍ی‍ن‍ی‌ در م‍ن‍طق‌ ک‍لاس‍ی‍ک‌ (ص‍وری‌)
نویسنده:
علیرضا آزادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
دانشکده ادبیات و علوم انسانی دانشگاه تبریز,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ابن سینا: ابوعلی سینا
چکیده :
معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.
مشخصات اثر
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
مشخصات اثر
منطق فازی در قرآن: خلط مستنبط و منصوص
نویسنده:
محمود زراعت پیشه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
صفحات :
از صفحه 15 تا 38
مشخصات اثر
معرفی منطق های استلزام درجه اول
نویسنده:
ندا نعمتی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
چکیده :
در این پایان نامه، ابتدا به معرفی ساختار کلی منطق های چند ارزشی می پردازیم. هم چنین منطق های استلزام درجه اول را با تفسیر کامل هر یک از حروف ربط، معناشناسی و قواعد درختی آن بیان می کنیم.
مشخصات اثر
صدق گزاره‌های تحلیلی از نظر فرگه
نویسنده:
سارا عیدی‌زاده
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
یکی از اساسی‌ترین پرسش‌های فیلسوف- ریاضی‌دانان «چیستی عدد» است، و شاید با اهمیت-ترین پرسش فیلسوف تحلیلی زبان پرسش «صدق» و «صادق بودن گزاره ها». فرگه هم به عنوان فیلسوف-ریاضی‌دان، و هم در مقام فیلسوف تحلیلی زبان هر دو پرسش را مهم و اساسی می‌داند و در کتاب خود مبانی علم حساب به تفصیل به آنها می‌پردازد. به پرسش اول، یعنی چیستی عدد گاهی در حوزه معرفت شناسی، گاهی در حوزه زبانی، منطقی و فلسفه تحلیلی زبان می ‌پردازند، و گاهی هم این پرسش را به حوزۀ ریاضیات صرف می‌برند و آنجا بدان پاسخ می‌دهند. فرگه فهم چگونگی صدق گزاره‌هایی که عدد در آنها بکار رفته را در گرو فهم ماهیت عدد و چیستی آن می‌داند. به نظر او عدد و تعریف آن مربوط به حوزه تحلیل زبانی و منطقی است، و پرسش راهبر ما به ماهیت عدد عبارت است از اینکه «عدد به چه چیزی نسبت داده می شود؟». به ادعای فرگه عدد به یک «مفهوم» نسبت داده می-شود، اما نه مفهوم به مثابه واژه‌ای انتزاعی. در خصوص صدق نیز، نظر فرگه این است که صدق امری است مربوط به قلمرو «عینیت»، یعنی آنجا که صدق نه فیزیکی است و نه روانشناختی و ذهنی، عینیت قلمرو سومی است که جایگاه صدق در آن قلمرو است.
مشخصات اثر
آیا شرطی های خبری غیر تابع ارزشی هستند؟
نویسنده:
مسعود الوند
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
ناهمخوانی ادات ربط زبان طبیعی و ادات زبان منطق کلاسیک در تابع ارزشی بودن، موجب شده است تا برخی گمان کنند که زبان منطق کلاسیک در بازنمایی جملات زبان طبیعی و صورتبندی استدلالهای این زبان ناتوان است. در این مقاله تلاش می شود تا نشان داده شود که زبان منطق کلاسیک یکسره از آن صورت بندی عاجز نیست و مدعای مخالفان توانایی زبان منطق در بازنمایی جملات و استدلالهای زبان طبیعی، کامل نیست. دفاعیات در این زمینه به دو دسته دفاعیات مستقیم و غیر مسقیم تقسیم میشوند. اگرچه نظریه گرایس در این زمینه یک نقطه عطف برای دفاع غیر مستقیم محسوب میشود، در این مقاله به طرح بخشی از دفاعیات مستقیم در برابر مدافعان نا همخوانی استدلالهای صوری شده زبان منطق با زبان طبیعی می پردازیم: ابتدا با ذکر استدلالهای استراسون در مخالفت با بازنمایی جملات زبان طبیعی توسط زبان منطق کلاسیک به دفاعیات کلارک خواهیم پرداخت و سپس چالشهای یانگ در مقابل کلارک و پاسخهای کلارک را خواهیم دید.
صفحات :
از صفحه 1 تا 17
مشخصات اثر
نقدِ انتقاداتِ شباهت خانوادگیِ ویتگنشتاین به تعاریفِ ارسطویی
نویسنده:
پرستو رستمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
نظریة "شباهت خانوادگیِ" ویتگنشتاین تأثیرگذارترین نظریة معاصر در باب "تعریف"، یا، به عبارت بهتر، در مقابلِ "تعریف" است. مقابلة اصلی این نظریة با "تعاریف ذاتی" است که ارسطو به‌عنوان سردمدار آن شناخته می‌شود. این نظریة را در دوران معاصر چالشی برای ذات‌گرایی در نظر گرفته‌اند. در این جستار، بعد از بیان نگرة شباهت خانوادگی و زمینه‌های بروز آن در تقابل با تعاریف ارسطویی، با استخراج انتقاداتِ این نگره بر تعاریف ذاتیِ ارسطو و یافتن پاسخ این انتقادات با توجه به متن آثار ارسطو، سعی دارم نشان دهم که طرح چنین انتقاداتی به تعاریف ارسطویی ناشی از فهم نادرست و ناآگاهی ویتگنشتاین نسبت به نگرة "تعاریف ذاتیِ" مدنظر ارسطو است. برای دست‌یابی به این مطلوب از دو روش پدیدارشناسی و تحلیلی بهره خواهم برد. بررسی آثار دست‌اولِ فلاسفة مذکور از اولویت‌های این پژوهش به شمار می‌آید.
صفحات :
از صفحه 69 تا 96
مشخصات اثر
نقش عوامل اجتماعی در معرفت ریاضی و منطقی، بر‌مبنای دیدگاه‌های مکتب ادینبرا
نویسنده:
شهرام شهریاری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
برنامة قوی در جامعه‌شناسی معرفت علمی با نام مکتب ادینبرا و دیدگاه‌های نسبی‌انگارانة این مکتب شناخته شده است. براساس این رویکرد، همة آن‌چه «معرفت» به‌شمار می‌رود، صرف‌نظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه انجامیده است و جامعه‌شناس موظف است که این علل را بیابد. این برنامه، برخلاف برنامه‌های ضعیف‌تری که معرفت علمی را استثنا می‌کردند، بر این ایده مبتنی است که عوامل اجتماعی در شکل‌گیری معرفت علمی تجربی و حتی ریاضیات و منطق، یعنی معرفت‌هایی که از سنخ ضروری به‌شمار می‌روند، نیز نقش دارند. در این مقاله درصددیم دیدگاه‌های مکتب ادینبرا را در زمینة منطق و ریاضی معرفی و تبیین کنیم. به‎این‌منظور، نخست مبانی فکری این رویکرد را به‌اجمال معرفی و سپس دیدگاه‌های اصلی آنان را دربارۀ نقش ابعاد جامعه‌شناسانه در منطق و ریاضیات به‌اختصار ذکر می‌کنیم. در بخش‌های بعدی مقاله مهم‌ترین یا بدیع‌ترین مطالعات موردی‌ عرضه‌شده را بررسی و آن‌ها را درباب برهان خلف، تصمیم‌گیری و چانه‌زنی در ریاضیات، اثبات گزاره‌های ریاضی، و اعتبار استدلال‌های منطقی نقد و ارزیابی می‌کنیم و در‌انتها نیز نکاتی دربارة رویکرد نظری آنان و نتایجی که به‌نظر می‌رسد می‌توان از این بحث گرفت مطرح خواهیم کرد.
صفحات :
از صفحه 67 تا 96
مشخصات اثر
رواداری در نظریه ی ST
نویسنده:
داود حسینی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
چکیده: کوبرروز و دیگران (2012) نظریه ای در باب ابهام پرورانده اند که طی آن مدلی برای رواداری ارائه کنند. قصد بر این است که در این مدل رواداری معتبر باشد؛ چنین نباشد که یک محمول مبهم بر هر چیزی حمل شود؛ و نیز استدلال های پارادوکس خرمن معتبر نباشند. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان جمله ای قوی تر از رواداری را معتبر می انگارد؛ که این جمله مثال های نقض روشن دارد. و ثالثا، نظریه ایشان تنها می تواند رواداری را به معنای ضعیفی معتبر بداند. این نتیجه پایانی نظریه ایشان را به نظریه های غالب در باب ابهام که رواداری را درست قلمداد نمی کنند شبیه خواهد کرد.
صفحات :
از صفحه 1 تا 13
مشخصات اثر
  • تعداد رکورد ها : 186