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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 114
دیدگاه فرگه درباره ی این همانی با التفات به کتاب «مفهوم نگاشت» و رساله ی «در باب معنا و دلالت»
نویسنده:
طالب جابری
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
«این­همانی» یکی از مهم­ترین و در عین حال بحث­برانگیزترین مسائل مطرح شده در آثار فرگه است. در این مقاله به بررسی دیدگاه او در باب این موضوع و شرح و نقد تفسیرهای مختلف از آن خواهیم پرداخت. پرسش اصلی ما این است که این­همانی بین چه عناصری برقرار می­شود. ابتدا دیدگاه فرگه را نسبت به این­همانی در «مفهوم­نگاشت» توضیح می­دهیم. از آنجا ­که تأملات نهایی فرگه راجع به این­همانی در دیگر اثر شناخته­شده­اش یعنی «معنا و دلالت» مطرح ­می­شوند، در بخش بعدی مفهوم این­همانی را در این مقاله شرح می­دهیم. در نوشته­ی کنونی هدف نقد نظر فرگه نیست، بلکه پیش از آن مقصود ما فهم نظر فرگه است، زیرا تنها در این صورت می­توان مسائل مهمی همچون ماهیت عدد در «مبانی علم حساب» و تناقض­نماهای مطرح شده از سوی راسل در نسبت با اصل موضوعه­ی پنجم فرگه در «قوانین علم حساب» را دریافت.
صفحات :
از صفحه 95 تا 112
معمای معرفت‌بخشی
نویسنده:
محسن کاشی ؛ سید محمد علی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجیه معرفتزایی نقطه قوت نظریه فرگه محسوب می شود.ما بر آنیم استدلال کنیم که اگر ساختار منطقی پیشنهادی فرگه برای اینهمانیهای تجربی را مفروض گرفته و نظریه معنی و مدلول او را بپذیریم، آنگاه اساسا جایی برای کشف تجربی باقی نمی ماند.کشف تجربی در حالتی معنی پیدا می کند که ساختار منطقی متفاوتی به جمله های مورد بحث فرگه نسبت دهیم و در این صورت دیگر نیازی به نظریه معنی و مدلول نخواهیم داشت.
صفحات :
از صفحه 63 تا 81
نقش عوامل اجتماعی در معرفت ریاضی و منطقی، بر‌مبنای دیدگاه‌های مکتب ادینبرا
نویسنده:
شهرام شهریاری
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
برنامة قوی در جامعه‌شناسی معرفت علمی با نام مکتب ادینبرا و دیدگاه‌های نسبی‌انگارانة این مکتب شناخته شده است. براساس این رویکرد، همة آن‌چه «معرفت» به‌شمار می‌رود، صرف‌نظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه انجامیده است و جامعه‌شناس موظف است که این علل را بیابد. این برنامه، برخلاف برنامه‌های ضعیف‌تری که معرفت علمی را استثنا می‌کردند، بر این ایده مبتنی است که عوامل اجتماعی در شکل‌گیری معرفت علمی تجربی و حتی ریاضیات و منطق، یعنی معرفت‌هایی که از سنخ ضروری به‌شمار می‌روند، نیز نقش دارند. در این مقاله درصددیم دیدگاه‌های مکتب ادینبرا را در زمینة منطق و ریاضی معرفی و تبیین کنیم. به‎این‌منظور، نخست مبانی فکری این رویکرد را به‌اجمال معرفی و سپس دیدگاه‌های اصلی آنان را دربارۀ نقش ابعاد جامعه‌شناسانه در منطق و ریاضیات به‌اختصار ذکر می‌کنیم. در بخش‌های بعدی مقاله مهم‌ترین یا بدیع‌ترین مطالعات موردی‌ عرضه‌شده را بررسی و آن‌ها را درباب برهان خلف، تصمیم‌گیری و چانه‌زنی در ریاضیات، اثبات گزاره‌های ریاضی، و اعتبار استدلال‌های منطقی نقد و ارزیابی می‌کنیم و در‌انتها نیز نکاتی دربارة رویکرد نظری آنان و نتایجی که به‌نظر می‌رسد می‌توان از این بحث گرفت مطرح خواهیم کرد.
صفحات :
از صفحه 67 تا 96
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
ترجمه کتاب مقدمه‌‍ای بر منطق
نویسنده:
غلامرضا اطمینان
نوع منبع :
رساله تحصیلی , ترجمه اثر
وضعیت نشر :
مشهد: دانشگاه فردوسی مشهد,
چکیده :
شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است
قضیه هربراند برای منطق پیوسته
نویسنده:
مریم سلیمانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می‌کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره‌ای فرو می‌کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می‌شود، تمرکز می‌کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه‌های موتیویک دارد که در آن یک مشخص‌سازی از تابع‌های تعریف‌پذیر مورد نیاز است.در این پایان‌نامه، یک حالت منطق پیوسته از قضیه هربراند را ثابت نموده، و از آن برای مشخص‌سازی عمل‌های تعریف‌پذیر روی فضاهای هیلبرت استفاده می‌کنیم. به ویژه، نشان داده می‌شود که عمل‌های تعریف‌پذیر به طور تکه‌ای توسط ترم‌ها تقریب زده می‌شوند‎. وضعیت مشابهی برای توسیع‌های فضاهای هیلبرت نیز برقرار است.در نوشتار این پایان نامه از مقاله زیر استفاده شده است. I. Goldbring, An approximate Herbrand’s theorem and definable functions in metric structures, Math. Log. Quart. 58, No. 3, 208-216(2012)
دیدگاه پریست درباره جهان‌های ناممکن
نویسنده:
بهنام ذوالقدر شجاعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
جهان های ناممکن اولین بار در پاسخ به مشکلات منطق معرفت ظاهر شدند و بعدها در معناشناسی منطق های ربط و منطق های فراسازگار جایگاهی ویژه یافتند اما برای گراهام پریست جهان های ناممکن نه تنها ابزاری منطقی بلکه ابزاری فلسفی نیز هستند. دیدگاه متافیزیکی پریست تحت عنوان هیچ گرایی مبتنی بر مدلی معناشناختی بر پای? حیث التفاتی است که در آن جهان های ناممکن جایگاهی برجسته دارند. در پاسخ های پریست به برخی مسائل دیرپای فلسفی نظیر مسائل ناشی از اینهمانی و مسائل هستی شناسی اشیاء ناموجود، اشیاء ممکن، اشیاء ناممکن، اشیاءانتزاعی و اشیاء خیالی و نیز پاسخ های او به برخی پارادوکس های معروف منطقی، جهان های ناممکن نقش مهمی ایفا می کنند. کاربردها و ویژگیهای جهان های ناممکن را در حین پرداختن به این موضوعات خواهیم دید. در طرح دیدگاه پریست و نیز در انتها به برخی انتقادات پاسخ داده شده است.
واکاویِ ملاک های احتمالاتی در استنتاج بهترین تبیین
نویسنده:
سیدمحمدمهدی اعتمادالاسلامی بختیاری ؛ میرسعید موسوی کریمی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیه‌ای که بهترین تبیین را برای پدیده‌های در دستِ بررسی ارائه می‌دهد، احتمالاً صادق است. یکی از مهم‌ترین چالش‌های پیش روی این نحوۀ استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاک‌های انتخاب بهترین تبیین، موسوم به مزیت‌های تبیین‌گر، محتمل‌ترین تبیین- یعنی تبیینی که نسبت به دیگر تبیین‌های رقیب از احتمال صدق بیش‌تری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاک‌های احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیق‌تر، در پی آنیم که چنان‌چه ضابطه‌های احتمالاتیِ ارائه شده برای ارزیابیِ فرضیه‌های تبیین‌گر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتمل‌ترین تبیین به دست آید؟ در این راستا، ملا‌ک‌های احتمالاتیِ مرتبط با IBE را در سه دستۀ ملاک‌های معطوف به قضیۀ بیز، ملاک‌های معطوف به نظریۀ تأیید و ملاک‌های معطوف به مزیت‌های تبیین‌گر بررسی می‌کنیم. این واکاوی نشان می‌دهد که هیچ‌یک از ضابطه‌های ارائه شده از پس تحدید بهترین تبیین - به گونه‌ای که محتمل‌ترین تبیین را به ‌دست دهد- بر نمی‌آیند.
صفحات :
از صفحه 25 تا 48
سوژه و صورت منطقی در تراکتاتوس
نویسنده:
حامد زمانی پزوه
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
ویتگنشتاین متقدم، با گره‌زدن زبان به ضرورت، معنا را از ایده‌های ذهنی صرف جدا می‌کند. به‌نظر او، زبان ساختاری منطقی دارد که روگرفتی از ضرورت‌های موجود در عالم است. او برای تبیین ضرورت‌های موجود در عالم تعریف خاصی از مفهوم شیء ارائه می‌دهد، به‌ازای هر شیء نشانه‌ای را در زبانِ ممکن واجدِ معنا می‌داند، و روابط بین اشیا را حاصل بالفعل‌شدن امکان‌های ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی زبان برآمده از چهارچوبِ عالم است و زبان فقط درصورتی معنادار است که تصویرگر این عالم باشد. ویتگنشتاین، بدون آن‌که از مفاهمه حرفی به‌میان بیاورد، خودِ چگونگیِ ممکن‌بودنِ زبان را بررسی می‌کند و در پاسخ، صورت منطقی را مطرح می‌کند. در طراحی او از زبان، سوژه جایگاه معنابخشی خود را از دست می‌دهد و اشیای عالم و امکان‌های ترکیبی آن‌ها عهده‌دار معنا می‌شوند.
صفحات :
از صفحه 29 تا 44
ماینونگی‌گرایی وجهیِ ضدواقع‌گرا: اشیای ناکامل
نویسنده:
بهنام ذوالقدر، داود حسینی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
بر اساس ماینونگی‌‌گرایی وجهی هر آن‌چه می‌‌توان به آن التفات داشت یک شیء است، حتی اگر وجود نداشته باشد. نیز، وجود صفتی معمولی هم‌چون دیگر صفات است. بسته به این‌که شیئیت یک شیء مبتنی بر اعمال، رفتار و افکار یک عامل شناختی باشد یا نه، دو رویکرد متفاوت در ماینونگی‌‌گراییِ وجهی خواهیم داشت: 1. رویکرد واقع‌گرایانه که طبق آن اشیای ناموجود، مستقل از این‌که مورد التفات قرار بگیرند یا نه، به دامنۀ اشیا تعلق دارند و صفاتی را که به داشتن آن توصیف می‌‌شوند در جهان‌‌هایی که التفات مورد نظر را محقق می‌‌سازند دارند؛ 2. رویکرد ضد‌واقع‌گرایانه که طبق آن اشیای ناموجود، بسته به این‌که مورد التفات قرار گیرند، به دامنۀ اشیا تعلق خواهند داشت و در صورتی که مورد التفات قرار نگیرند اصلاً شیء نیستند که صفاتی داشته باشند. در این نوشتار، علیه ماینونگی‌‌گراییِ وجهیِ ضد‌واقع‌گرایانه پریست نقدهایی را مطرح می‌کنیم و تعبیری متفاوت از رویکرد اخیر را پیشنهاد خواهیم کرد. آن‌چه دیدگاه ما را از دیدگاه پریست متمایز می‌‌کند این ادعاست که اشیای ناموجود در رویکرد ضد‌واقع‌گرایانه اشیایی ناکامل‌اند.
صفحات :
از صفحه 31 تا 40
  • تعداد رکورد ها : 114