جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
عنوان :
بسطهایی از ساختارهای ت-کمینه ضعیف غیرارزیابی
نویسنده:
اکرم رضائی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق محمولات
,
منطق جدید
,
منطق کلاسیک
,
منطق محمولها
,
نظریه ارزه
,
کمینهسازی
,
درجه تعالی
,
چندجملهای کراندار
چکیده :
در این پایاننامه که براساس دو مقاله از رومن ونسل (Roman Wencel )نوشته میشود، ابتدا نشان داده میشود که اگر M,<,+,...) ) = Mیک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب (M,<,+) باشد، آنگاه بسط آن با گردایهای از محمولات تکموضعی غیرارزیابی همچنان غیرارزیابی باقی میماند. سپس با بهکار بردن نتیجهای از دایاز درباره استقلال جبری دنبالههای معینی از اعداد، نشان داده میشود که اگرK⊆R یک میدان از درجه تعالی متناهی روی میدان اعداد گویا باشد، آنگاه هر بسط ت-کمینه ضعیف ازK,<,+,.) )بهطور چندجملهای کراندار است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دلالت ثابت کلمات کلی و مشکل بی مایگی
نویسنده:
رضا سلطانی؛ سید محمد علی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه زبان
,
کلمات کلی
,
منطق جدید
,
منطق کلاسیک
,
دلالت ثابت
,
مشکل بی مایگی
,
اشیاء وافر (منطق)
,
اشخاص دفتری
چکیده :
کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگروتنهااگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواعطبیعی مورد استفاده قرار میگیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسیاری در گرفته است که می توان آنها را به دو دسته کلی قائلین به همسانیدردلالت(sameness in designation) و ذاتگرایان(essentialists) تقسیم کرد؛ لیکن یک مشکل اساسی بر سر راه قائلین به همسانیدردلالت تحت عنوان «مشکل بیمایگی»"(trivialization problem) وجود دارد که می گوید اگر ثبات برای کلمات کلی(general terms) به معنای همسانیدردلالت در میان جهانهای ممکن باشد ،آنگاه علاوه بر کلمات مربوط به انواع طبیعی بقیه کلمات کلی هم ثابت خواهند شد؛ زیرا آنها نیز دلالت بر یک خصوصیت یکسان خواهند کرد.در این مقاله ما یک روش استدلالی را برای دفع مشکل بی مایگی نقد می کنیم.این روش استدلالی بر این اساس است که اوصاف معین می توانند دلالت بر اشیاء وافر(abundant) بکنند و با استفاده از تناظر(parallelism) بین کلمات کلی و کلمات مفرد نتیجه میگیرد عبارات حملی وصفی نیز می توانند دلالت بر خصوصیات وافر بکنند؛ اما به نظر میرسد این ادعا با بعضی اصولی که رفتار سمانتیکی کلمات را توضیح میدهند و شهودهای ما در مورد صدق عبارات شامل این کلمات، همخوانی ندارد.
انتخاب :
صفحات :
از صفحه 39 تا 62
مشخصات اثر
ثبت نظر
عنوان :
یک قضیه درونیابی در منطق مرتبه اول
نویسنده:
نیر جنگی بهادر
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تبریز: دانشگاه تبریز,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
منطق جدید
,
منطق کلاسیک
,
منطق کلاسیک مرتبه اول
,
مساله درونیابی
,
قضیه درونیابی کرایگ
,
ساختارهای مرتبه اول
,
فضای رده بندی
چکیده :
این پایان نامه نتیجه درونیابی را در یک چارچوب فرمولهای منطق مرتبه اول نسبی سازی شده ارائه میکنیم، که در حقیقت زمینه مشترک برای درونیابی لیندون و درونیابی چندگونه ای ففرمن ارائه می دهد. این نتایج علاوه بر دادن پایه ای نظریه مدلی مشترک برای این دو نتیجه درونیابی مهم، همچنین منظری یکنوا برای برخی کاربردهای شناخته شده و برخی کاربردهای جدید ارائه می دهد، که کاربرد جدید شامل قضیه رده بندی فون بنثم می باشد. قضیه درونیابی لیندون بیان میکند که برای هر ترکیب شرطی معتبر بین دو جمله کاملا محمولی (جملات فاقد نمادهای ثابت و نمادهای تابعی) از منطق مرتبه اول، فرمولی موسوم به فرمول درونیابی وجود دارد که در آن هر نماد محمولی بصورت مثبت (یا منفی) ظاهر میشود فقط اگر آن نماد بصورت مثبت (منفی) در هر دو فرمول مقدم و نتیجه ظاهر شده باشد. نتیجهای مشابه، ولی کلیتری را ثابت میکنیم که در آن شرط اضافی این است که برای یک چندتایی ثابت از محمولات تک موضعی، تمام سورهای فرمولهای تحت بررسی بطور صریح به یکی از محمولات تک موضعی نسبی سازی شده اند. تحت این شرط، سوری سازی وجودی (عمومی) روی یک رخداد مثبت (منفی) را ایجاد میکند. نشان داده می شود که این قضیه درونیابی جدید، تنها توسط برهانی نظریه-مدلی مقدماتی و کانونی بدست آمده و چند نتیجه مرتبط را یکسان سازی می کند. مانند برخی قضایای رده بندی که در مورد توسیعها و زیرساختارها با مفاهیم یکنوایی، و همچنین قضیه درونیابی چندگونه که روی رخدادهای مثبت (منفی) محمولها و روی گونه های سوری سازی شده وجودی (عمومی) متمرکز شده اند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
ذات باوری در منطق موجهات و نقد کواین بر آن
نویسنده:
سمیرا محمدی نصیری
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
جهان های ممکن(اصطلاح وابسته)
,
شفافیت ارجاعی
,
ذاتباوری (دیدگاه فلسفی)
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
نقد ذات گرایی
چکیده :
طرح نقدهای کواین در طول شصت سال اخیر باعث شده که در ضمن تلاش افراد برای پاسخگویی به آنها، بسیاری از مطالب مربوط به این حوزه به صورتی دقیق تر مورد بررسی قرار گیرد و زوایای تاریک بحث روشن شود. در طول تاریخ تفکر بسیار شاهد بوده ایم که مطالب خام زیر فشار نقدهای قوی بسیارپخته تر و روشن تر شده اند. نقد کواین هم از جمله این موارد است. کواین متن های موجه را از متن های معنایی قلمداد می کند و مدعی است متن های معنایی شفافیت ارجاعی ندارند، به علاوه او از یک سو سنگ بنای مطق محمولات را مصداقی بودن می داند، و از سوی دیگر، مدعی است که زبان منطق موجهات معنایی است. در مقابل کواین افرادی با رویکردی مصداقی به دفاع از منطق موجهات و انتقاد از نظرات کواین و پاسخ به مسائل او در منطق موجهات پرداخته اند. در بین این افراد، کریپکی تقریری مقبول ازدلالت شناسی منطق موجهات براساس مفهوم محوری «جهان های ممکن» و « رابطه ی دسترس پذیری» ارائه داد و با این کار،اساسی ترین اشکال کواین به منطق موجهات یعنی مصداقی بودن زبان منطق موجهات را رفع کرد. کواین با اصلاحاتی که کریپکی در دلالت شناسی منطق موجهات انجام داد، در نهایت پذیرفت که شرط مصداقی بودن زبان منطق موجهات گزاره ای، تأمین شده است؛ اما پذیرش دلالت شناسی کریپکی در منطق موجهات محمولی مستلزم «پذیرش ذات باوری» است. در دفاع از منطق موجهات محمولی، دو گروه مقابل کواین قرار گرفته اند: گروه اول با دلایلی اقامه می کنند که منطق موجهات به ذات باوری نمی انجامد، و یا با تغییراتی که در دلالت شناسی و نظام اصل موضوعی منطق موجهات می دهند، اساساً مسئله ی ذات باوری را منحل می کنند تا منطق موجهات به ذات باوری نینجامد. پارسونز از جمله افرادی است که با ارائه ی دلایل مدعی است منطق موجهات به ذات باوری نمی انجامد.کریپکی در دلالت شناسی دوم خود، با تغییراتی که در دلالت شناسی اول خود داد، مسئله ی ذات باوری را منحل کرد. گروه دوم افرادی مانند فولسدال و پلانتینگا هستند که با دفاع از ذات باوری، از منطق موجهاتی که به ذات باوری می انجامد، دفاع می کنند. به عبارت دیگر، در حوزه ی منطق های مصداقی، مخالفان کواین دو گروه هستند؛ مدافعان منطق موجهات غیر ذات باور و مدافعان منطق موجهات ذات باور. این پزوهش به روش توصیفی تحلیلی و بر اساس منابع و مقالات موجود به بررسی ذات باوری در منطق موجهات پرداخته و نقد منطقدانی به نام کواین را به این نوع ذات باوری مورد بررسی قرار می دهد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
نظریههای عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
علم ریاضی
,
منطق ریاضی
,
مدلهای کریپکی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق مرتبه اول شهودی
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دیدگاه پریست درباره جهانهای ناممکن
نویسنده:
بهنام ذوالقدر شجاعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ربط
,
حیث التفاتی (پدیدار شناسی)
,
اصطلاحنامه فلسفه
,
هیچ انگاری
,
اصطلاحنامه معرفت شناسی(اسلامی)
,
جهان های ممکن(اصطلاح وابسته)
,
معناشناسی (منطق)
,
هیچ گرایی
,
منطق جدید
,
منطق کلاسیک
چکیده :
جهان های ناممکن اولین بار در پاسخ به مشکلات منطق معرفت ظاهر شدند و بعدها در معناشناسی منطق های ربط و منطق های فراسازگار جایگاهی ویژه یافتند اما برای گراهام پریست جهان های ناممکن نه تنها ابزاری منطقی بلکه ابزاری فلسفی نیز هستند. دیدگاه متافیزیکی پریست تحت عنوان هیچ گرایی مبتنی بر مدلی معناشناختی بر پای? حیث التفاتی است که در آن جهان های ناممکن جایگاهی برجسته دارند. در پاسخ های پریست به برخی مسائل دیرپای فلسفی نظیر مسائل ناشی از اینهمانی و مسائل هستی شناسی اشیاء ناموجود، اشیاء ممکن، اشیاء ناممکن، اشیاءانتزاعی و اشیاء خیالی و نیز پاسخ های او به برخی پارادوکس های معروف منطقی، جهان های ناممکن نقش مهمی ایفا می کنند. کاربردها و ویژگیهای جهان های ناممکن را در حین پرداختن به این موضوعات خواهیم دید. در طرح دیدگاه پریست و نیز در انتها به برخی انتقادات پاسخ داده شده است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
بررسی و نقد استدلال مبتنی بر نظریه مدل پاتنم علیه رئالیسم متافیزیکی
نویسنده:
سلمان پناهی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
رئالیسم متافیزیکی (منطق)
,
واقعگرایی متافیزیکی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
نقد متافیزیک
,
معناشناسی (منطق)
,
برهان واقعیت
,
منطق جدید
,
منطق کلاسیک
,
مدل پاتنام
,
برهان جایگشتی
چکیده :
با پیشرفت منطق از اواخر قرن نوزدهم میلادی ،کاربرد های متفاوتی برای آن پیدا شده و می شود . یکی از این کار برد ها که از دیر باز نیز مد نظر بوده ،کاربرد منطق در فلسفه است .بر خلاف نظری که در ابتدای قرق بیستم در مورد منطق وجود داشت ،مبنی بر اینکه منطق به مجادله های فلسفی پایان می دهد ، منطق صرفا به دقت مباحث فلسفی افزوده است و تبدیل به ابزاری شده تا ادعا های فلسفی دقیقتر بیان شوند و نتیجه های مترتب بر آنها بهتر بررسی شوند. تحقیق حاضر سعی در توضیح یکی از این کاربرد ها دارد .فیلسوف و ریاضیدان معروف امریکایی هیلاری پاتنم برای نقد یک دیدگاه در حوزه متافیزیک که آن را رئالیسم متافیزیکی می نامد ،از مفهوم های بنیادین نظریه مدل کمک می گیرد .نظریه مدل بخشی از منطق و منطق ریاضی است که به بررسی روابط میان یک زبان و تعبیر های آن می پردازد . پاتنم سه باور به کسانی که رئالیست متافیزیکی می نامد نسبت می دهد :نخست اینکه جهان از اشیاء کاملا غیر وابسته به ذهن انسان تشکیل شده ،دوم اینکه صدق عبارت است از نوعی مطابقت میان کلمه های زبان و جهان خارج از آن و مفهومی مطلق و غیر وابسته به نظریه دارد و سوم اینکه در نهایت تنها یک نظریه درست در مورد چگونگی بودن عالم وجود دارد .از نظر پاتنم این سه باور مستلزم قابلیت تثبیت مصداق کلمه های زبان(اسامی و محمول ها) هستند اما بنا به قضیه های بنیادین نظریه مدل مثل قضیه لوونهایم –اسکولم ،اساسا سیستم سمانتیکی ما قادر به تثبیت مصداق کلمه های زبان نیست (مگر با پیش فرض گرفتن یک مدل بخصوص که از نظر پاتنم این کار مصادره به مطلوب است) .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فرانظریه و فراقضایا در سیستم اصل موضوعی منطق گزارهها
نویسنده:
زهرا موسوی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
فرانظریه
,
علوم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
سیستم اصل موضوعی
,
فرا قضیه
چکیده :
مطابق دانش پیشرفته امروز، هر علمی که منظمتر و با ترتیب منطقی خاصی ارائه شود، کاربرد آن آسان و نتیجهبخش خواهد بود. علم منطق جدید در اوان رشد خود راهمپای ریاضیات دانست و بر آن شد تا دستاوردی که در علوم ریاضی حل شده است به ساختار درونی خود منتقل کند. از این رهگذر به روشهایی دست یافت که آثار و برکات آن تا قرن اتم ادامه دارد. شیوهای که در قرن نوزدهم و با الهام از تراوشات اندیشه ریاضیدانان یونان در منطق پدید آمد، روشی نوین جهت دستیابی به اطلاعات نظاموار بود و بر آن بود تا دانستههای پربهای خود را به گونهای مرتب سازد تا نتایجی از آن حاصل شود و به دانشهای جدید دست یازد. از جمله این روشها میتوان از قیاسی کردن یا لژیستیک کردن سیستمهای منطقی نام برد. نخستین محققی که بدین شیوه کتاب نکاشت ریاضیدان و منطقدان آلمانی به نام فرگه بود که در سال 1879 کتابی تحت عنوان "مفهوم نگاری" منتشر نمود. آنچه که این کتاب را شهره آفاق نمود، استفاده از روش اصل موضوعی در سیستمها بویژه گزارهها بود. وی در این کتاب سیستمی را با شش اصل موضوع و دو قاعده وضع مقدم و جانشینی ارائه میدهد و نظامی نوین در منطق جدید پدید میآورد. در اهمیت کار وی همین بس که ریاضیدانان و منطقدانان پس از وی نظیر راسل - وایتهد، لوکاسیهویچ، هیلبرت آکرمان و ... به نوآوری و خلاقیت وی نظر کردند و در توسعه این سیستم راهکارهای جدیدی را ارائه دادند. در این پایاننامه ضمن رویکردی تاریخی به علم منطق جدید و بررسی اوصاف و ویژگیهای سیستمهای قیاسی و نیز کنکاشی در سیستمهای اصل موضوعی منطق گزارهها به بسط و تفصیل پیرامون سیستم اصل موضوعی فرگه و راسل-وایتبد در حساب گزارهها پرداخته شده است . از جمله مباحثی که به نحو برون سیستمی مورد بحث قرار گرفته فرانظریه و فراقضایای سازگاری، تمامیت و استقلال در این دو سیستم خاص میباشد. فرانظریه علم مطالعه برخی ار اوصاف و ویژگیهای آن سیستم است و آنچه که دستاورد این بحث و بررسی است ، فراقضیه نامیده میشود. فراقضیه سازگاری در یک سیستم قیاسی که بیشتر از بعد معناشناختی مطرح است ، حاکی از آن است که اگر چیزی به لحاظ معنایی منطقا متناقض نباشد یک قضیه خواهد بود و به عبارت دیگر هیچ دو قضیهای وجود ندارد که یکی نقیض دیگری باشد. مفهوم فراقضیه تمامیت نیز همانند فراقضیه سازگاری از بعدی معناشناختی برخوردار است . مفهوم تمامیت در یک سیستم منطقی تقریبا بدین معناست که سیستم تمامی قضایای درست مربوط به تئوری دارا باشد. و چنانچه اصول موضوعه یک سیستم به گونهای باشند که از یکدیگر قابل استنتاج نباشند - که در غیر اینصورت حکم قضیه را به خود خواهند گرفت - دارای استقلال خواهند بود. تمامی این فراقضایا به نحو برون سیستمی بر سیستمهای منطقی نظارت خواهند داشت .
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
پلنتینگا و ضرورت
نویسنده:
امامویردی سه برادری لاهرود
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
جهان های ممکن(اصطلاح وابسته)
,
ضرورت
,
این همانی بین جهانی
,
ذاتباوری (دیدگاه فلسفی)
,
منطق جدید
,
منطق کلاسیک
,
منطق موجهات
,
تابع هسته ای
,
وجه گزاره ای
,
وجه شئای
,
تئوری همتا
چکیده :
این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب The Nature of Necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزارهای و وجه شئای، ذاتگرایی و تحویل به تئوری مجموعهها، جایگاه ضرورت، تابع هستهای، جهانها، کتابها و ویژگیهای ذاتی، شاخصبندی اولیه ذات، اینهمانی بین جهانی یا افراد مقیدبهجهان، منطق موجهات و اشیاء ممکن و دلالتشناختی محض و کاربردی می باشد.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
فلسفه ریاضی : کلاسیک، مدرن، پستمدرن
نویسنده:
محمد صالمصلحیان
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
مشهد: واژگان خرد,
زبان :
فارسی
کلیدواژههای اصلی :
فلسفه ریاضی
,
علم ریاضی
,
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
فلسفه ریاضی مدرن
,
فلسفه ریاضی پست مدرن
,
فلسفه ریاضی کلاسیک
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید