مرور درختی موضوعات | کتابخانه مجازی الفبا

مرور درختی موضوعات | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
منطق آزاد منطق احتمالاتی Probabilistic logic منطق شهودگرا Intuitionistic Logic منطق غیر صوری informal logic منطق فازی منطق فراگیر inclusive logic منطق کوانتومی منطق های ساختاری منطق های فراسازگار منطق های نایکنواخت Nonmonotonic logic
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 38 
1 2 3 4 5
نمادهای فرگه: چه هستند و چه معنایی دارند [کتاب انگلیسی]
نویسنده:
Gregory Landini (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Palgrave Macmillan UK,
1 2 3 4 5
منطق غیر صوری: یک رویکرد عملی [کتاب انگلیسی]
نویسنده:
Douglas Walton
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Cambridge University Press,
چکیده :
ترجمه ماشینی: به نظر من این کتاب بسیار منطقی، چیدمان خوب و جالب بود. من با خواندن این کتاب مشکلی نداشتم. در واقع خواندن نسیمی بود و من اکنون علاقه مندم کتاب ها... ای بیشتری را در زمینه منطق و استدلال نویسنده بخوانم. می خواهم اضافه کنم که این اولین کتابی است که در زمینه منطق خوانده ام. علاوه بر این، من دریافتم که اطلاعات کتاب بسیار عملی/استفاده آسان است. من به طور ناخودآگاه از تکنیک‌های این کتاب برای ارزیابی انتقادی برای نقد و ارزیابی استدلال‌های مورد استفاده دیگران و استفاده از تکنیک‌هایی برای ترویج گفتگوی باز در محل کار و در تعاملات روزمره‌ام استفاده می‌کنم. من فکر می‌کنم خواندن این کتاب در دبیرستان عالی خواهد بود، هرچند منظورم این نیست که مطالب «سطح دبیرستان» است. من این کتاب را به همه توصیه می کنم.   بیشتر
1 2 3 4 5
نظریه اثبات و معناشناسی منطق مدال شهودی [کتاب انگلیسی]
نویسنده:
Alex K. Simpson
نوع منبع :
کتاب , رساله تحصیلی , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
University of Edinburgh,
1 2 3 4 5
نظریه توپوس ابتدایی و منطق شهودی [کتاب انگلیسی]
نویسنده:
C.L. Mahany
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
1 2 3 4 5
درآمدی کوتاه بر منطق شهودگرا [کتاب انگلیسی]
نویسنده:
Grigori Mints
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Springer,
1 2 3 4 5
کثرت‌گرایی بیل و رستال؛ و وحدت‌گرایی حداقلی در مورد منطق
نویسنده:
حمید علایی نژاد، مرتضی حاج‌حسینی
نوع منبع :
مقاله
منابع دیجیتالی :
چکیده :
راساس دیدگاه کثرت‌گرایی در مورد منطق، چندین نظام درست از منطق وجود دارند. در بیشتر قرائت‌هایی که از این دیدگاه وجود دارد، نسبی‌باوری در مورد منطق پذیرفته شده و... و درستیِ یک نظام از منطق به‌نحوی وابسته به مؤلفه‌ای متمایز از آن نظام منطقی دانسته می‌شود. بیل و رستال اما مدعی ارائۀ تقریری از کثرت‌گرایی هستند که در یک زبان واحد ارائه شده و متضمن قبول نسبی‌باوری در مورد منطق نیست. در مقالۀ حاضر، برخی از مهم‌ترین انواع کثرت‌گرایی را معرفی کرده و نشان می‌دهیم که برخلاف ادعای بیل و رستال، کثرت‌گرایی ایشان اولاً نمی‌تواند در یک زبان واحد ارائه شود؛ ثانیاً متضمن قبول نوعی از نسبی‌باوری در مورد منطق است. بر اساس قبول این نتایج، تلاش می‌کنیم با معرفی دیدگاهی با عنوان «وحدت‌گرایی حداقلی» نشان دهیم که درصورتی‌که کسی بخواهد دیدگاه بیل و رستال را به‌عنوان یک دیدگاه قابل اعتنا در این حوزه در نظر بگیرد، لازم است وحدت‌گرایی حداقلی را بپذیرد.   بیشتر
صفحات :
از صفحه 289 تا 309
1 2 3 4 5
 	 راه حلی بر اساس منطق خطی به نفع دیدگاه واقع گرایی علمی در مساله تمایز هستومند‌های مشاهده پذیر و مشاهده ناپذیر
نویسنده:
محمد شفیعی؛ آرام باتوبه
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
توانایی کشیدن خط تمایز دقیق بین هستومند‌های مشاهده‌پذیر و مشاهده‌ناپذیر در نظریه‌های علمی به عنوان موضوعی مورد مناقشه در بین دو دیدگاه مخالف واقع‌گرایی علمی و ...  پادواقع‌گرایی هنوز یکی از موضوعات باز در فلسفه علم می‌باشد. یکی از استدلال‌هایی که به نفع واقع‌گرایان ارائه شده است مدعی است که نمی توان علی‌الاصول خط تمایزی بین این هستومند‌ها کشید. از طرف دیگر پذیرش انسجام دیدگاه پادواقع‌گرایی به نوعی مستلزم پذیرش تمایز بین هستومند‌های مشاهده‌پذیر و نامشاهده‌پذیر می‌باشد. اگر به هر وسیله‌ای این تمایز به صورت اصولی رد شود نتیجه آن عدم انسجام دیدگاه پادواقع‌گرایی خواهد بود. پادواقع‌گرایان برای دفاع از انسجام دیدگاه خود مبهم بودن مفاهیم مشاهده‌پذیر و مشاهده‌ناپذیر را مطرح می‌کنند. در این نوشتار تلاش خواهیم کرد تعبیری از منطق خطی را معرفی نماییم که با به کار بردن آن می‌توان وضوح بیشتری به محل نزاع بین واقع‌گرایان با پادواقع‌گرایان در مورد ناسازنمای ابهام بخشید. نشان خواهیم داد که اگر تعبیر مورد نظر در ناسازنمای ابهام به کار گرفته شود به صورت منسجم تری می توان ادعا کرد که بر خلاف نظر پادواقع‌گرایان مبهم بودن مفاهیم مشاهده‌پذیر و مشاهده‌ناپذیر به نفع دیدگاه آنها نخواهد بود.   بیشتر
صفحات :
از صفحه 107 تا 123
1 2 3 4 5
منطق پیوسته
نویسنده:
سید محمد امین خاتمی؛ مسعود پورمهدیان
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده ...  شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطق‌ِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان می‌کنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرم‌های مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطق‌های پیوسته‌ مبتنی بر منطق‌هایی مثل منطق گودل و حاصل‌ضربی می‌انجامد. در انتها به بررسی بعضی از خواص این منطق‌ها از جمله خاصیت فشردگی خواهیم پرداخت   بیشتر
صفحات :
از صفحه 65 تا 106
1 2 3 4 5
درباب واقعیت‌های منطقی: واقع‌گرایی دربارۀ رابطۀ نتیجۀ منطقی
نویسنده:
محمدمحسن حائری؛ داود حسینی
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی ...  می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطۀ نتیجۀ منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث دربارۀ متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقع‌گرا عموماً فرض کرده‌اند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کرده‌ایم که با فرض اینکه موضوع منطق رابطۀ نتیجۀ منطقی باشد، چگونه می‌توان درباب منطق واقع‌گرا بود. این الگوها الهام گرفته از راه‌حل‌هایی هستند که در ذیل مسئلۀ متافیزیک رابطه‌ها در تاریخ متافیزیک مطرح شده‌اند   بیشتر
صفحات :
از صفحه 24 تا 64
1 2 3 4 5
 تحلیل دلالت شناسانه‌ی منطق شهودی
نویسنده:
برزویه بگلری
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسی... یر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است   بیشتر
صفحات :
از صفحه 53 تا 93
  • تعداد رکورد ها : 38