جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور کلید واژه ها
>
ثوابت منطقی
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 3
بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل گری در تعریف ثوابت منطقی
نویسنده:
مرتضی مزگی نژاد، لطف الله نبوی، محمدعلی حجتی
نوع منبع :
مقاله , نقد دیدگاه و آثار(دفاعیه، ردیه و پاسخ به شبهات) , مدخل مفاهیم(دانشنامه مفاهیم) , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
چکیده :
گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کنندة ویژگی های مبنایی یک استدلال است به گونه ای که هر تغییری در آن ها سبب تغییر کل سیستم می شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل گری قابل حصول است این نکته زیربنای رویکرد استنتاج گرایی به معناداری ثوابت منطقی است. چرا قواعد عمل گری و ساختاری مجموعاً به عنوان تعریف ثوابت منطقی لحاظ نشود؟! پیکاک با این پرسش مبنای رویکرد استنتاج گرایی را به چالش می کشد. ایان هکین در پاسخ به این ادعا، استدلال می کند که پذیرش ایدة پیکاک، منجر به عدم پایستاری خواهد شد. در این مقاله پس از بررسی دقیق مفهوم قواعد ساختاری و بیان تمایز آن با قواعد عمل گری، استدلال هکین را ارزیابی و نقد خواهیم کرد و در نهایت راه کاری برای مسئله ارائه می شود.
مشخصات اثر
دلالت بدون مدلول در اسامی خاص
نویسنده:
محسن زمانی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
چکیده :
دو رویکرد میلی و توصیفی در معناشناسی نام های خاص، هر کدام برآوردگار شهودهایی و در عین حال ناقض شهودهایی دیگرند. سینز بوری کوشیده است تا با معرفی نظریه دلالت بدون مدلول(RWR) ، نظریه ای بینابین دو نظریه فوق ارایه دهد. در این مقاله، ابتدا به انگیزهای معرفی RWR، همچون حل برخی مشکلات در متون موجهه، به دست دادن معناشناسی ای درخور برای نام های تهی و وفاداری به نظریه معنای دیویدسون، پرداخته می شود و سپس نظریه مختار او تقریر و نقد می شود. در بخش آخر، کوشش می شود برخی مسایلی که برای نظریه میلی مطرح شده است، حل شود. از آنجا که RWR بیشتر نظریه ای میلی است تا توصیفی، این خود می تواند نشان دهد که بیش از دو نظریه پیشین، برآوردگار شهودهای ماست.
صفحات :
از صفحه 167 تا 186
مشخصات اثر
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسنده:
سید محمد علی حجتی، وحیده عامری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
شیراز: دانشگاه شیراز,
چکیده :
یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.
صفحات :
از صفحه 41 تا 60
مشخصات اثر
  • 1
  • تعداد رکورد ها : 3