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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 114
آش‍ن‍ای‍ی‌ ب‍ا م‍ن‍طق‌ ری‍اض‍ی‌
نویسنده:
هربرت ان‍درت‍ون‌
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران: م‍رک‍ز ن‍ش‍ر دان‍ش‍گ‍اه‍ی‌‏‫,
م‍دخ‍ل‌ م‍ن‍طق‌ ص‍ورت‌، ی‍ا، م‍ن‍طق‌ ری‍اض‍ی‌
نویسنده:
غ‍لام‍ح‍س‍ی‍ن‌ م‍ص‍اح‍ب‌
نوع منبع :
کتابشناسی(نمایه کتاب)
 آش‍ن‍ای‍ی‌ ب‍ا م‍ن‍طب‍ق‌ گ‍زاره‌ه‍ا
نویسنده:
م‍رت‍ض‍ی‌ ح‍اج‌ح‍س‍ی‍ن‍ی‌
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
اص‍ف‍ه‍ان‌: ن‍ق‍ش‌ م‍ان‍ا,
پژوهشی نقادانه در باب تبیین گرایس از تابع ارزش بودن شرطی‌ها در زبان طبیعی بر اساسِ مفهومِ اظهارپذیری
نویسنده:
سید علی کلانتری
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
داتِ منطقی در منطقِ کلاسیکِ گزاره‌ها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نموده‌اند. برخی استدلال کرده‌اند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلال‌هایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نموده‌اند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطی‌ها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطی‌ها در زبانِ طبیعی است.
صفحات :
از صفحه 123 تا 152
ترجمه کتاب مقدمه‌‍ای بر منطق
نویسنده:
غلامرضا اطمینان
نوع منبع :
رساله تحصیلی , ترجمه اثر
وضعیت نشر :
مشهد: دانشگاه فردوسی مشهد,
چکیده :
شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است
م‍ف‍اه‍ی‍م‌ اول‍ی‌، ض‍روری‌، ب‍دی‍ه‍ی‌، ی‍ق‍ی‍ن‍ی‌ در م‍ن‍طق‌ ک‍لاس‍ی‍ک‌ (ص‍وری‌)
نویسنده:
علیرضا آزادی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
دانشکده ادبیات و علوم انسانی دانشگاه تبریز,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.
بررسی معناشناسی کریپکی برای منطق های فازی
نویسنده:
پروین صفری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تبریز: دانشگاه تبریز,
چکیده :
قاب ها (مدل های) کریپکی، معناشناسی مناسبی برای منطق های زیرکلاسیک فراهم می کنند، به عنوان مثال منطق شهودی (براور و هیتینگ) قاب های کریپکی تراگذری و بازتابی را و منطق پایه (ویسر) قاب های کریپکی تراگذری را اصل بندی می کنند. در این رساله قاب ها یا مدل های کریپکی را به عنوان یک معناشناسی برای منطق های فازی بررسی می کنیم. برای هر اصل موضوع منطق فازی پایه، شرط های لازم و کافی برای قاب ها یا مدل های کریپکی که آن را برآورده می سازد، آورده شده است. معلوم گردید که تنها منطق های فازی که نسبت به یک کلاس از قاب ها یا مدل ها درست و کامل هستند توسیع های منطق گودل هستند. به علاوه این منطق نسبت به قاب های کریپکی بازتابی، تراگذری و خطی، قویاً کامل می باشد. بدین وسیله یک مشخصه سازی معنایی برای منطق گودل در بین منطق های (گزاره ای) فازی تعیین می شود.
معمای معرفت‌بخشی
نویسنده:
محسن کاشی ؛ سید محمد علی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجیه معرفتزایی نقطه قوت نظریه فرگه محسوب می شود.ما بر آنیم استدلال کنیم که اگر ساختار منطقی پیشنهادی فرگه برای اینهمانیهای تجربی را مفروض گرفته و نظریه معنی و مدلول او را بپذیریم، آنگاه اساسا جایی برای کشف تجربی باقی نمی ماند.کشف تجربی در حالتی معنی پیدا می کند که ساختار منطقی متفاوتی به جمله های مورد بحث فرگه نسبت دهیم و در این صورت دیگر نیازی به نظریه معنی و مدلول نخواهیم داشت.
صفحات :
از صفحه 63 تا 81
 بررسی ساختار نحوی و معنایی نظام های منطق فازی مبتنی بر تقریر پیتر هایک
نویسنده:
هدیه یعقوبی بجمعه
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
این رساله به بررسی نظام‌مند ساختارها و جنبه‌های استنتاجی منطق فازی، آن‌گونه که پتر هایک در کتاب ‎«‎فراریاضیات منطق فازی‎»‎ ارائه داده است، می‌پردازد. برخی نظام‌های‌ حساب گزاره‌ای که مقادیر صدق آن‌ها روی بازه‌ی اعداد حقیقی است به عنوان اعضایی از خانواده‌ی منطق‌های چندارزشی معرفی و مطالعه می‌شود. هدف، نشان دادن این مطلب است که منطق فازی، به عنوان منطق گزاره‌های نادقیق و مبهم نیز مانند سایر منطق‌های صوری، دارای بنیادهای صوری و دقیق است که اصول ریاضی و منطقی پشتوانه‌ی آن‌هاست. در واقع در این رساله تلاش می‌شود پیوندی میان مفاهیم بنیادی منطق کلاسیک و اصول منطق فازی برقرار شود لذا در ارائه‌ی نظام‌های منطق فازی همچنان مفاهیمی چون تابع صدق، قضیه‌ی استنتاج، بهنجاری و تمامیت وجود دارند که همگی گرچه با اندکی تفاوت ولی بر اساس همان مفاهیم آشنا و کلاسیک خود تعریف شده‌اند.
نقدِ انتقاداتِ شباهت خانوادگیِ ویتگنشتاین به تعاریفِ ارسطویی
نویسنده:
پرستو رستمی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
نظریة "شباهت خانوادگیِ" ویتگنشتاین تأثیرگذارترین نظریة معاصر در باب "تعریف"، یا، به عبارت بهتر، در مقابلِ "تعریف" است. مقابلة اصلی این نظریة با "تعاریف ذاتی" است که ارسطو به‌عنوان سردمدار آن شناخته می‌شود. این نظریة را در دوران معاصر چالشی برای ذات‌گرایی در نظر گرفته‌اند. در این جستار، بعد از بیان نگرة شباهت خانوادگی و زمینه‌های بروز آن در تقابل با تعاریف ارسطویی، با استخراج انتقاداتِ این نگره بر تعاریف ذاتیِ ارسطو و یافتن پاسخ این انتقادات با توجه به متن آثار ارسطو، سعی دارم نشان دهم که طرح چنین انتقاداتی به تعاریف ارسطویی ناشی از فهم نادرست و ناآگاهی ویتگنشتاین نسبت به نگرة "تعاریف ذاتیِ" مدنظر ارسطو است. برای دست‌یابی به این مطلوب از دو روش پدیدارشناسی و تحلیلی بهره خواهم برد. بررسی آثار دست‌اولِ فلاسفة مذکور از اولویت‌های این پژوهش به شمار می‌آید.
صفحات :
از صفحه 69 تا 96
  • تعداد رکورد ها : 114