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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 2
قضایاى حقیقیة، خارجیه، لابتیه
نویسنده:
عسکرى سلیمانى امیرى
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
قم: موسسه آموزشی و پژوهشی امام خمينی قدس‌سره,
چکیده :
یکى از اصطلاحاتى که در مباحث عقلى، به‏ خصوص در فلسفه، مورد استفاده فراوان قرار مى‏ گیرد اصطلاح قضیه حقیقیه است در مقابل قضیه خارجیه، اما تعریف آن، دقیقا روشن نیست و در این زمینه، سؤالاتى از این قبیل، مطرح است: آیا تقسیم قضایا به حقیقیه و خارجیه، براساس قاعده فرعیه «ثبوت شى‏ء لشى‏ء فرع ثبوت المثبت‏ له‏» است، یا نه؟ و آیا اساسا این تقسیم‏ بندى، یک تقسیم ‏بندى منطقى است، یعنى اگر این تقسیم، در منطق انجام نمى شد، بعضى از قواعد معتبر استنتاج، در منطق مطرح نمى‏ شدند؟ و آیا قضایاى حقیقیه، قضایاى حملیه ‏اند؟ و آیا در تعریف قضایاى حقیقیه، قضایاى لابتیه، داخل‏اند، یا نه؟ در این مقاله سعی می شود پاسخ به این سوالات ذیل این موضوعات کاویده شود: پیشینه تاریخی بحث، قاعده فرعیه، موضوع در قضیه، مشکل وجود موضوع در برخی قضایا.
صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسنده:
سید محمد علی حجتی، وحیده عامری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
شیراز: دانشگاه شیراز,
چکیده :
یکی از مباحث بنیادین فلسفه منطق صوری سازی است که تامل در چیستی و چگونگی آن تلاش های منطق دانان را در سطح وسیعی متوجه خود ساخته است. صوری سازی را می توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن ها و بدون لحاظ کردن محتوای آن ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری سازی در منطق جدید می باشد. اما آن چه سمت و سوی صوری سازی را مشخص می کند، مسأله اعتبار است، چرا که حفظ اعتبار ضامن صحت نحوه صوری سازی است. ثوابت منطقی عنصرهای بنیادین ساخت های منطقی اند که در صوری سازی اهمیت فوق العاده ای دارند. اما منطق دانان برای تعیین آن ها ملاک های مختلفی ارایه داده اند که پذیرفتن هرکدام موجب تغییر در نحوه صوری کردن گزاره ها در منطق می شود. ما در این مقاله نشان خواهیم داد که نظام های منطقی مختلف می توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند، هم چنین انتخاب یک معیار متاثر است از این که آیا می خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تاسیس یک نظام هستیم.
صفحات :
از صفحه 41 تا 60
  • تعداد رکورد ها : 2