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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 73
 الگویی برای منطق خواست بر مبنای منطق‌های نیمه‌کلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در پی توسعه‌ی منطق جدید، «منطق کلاسیک» در مقوله‌هایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقوله‌ی «خواست»، الگو از «منطق‌های نیمه‌کلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزه‌های «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیک‌های ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطق‌های خواست» پرداختیم. به علاوه سیستم‌هایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظام‌هایی را پیشنهاد دادیم. در میان منطق‌ها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کرده‌ایم. در بیان ساختار معنایی «منطق‌های خواست نرمال» نیز از ایده‌ی «جهان‌های ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره برده‌ایم.
ب‍ن‍ی‍اده‍ای‌ م‍ن‍طق‌ ن‍گ‍ری‍ک‌
نویسنده:
داوی‍د ه‍ی‍ل‍ب‍رت‌، وی‍ل‍ه‍ل‍م‌ آک‍رم‍ان‌؛ مترجم: میر شمس الدین ادیب سلطانی
نوع منبع :
کتاب , ترجمه اثر
منابع دیجیتالی :
وضعیت نشر :
تهران: امیر کبیر,
چکیده :
منطق نگریک(نظری) که منطق مزداهی(ریاضی) یا منطق نمادین نامیده می شود عبارت است از گسترس روش صوری مزداهیک(ریاضیات) بر قلمرو منطق . این کتاب که جزو کتابهای دوران ساز و بیمانند در زمینه منطق جدید و منطق ریاضی است با چنین دیدگاهی به نگارش در آمده است. این کتاب تصویر اندیشیدن منطقی را یک حساب یا محاسبه منطقی می بیند.
منطق ریاضی چیست ؟
نویسنده:
ج.ن کراسلی و دیگران ، ترجمه شاپور اعتماد و غلامرضا برادران خسروشاهی
نوع منبع :
کتابشناسی(نمایه کتاب)
کلیدواژه‌های اصلی :
چکیده :
فهست مطالب : 1. بررسی تاریخی (برر سی تاریخ استنتاج صوری که با ارسطو و اقلیدس و افرادی دیگر شروع می شود و تاریخ آنالیز ریاضی که به ارشمیدس باز می گردد) 2. تمامیت حساب محمولات 3. نظریه مدل ها 4. ماشین های تورینگ و توابع بازگشتی 5. قضایای ناتمامیت گودل 6. نظریه مجموعه ها 7. پیشنهادهایی برای مطالعات بیشتر
منطق الصوری و الرياضی
نویسنده:
محمد عزيز نظمی
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
مصر/ اسکندیه: المكتب العربي الحديث,
کلیدواژه‌های اصلی :
اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
نویسنده:
علی اکبر پیمان
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
چکیده :
چکیده در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنها شکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگردانده شوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛ در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژه نمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول و آن هم به ضرب اول می تواند بازگردد . در هر مورد، نیز، مثالی از زبان طبیعی برای درک بهتر موضوع ارائه (Barbara) می شود.
صفحات :
از صفحه 27 تا 61
گزاره ‏هاى کلى و وجودى در منطق ریاضى و کلاسیک - 2
نویسنده:
علیرضا قائمی نیا
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمينی قدس‌سره,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
در این مقاله، پیرو مقال پیشین که در مورد گزاره های منطقی به دونتیجه اساسی: 1. همیشه کلی نبودن مفهوم کلی و 2. عدم وجود فرد برای موضوع گزاره کلی، دست یافت؛ سعی می شود با تاکید بر تحلیل مفهوم وجود در منطق و ریاضی و اشکالات وارد بر تعاریف مطرح شده، گزاره های وجودی تبیین شوند.
گزاره‏ هاى کلى و وجودى در منطق ریاضى و کلاسیک - 1
نویسنده:
علیرضا قائمی نیا
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمينی قدس‌سره,
چکیده :
در منطق كلاسيك، از گزاره‌ها و تقسيمات آن، به عنوان مقدمه‌ای بر مباحث حجت (تصديق معلوم موصل) بحث می شود و نخست، در يك تقسيم‌بندی، قضايا به حملی و شرطی، تقسيم شده و سپس قضايای حملی نيز، به محصورات چهارگانه (موجبه كليه، موجبه جزئيه، سالبه كليه و سالبه جزئيه) تقسيم می شوند. بنابراين، قضايای حملی و شرطی، در عرض يكديگر بوده و از نظر ماهيت، كاملا جدا هستند؛ يعنی در حقيقت، هر چهار نوع، حملی اند؛ اما نظر منطق رياضی، هماهنگ با منطق كلاسيك نيست و در نتيجه، مدافعين هر يك از دو منطق، دلايلی را براي اثبات نظر خود و رد نظر مقابل اقامه كرده‌اند كه ما، نظری اجمالی به اين مباحث خواهيم افكند.
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسنده:
سید محمد علی حجتی، وحیده عامری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
شیراز: دانشگاه شیراز,
چکیده :
یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.
صفحات :
از صفحه 41 تا 60
  • تعداد رکورد ها : 73