جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور >
مرور مجلات
>
منطق پژوهی
> 1402- دوره 14- شماره 1
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
1
تعداد رکورد ها : 5
سال 1402
دوره 14 , شماره 2
دوره 14 , شماره 1
سال 1401
دوره 13 , شماره 2
دوره 13 , شماره 1
سال 1400
دوره 12 , شماره 2
دوره 12 , شماره 1
سال 1399
دوره 11 , شماره 2 پیاپی 22
دوره 11 , شماره 1 پیاپی 21
سال 1398
دوره 10 , شماره 2 پیاپی 20
دوره 10 , شماره 1 شماره پیاپی 19، بهار و تابستان 1398
سال 1397
دوره 9 , شماره 2
دوره 9 , شماره 1
سال 1396
دوره 8 , شماره 2
دوره 8 , شماره 1
سال 1395
دوره 7 , شماره 2
دوره 7 , شماره 1
سال 1394
دوره 6 , شماره 2
دوره 6 , شماره 1
سال 1393
دوره 5 , شماره 2
دوره 5 , شماره 1
سال 1392
دوره 4 , شماره 2
دوره 4 , شماره 1
سال 1391
دوره 3 , شماره 2
دوره 3 , شماره 1
سال 1390
دوره 2 , شماره 2
دوره 2 , شماره 1
سال 1389
دوره 1 , شماره 2
دوره 1 , شماره 1
عنوان :
نظریه های صدق عرفی فراسازگار و پارادوکس کری
نویسنده:
سیاوش احمدزاده اصل ، لطف الله نبوی
نوع منبع :
نمایه مقاله
زبان :
فارسی
چکیده :
صدق عرفی، T(x)، محمولی است که در خود زبان بر تمام جملههای زبان حمل میشود و در ضمن برای هر جملهی مانند A در زبان T(˹A˺)↔A نتیجه میشود. تارسکی برای اجتناب از پارادوکس دروغگو و تریویال شدن زبان (نظریه) مجبور شد از مفهوم عرفی صدق دست بکشد و صدق هر زبان را در یک فرازبان تعریف کند. طرفداران منطقهای فراسازگار ادعا دارند با پذیرش منطقهای فراسازگار میتوان محمول صدق عرفی را حفظ کرد. منطقهای فراسازگار به منطقهایی گفته میشود که در آنها از تناقض هر چیزی نتیجه گرفته نمیشود. اما پارادوکس دیگری به نام کری وجود دارد که مربوط به ادات شرطی است و بدون استفاده از قاعدهی انفجار میتواند نظریههای صدق عرفی را تریویال کند. در این مقاله استدلال خواهیم کرد با وجود این که اگر به منطقهای فراسازگار اصول حساب و محمول صدق عرفی را اضافه کنیم نظریهای غیرتریویال خواهیم داشت اما این نظریهها به دلیل قدرت استنتاجی پایین، از دست رفتن برخی خواص مورد انتظار از محمول صدق عرفی و همچنین نشت ناسازگاری به قسمتهای خالص حسابی موجه نخواهند بود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
آیا رمزیسازی واقع گراییساختاری را بیمعنی میکند؟
نویسنده:
سعید معصومی
نوع منبع :
نمایه مقاله
زبان :
فارسی
چکیده :
رمزیسازی یکی از روشهایی است که فلاسفه درمورد صوریسازی واقعگرایی ساختاری پیشنهاد کردهاند. کتلند (2004) ضمن ارائه توضیحاتی درمورد رمزیسازی نظریهها و بیان مفاهیمی مرتبط با این روش، صورتبندیای از مسئله نیومن ارائه میکند، و معتقد است که براساس بررسی و تحلیل او تقریباً میتوان گفت که بیان نظریه بهروش رمزی علاوهبر کفایت تجربی تنها عدد اصلی هویات جهان را بهدست میدهد. در این مقاله، ضمن معرفی صورتبندی دقیقتری از بیان کتلند درمورد مسئله نیومن، تلاش میشود که استدلال او مورد مداقه قرار گیرد. بهعلاوه تبیینی از مسئله ارتباط ساختاری نظریه و جهان بیان خواهد شد، این کار براساس تعاریفی صورت میپذیرد که بهنوعی با وامگیری از تعاریف کتلند ارائه میشوند؛ ازجمله تعریف «ساختار بهطورمتافیزیکی درست»، «ساختار بهطورمتافیزیکی و بهطورجزئی درست»، و همچنین تعریفی از مفهوم صدق تقریبی که توجیه آن برمبنای استدلال براساس بهترین تبیین صورت گرفته است. با توضیحاتی که خواهد آمد، بهنظر میرسد بتوان تلقی قابلقبول و معقولی از واقع گرایی ساختاری ارائه کرد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ادات منطقی در منطق های نامتعارف براساس نظریه تنوع معنای کواین
نویسنده:
کورش آریش
نوع منبع :
نمایه مقاله
زبان :
فارسی
چکیده :
تبیین معنای ادات منطقی در این نوشته، ذیل مباحث معرفت شناسی و سمنتیکی است و رویکردی فلسفی-منطقی دارد. همچنین حوزۀ فلسفۀ زبان و ارتباط بین دستور زبان و منطق، از دیگر قلمروهایی است که به آن پرداخته شده است. پس از شکل گیری منطق کلاسیک، منطق های جدیدی با هدف تعمیم یا اصلاح منطق کلاسیک، پا به عرصۀ حضور گذاشتند. معتبر نبودن برخی از قضایای منطق کلاسیک در این نظام های جدید، که منطق نامتعارف نامیده شدند، چالش ها و پرسش های جدی در زمینۀ ماهیت منطق به وجود آورد. کواین از جمله کسانی است که با مطرح کردن نظریه تنوع معنا، موضعی کاملاً متفاوت نسبت به منطق های نامتعارف اتخاذ نمود. او از منظری معرفت شناسانه و با اتکا بر زبان طبیعی به داوری ما بین منطق ها پرداخت. بنا بر نظریۀ کواین، تغییر در منطق، تغییر در موضوع و در واقع تغییر معنای ادات منطقی در منطق های مختلف است. نظریۀ تنوع معنایی کواین غالباً مورد پذیرش است اما منتقدانی نیز دارد. در این مقاله، نظریۀ تنوع معنایی کواین و مسیری که کواین در فلسفه زبان و معناشناسی خود طی می کند تا به این نتیجه برسد، شرح داده شده و تلقی های مختلفی که از این نظریۀ وجود دارد، مطرح گردیده است. در گام بعدی، انتقادهای وارد بر کواین، شرح و ارزیابی شده است. در انتها نتیجه گیری می شود که همواره تغییر منطق های مختلف، به معنای تغییر موضوع نیست و پذیرش تغییر موضوع، نمی تواند لزوماً تغییر معنای ادات منطقی را به همراه داشته باشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
راسل و موجهات
نویسنده:
فرشته نباتی
نوع منبع :
نمایه مقاله
زبان :
فارسی
چکیده :
امروزه منطق موجهات یکی از حوزههای مهم منطق است ولی در ابتدای ظهور منطق جدید، به این شاخه منطقی توجه چندانی وجود نداشت و حتی پایهگذاران منطق جدید ازجمله راسل موضعی ضد موجهاتی داشتند. یکی از عواملی که راسل را به اتخاذ چنین موضعی سوق داد این اعتقاد بود که منطق، تابعارزشی و مصداقی است و این چیزی است که ورود موجهات آن را از میان برمیدارد. البته راسل در طی دوره طولانی کار فلسفی خود، مواضع متعدد و متنوعی در مقابل موجهات اخذ کردهاست. او از آغاز موضع ضدموجهاتی نداشت. ابتدا ضرورت را وصف رابطه استلزامی میدانست و بعد از مدتی آن را مفهومی اولیه، پایه و غیرقابل تعریف معرفی کرد. سپس در برخی آثارش، به پیروی از مور، ضرورت را نوعی اولویت منطقی گزاره دانست ولی درنهایت موضعی ضدموجهاتی اخذ کرد و تلاش کرد مفاهیم موجهاتی را کاملا کنار بگذارد. او گفت این مفاهیم، ویژگی تابعهای گزارهای هستند نه ویژگی گزارهها. راسل درجریان تبیین مفاهیم موجهاتی و توضیح تفاوت امکان و وجود (که هر دو را ویژگی تابعهای گزارهای اعلام میکند) از منطق مرتبه دوم استفاده کردهاست ولی حتی با این کار هم او قادر نیست با تبیین خود، مفاهیم موجهاتی را یکسره از زبان و منطق بیرون کند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظام غیرتابعارزشی حاجحسینی
نویسنده:
اسدالله فلاحی
نوع منبع :
نمایه مقاله
زبان :
فارسی
چکیده :
مرتضی حاجحسینی در ویراست دوم کتاب خویش «طرحی نو از اصول و مبانی منطق» چهار منطق ناکلاسیک معرفی کرده است: 1. نظام تابعارزشی، 2. نظام غیرتابعارزشی، 3 و 4. ترکیبهایی از دو نظام نخست که طبیعتا گسترشهایی از آن دو به شمار میآیند. در مقالة دیگری، نظام تابعارزشی حاجحسینی را بررسی کردهام و در این مقاله به نظام غیرتابعارزشی و گسترشی از آن خواهم پرداخت که در کتاب مطرح شدهاند. در این مقاله، صرفا به نقدهای صوری-ریاضی میپردازم و نقدهای فلسفی و غیرصوری و نیز مطالب تاریخی مرتبط را به مقالة دیگری خواهم سپرد. افزون بر برخی نقدهای مشترک میان نظامهای تابعارزشی و غیرتابعارزشی حاجحسینی مانند دور در تعریف نظام استنتاج طبیعی، فقدان نظیر برای شرط «نرمال بودن برهانها» در سمانتیک، عدم تمامیت، و نادرستی فراقضایا، نقدهای دیگری در نظام غیرتابعارزشی وجود دارد. نخستین نقد اختصاصی این است که بسیاری از قاعدههای اصلی در این نظام به کمک دیگر قواعد اصلی قابل اثبات و در نتیجه زائد هستند و این هرچند با کتابهای «آموزشی» مناسبت دارد، اما مناسب کتابهای «پژوهشی» نیست. نقد اختصاصی دوم نظام غیرتابعارزشی این است که قاعدهای دارد به نام «قاعدة حاجحسینی» که سبب میشود تا هر متغیر گزارهای در این نظام قضیه باشد و کل نظام بدیهی (trivial) گردد. نقد سوم اینکه با صرف نظر از قاعدة حاجحسینی، برخی صور قاعدة پخشپذیری در گسترش نظام غیرتابعارزشی این کتاب، کل نظام را به منطق کلاسیک فرگه و راسل فرومیکاهد.
انتخاب :
مشخصات اثر
ثبت نظر
1
تعداد رکورد ها : 5
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید