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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 186
طراحی ساختار نحوی و معنایی منطق شرطی لزومی سینوی در چارچوب نظام های منطق جدید
نویسنده:
علیرضا دارابی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام‌های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام‌های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق‌دانان سینوی و مبتنی بر کاربرد معمول زبان طبیعی صورت پذیرفته است. بر پایه این بررسی، سه روایت متمایز از قواعد منطق شرطی لزومی سینوی قابل تشخیص است. دو روایت از این سه را می‌توان بر مبنای ترکیبی از منطق ربط، منطق زمان، منطق مرتبه دوم و مبتنی بر پیش‌فرض حقیقی بودن لزومی‌های به کار رفته در شرطی سینوی صورت‌بندی نمود. روایت سوم در نظام‌های موجود در منطق جدید قابل صورت‌بندی نیست.
مشخصات اثر
کاربرد ایده جهانهای ممکن در منطق و ادبیات داستانی
نویسنده:
سمیه فریدونی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
ایده جهانهای ممکن حدود نیم قرن است که مورد توجه قرار گرفته است. کاربرد اصلی و اولیه این ایده، توسط منطقدانان و به منظور طراحی دلالت‏شناسی صوری برای منطق گزاره‏های ضروری و ممکن، با استفاده از مفاهیم و ساختارهای موجود در نظریه مجموعه‏ها، بوده است. این ایده سپس، در شاخه‏های دیگر منطق، مانند منطق تکلیف و منطق شرطی نیز به کار گرفته شد و سودمند واقع شد. «جهانهای ممکن»، به سرعت، در رشته‏های دیگر مانند فلسفه زبان و هنر و حتی هوش مصنوعی، نیز مورد توجه قرار گرفت و پژوهشگران این رشته‏ها ...
مشخصات اثر
الگویی برای منطق خواست بر مبنای منطق‌های نیمه‌کلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در پی توسعه‌ی منطق جدید، «منطق کلاسیک» در مقوله‌هایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقوله‌ی «خواست»، الگو از «منطق‌های نیمه‌کلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزه‌های «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیک‌های ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطق‌های خواست» پرداختیم. به علاوه سیستم‌هایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظام‌هایی را پیشنهاد دادیم. در میان منطق‌ها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کرده‌ایم. در بیان ساختار معنایی «منطق‌های خواست نرمال» نیز از ایده‌ی «جهان‌های ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره برده‌ایم.
مشخصات اثر
ب‍ن‍ی‍اده‍ای‌ م‍ن‍طق‌ ن‍گ‍ری‍ک‌
نویسنده:
داوی‍د ه‍ی‍ل‍ب‍رت‌، وی‍ل‍ه‍ل‍م‌ آک‍رم‍ان‌؛ مترجم: میر شمس الدین ادیب سلطانی
نوع منبع :
کتاب , ترجمه اثر
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: امیر کبیر,
چکیده :
منطق نگریک(نظری) که منطق مزداهی(ریاضی) یا منطق نمادین نامیده می شود عبارت است از گسترس روش صوری مزداهیک(ریاضیات) بر قلمرو منطق . این کتاب که جزو کتابهای دوران ساز و بیمانند در زمینه منطق جدید و منطق ریاضی است با چنین دیدگاهی به نگارش در آمده است. این کتاب تصویر اندیشیدن منطقی را یک حساب یا محاسبه منطقی می بیند.
مشخصات اثر
تعریف سور قضیه
نویسنده:
ایل امان کُر
نوع منبع :
مقاله
منابع دیجیتالی :
متن
کلیدواژه‌های اصلی :
منطق جدید
مشخصات اثر
آشنایی با فرهنگ نامه های منطقی
نویسنده:
محمدرضا کوهپایه
نوع منبع :
مقاله
منابع دیجیتالی :
متن
کلیدواژه‌های اصلی :
منطق جدید
مشخصات اثر
نگاهی به تاریخ منطق و مبانی فلسفی آن
نویسنده:
حمید علایی نژاد
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
مشخصات اثر
منطق ریاضی چیست ؟
نویسنده:
ج.ن کراسلی و دیگران ، ترجمه شاپور اعتماد و غلامرضا برادران خسروشاهی
نوع منبع :
کتابشناسی(نمایه کتاب)
کلیدواژه‌های اصلی :
منطق ریاضی , منطق جدید
چکیده :
فهست مطالب : 1. بررسی تاریخی (برر سی تاریخ استنتاج صوری که با ارسطو و اقلیدس و افرادی دیگر شروع می شود و تاریخ آنالیز ریاضی که به ارشمیدس باز می گردد) 2. تمامیت حساب محمولات 3. نظریه مدل ها 4. ماشین های تورینگ و توابع بازگشتی 5. قضایای ناتمامیت گودل 6. نظریه مجموعه ها 7. پیشنهادهایی برای مطالعات بیشتر
مشخصات اثر
قلمرو و مرزها‌ی منطق‌ صوری
نویسنده:
ریچا‌رد جفری، ترجمه : پرویز پیر
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
انتشارات علمی و فرهنگی,
کلیدواژه‌های اصلی :
منطق جدید , کتب منطق جدید
چکیده :
از مقدمه مترجم : در کتاب حاضر فصلهای نخست تا پنجم به آشنایی با کلیات منطق اختصاص دارد تا خواننده ابتدا تسلط کافی بر مسائل جاری منطق پیدا کند سپس در فصلهای ششم و هفتم به موضوع های پیشرفته تر و مجرد تری پرداخته می شود که هدف ان تعیین " قلمرو و مرزهای منطق صوری" است. البته در پاره ای از قسمت های پیشین کتاب (به طور عمده ، قسمت های4-2 تا 6-2 و 5-3 تا 8-3 و قسمت 9-4 ) نیز آمادگی های لازم برای ورود در بحث های دو فصل آخر فراهم می گردد. تدوین کتاب بر پایه این فرض است که خواننده در دوره دبیرستان درباره مقدمات منطق (زیر عنوان ریاضیات جدید) تدریس می شود، آشنایی دارد و به همین سبب در نخستین فصل کتاب که به طور عمده درباره ادات های تابع ارزشی عاطف ، فاصل و ناقض سخن به میان می آید به ایجاز برگزار گردیده و روش های کار همان شیوه متداول جدول های ارزش است.
مشخصات اثر
مدخل منطق صورت
نویسنده:
غلامحسین مصاحب
نوع منبع :
کتابشناسی(نمایه کتاب)
کلیدواژه‌های اصلی :
اصطلاحنامه منطق , منطق جدید
چکیده :
این کتاب اولین کتابی است که به زبان فارسی در منطق جدید نوشته شده است. عناوین کلی کتاب به قرار زیر است : حساب گزاره ها حساب محمولات مرتبه اول حساب محمولات بالاتر اصول منطق صورت کلاسیک تأسیس حساب گزاره ها به روش قیاسی
مشخصات اثر
  • تعداد رکورد ها : 186