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

در این پایان نامه نظریه مدل های کریپکی منطق محمولات مشهودی را مطالعه می کنیم مفاهیم همریختی، زیرمدول و ساندویچ از مدل های کریپگی تعریف می شود. هم چنین دو عملگر U(·, ·) و E(·) به ترتیب متناظر با بستار عمومی و بستار وجودی تعریف می شود. سپس یک نظیر شهودی از تعمیم (دوگان) قضیه لیندن-لاش-تارسکی ثابت می شود که جملاتی که تحت تصویر معکوس همریختی های مدل های کریپکی حفظ می شوند را مشخص می کند. هم چنین تعمیمی از قضیه لاش-تارسکی ثابت می شود که جملاتی که تحت زیرمدول های کریپکی حفظ می شوند را مشخص می کند. در ادامه تعمیمی از قضیه ساندویچ کیسلر ثابت می شود که جملاتی که تحت ساندویچ های مدول کریپکی حفظ می شوند را مشخص می کند هر یک از این قضایا در حضور اصل طرد شق ثالث نظیر کلاسیک شان را نتیجه می دهند.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

رواداری در نظریه ی ST

نویسنده:

داود حسینی

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

زبان :

فارسی

کلیدواژه‌های اصلی :

رواداری (منطق) , پارادوکس خرمن (منطق) , فلسفه تحلیل زبانی ( تحلیل زبان ) , فلسفه منطق , فلسفه تحلیلی , شباهت , منطق جدید , منطق کلاسیک , صدق اکید , صدق روادار , نظریه ی ST

چکیده :

چکیده: کوبرروز و دیگران (2012) نظریه ای در باب ابهام پرورانده اند که طی آن مدلی برای رواداری ارائه کنند. قصد بر این است که در این مدل رواداری معتبر باشد؛ چنین نباشد که یک محمول مبهم بر هر چیزی حمل شود؛ و نیز استدلال های پارادوکس خرمن معتبر نباشند. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان جمله ای قوی تر از رواداری را معتبر می انگارد؛ که این جمله مثال های نقض روشن دارد. و ثالثا، نظریه ایشان تنها می تواند رواداری را به معنای ضعیفی معتبر بداند. این نتیجه پایانی نظریه ایشان را به نظریه های غالب در باب ابهام که رواداری را درست قلمداد نمی کنند شبیه خواهد کرد.

انتخاب :

صفحات :

از صفحه 1 تا 13

مشخصات اثر

ثبت نظر

عنوان :

سوژه و صورت منطقی در تراکتاتوس

نویسنده:

حامد زمانی پزوه

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

زبان :

فارسی

کلیدواژه‌های اصلی :

سوژه , شی (منطق) , ویتگنشتاین متقدم , صورت منطقی , تراکتاتوس (فلسفه تحلیلی) , فلسفه تحلیل زبانی ( تحلیل زبان ) , فلسفه تحلیلی , معنا ( Semantic ) , منطق جدید , منطق کلاسیک

چکیده :

ویتگنشتاین متقدم، با گره‌زدن زبان به ضرورت، معنا را از ایده‌های ذهنی صرف جدا می‌کند. به‌نظر او، زبان ساختاری منطقی دارد که روگرفتی از ضرورت‌های موجود در عالم است. او برای تبیین ضرورت‌های موجود در عالم تعریف خاصی از مفهوم شیء ارائه می‌دهد، به‌ازای هر شیء نشانه‌ای را در زبانِ ممکن واجدِ معنا می‌داند، و روابط بین اشیا را حاصل بالفعل‌شدن امکان‌های ترکیبیِ خاص هر شیء می انگارد. در نظر او، ساختار منطقی زبان برآمده از چهارچوبِ عالم است و زبان فقط درصورتی معنادار است که تصویرگر این عالم باشد. ویتگنشتاین، بدون آن‌که از مفاهمه حرفی به‌میان بیاورد، خودِ چگونگیِ ممکن‌بودنِ زبان را بررسی می‌کند و در پاسخ، صورت منطقی را مطرح می‌کند. در طراحی او از زبان، سوژه جایگاه معنابخشی خود را از دست می‌دهد و اشیای عالم و امکان‌های ترکیبی آن‌ها عهده‌دار معنا می‌شوند.

انتخاب :

صفحات :

از صفحه 29 تا 44

مشخصات اثر

ثبت نظر

عنوان :

جنبه‌هایی از منطق تلفیقی اثباتها و اثبات‌پذیری

نویسنده:

مقداد قاری

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق شناخت , اثبات قضیه , منطق توجیه , منطق و مبانی ریاضی , منطق جدید , منطق شناختی , منطق کلاسیک , منطق موجهات , منطق تلفیقی

چکیده :

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می‌پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ JB (صورت صریح منطق موجه براوری ‎ KB)، ‎ JGL (صورت صریح منطق اثبات‌پذیری گودل لوب ‎ GL)‎ و JLD (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبات قضیه تحقق برای KB‎ با استفاده از نگاشت نشاندن، اثبات قضیه تحقق برای GL‎ به صورت نحوی، و اثبات قضیه تحقق برای JLD ‎ به صورت معنایی. ارایه دستگاههای اثبات گنتسنی برای منطقهای توجیه و اثبات قضیه حذف برش برای آنها، از جمله: دستگاههای گنتسنی LPG‎ وLPLG ‎ برای منطق اثباتها، دستگاههای گنتسنی S4LPG و S4LPLG برای منطق شناختی با توجیه ‎ S4LP ‎، دستگاه ابر رشته‌ای ‎ S4LPNLH برای منطق شناختی با توجیه ‎ S4LPN و دستگاههای رشته‌ای برچسب‌دار برای منطقهای توجیه و منطقهای شناختی با توجیه.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

بررسی ساختار نحوی و معنایی نظام های منطق فازی مبتنی بر تقریر پیتر هایک

نویسنده:

هدیه یعقوبی بجمعه

نوع منبع :

رساله تحصیلی

وضعیت نشر :

تهران: دانشگاه تربیت مدرس,

زبان :

فارسی

کلیدواژه‌های اصلی :

ساختار نحوی , ساختار معنایی , قضیه تمامیت , قضیه صحت , منطق جبری , منطق جدید , منطق کلاسیک , منطق فازی

چکیده :

این رساله به بررسی نظام‌مند ساختارها و جنبه‌های استنتاجی منطق فازی، آن‌گونه که پتر هایک در کتاب ‎«‎فراریاضیات منطق فازی‎»‎ ارائه داده است، می‌پردازد. برخی نظام‌های‌ حساب گزاره‌ای که مقادیر صدق آن‌ها روی بازه‌ی اعداد حقیقی است به عنوان اعضایی از خانواده‌ی منطق‌های چندارزشی معرفی و مطالعه می‌شود. هدف، نشان دادن این مطلب است که منطق فازی، به عنوان منطق گزاره‌های نادقیق و مبهم نیز مانند سایر منطق‌های صوری، دارای بنیادهای صوری و دقیق است که اصول ریاضی و منطقی پشتوانه‌ی آن‌هاست. در واقع در این رساله تلاش می‌شود پیوندی میان مفاهیم بنیادی منطق کلاسیک و اصول منطق فازی برقرار شود لذا در ارائه‌ی نظام‌های منطق فازی همچنان مفاهیمی چون تابع صدق، قضیه‌ی استنتاج، بهنجاری و تمامیت وجود دارند که همگی گرچه با اندکی تفاوت ولی بر اساس همان مفاهیم آشنا و کلاسیک خود تعریف شده‌اند.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

تمامیت در منطق پیوسته

نویسنده:

جاثیه کشاورزیان

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

تهران: دانشگاه تربیت مدرس,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق مرتبه اول , استقرا و قیاس , اصطلاحنامه منطق , منطق ریاضی , قضیه تمامیت , منطق جدید , منطق کلاسیک , منطق گزاره ها , منطق پیوسته , پیمانه پیوستگی یکنواخت , پیوستگی یکنواخت , استنتاج صوری

چکیده :

منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

نقدِ انتقاداتِ شباهت خانوادگیِ ویتگنشتاین به تعاریفِ ارسطویی

نویسنده:

پرستو رستمی

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

زبان :

فارسی

کلیدواژه‌های اصلی :

مفهوم , شباهت خانوادگی , فلسفه تحلیل زبانی ( تحلیل زبان ) , فلسفه ارسطو , فلسفه تحلیلی , فلسفه متأخر ویتگنشتاین , مبانی فلسفی منطق , منطق فلسفی , منطق جدید , منطق کلاسیک , تعاریف ذاتی

چکیده :

نظریة "شباهت خانوادگیِ" ویتگنشتاین تأثیرگذارترین نظریة معاصر در باب "تعریف"، یا، به عبارت بهتر، در مقابلِ "تعریف" است. مقابلة اصلی این نظریة با "تعاریف ذاتی" است که ارسطو به‌عنوان سردمدار آن شناخته می‌شود. این نظریة را در دوران معاصر چالشی برای ذات‌گرایی در نظر گرفته‌اند. در این جستار، بعد از بیان نگرة شباهت خانوادگی و زمینه‌های بروز آن در تقابل با تعاریف ارسطویی، با استخراج انتقاداتِ این نگره بر تعاریف ذاتیِ ارسطو و یافتن پاسخ این انتقادات با توجه به متن آثار ارسطو، سعی دارم نشان دهم که طرح چنین انتقاداتی به تعاریف ارسطویی ناشی از فهم نادرست و ناآگاهی ویتگنشتاین نسبت به نگرة "تعاریف ذاتیِ" مدنظر ارسطو است. برای دست‌یابی به این مطلوب از دو روش پدیدارشناسی و تحلیلی بهره خواهم برد. بررسی آثار دست‌اولِ فلاسفة مذکور از اولویت‌های این پژوهش به شمار می‌آید.

انتخاب :

صفحات :

از صفحه 69 تا 96

مشخصات اثر

ثبت نظر

1 2 3 4 5 6 7 8 9 10

تعداد رکورد ها : 114

درخواست مدرک

کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید

چنانچه قبلا عضو سایت شده‌اید ورود به سایت در غیر اینصورت عضویت در سایت را انتخاب نمایید

ورود به سایت

عضویت در سایت

ارسال نظر

نوع

توضیحات

آدرس پست الکترونیکی

کد امنیتی **

با موفقیت به ثبت رسید

كليه حقوق محفوظ است ، استفاده از مطالب با ذكر منبع بلامانع است.