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