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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 6
آغازگر منطق صوری مدرن جلد 1: منطق جمله [کتابشناسی انگلیسی]
نویسنده:
Paul Teller
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
Prentice Hall,
ب‍ن‍ی‍اده‍ای‌ م‍ن‍طق‌ ن‍گ‍ری‍ک‌
نویسنده:
داوی‍د ه‍ی‍ل‍ب‍رت‌، وی‍ل‍ه‍ل‍م‌ آک‍رم‍ان‌؛ مترجم: میر شمس الدین ادیب سلطانی
نوع منبع :
کتاب , ترجمه اثر
منابع دیجیتالی :
وضعیت نشر :
تهران: امیر کبیر,
چکیده :
منطق نگریک(نظری) که منطق مزداهی(ریاضی) یا منطق نمادین نامیده می شود عبارت است از گسترس روش صوری مزداهیک(ریاضیات) بر قلمرو منطق . این کتاب که جزو کتابهای دوران ساز و بیمانند در زمینه منطق جدید و منطق ریاضی است با چنین دیدگاهی به نگارش در آمده است. این کتاب تصویر اندیشیدن منطقی را یک حساب یا محاسبه منطقی می بیند.
جایگاه منطق گزاره‌ای نزد فارابی و ابن‌سینا
نویسنده:
امین شاه‌وردی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تهران,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
در بخش نخست این مقاله، مفهوم «گزاره‌ای بودن» استدلال‌های منطقی مورد بررسی قرار می‌گیرد و با پذیرش معیار ارائه‌شده از سوی کریستوفر مارتین، «گزاره‌ای بودن» استدلال‌های منطقی، بر اساس اصل جانشینی در گزاره‌های مرکب توضیح داده می‌شود. در بخش دوم، دیدگاه کامران کریم الله در خصوص «ناگزاره‌ای بودن» مبحث شرطیات فارابی و «گزاره‌ای بودن» شرطیات ابن‌سینا به داوری گذاشته می‌شود و «ناگزاره‌ای بودن» آموزه‌های منطقی فارابی، نه تنها در بافت جدلی که خارج از آن نیز مورد تأیید قرار می‌گیرد و پاره‌ای ملاحظات دیگر نیز در این زمینه اضافه می‌شود. در ادامۀ همین بخش، نشان داده می‌شود که دیدگاه ابن‌سینا در خصوص گزاره‌ها و استدلال‌های شرطی، با آنکه معیار گزاره‌ای بودن را برآورده می‌کند، اما همچنان اختلافاتی با «منطق گزاره‌ای» جدید دارد.
صفحات :
از صفحه 79 تا 101
جهت جمله ای و جهت شیئی
نویسنده:
محمد سعیدی مهر
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
امروزه تمایز میان جهات جمله ای (de dicto) و جهات شیئی (de re) از مباحث بسیار مهمی است که هم در حوزه منطق موجهات و هم در قلمرو متافیزیک تحلیلی، جایگاه ویژه ای یافته است. برای مثال، پذیرش ضرورت شیئی یکی از مبانی اساسی پذیرش ذات گرایی (essentialism) است. در این مقاله پس از اشاره ای کوتاه به سابقه این تمایز در فلسفه غرب و اسلامی به تفاوت نحوی و معنایی این دوگونه جهت پرداخته می شود. در ادامه تفاوت تفکیک جمله ای / شیئی با دو تفکیک مشابه بررسی می گردد و در پایان نگاهی به رابطه جهات جمله ای و جهات شیئی خواهیم داشت.
صفحات :
از صفحه 125 تا 148
نظریۀ استنتاج در منطق ابن سینا: آمیزه ای ارسطویی رواقی با خطایی بطلمیوسی
نویسنده:
مهدی عظیمی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه امام صادق (ع) پردیس خواهران ,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
رگه هایی از منطق گزاره ها را در آثار ارسطو می توان دید. با این حال، او شیفته آموزه قیاس حملی است و قیاس های شرطی را اگرچه تحویل ناپذیر، ولی نیازمند به آن ها می شمارد. پس از ارسطو، شاگردانش کوشیدند نظریه قیاس های شرطی را گسترش دهند با این حال کار چندانی از پیش نبردند. این رواقیان بودند که با نگاه ویژه به منطق گزاره های شرطی، نخستین دستگاه منطق گزاره ها را پایه گذاری کردند. جایگاه بنیادین منطق رواقی در آغاز قرن بیستم و در پرتو آموزه های منطق ریاضی کشف گردید. ابن سینا اگرچه می کوشد در نظریه استنتاج از دست آوردهای هر دو سنت ارسطویی و رواقی بهره گیرد؛ اما همچنان منطق رواقی را کم اهمیت می شمارد و بیشتر نیروی خود را صرف گسترش نظریه «قیاس های تماماً شرطی» تئوفراستوس می کند. کم اهمیت دانستن منطق رواقی به خودی خود یکی از خطاهای راهبردی ابن سینا است که خاستگاه آن نوشته های مشاییانی چون اسکندر افرودیسی است که منطق رواقی را با تحقیر گزارش کرده اند. افزون بر این، ابن سینا از نظر منطقی، قیاس حملی را در جایگاه نخست، قیاس اقترانی شرطی را در جایگاه دوم، و قیاس استثنایی را در جایگاه سوم می نشاند. این دومین خطای راهبردی اوست که از آناکاویک نخست ارسطو سرچشمه می گیرد و می توان آن را «خطای بطلمیوسی» نامید.
صفحات :
از صفحه 21 تا 48
برهان وجودشناختی کورت گودل
نویسنده:
هادی وکیلی
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
قم: پژوهشگاه فرهنگ و انديشه اسلامي ,
چکیده :
مقاله حاضر به تبیین برهان وجودشناختی کورت گودل، ریاضی‌دان و فیلسوف برجسته اهل چک می‌پردازد. در این نوشتار به ویژه به روایت هارت شورن از برهان آنسلم توجه داشته‌ایم. گودل، اندیشه آنسلم مبنی بر اختصاصی بودن ویژگی عظمت یا کمال برین به خدای متعالی را با وارد کردن مفهوم ویژگی مثبت در قالب عملگر تحصل، عمق و بسط می‌بخشد. گودل همچنین از مفاهیمی نظیر فرد شبه خدا، جوهر فرد و ویژگی وجود ضرور (واجب) برای پیشبرد برهان خود بهره می جوید. این نوشتار همچنین، مشتمل بر پاره‌ای از ملاحظات فلسفی در خصوص تفاسیر معناشناختی لایب نیتسی و فلوطینی از برهان گودل است.
صفحات :
از صفحه 163 تا 188
  • تعداد رکورد ها : 6