جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
منطق ریاضی
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
2
3
4
5
6
7
8
تعداد رکورد ها : 73
عنوان :
آشنایی با منطبق گزارهها
نویسنده:
مرتضی حاجحسینی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
اصفهان: نقش مانا,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نقش عوامل اجتماعی در معرفت ریاضی و منطقی، برمبنای دیدگاههای مکتب ادینبرا
نویسنده:
شهرام شهریاری
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه منطق
,
جامعه شناسی معرفت علمی(منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
منطق ریاضی
,
صدق ضروری
,
منطق جدید
,
منطق کلاسیک
,
برنامهٔ قوی
,
تمایز توجیه/ تبیین
,
مکتب ادینبرا
چکیده :
برنامة قوی در جامعهشناسی معرفت علمی با نام مکتب ادینبرا و دیدگاههای نسبیانگارانة این مکتب شناخته شده است. براساس این رویکرد، همة آنچه «معرفت» بهشمار میرود، صرفنظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه انجامیده است و جامعهشناس موظف است که این علل را بیابد. این برنامه، برخلاف برنامههای ضعیفتری که معرفت علمی را استثنا میکردند، بر این ایده مبتنی است که عوامل اجتماعی در شکلگیری معرفت علمی تجربی و حتی ریاضیات و منطق، یعنی معرفتهایی که از سنخ ضروری بهشمار میروند، نیز نقش دارند. در این مقاله درصددیم دیدگاههای مکتب ادینبرا را در زمینة منطق و ریاضی معرفی و تبیین کنیم. بهاینمنظور، نخست مبانی فکری این رویکرد را بهاجمال معرفی و سپس دیدگاههای اصلی آنان را دربارۀ نقش ابعاد جامعهشناسانه در منطق و ریاضیات بهاختصار ذکر میکنیم. در بخشهای بعدی مقاله مهمترین یا بدیعترین مطالعات موردی عرضهشده را بررسی و آنها را درباب برهان خلف، تصمیمگیری و چانهزنی در ریاضیات، اثبات گزارههای ریاضی، و اعتبار استدلالهای منطقی نقد و ارزیابی میکنیم و درانتها نیز نکاتی دربارة رویکرد نظری آنان و نتایجی که بهنظر میرسد میتوان از این بحث گرفت مطرح خواهیم کرد.
انتخاب :
صفحات :
از صفحه 67 تا 96
مشخصات اثر
ثبت نظر
عنوان :
قضایای حفظ در منطق محمولات شهودی
نویسنده:
پریسا دلیری حسنجانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق محمولی شهودی
,
مدل کریپکی
,
منطق محمولی کلاسیک
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق محمولات مشهودی را مطالعه می کنیم مفاهیم همریختی، زیرمدول و ساندویچ از مدل های کریپگی تعریف می شود. هم چنین دو عملگر U(·, ·) و E(·) به ترتیب متناظر با بستار عمومی و بستار وجودی تعریف می شود. سپس یک نظیر شهودی از تعمیم (دوگان) قضیه لیندن-لاش-تارسکی ثابت می شود که جملاتی که تحت تصویر معکوس همریختی های مدل های کریپکی حفظ می شوند را مشخص می کند. هم چنین تعمیمی از قضیه لاش-تارسکی ثابت می شود که جملاتی که تحت زیرمدول های کریپکی حفظ می شوند را مشخص می کند. در ادامه تعمیمی از قضیه ساندویچ کیسلر ثابت می شود که جملاتی که تحت ساندویچ های مدول کریپکی حفظ می شوند را مشخص می کند هر یک از این قضایا در حضور اصل طرد شق ثالث نظیر کلاسیک شان را نتیجه می دهند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریههای عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
علم ریاضی
,
منطق ریاضی
,
مدلهای کریپکی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق مرتبه اول شهودی
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
مفاهیم اولی، ضروری، بدیهی، یقینی در منطق کلاسیک (صوری)
نویسنده:
علیرضا آزادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
دانشکده ادبیات و علوم انسانی دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
تصور
,
تصدیق
,
مفاهیم بدیهی
,
عرضی
,
ضروری
,
استدلال مباشر
,
یقینی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ابن سینا: ابوعلی سینا
چکیده :
معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق های آزاد
نویسنده:
نصیبا تبریزیان
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق آزاد
,
منطق کلاسیک مرتبه اول
چکیده :
منطق آزاد به منطق غیر کلاسیکی اطلاق می شود که از برخی فرض های وجودی منطق کلاسیک صرف نظر می کند. منطق آزاد به سه دسته ی مثبت، منفی و خنثی تقسیم می شود. در فصل اول این پایان نامه، منطق کلاسیک مرتبه اول و ویژگی های آن را بررسی می کنیم. در فصل دوم منطق آزاد را معرفی نموده و کاربردی از آن ارائه می دهیم. در فصل آخر برخی لم ها و قضایای مهم درمنطق مانند لم موضعی ، لم نمایش و قضایای صحت و تامیت را در منطق آزاد اثبات نموده و منطق آزاد و کلاسیک را مقایسه می نماییم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
قضیه هربراند برای منطق پیوسته
نویسنده:
مریم سلیمانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
فضای هیلبرت
,
منطق و مبانی ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق پیوسته
,
تابع تعریفپذیر
,
مجموعه تعریفپذیر
,
continuous logic
,
herbrands theorem
,
metric structure
,
definable function
,
قضیه هربراند
چکیده :
ما قضیه هربراند را در چارچوب منطق پیوسته ثابت میکنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزارهای فرو میکاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت میشود، تمرکز میکنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازههای موتیویک دارد که در آن یک مشخصسازی از تابعهای تعریفپذیر مورد نیاز است.در این پایاننامه، یک حالت منطق پیوسته از قضیه هربراند را ثابت نموده، و از آن برای مشخصسازی عملهای تعریفپذیر روی فضاهای هیلبرت استفاده میکنیم. به ویژه، نشان داده میشود که عملهای تعریفپذیر به طور تکهای توسط ترمها تقریب زده میشوند. وضعیت مشابهی برای توسیعهای فضاهای هیلبرت نیز برقرار است.در نوشتار این پایان نامه از مقاله زیر استفاده شده است. I. Goldbring, An approximate Herbrand’s theorem and definable functions in metric structures, Math. Log. Quart. 58, No. 3, 208-216(2012)
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تقریرهای مختلف سیستم استنتاج طبیعی بر اساس دیدگاه یاکوفسکی و گنتزن در منطق محمولات درجه اول
نویسنده:
محمد مرتضوی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
قواعد استنتاج
,
منطق ریاضی
,
استنتاج طبیعی
,
منطق درجه اول
,
منطق مسند
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق اصل موضوعی
چکیده :
سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلالها و قضایای منطق را ثابت میکند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی مینامند. این سیستم که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستمهای اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود) در امر آموزش و یادگیری داشتند، توسط یاکوفسکی و گنتزن طراحی شد. یاکوفسکی و گنتزن در سال 1934 به طور همزمان و مستقل از یکدیگر مقالاتی را منتشر کردند که در آن به تبیین این روش پرداخته بودند. یاکوفسکی دو روش، یکی گرافیکی و دیگری دفترداری را ابداع کرد، و گنتزن نیز یک روش را ارایه داد که استدلالها و قضایای منطق را در یک ساختار درختی اثبات میکرد. این روش بعدها مخصوصاً در دهههای پنجاه و شصت میلادی توسط منطقدانانی نظیر کواین، کپی، فیچ، مونتاگیو، سوپیس، میتس، لمون و دیگران که از این روش برای متنهای آموزشی استفاده کرده بودند توسعه و تکمیل گردید و هر کدام تقریری از این سیستم ارایه دادند. در این تحقیق علاوه بر ارایه تقریرهای مزبور به مقایسه و بررسی آنها پرداخته میشود، و همچنین تقریرها از نظر نماد گذاریها و تعداد قواعد استنتاجی و همچنین مزایا و معایب هر کدام بررسی میشود. در اینجا همچنین ضمن بیان اشتراکات و تفاوتهای تقریرها با یکدیگر از لحاظ معنایی نیز قواعد معرفی و حذف سور در آنها بررسی میشود. از طرفی نتیجه میگیرد، روش گرافیکی یاکوفسکی که توسط کپی تکمیل و ادامه پیدا کرد، در بین منطقدانان مورد اقبال بیشتری واقع شده است.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
تعداد رکورد ها : 73
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید