جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
عنوان :
کاربردهای سمانتیکهای چندارزشی در منطقهای ربط
نویسنده:
فاطمه میرطاهری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
منطق چند ارزشی
,
ضرورت منطقی
,
قیاس استثنائی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
سمانتیک چند ارزشی
چکیده :
اندرسون و بلنپ در سال 1975 در کتاب Entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین مقدم و تالی که نمی توانند قضایای منطقهای E و R باشند، دو روش کلی معرفی میشود، از طرف دیگر تعریف پذیری «ضرورت» در منطق E و تعریف ناپذیری «ضرورت» در منطقهای T و R نیز اثبات شده و برای ااثبات استقلال اصول موضوعه منطقهای ربط نیز یک روش کلی معرفی میشود که در اثبات تمامی موارد فوق و چند مطلب دیگر هم از ماتریسهای چندارزشی استفاده میشود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق تکلیف و کاربرد آن در دستگاههای هنجاری
نویسنده:
ابوتراب پورحقانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
اصول ریاضیات
,
منطق ریاضی
,
علوم کامپیوتر
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری )
,
منطق هنجاری
,
دستگاه هنجاری
,
منطق خروجی و ورودی
چکیده :
دستگاه هنجاری اولین ساختار اجتماعی است که توسط بشر ایجاد شده است. ابتدایی ترین دستگاه هنجاری خانواده و بزرگترین آن جامعه است دستگاه هنجاری بر پایه هنجارها و مجوز ها استوار است .در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است با ارائه دو مقاله دیگر این منطق به عنوان توسیعی از منطق تکلیف کامل گردید. در این منطق با استفاده از یک قید در استنتاج ها جلوی تولید پارادوکسها گرفته می شود. در این منطق وظایف را به صورت زوجهای مرتب نشان می دهیم که درایه اول اشاره به وضعیتی است که اتفاق افتاده است و درایه دوم مربوط به وظیفه یا مجوزی است که در آن وضعیت وجود دارد. این منطق قاعده محور بوده و شامل هیچ اصل موضوعی نیست. یکی از دیگر مباحث مطرح در منطق تکلیف موضوع دستگاه های هنجاری است. یک دستگاه هنجاری، دستگاهی که بر اساس وظایف پایه گذاری شده است. مثال بارز این نوع دستگاه ها، حکومت یک کشور می باشد. در هر دستگاه هنجاری هر کسی وظیفه ای بر عهده دارد که باید انجام دهد. برای این دستگاه ها مدل های مختلفی در منطق تکلیف ارائه شده است. یکی از این مدلها بر اساس منطق ورودی/خروجی ارائه شده است. در این مدل هنجارهای اساسی و رویه ای و روابط محسوبی مدل شده است. این مدل سازگار با مباحث علوم کامپیوتر می باشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بنیادهای منطق نگریک
نویسنده:
داوید هیلبرت، ویلهلم آکرمان؛ مترجم: میر شمس الدین ادیب سلطانی
نوع منبع :
کتاب , ترجمه اثر
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: امیر کبیر,
زبان :
فارسی
کلیدواژههای اصلی :
منطق گزاره ها
,
منطق محمول ها
,
منطق ریاضی
,
منطق جدید
چکیده :
منطق نگریک(نظری) که منطق مزداهی(ریاضی) یا منطق نمادین نامیده می شود عبارت است از گسترس روش صوری مزداهیک(ریاضیات) بر قلمرو منطق . این کتاب که جزو کتابهای دوران ساز و بیمانند در زمینه منطق جدید و منطق ریاضی است با چنین دیدگاهی به نگارش در آمده است. این کتاب تصویر اندیشیدن منطقی را یک حساب یا محاسبه منطقی می بیند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق ریاضی چیست ؟
نویسنده:
ج.ن کراسلی و دیگران ، ترجمه شاپور اعتماد و غلامرضا برادران خسروشاهی
نوع منبع :
کتابشناسی(نمایه کتاب)
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
چکیده :
فهست مطالب : 1. بررسی تاریخی (برر سی تاریخ استنتاج صوری که با ارسطو و اقلیدس و افرادی دیگر شروع می شود و تاریخ آنالیز ریاضی که به ارشمیدس باز می گردد) 2. تمامیت حساب محمولات 3. نظریه مدل ها 4. ماشین های تورینگ و توابع بازگشتی 5. قضایای ناتمامیت گودل 6. نظریه مجموعه ها 7. پیشنهادهایی برای مطالعات بیشتر
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق الصوری و الرياضی : دراسة تحليلية لنظرية القياس و فلسفة اللغة
نویسنده:
محمد عزيز نظمی
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
فهرست
وضعیت نشر :
مصر/ اسکندیه: المكتب العربي الحديث,
زبان :
عربی
کلیدواژههای اصلی :
اصطلاحنامه منطق
,
فاقد چکیده
کلیدواژههای فرعی :
منطق صوری ,
دلالات ,
معرِف(منطق) ,
کلیات خمس ,
تناقض ,
قیاس ,
فلسفه منطق ,
تصورات وهمی ,
تصورات خیالی ,
منطق ریاضی ,
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بسيط المنطق الحديث
نویسنده:
ويلارد كواين؛ مترجم: ابویعرب مرزوقی
نوع منبع :
کتاب , ترجمه اثر , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
فهرست
زبان :
عربی
کلیدواژههای اصلی :
اصطلاحنامه منطق
کلیدواژههای فرعی :
رابطه عقلانیت و منطق ,
منطق ریاضی ,
برهان وجودی و منطق ,
اساس ریاضی مابعدالطبیعه ,
رابطه منطق و متافیزیک ,
منطق و معنا ,
منطق و فلسفه ذهن ,
ملازمه منطق و معقولیت ,
اصالت هویت ,
فاقد چکیده ,
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
نویسنده:
علی اکبر پیمان
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
نظریه مجموعه ها
,
قیاس صوری
,
نمودار وِن
,
منطق ریاضی
چکیده :
چکیده در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنها شکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگردانده شوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛ در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژه نمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول و آن هم به ضرب اول می تواند بازگردد . در هر مورد، نیز، مثالی از زبان طبیعی برای درک بهتر موضوع ارائه (Barbara) می شود.
انتخاب :
صفحات :
از صفحه 27 تا 61
مشخصات اثر
ثبت نظر
عنوان :
گزاره هاى کلى و وجودى در منطق ریاضى و کلاسیک - 2
نویسنده:
علیرضا قائمی نیا
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه متنی
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمينی قدسسره,
زبان :
فارسی
کلیدواژههای اصلی :
مفهوم وجود
,
منطق جدید
,
گزاره های وجودی
,
اصطلاحنامه منطق
,
منطق ریاضی
,
گزاره منطقی (منطق)
کلیدواژههای فرعی :
قضیه حملیه ,
قضیه محصوره ,
قضیه شرطیه ,
سور قضایا ,
سور قضیه حملیه ,
سور قضیه شرطیه ,
سور قضیه متصله ,
سور قضیه منفصله ,
معقولات ثانیه منطقی(مقابل معقولات ثانیه فلسفی) ,
معقولات ثانیه فلسفی(مقابل معقولات ثانیه منطقی) ,
گزاره نما ,
گزاره جزئی ,
قوانین منطق کلاسیک ,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ملاصدرا شیرازی: صدرالمتألهین
چکیده :
در این مقاله، پیرو مقال پیشین که در مورد گزاره های منطقی به دونتیجه اساسی: 1. همیشه کلی نبودن مفهوم کلی و 2. عدم وجود فرد برای موضوع گزاره کلی، دست یافت؛ سعی می شود با تاکید بر تحلیل مفهوم وجود در منطق و ریاضی و اشکالات وارد بر تعاریف مطرح شده، گزاره های وجودی تبیین شوند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
گزاره هاى کلى و وجودى در منطق ریاضى و کلاسیک - 1
نویسنده:
علیرضا قائمی نیا
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه متنی
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمينی قدسسره,
زبان :
فارسی
کلیدواژههای اصلی :
منطق جدید
,
اصطلاحنامه منطق
,
منطق ریاضی
,
گزاره منطقی (منطق)
کلیدواژههای فرعی :
محصورات چهارگانه ,
محمول درجه دو ,
گزاره شرطی ,
گزاره های وجودی ,
موضوع ,
محمول ,
لفظ کلی ,
اسمای اعلام ,
تصدیق(مقابل تصور) ,
قضیه کلیه(مقابل قضیه جزئیه) ,
گزاره های حملی ,
گزاره نما ,
تحلیل منطقی گزاره ,
قانون علمی ,
گزاره جزئی ,
مساله وجود افراد ,
چکیده :
در منطق كلاسيك، از گزارهها و تقسيمات آن، به عنوان مقدمهای بر مباحث حجت (تصديق معلوم موصل) بحث می شود و نخست، در يك تقسيمبندی، قضايا به حملی و شرطی، تقسيم شده و سپس قضايای حملی نيز، به محصورات چهارگانه (موجبه كليه، موجبه جزئيه، سالبه كليه و سالبه جزئيه) تقسيم می شوند. بنابراين، قضايای حملی و شرطی، در عرض يكديگر بوده و از نظر ماهيت، كاملا جدا هستند؛ يعنی در حقيقت، هر چهار نوع، حملی اند؛ اما نظر منطق رياضی، هماهنگ با منطق كلاسيك نيست و در نتيجه، مدافعين هر يك از دو منطق، دلايلی را براي اثبات نظر خود و رد نظر مقابل اقامه كردهاند كه ما، نظری اجمالی به اين مباحث خواهيم افكند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسنده:
سید محمد علی حجتی، وحیده عامری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
شیراز: دانشگاه شیراز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق جدید
,
ثوابت منطقی
,
اصطلاحنامه منطق
,
فلسفه منطق
,
صوری سازی منطق
کلیدواژههای فرعی :
تابع ارزش صدق ,
زبان طبیعی (منطق) ,
صورت منطقی ,
اعتبار ,
استنتاج منطقی ,
قضیه شرطیه ,
گزاره صادق ,
منطق ریاضی ,
توتولوژی ,
صورت منطقی قضیه ,
صورت بخشی منطقی ,
قضیه منطقی ,
ضابطه صوری سازی ,
زبان منطقی ,
ادات منطقی ,
بی طرفی در گزاره ها ,
رابط های جمله ای ,
شاپا (issn):
6123 2251
چکیده :
یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.
انتخاب :
صفحات :
از صفحه 41 تا 60
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
تعداد رکورد ها : 73
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید