جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
تعداد رکورد ها : 3
عنوان :
بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل گری در تعریف ثوابت منطقی
نویسنده:
مرتضی مزگی نژاد، لطف الله نبوی، محمدعلی حجتی
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات) , مدخل مفاهیم(دانشنامه مفاهیم) , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
زبان :
فارسی
کلیدواژههای اصلی :
ثوابت منطقی
,
استنتاج گرایی
,
تئوری برهان
,
قواعد عمل گری
,
قواعد ساختاری
,
استنتاج گرایی
,
تئوری برهان
,
قواعد عملگری
,
قواعد ساختاری
چکیده :
گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کنندة ویژگی های مبنایی یک استدلال است به گونه ای که هر تغییری در آن ها سبب تغییر کل سیستم می شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل گری قابل حصول است این نکته زیربنای رویکرد استنتاج گرایی به معناداری ثوابت منطقی است. چرا قواعد عمل گری و ساختاری مجموعاً به عنوان تعریف ثوابت منطقی لحاظ نشود؟! پیکاک با این پرسش مبنای رویکرد استنتاج گرایی را به چالش می کشد. ایان هکین در پاسخ به این ادعا، استدلال می کند که پذیرش ایدة پیکاک، منجر به عدم پایستاری خواهد شد. در این مقاله پس از بررسی دقیق مفهوم قواعد ساختاری و بیان تمایز آن با قواعد عمل گری، استدلال هکین را ارزیابی و نقد خواهیم کرد و در نهایت راه کاری برای مسئله ارائه می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دلالت بدون مدلول در اسامی خاص
نویسنده:
محسن زمانی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
زبان :
فارسی
کلیدواژههای اصلی :
منطق آزاد
,
نام خاص
,
نام تهی
,
تعمید ناخواسته
,
فلسفه زبان
,
فلسفه تحلیلی
کلیدواژههای فرعی :
ثوابت منطقی ,
تشرف ,
منطق محمولات ,
نظریه معنا ,
جهان های ممکن(اصطلاح وابسته) ,
پازل پادروفسکی ,
نظریه ارجاع مستقیم ,
چکیده :
دو رویکرد میلی و توصیفی در معناشناسی نام های خاص، هر کدام برآوردگار شهودهایی و در عین حال ناقض شهودهایی دیگرند. سینز بوری کوشیده است تا با معرفی نظریه دلالت بدون مدلول(RWR) ، نظریه ای بینابین دو نظریه فوق ارایه دهد. در این مقاله، ابتدا به انگیزهای معرفی RWR، همچون حل برخی مشکلات در متون موجهه، به دست دادن معناشناسی ای درخور برای نام های تهی و وفاداری به نظریه معنای دیویدسون، پرداخته می شود و سپس نظریه مختار او تقریر و نقد می شود. در بخش آخر، کوشش می شود برخی مسایلی که برای نظریه میلی مطرح شده است، حل شود. از آنجا که RWR بیشتر نظریه ای میلی است تا توصیفی، این خود می تواند نشان دهد که بیش از دو نظریه پیشین، برآوردگار شهودهای ماست.
انتخاب :
صفحات :
از صفحه 167 تا 186
مشخصات اثر
ثبت نظر
عنوان :
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسنده:
سید محمد علی حجتی، وحیده عامری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
شیراز: دانشگاه شیراز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق جدید
,
ثوابت منطقی
,
اصطلاحنامه منطق
,
فلسفه منطق
,
صوری سازی منطق
کلیدواژههای فرعی :
تابع ارزش صدق ,
زبان طبیعی (منطق) ,
صورت منطقی ,
اعتبار ,
استنتاج منطقی ,
قضیه شرطیه ,
گزاره صادق ,
منطق ریاضی ,
توتولوژی ,
صورت منطقی قضیه ,
صورت بخشی منطقی ,
قضیه منطقی ,
ضابطه صوری سازی ,
زبان منطقی ,
ادات منطقی ,
بی طرفی در گزاره ها ,
رابط های جمله ای ,
شاپا (issn):
6123 2251
چکیده :
یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.
انتخاب :
صفحات :
از صفحه 41 تا 60
مشخصات اثر
ثبت نظر
1
تعداد رکورد ها : 3
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید