جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
مرور
>
مرور کلید واژه ها
>
4. اصطلاحنامه سایر موضوعات
>
اصطلاحنامه منطق
مرتب سازی بر اساس
عنوان
نویسنده
جنس منبع
محل
ناشر
تاریخ تغییر
و به صورت
صعودی
نزولی
وتعداد نمایش
5
10
15
20
30
40
50
فرارداده در صفحه باشد
جستجو
خروجی
چاپ نتایج
Mods
Dublin Core
Marc
MarcIran
Pdf
اکسل
انتخاب همه
12
13
14
15
16
17
18
19
20
21
تعداد رکورد ها : 477
عنوان :
قلمرو و مبانی منطق جدید
نویسنده:
سارا محمدینژاد
نوع منبع :
مقاله
منابع دیجیتالی :
متن
وضعیت نشر :
تهران: رسالت,
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق قدیم
,
تاریخچه منطق
,
منطق کلاسیک
,
پیدایش منطق
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
از ارسطو تا گودل: مجموعه مقالههای فلسفی - منطقی
نویسنده:
ضیا، موحد
نوع منبع :
کتابشناسی(نمایه کتاب) , مجموعه مقالات
وضعیت نشر :
تهران: هرمس,
کلیدواژههای اصلی :
فلسفه ریاضی
,
فلسفه منطق
,
فلسفه ارسطو
,
اصطلاحنامه منطق
,
منطق ریاضی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق محمولها
,
منطق این همانی
,
منطق موجهات
,
منطق شناختی
,
منطق گودل
,
کتابشناسی ارسطو
چکیده :
مقالات این مجموعه، برگزیده ای است از نوشته های فلسفی _ منطقی "ضیاء موحد" که در قالب چهار بخش تدوین شده است : 1_ فلسفه منطق و زبان، 2 _ نقد منطق سنتی، 3 _ معرفی دو فیلسوف قرن بیستم ("ای .جی . ایر" و "ویلارد وَن اورمن کواین")، 4 _ فلسفه ریاضی ("مسئله پیوستار کانتور چیست ؟/ کورت گودل" و "صدق ریاضی / پال بنا سراف". "مقاله های بخش اول، بیشتر جنبه توضیحی و تعلیمی دارند. مقاله "مفهوم صورت در منطق جدید" نقدی است بر پیشنهادی از مرحوم دکتر حائری یزدی که قضیه های جزئی را هم به قیاس قضیه های کلی تاویل به شرطی کرده بودند... در این مقاله نقص این تاویل و ایرادهای آن به تفصیل شرح داده شده است....".
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فعل گفتاری نزد منطقدانان مسلمان
نویسنده:
احمد عبادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق تطبیقی
,
فعل گفتاری (منطق)
,
پارادوکس دروغگو (منطق)
,
جمله خبری (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
اصطلاحنامه منطق
,
منطق اسلامی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
انشاء اخبارنُما
چکیده :
برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آنکه از ساختار خبری برخوردارند، اما صدق و کذب نمیپذیرند، زیرا قصد گوینده از بیان آنها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری میخوانند. پیش از این، منطقدانان مسلمان نیز به این مسئله توجه کردهاند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشتهاند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذبپذیری خبر و نیز حل پارادوکس دروغگو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطقدانان مسلمان دانست. تأمل در تاریخچة دیدگاههای منطقدانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آنها با آرای فیلسوفان زبان آموزندة نکات منطقی ـ معرفتی است.
انتخاب :
صفحات :
از صفحه 83 تا 99
مشخصات اثر
ثبت نظر
عنوان :
منطق نزد فیلسوفان پیش از سقراط؛ (فیثاغوریان، سوفیستها، اتمیان)
نویسنده:
آرش کرامتی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
حکمای پیش سقراطی
,
فیثاغورثیان
,
سوفسطایی
,
پیش سقراطیان
,
سوفسطاییان
,
فلسفه یونان
,
اصطلاحنامه منطق
,
اتمیان
,
اتمگرایی
,
فیثاغورس و فیثاغوریان
,
منطق قدیم
چکیده :
موضوع این پایاننامه عبارت است از بررسی دیدگاه فلسفی فیلسوفان پیش از سقراط (شامل سه مکتب فیثاغورسیان، سوفیستها و اتمیان) به منظور شناسایی آرای منطقی آنها و تعیین اثرگذاری احتمالی این آرا بر منطق ارسطو. مهمترین منبعهای مورد استفاده درز این پایاننامه عبارتند از مجموعه آثار ارسطو، کتاب متفکران یونانی، تاریخ فلسفه یونان و کتاب Die Fragmente der Vorsokratiker. چهارچوب نظری این پژوهش عبارت است از توصیف و تحلیل دیدگاههای فلسفی و منطقی فیلسوفان پیشسقراطی (سه مکتب مورد بحث در این پایاننامه که در بالا اشاره شد) با بهرهگیری از منبعهای موجود و بررسی ارتباط احتمالی این دیدگاهها با دیدگاههای منطقی ارسطو در مرحله پس از آن. پرسش اصلی این پژوهش این است که آیا فیثاغورسیان، سوفیستها و اتمیان (لئوکیپوس و دموکریتوس) دارای دیدگاههای منطقی بودهاند؛ و پرسش فرعی عبارت از این است که آیا این دیدگاهها تأثیر مشخصی بر منطق ارسطو گذاردهاند یا تقابل مشخصی با آن داشتهاند. فرضیههای این پژوهش نیز عبارت هستند از اینکه به نظر میرسد در موردهایی مانند «کلّیات»، «مقولهبندی»، «ساختن گزاره»، «تعیین معیار صدق و کذب»، «گونهای از منطق استقرایی یا تمثیلی» و «تعریفهای منطقی»، بحثهای با اهمیتی نزد فیثاغورسیان، سوفیستها و اتمیان جریان داشته که مورد توجه ارسطو بودهاند. این پژوهش به روش کتابخانهای صورت گرفته است. عمدة مفاهیم تخصصی این پژوهش را میتوانیم با تعریفهای ارائهشده در زیر ببینیم: - آرای منطقی: ارائة بحثهای مقدماتی و غیرنظاممند دربارة موضوعهایی مانند مقولهبندی، اثبات هندسی، صدق و کذب باورها و گفتارها، وجودداشتن یا نداشتن مفاهیم، ساختار جملهها و چگونگی استدلال. - منطق: یعنی روش استدلال درست. - دیالکتیک یا جدل: استنتاجی است که از مقدمههایی که به طور کلی پذیرفتهشدهاند، به متناقض یک تز دادهشده، استدلال میکنند. - جوهر: آنچه در زیر همه هستیهای دیگر است وتحلیل به آن پایانمیپذیرد. - مفهوم: ایدهای (کلی) است که از امور جزئی انتزاع شدهاست. - معیار یا پیمانة صدق وکذب: آنچه صادق بودن یا کاذب بودن یک گفتار، باور یا شناخت با آن مشخص میشود. - حد: آنچه مقدمههای قیاس ارسطو به آن تحلیل میشوند. - مقولهبندی منطقی: دستهبندی گفتارهای غیرمرکبی که هستی را بیانمیکنند و با ترکیب آنها، گزارههای صادق یا کاذبی دربارة هستی شکل میگیرد. - اصول اعداد فیثاغورسی: جفتهای متضاد در مکتبهای فیثاغورسی که آنها را اصول اعداد میدانستند. - اثبات هندسی: اثبات یک قضیة هندسی با شروع از اصول موضوع و بهکارگیری استدلالهای منطقی. - تقدم منطقی: مقدم بدون مؤخر قابل تصور است، اما مؤخر را نمیتوان بدون مقدم تصورکرد. - تقدم در وجود : اگر مقدم وجودنداشتهباشد، مؤخر وجودنخواهدداشت. در زمینة نقش جوهری اصول دهگانة اعداد و خود عددها (نزد فیثاغورسیان)، قراردادن انسان بهعنوان معیار تعیین صدق و کذب گفتارها و باورها و نفی واقعیت بیرون از او و نیز انکار امکان تناقضگویی (نزد پروتاگوراس و گرگیاس)، بهرهگیری از دیالکتیک (نزد گرگیاس)، انکار عینیتداشتن مفهومها و نفی وجود جوهری زمان (نزد آنتیفون)، ارائة استدلالهایی دربارة نامتناهیبودن شمار شکلهای اتمها و بخشناپذیری آنها (نزد لئوکیپوس)، به-کارگیری استدلالهایی- که امروزه مشخصنیستند- برپایة گواهی حواس برای اثبات اتمها (نزد اتمیان) و توجه به مفهومها و ارائة تعریف از چیزها (نزد پروتاگوراس، گرگیاس و دموکریتوس)دیدگاههای منطقی ارائهشدهاست و نیز فیثاغورسیان به ارائة استدلال برهانی در هندسه نزدیکشدهبودند. شاهدی نشاندهنده این که ارسطو در دیدگاههای منطقی خود، از فیثاغورسیان و اتمیان تأثیرپذیرفته یا تقابل ویژهای با آنها داشتهاست وجود ندارد، اما دیدگاه او در قراردادن واقعیت بیرونی به عنوان معیار صدق و کذب جملهها، در تقابل آشکار با دیدگاه پروتاگوراس و گرگیاس است. پیشنهاد میشود دربارة اثبات قضیههای هندسی که بنابر سندها توسط فیثاغورسیان انجامشدهاست، مطالعة بیشتری برای بررسی سیر تکاملی هندسه صورتگیرد. به تأثیرگذاری فیثاغورسیان بر افلاطون توجهشود. در مورد سوفیستها ضرورتدارد که برای فراهمآوردن پژوهشی کاملتر، به اندیشههای هراکلتیوس و پارمیندس و مکتب وی، پرداختهشود تا اثری که بر سوفیستها داشتند، آشکارگردد. بزرگترین مشکلی که در راه فراهمآوردن این پژوهش قرارداشت، زمان کم درنظرگرفتهشده برای انجام آن بود؛ که باعثشد تا این پژوهش از رشد بیشتر بازماند. از این رو نیازاست تا برای از میان برداشتن این مشکل، اقدام لازم صورتگیرد
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بازتعریف مادی و مجرد با استفاده از منطق فازی
نویسنده:
محمد فروغی ؛ هادی وکیلی؛ اعظم قاسمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
حرکت جوهری اشتدادی
,
فلسفه اسلامی
,
اصطلاحنامه منطق
,
منطق فلسفی
,
منطق جدید
,
منطق قدیم
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
تعریف مادی و مجرد
چکیده :
بیشتر تعاریف ارائه شده برای مادی و مجرد به گونهای هستند که ابتدا امر مادی تعریف میگردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمیتوان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمیتوان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان میدهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمیباشد. نهایتاً بیان میکنیم که نمیشود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان میکنیم که باید بهگونهای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه میدهیم.
انتخاب :
صفحات :
از صفحه 87 تا 108
مشخصات اثر
ثبت نظر
عنوان :
مبناپذیری اشکال چهارگانه ی قیاس ارسطویی
نویسنده:
محمد حافی ؛ مهین باقری؛ مهدی میرزاپور؛ غلامرضا ذکیانی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ارسطو
,
اصطلاحنامه منطق
,
بداهت
,
منطق قدیم
,
قیاس ارسطویی
,
اشکال چهارگانه
,
مبناپذیری
,
ضروب منتج
,
قیاس حملی ارسطویی
,
بدیهی بودن ضروب شکل اول قیاس
,
نقد بداهت شکل اول قیاس
چکیده :
هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانهی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانهی منتج منطق حملی ارسطو دارای خاصیت مبناپذیری هستند. ارسطو چهار ضرب شکل اول قیاس را مبناپذیر میداند زیرا وی اشکال دیگر قیاس را به وسیلهی شکل اول اثبات میکند. از آنجایی که اثبات مبناپذیری چهار ضرب ارسطو تعمیم داده شده است به پانزده ضرب میتوان نشان داد که منظور ارسطو از بدیهی بودن شکل اول قیاس مبناپذیری صرف چهار ضرب اول شکل اول نیست. این نتیجهی مهم منطقی در سیستم ارسطو تنها از رهیافت معرفی مفهوم مبناپذیری ضروب قیاس ممکن گردیده است؛ به عبارت دیگر نشان خواهیم داد که برخلاف دیدگاه رایج در سنت ارسطویی به هیچ وجه مبناپذیری ضروب شکل اول نمی بایست خاستگاهی برای تببین بدیهی بودن ضروب شکل اول قیاس باشد. صرف نظر از اینکه راز بداهت شکل اول قیاس در چه چیزی نهفته است، این مقاله به وجه سلبی، یکی از گزینه های ممکن یعنی مبناپذیری ضروب منتج شکل اول قیاس را به شکلی منطقی در پاسخ به راز بداهت ضروب منتج شکل اول قیاس حذف خواهد کرد.
انتخاب :
صفحات :
از صفحه 1 تا 19
مشخصات اثر
ثبت نظر
عنوان :
مطالعه موردپژوهانه مواجهه منطق ارسطویی در تحلیل احکام، خواص و قواعد استنتاجی مربوط به نسبت
نویسنده:
علی اصغر جعفری ولنی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
نسب اربعه
,
قیاس مساوات
,
منطق نسب
,
فلسفه ارسطو
,
اصطلاحنامه منطق
,
قیاس اقترانی
,
منطق قدیم
,
عکس سالب کلى
,
مأخذ اول و مأخذ ثانی
چکیده :
توجه منطقدانان مسلمان به نسبت و ارائه تحلیل منطقی از احکام و خواص آن، و بهکارگیری قواعد استنتاجی متضمن نسبت امری مسلم بهنظر میرسد؛ اما رهیافت آنها در یک سطح نبوده است. منطقدانان در تبیین و تحلیل منطق ارسطویى بهعلت عدم توجه به تمایز بین قضایاى متضمن نسبت و قضایاى متضمن مفاهیم نفسى دچار نوعی ناسازگارى بودهاند؛ یعنى اگرچه ظاهراً منطق ارسطویى بر تحلیل موضوع محمولی از قضیه استوار است و احکام، خواص و قواعد نسبت تحت عنوان بخش مستقلى تعریف و تحلیل نشدهاند، ولى بسیارى از مباحث منطقى بنحوى بر خواص و قواعد نسبت مبتنى است، اما به علت محصور بودن در ضوابط منطق ارسطویی، بحث از نسبت چندان تعمق نیافته است. لذا در منطق سنتى، قواعد استنتاجى مبتنى بر نسبت فداى این ناسازگارى شده است. برایناساس شکار مستقیم آراء و نظریات آنها دراینباره ممکن نیست. درواقع منطق ارسطویی در مواضعی با مشکل بحث از نسبت روبرو بوده، اما این رویارویی صریح نبوده است. از جمله آنها میتوان از احکام و لوازم نسب اربعه، تحلیل و تبیین عکس مستوى سالبه کلى، تحلیل قیاس اقترانى حملى شکل اول، چارهجویی در قیاس مساوات، و تبیین مأخذ اول و مأخذ ثانى نام برد.
انتخاب :
صفحات :
از صفحه 21 تا 39
مشخصات اثر
ثبت نظر
عنوان :
گزارههای منفصله نزد ابنسینا
نویسنده:
امین شاهوردی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق وجهی
,
منطق سینوی
,
ناسازگاری
,
اصطلاحنامه منطق
,
منطق قدیم
,
قضایای شرطی
,
گزارههای منفصله
,
خوانش ربطی-وجهی
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
ابن سینا: ابوعلی سینا
چکیده :
در این مقاله، در بخش اول، گزارههای منفصله بر پایة کتاب شفاء را بررسی میکنیم و نشان میدهیم که ابنسینا، برخلاف متأخرانی چون قطبالدین رازی، گزارههای منفصلة حقیقی اتفاقی را نمیپذیرد. در بخش دوم، دو خوانش کلی در باب گزارههای منفصلة ابنسینا معرفی میشود. بر اساس دیدگاه رشر، شهابی، فاخوری، نبوی و الجزر، گزارههای منفصلة ابنسینا تابعارزشی هستند، در حالی که از نظر استریت و چاتی دیدگاه ابنسینا در باب گزارههای منفصله در کتاب اشارات را میتوان وجهی دانست. در ادامة این بخش به ناکارآمدی هریک از این نظرها اشاره خواهیم کرد. در بخش سوم، با تأکید بر مفهوم «ناسازگاری» به مثابة هستة اصلی دیدگاه ابنسینا در باب گزارههای منفصلة حقیقی، دیدگاه ربطی ـ وجهی برای صورتبندی این گزارهها دقیقتر از دیگر خوانشها درنظر گرفته میشود.
انتخاب :
صفحات :
از صفحه 59 تا 82
مشخصات اثر
ثبت نظر
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تمامیت منطق رواقی
نویسنده:
امین شاهوردی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
قیاس (منطق)
,
اصطلاحنامه منطق
,
تمامیت (منطق)
,
منطق رواقی
,
منطق قدیم
,
قیاس در منطق رواقی
,
اثباتنشدهها
,
تماها
,
تمامیت منطق رواقی
چکیده :
تمامیت منطق رواقی، برخلاف تمامیت منطق گزارهای جدید که ازسوی منطقدانان معاصر پذیرفته شده موضوعی موردتشکیک است. در این مقاله، پس از بررسی نظامهای گوناگونی که پژوهشگران مختلف براساس گفتارهای منطقدانان رواقی بازسازی کردهاند، به تمامیت این نظامها اشاره و نشان داده میشود که هیچیک از این نظامهای بازسازیشده نمیتوانند معیارهای اساسی رواقیان دربارة استدلالهای معتبر را برآورده سازند و برایناساس نمیتوان تمامیت چنین نظامهای بازسازیشدهای را به نظام منطقی موردنظر رواقیان نسبت داد. درپایان، تمامیت منطق رواقی حتی بهمعنای فروکاهش همة استدلالهای معتبرِ موردنظر رواقیان به اثباتنشدهها نیز انکار و نشان داده میشود که رواقیان درکنار اثباتنشدهها و استدلالهای فروکاستنی به اثباتنشدهها اعتبار برخی دیگر از استدلالها را پذیرفتهاند.
انتخاب :
مشخصات اثر
ثبت نظر
12
13
14
15
16
17
18
19
20
21
تعداد رکورد ها : 477
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید