جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
5
6
7
8
9
10
11
12
13
14
تعداد رکورد ها : 186
عنوان :
استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
استلزام منطقی
,
مجموعه های فازی
,
علم ریاضی
,
منطق ریاضی
,
نظریه مجموعه های فازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
استدلال تقریبی معکوس
چکیده :
نظریه مجموعههای فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینههای مختلف پیدا کرده است . مجموعههای فازی نظریهای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیمگیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس میپردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t همنرمها و عملگرهای مربوط به مجموعههای فازی میپردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه مینماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح میشود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی میشود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی میکنند در فصل سوم مفصلا به آنها میپردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی میشوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست میآورند بررسی شدهاند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
زمینههای فلسفی نقد پوزیتیویستهای منطقی از متافیزیک
نویسنده:
ابوالفضل ابراهیمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق گرایی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
پوزیتیویسم منطقی
,
اصطلاحنامه فلسفه
,
پوزیتویسم منطقی(معرفت شناسی)
,
نقد متافیزیک
,
تجربهگرایی = آمپریزم (فلسفه)
,
منطق جدید
,
منطق کلاسیک
چکیده :
از جمله رویدادهای مهم فلسفی در فاصلهی بین دو جنگ جهانی تشکیل حلقهای فلسفی در وین بود که در آن بسیاری از حامیان علم درصدد برآمدند تا چالشهایی را که در آستانه قرن بیستم عارض اندیشهی پوزیتیویسم علمی شده بود، برطرف کنند. پوزیتیویسم منطقی حاصل و خروجی اندیشهای بود که در این حلقه پا گرفت و از جمله نمایندگان آن میتوان به کارناپ، آیر، شلیک و وایزمن اشاره کرد. پوزیتیویستهای منطقی دارای چند اصل عقیدتی عمده بودند: تمایز قاطع بین قضایای تحلیلی و ترکیبی که قدری از هیوم و قدری از ویتگنشتاین اخذ شده بود. اصل تحقیقپذیری که آن نیز گمان میرود از رسالهی ویتگنشتاین آمده باشد. و یک برنهاد فروکاهنده دربارهی نقش مشاهده در تعیین معناداری شناختی که خواستگاهاش را میتوان به تجربهگرایان کلاسیک از قبیل لاک و هیوم و تقلیلگرایی راسل رسانید. انکار متافیزیک، ماحصل اصلی به کارگیری اصول اساسی مذکور توسط پوزیتیویستهای منطقی میباشد. بنابراین، زمینههای فکری پوزیتیویستهای منطقی در نقد متافیزیک را هم میتوان در فلسفهی تحلیلی، مخصوصاً" نزد فیلسوفانی مثل ویتگنشتاین (در اصل تحقیقپذیری، اصل معناداری و اصل ضرورت این همانی است) و راسل وفرگه (در اصل منطقگرایی) و هم نزد فیلسوفان سنتی از قبیل هیوم و کانت (در نقد متافیزیک) ریشهیابی کرد. پوزیتیویستهای منطقی از میان همهی مکاتب فلسفی، متافیزیک را طرد و تخطئه میکردند، چرا که معتقد بودند احکام متافیزیکی بیمعنی بوده و هیچ طریقهی ممکنی برای آن که در تجربه به تحقیق برسند ندارند. همانطور که در مورد زمینههای فکری پوزیتیویستها در بالا اشاره کردیم، طرد و رد متافیزیک امری نو ظهورنبود، هیوم متافیزیک را سفسطه و مغلطه خوانده بود و ادعا کرده بود که از تعبیرات بی دلالت و بی مدلول استفاده میکند. کانت هم متافیزیک مشروع را از متافیزیک نامشروع فرق می نهاد. در حالی که منتقدان پیشین متافیزیک در صدد غیر علمی و بیفایده نشان دادن متافیزیک بودند، پوزیتیویستهای منطقی با استناد به رسالهی ویتگنشتاین، متافیزیک را فاقد معنی میشماردند و آن را به طور کلی انکار میکردند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق گزارههای حاکی از عمل
نویسنده:
محسن متقی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق کاربردی
,
دلالت شناسی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سمانتیکهای منطق عمل
,
منطق عمل
چکیده :
منطق عمل پارهای از مفاهیم نظیر«قصد » را به عنوان مبدأ خود قرار میدهد، در حالیکه این مفاهیم تعریف روشنی ندارند و تنها به صورت کیفی تعریف شدهاند. تقسیمبندیهایی که بر روی اعمال انجام میشود، میتواند با توجه به نیاز هر علم و با تکیه بر یکی از خصوصیات عمل، انجام شود. در این تحقیق نمونهای از این تقسیمبندیها بر اساس تعداد عاملهای موثر در انجام یک عمل انجام شد ولی در هر علمی میتوان از منظرهای مختلف به عمل نگریست و آن را طبقهبندی نمود. یکی از قسمتهای چالشی در منطق عمل وجود یا عدم وجود اعمال پایهای است که هنوز اتفاقنظری بر روی آن ایجاد نشده است. پس از اتخاذ موضع در موارد بالا و ارائهی تقسیمبندیهای دلخواه در مورد عمل، نوبت به ارائهی معیار، برای اینهمانی اعمال میرسد؛ ناگفته پیداست تا وقتی که در موارد قبلی اتفاقنظر پدید نیاید معیار متقنی برای اینهمانی اعمال حاصل نمیشود. با اینکه هنوز توافق کلی بر سر مفاهیم عملی ایجاد نشده است اما نظامهای منطقی برای صورتبندی اعمال بر اساس بعضی از تعاریف و تقسیمبندیهای عمل پدید آمده است. منطق عمل توسط فون رایت پایهگذاری شد اما دلالتشناسی آن توسط چلاس در سال 1963 ارائه شد. این دلالتشناسی مبتنی بر تاریخچه و زمان بود؛ اما کاستیهای موجود در آن مثل کیفی بودن، باعث شد تا بلنپ و همفکران وی دلالتشناسی جدیدی برای منطق عمل به نام STIT ارائه دهند. این دلالتشناسی که مبتنی بر انتخابهای عامل و زمان بود تا حدودی مشکلات دلالتشناسی چلاس را برطرف نمود. یکی از موارد جالب توجه این است که خود چلاس در سال 1992 در مقالهای، قاعدههای استنتاج را برای دلالتشناسی STIT ارائه نمود و روند تکاملی منطق عمل را همراهی کرد. با اینکه هنوز دلالتشناسی کامل و جامعی برای منطق عمل ارائه نشده است، اما رشد روز افزون علوم دیگر و نیاز آنها به منطقی که بتواند اعمال را توضیح دهد باعث شده است تا همین منطق عمل، به عنوان ابزاری برای آنها قرار گیرد. برای مثال در علم کامپیوتر و به خصوص در شاخهی هوشمصنوعی برای تحلیل اعمالی که عاملهای مصنوعی نظیر رباتها انجام میدهند، منطق عمل مورد استفاده قرار میگیرد. هیچ بعید نیست که در آینده نیز با توجه به نیازهای جدید در علوم دیگر منطق عمل مورد استفاده قرار گیرد. البته ممکن است دلالت-شناسیهای جدیدی برای منطق عمل ارائه شود تا منطبق با علوم دیگر این منطق کاربردی شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پارادوکس یابلو در منطق مرتبه دوم
نویسنده:
محمد امین طریقی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
سازگاری
,
پارادوکس
,
منطق ریاضی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق مرتبه دوم
,
منطق غیر صوری informal logic
چکیده :
استفان یابلو در سال 1993 پارادوکسی غیرعادی شامل لیستی نامتناهی از جملات در زبان غیرصوری ارایه کرد. بعد از معرفی دو حالت شناختهشده در بررسی تناقض در مجموعهای از عبارات، ناسازگاری لیست جملات یابلو در زبانهای مرتبه دوم بررسی شدهاست. در حالی که حالت اول لیست متناقض نیست، نسخهی مرتبه دوم لیست متناقض میباشد. ازاینرو نتیجه میگیریم که لیست یابلو متناقض است و استدلال غیرصوری یابلو معتبر میباشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی ساختار نحوی و معنایی نظام های منطق فازی مبتنی بر تقریر پیتر هایک
نویسنده:
هدیه یعقوبی بجمعه
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
ساختار نحوی
,
ساختار معنایی
,
قضیه تمامیت
,
قضیه صحت
,
منطق جبری
,
منطق جدید
,
منطق کلاسیک
,
منطق فازی
چکیده :
این رساله به بررسی نظاممند ساختارها و جنبههای استنتاجی منطق فازی، آنگونه که پتر هایک در کتاب «فراریاضیات منطق فازی» ارائه داده است، میپردازد. برخی نظامهای حساب گزارهای که مقادیر صدق آنها روی بازهی اعداد حقیقی است به عنوان اعضایی از خانوادهی منطقهای چندارزشی معرفی و مطالعه میشود. هدف، نشان دادن این مطلب است که منطق فازی، به عنوان منطق گزارههای نادقیق و مبهم نیز مانند سایر منطقهای صوری، دارای بنیادهای صوری و دقیق است که اصول ریاضی و منطقی پشتوانهی آنهاست. در واقع در این رساله تلاش میشود پیوندی میان مفاهیم بنیادی منطق کلاسیک و اصول منطق فازی برقرار شود لذا در ارائهی نظامهای منطق فازی همچنان مفاهیمی چون تابع صدق، قضیهی استنتاج، بهنجاری و تمامیت وجود دارند که همگی گرچه با اندکی تفاوت ولی بر اساس همان مفاهیم آشنا و کلاسیک خود تعریف شدهاند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ساختار نحوی و معنایی منطق پارشناسی و ملاحظات فلسفی آن
نویسنده:
محسن شعبانی صمغآبادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
کلیدواژههای اصلی :
ساخت معنایی
,
ساخت نحوی
,
منطق ریاضی
,
ذاتباوری (دیدگاه فلسفی)
,
منطق جدید
,
منطق کلاسیک
,
نظریه جزء و کل
,
منطق پارشناسی
چکیده :
جزء و کل مفاهیم بسیار آشنایی در زندگی روزمره هستند که فرد از نخستین سال های زندگی قادر به شناسایی و کاربرد آنها است. متافیزیک دانان از دیرباز به بحث هایی چون انواع کل ها، رابطه جزء و کل و ... پرداخته اند. لیکن بحث نظام مند درباب جزء و کل در اواخر قرن نوزدهم در نوشته های فرانتس برنتانو پدیدار شد. تلاش های برنتانو توسط شاگردان وی اشتومپف ، تفاردوفسکی و هوسرل پی گرفته شد. رویکرد منطقی به مباحث جزء و کل که منجر به ایجاد نظریه پارشناسی امروزین گشت، حاصل تفکرات استانیسواف لشنیفسکی ریاضی دان و منطق دان لهستانی است. در نوشتار حاضر نخست به ساختار نحوی نظریه های امروزین پارشناسی می پردازیم. تقریری که در این نوشتار مد نظر بوده توسط آکیله ورزی ارائه شده است و نظریه ای است که در منطق محمولات مرتبه اول به علاوه این همانی صورت بندی شده است. زان پس به ساختار معنایی (نظریه مدل) نظریه های پارشناسی را مورد ملاحظه قرار داده ایم که عمدتا تاکید روی مشابهت های ساختاری نظریه های پارشناسی و نظریه مجموعه ها و جبر بولی است. برخی چالش ها و برخی ملاحظات فلسفی همچون مصداق مندی رابطه جزئیت و رابطه کل با اجزاء موضوعات فصل چهارم هستند. در فصل پنجم اجزاء در گذر زمان از دیدگاه نظریه های سه بعد گرایانه و چهار بهد گرایانه را مطالعه خواهد نمود و فصل ششم به تز ذات گرایی پارشناختی که درباره وضعیت ضروری بودن یا نبودن اجزاء یک کل است اختصاص دارد. فصل هفتم هم ارزیابی رویکرد متافیزیکی در بحث جزء و کل است و هم سعی دارد با به کار گیری حداقلی ابزارهای پارشناختی پاسخ های نظام مند تری به برخی چالش های مطرح شده در ادبیات بحث را فراهم کند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فعل گفتاری نزد منطقدانان مسلمان
نویسنده:
احمد عبادی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق تطبیقی
,
فعل گفتاری (منطق)
,
پارادوکس دروغگو (منطق)
,
جمله خبری (منطق)
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
اصطلاحنامه منطق
,
منطق اسلامی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
انشاء اخبارنُما
چکیده :
برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آنکه از ساختار خبری برخوردارند، اما صدق و کذب نمیپذیرند، زیرا قصد گوینده از بیان آنها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری میخوانند. پیش از این، منطقدانان مسلمان نیز به این مسئله توجه کردهاند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشتهاند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذبپذیری خبر و نیز حل پارادوکس دروغگو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطقدانان مسلمان دانست. تأمل در تاریخچة دیدگاههای منطقدانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آنها با آرای فیلسوفان زبان آموزندة نکات منطقی ـ معرفتی است.
انتخاب :
صفحات :
از صفحه 83 تا 99
مشخصات اثر
ثبت نظر
عنوان :
گزارههای همیشه صادق نزد خونجی
نویسنده:
ابوذر قاعدیفرد
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
زنجان: دانشگاه زنجان,
زبان :
فارسی
کلیدواژههای اصلی :
تاریخ منطق
,
اصطلاحنامه منطق
,
عکس نقیض ( قضیه )
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق موجهات
,
گزارههای همیشهصادق
چکیده :
خونجی در تقسیمبندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزارهی موجبهی کلیه بر اساس تقسیمبندی خونجی، صورتبندی شده است. در این پایاننامه 72 گزارهی جزئیه نزد خونجی صورتبندی شدهاند. خونجی 12 گزاره را از مجموع 72 گزارهی جزئیه، همیشهصادق دانسته است. از این 12 گزاره، 6 گزاره موجبهی جزئیه و 6 گزارهی دیگر سالبهی جزئیهاند. در فصل دوم با بررسی این گزارهها نشان دادیم که اگر چه این گزارهها در منطق جدید، همیشهصادق نیستند اما در منطق خونجی همیشهصادقاند. خونجی، همچنین 5 گزارهی موجهه را همیشهصادق دانسته است. در این پایاننامه، پس از صورتبندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزارههای موجههی همیشهصادقِ خونجی در منطق موجهات جدید همیشهصادق نیستند اما در منطق موجهات خونجی همیشهصادقاند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزارههای همیشهصادق پرداختهایم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تحلیل دلالت شناسانهی منطق شهودی
نویسنده:
برزویه بگلری
نوع منبع :
مقاله
منابع دیجیتالی :
متن
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
دلالتشناسی
,
منطق فلسفی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
از زمان انتشار مقالهی سوئل کریپکی با عنوان تحلیل دلالت شناسانهی منطق شهودیI، در سال 1965، تمام آنچه پیش از آن در دلالتشناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدلهای بث تحت سایهی تنقیح و پالودگیاش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفتهاست. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالتشناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالتشناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقالهی کریپکی در ادبیات شهودگرایی، ترجمه مقالهی وی آمدهاست
انتخاب :
صفحات :
از صفحه 53 تا 93
مشخصات اثر
ثبت نظر
5
6
7
8
9
10
11
12
13
14
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید