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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور پدیدآورندگان
>
میرصانعی, سید احمد(استاد مدعو دانشگاه‌های پیام نور قم، مفید قم و صدرالمتألهین تهران برای تدریس دروس منطق جدید، منطق قدیم، منطق تطبیقی، فلسفه عمومی)
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 3
ابداکشن گزینشی در انتخاب فرضیات و نسبت آن با استنتاج به‌تبیینی (IBE)
نویسنده:
سید احمد میرصانعی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
چکیده :
ابداکشن گزینشی در مقابل ابداکشن خلاق و نیز استنتاج به‌تبیینی (IBE) قرار می‌گیرد. گزینش فرضیات یا از میان فرضیات جدید و حدسی و بدون دانش قبلی صورت می‌پذیرد (ابداکشن گزینشی پیرسی)؛ یا این‌که گزینش فرضیات و تبیین‌ها بهتر از میان تعداد زیادی از فرضیات و تبیین‌های ممکن که از قبل دانسته شده است صورت می‌پذیرد (ابداکشن گزینشی مگنانی و ابداکشن وابسته به امر واقع شورز). بر مبنای هر دو دیدگاه، و نیز بر مبنای دیدگاه سوم که مربوط به گبای و وودز است، ابداکشن گزینشی متمایز از استنتاج به‌تبیینی (IBE) است. ابداکشن وابسته به امر واقع شورز واجد هر سه فرآیند فرعی استنتاج، یعنی ارتباط، مشاهده و حکم است (c،o و j)؛ در حالی که ابداکشن گزینشی پیرس تنها واجد فرآیند فرعی سوم، یعنی حکم است ­(j)، و بنابراین آن را نمی‌توان به عنوان یک فرآیند استنتاج ابداکشنی معرفتی در نظر گرفت.
صفحات :
از صفحه 325 تا 344
مشخصات اثر
منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe
نویسنده:
عامر آمیخته ، سید احمد میرصانعی
نوع منبع :
نمایه مقاله
چکیده :
در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های Barbara و Datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون استفاده از بسیاری از قواعد منطق کلاسیک (از جمله حذف نقض مضاعف) برقرار است. سپس نشان دادیم که منطق گزاره‌های زیرساختاری SLe برای قیاس‌های ارسطویی کافی است. همچنین بر پایه‌ی IFLe مربع تقابل، قواعد عکس و قواعد نقض در منطق مظفر به طور کامل ثابت می‌شوند. برای این منظور از منطق مرتبه اول یک موضعی دقیقاً با همان دستگاه استنتاجی استاندارد سورها در منطق کلاسیک به علاوه اصول «بعضی الف الف است» و «بعضی غیرالف غیرالف است» بهره بردیم. در نهایت، برای نشان دادن عدم تعهد وجودی نسبت به نام‌های عام در منطق حملی با همان تعبیر وجودی از سورها و ترجمه‌ی استاندارد محصورات اربعه از منطق چهار-ارزشی ربط-کلاسیک قوی KR4‌ استفاده شد.
مشخصات اثر
منطق فازی ربطی: رویکردی گزاره‌ای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در استدلال‌های علمی و حتی در استدلال‌های روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلال‌هايي سر و کار داريم که تقريبی‌اند و تا يک درجه خاصی درست هستند. در اين پايان‌نامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزاره‌ای و غيرکلاسيک منطق‌هايي ساخته می‌شوند که استدلال آن‌ها هم فازی است و هم ربطی، و منطق‌های فازی ربطی نام دارند. منطق‌های فازی ربطی FB، NB را با راهکار فازی‌سازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطق‌های پايه هستند. منطق‌هاي فازی ربطی قوی‌تر، گسترش اين منطق‌ها هستند.
مشخصات اثر
  • 1
  • تعداد رکورد ها : 3