جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
>
منطق جدید
>
منطق کلاسیک
>
منطق گزاره ها
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
2
3
4
تعداد رکورد ها : 33
عنوان :
منطق پیوسته و محاسبات احتمالاتی
نویسنده:
داوود عبدی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق احتمالاتی Probabilistic logic
,
منطق پیوسته
,
منطق کلاسیک مرتبه اول
,
نظریه مدل محاسبه پذیر
,
محاسبه احتمالی
,
نظریه محاسبه
چکیده :
منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود ) و منطق پیوسته ارتباط نزدیک و مشابهی دارند. پیامد اصلی این پایان نامه این است که هر نظریه ی مرتبه اول پیوسته ی تصمیم پذیر یک مدل به طور احتمالی تصمیم پذیر دارد. همچنین نشان می دهیم که ساختارهای به طور احتمالی محاسبه پذیر، در یک زمینه ی مناسب، مدلی از ACA0 را ارائه می کنند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ترجمه کتاب مقدمهای بر منطق
نویسنده:
غلامرضا اطمینان
نوع منبع :
رساله تحصیلی , ترجمه اثر
وضعیت نشر :
مشهد: دانشگاه فردوسی مشهد,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق فلسفی
,
تابع ارزش
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
چکیده :
شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق شناختی سوردار برای بررسی آگاهی در سیستمهای چند عاملی
نویسنده:
حمید احمدی میرقائد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
اصطلاحنامه معرفت شناسی(اسلامی)
,
سیستم چندعاملی
,
منطق شناخت
,
سیستم های حالات سراسری
,
سیستم های چند عاملی
,
عبارت مسور
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
چکیده :
در این پایان نامه نقش اگاهی در سیستم های چند عاملی بر پایه منطق مرتبه اول مورد بررسی قرار می گیرد.این کار در گذشته بر پایه منطق گزاره ای انجام شده است.در این پایان نامه سیستم های حالات سراسری معرفی می گردند.سپس تناظر یک به یک بین این سیستم ها و ساختارهای کریپکی معرفی می گردند. در ادامه با ارائه یک دستگاه مناسب سلامت و تمامیت آن با این سیستم ها مورد بررسی قرار گرفته و در آخر مثالی ارائه می گردد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
گزارههای کلی و وجودی در منطق ریاضی و کلاسیک
نویسنده:
علیرضا قائمینیا
نوع منبع :
مقاله
منابع دیجیتالی :
متن
وضعیت نشر :
معرفت,
زبان :
فارسی
کلیدواژههای اصلی :
اسم خاص
,
گزاره های وجودی
,
منطق ریاضی
,
گزاره های کلی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق موجهات
انتخاب :
صفحات :
از صفحه 34 تا 40
مشخصات اثر
ثبت نظر
عنوان :
تصور گزاره ای و توجیه باورهای وجهی
نویسنده:
مسعود ضیاء علی نسب پور
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
امکان (منطق)
,
مسایل جدید معرفت شناسی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معرفت شناسی تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
تصور گزاره ای
,
تخیل پذیری
,
معرفت شناسی وجهی
چکیده :
در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیلپذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه میکند بررسی میکنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیلپذیری است. گیرسون تخیلپذیری را بر اساسِ تصور تحلیل میکند. گیرسون با پذیرشِ شباهتهایِ برخی از مولفههای شرحاش با مدل یبلو (1993)، ادعا میکند که از چند جهت بحث را پیش برده است. یکی از این پیشرفتها از نظر گیرسون این است که او از تصور گزارهای در توجیه باور وجهی استفاده میکند. در این مقاله نشان میدهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزارهای به گونهای که گیرسون تعریف میکند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزارهای دقیقاً یعنی چه؟» نمیتواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزارهای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزارههای غیرممکن متافیزیکی و حتی گزارههای غیرممکن منطقی قابل تصورِگزارهای نباشند.
انتخاب :
صفحات :
از صفحه 41 تا 61
مشخصات اثر
ثبت نظر
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرانظریه و فراقضایا در سیستم اصل موضوعی منطق گزارهها
نویسنده:
زهرا موسوی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
فرانظریه
,
علوم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سیستم اصل موضوعی
,
فرا قضیه
چکیده :
مطابق دانش پیشرفته امروز، هر علمی که منظمتر و با ترتیب منطقی خاصی ارائه شود، کاربرد آن آسان و نتیجهبخش خواهد بود. علم منطق جدید در اوان رشد خود راهمپای ریاضیات دانست و بر آن شد تا دستاوردی که در علوم ریاضی حل شده است به ساختار درونی خود منتقل کند. از این رهگذر به روشهایی دست یافت که آثار و برکات آن تا قرن اتم ادامه دارد. شیوهای که در قرن نوزدهم و با الهام از تراوشات اندیشه ریاضیدانان یونان در منطق پدید آمد، روشی نوین جهت دستیابی به اطلاعات نظاموار بود و بر آن بود تا دانستههای پربهای خود را به گونهای مرتب سازد تا نتایجی از آن حاصل شود و به دانشهای جدید دست یازد. از جمله این روشها میتوان از قیاسی کردن یا لژیستیک کردن سیستمهای منطقی نام برد. نخستین محققی که بدین شیوه کتاب نکاشت ریاضیدان و منطقدان آلمانی به نام فرگه بود که در سال 1879 کتابی تحت عنوان "مفهوم نگاری" منتشر نمود. آنچه که این کتاب را شهره آفاق نمود، استفاده از روش اصل موضوعی در سیستمها بویژه گزارهها بود. وی در این کتاب سیستمی را با شش اصل موضوع و دو قاعده وضع مقدم و جانشینی ارائه میدهد و نظامی نوین در منطق جدید پدید میآورد. در اهمیت کار وی همین بس که ریاضیدانان و منطقدانان پس از وی نظیر راسل - وایتهد، لوکاسیهویچ، هیلبرت آکرمان و ... به نوآوری و خلاقیت وی نظر کردند و در توسعه این سیستم راهکارهای جدیدی را ارائه دادند. در این پایاننامه ضمن رویکردی تاریخی به علم منطق جدید و بررسی اوصاف و ویژگیهای سیستمهای قیاسی و نیز کنکاشی در سیستمهای اصل موضوعی منطق گزارهها به بسط و تفصیل پیرامون سیستم اصل موضوعی فرگه و راسل-وایتبد در حساب گزارهها پرداخته شده است . از جمله مباحثی که به نحو برون سیستمی مورد بحث قرار گرفته فرانظریه و فراقضایای سازگاری، تمامیت و استقلال در این دو سیستم خاص میباشد. فرانظریه علم مطالعه برخی ار اوصاف و ویژگیهای آن سیستم است و آنچه که دستاورد این بحث و بررسی است ، فراقضیه نامیده میشود. فراقضیه سازگاری در یک سیستم قیاسی که بیشتر از بعد معناشناختی مطرح است ، حاکی از آن است که اگر چیزی به لحاظ معنایی منطقا متناقض نباشد یک قضیه خواهد بود و به عبارت دیگر هیچ دو قضیهای وجود ندارد که یکی نقیض دیگری باشد. مفهوم فراقضیه تمامیت نیز همانند فراقضیه سازگاری از بعدی معناشناختی برخوردار است . مفهوم تمامیت در یک سیستم منطقی تقریبا بدین معناست که سیستم تمامی قضایای درست مربوط به تئوری دارا باشد. و چنانچه اصول موضوعه یک سیستم به گونهای باشند که از یکدیگر قابل استنتاج نباشند - که در غیر اینصورت حکم قضیه را به خود خواهند گرفت - دارای استقلال خواهند بود. تمامی این فراقضایا به نحو برون سیستمی بر سیستمهای منطقی نظارت خواهند داشت .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پژوهشی نقادانه در باب تبیین گرایس از تابع ارزش بودن شرطیها در زبان طبیعی بر اساسِ مفهومِ اظهارپذیری
نویسنده:
سید علی کلانتری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
زبان طبیعی (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه منطق
,
فلسفه زبان
,
تابع ارزش
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
شرطیها
,
اظهارپذیری
چکیده :
داتِ منطقی در منطقِ کلاسیکِ گزارهها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نمودهاند. برخی استدلال کردهاند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلالهایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نمودهاند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطیها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطیها در زبانِ طبیعی است.
انتخاب :
صفحات :
از صفحه 123 تا 152
مشخصات اثر
ثبت نظر
عنوان :
منطق اثباتها
نویسنده:
مهدیه گل رنگی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
شهود
,
منطق شهودی
,
منطق ریاضی
,
فضای هیلبرت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق شهودگرا Intuitionistic Logic
,
منطق اثبات ها
چکیده :
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (CP) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای S4 و صوری کردن تعبیر BHK برای منطق شهودی بود. CP گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه CP را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که Cp قابلیت تحقیق منطق موجه S4 را در خود دارد. یکی از گسترش های Cp منطق اثبات ها و اثبات پذیری CPP است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی CPP ثابت می شود. در خاتمه منطق اثبات ها برای HA مطرح می گردد . قواعد پذیرفتنی در HA که در واقع همان قواعد پذیرفتنی در IPC می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی ربطی: رویکردی گزارهای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
فراسازگاری (منطق)
,
منطق ریاضی
,
منطق نمادی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق فازی
,
قوانین دمورگان
چکیده :
در استدلالهای علمی و حتی در استدلالهای روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلالهايي سر و کار داريم که تقريبیاند و تا يک درجه خاصی درست هستند. در اين پاياننامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزارهای و غيرکلاسيک منطقهايي ساخته میشوند که استدلال آنها هم فازی است و هم ربطی، و منطقهای فازی ربطی نام دارند. منطقهای فازی ربطی FB، NB را با راهکار فازیسازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطقهای پايه هستند. منطقهاي فازی ربطی قویتر، گسترش اين منطقها هستند.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
تعداد رکورد ها : 33
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید