جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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
اکسل
انتخاب همه
8
9
10
11
12
13
14
15
16
17
تعداد رکورد ها : 186
عنوان :
منطق اثباتها
نویسنده:
مهدیه گل رنگی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
شهود
,
منطق شهودی
,
منطق ریاضی
,
فضای هیلبرت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق گزاره ها
,
منطق شهودگرا Intuitionistic Logic
,
منطق اثبات ها
چکیده :
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (CP) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای S4 و صوری کردن تعبیر BHK برای منطق شهودی بود. CP گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه CP را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که Cp قابلیت تحقیق منطق موجه S4 را در خود دارد. یکی از گسترش های Cp منطق اثبات ها و اثبات پذیری CPP است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی CPP ثابت می شود. در خاتمه منطق اثبات ها برای HA مطرح می گردد . قواعد پذیرفتنی در HA که در واقع همان قواعد پذیرفتنی در IPC می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق فازی در قرآن: خلط مستنبط و منصوص
نویسنده:
محمود زراعت پیشه
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
اصطلاحنامه علوم قرآنی
,
منطق قرآن
,
منطق فلسفی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
خلط مستنبط و منصوص
چکیده :
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
انتخاب :
صفحات :
از صفحه 15 تا 38
مشخصات اثر
ثبت نظر
عنوان :
معرفی منطق های آزاد
نویسنده:
نصیبا تبریزیان
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق آزاد
,
منطق کلاسیک مرتبه اول
چکیده :
منطق آزاد به منطق غیر کلاسیکی اطلاق می شود که از برخی فرض های وجودی منطق کلاسیک صرف نظر می کند. منطق آزاد به سه دسته ی مثبت، منفی و خنثی تقسیم می شود. در فصل اول این پایان نامه، منطق کلاسیک مرتبه اول و ویژگی های آن را بررسی می کنیم. در فصل دوم منطق آزاد را معرفی نموده و کاربردی از آن ارائه می دهیم. در فصل آخر برخی لم ها و قضایای مهم درمنطق مانند لم موضعی ، لم نمایش و قضایای صحت و تامیت را در منطق آزاد اثبات نموده و منطق آزاد و کلاسیک را مقایسه می نماییم.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
معمای معرفتبخشی
نویسنده:
محسن کاشی ؛ سید محمد علی حجتی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
مدلول
,
معنی
,
ارزش شناختی (منطق)
,
موصوف
,
منطق جدید
,
منطق کلاسیک
,
منطق فرگه ای
,
نظریه معنی و مدلول فرگه
,
تجربی
,
کشف منطقی
چکیده :
پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجیه معرفتزایی نقطه قوت نظریه فرگه محسوب می شود.ما بر آنیم استدلال کنیم که اگر ساختار منطقی پیشنهادی فرگه برای اینهمانیهای تجربی را مفروض گرفته و نظریه معنی و مدلول او را بپذیریم، آنگاه اساسا جایی برای کشف تجربی باقی نمی ماند.کشف تجربی در حالتی معنی پیدا می کند که ساختار منطقی متفاوتی به جمله های مورد بحث فرگه نسبت دهیم و در این صورت دیگر نیازی به نظریه معنی و مدلول نخواهیم داشت.
انتخاب :
صفحات :
از صفحه 63 تا 81
مشخصات اثر
ثبت نظر
عنوان :
گزارههای کلی و وجودی در منطق ریاضی و کلاسیک
نویسنده:
علیرضا قائمینیا
نوع منبع :
مقاله
منابع دیجیتالی :
متن
وضعیت نشر :
معرفت,
زبان :
فارسی
کلیدواژههای اصلی :
اسم خاص
,
گزاره های وجودی
,
منطق ریاضی
,
گزاره های کلی
,
منطق جدید
,
منطق قدیم
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق موجهات
انتخاب :
صفحات :
از صفحه 34 تا 40
مشخصات اثر
ثبت نظر
عنوان :
قواعد پذیرفتنی در منطق گبی-دیانگ
نویسنده:
آمنه پیرمرادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق میانی
,
خاصیت تفکیک پذیری
,
قوانین پذیرفتنی
,
منطق گبی-دیانگ
چکیده :
در این پایاننامه قواعد پذیرفتنی منطقهای میانی را مطالعه کرده و نتایج کلی برای توسیعهای مدلها و مجموعهی فرمولها را ارائه میکنیم. این نتایج کلی برای بدست آوردن پایهای برای قواعد پذیرفتنی منطقهای گبی-دیانگ و نشان دادن اینکه این منطقها تایپ یکسانسازی متناهی دارند بکار برده میشود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه میکنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزارهای را بررسی نماید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
منطق جهتمند و معرفتشناسی گزارههای آن
نویسنده:
مجتبی امیرخانلو
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق صوری
,
متافیزیک
,
شناخت شناسی
,
مسایل جدید معرفت شناسی
,
اصطلاحنامه فلسفه
,
اصطلاحنامه منطق
,
منطق ریاضی
,
فراسازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق موجهات
,
منطق شهودگرا Intuitionistic Logic
چکیده :
برای آنکه نگرهای تازه درباب گزاره یا وضعیت ارایه کنیم یا حتی یک نگرهی موجود را ارزیابی نماییم نخست باید انتظار خود را از یک چنین نگرهای مشخص کنیم. ما در این رساله، پس از تعیین حداقل انتظارهای خود از یک نگرهی گزاره و یک نگرهی وضعیت، به سراغ چند نگرهی موجود درباب گزاره و وضعیت رفته، براساس انتظار تعریف شده حداقلی خود، آنها را ارزیابی کردیم. سپس براساس آرای جان پالک به بازسازی یک نگرهی گزاره و یک نگرهی وضعیت پرداخته، نگرهی مختار خود را ارایه کردیم. در این نگرهی بازسازیشده، گزارهها و وضعیتها، هویتهای ضروری مستقل از ذهنی هستند که معنای عملگرهایمنطقی، معنای مفهومها و معنای دلالتگرها میتوانند اجزای آنها باشند. میان گزاره و وضعیت تفاوت هستشناختیای وجود ندارد و تنها تفاوت آنها درشکل منطقی آنهاست. سپس، توانایی نگرهی خود را در برآوردن حداقلهای لازم برای یک نگرهی گزاره یا وضعیت سنجیدیم. در ادامه دو مفهوم فراساختنیبودگی و انگارپذیربودگی را واکاوی کردیم. پس از ارایه گزارشی از چهار تعریف از تعریفهای عمده فراسازی، یعنی تعریفهای شامل فهمیدن، تعریفهای شامل باور، تعریفهای شامل انگارش یک موقعیت و تعریفهای شامل احراز در جهانهای ممکن سازگار و منسجم، آنها را به نقد نشستیم. آنگاه نگرهی خودمان از مفهومهای فراساختنیبودگی و انگارپذیربودگی را مطرح کردیم و معیاری برای فراساختنی بودن یا انگارپذیر بودن یک وضعیت مفروض ارایه نمودیم. تبیین امکانمعرفتی و امکانمتافیزیکی ذیل دو رویکرد اصلی عامگرایی جهتمند و خاصگرایی جهتمند بخش دیگری از رساله را تشکیل میدهد. ما از طریق نقد قرایت عامگرایی و برخی از قرایتهای خاصگرایی، قرایت جدیدی از خاصگرایی ارایه کردیم و با استفاده از مفهوم فراسازی، نحوه تبیین این دو نوع امکان را در این رویکرد جدید از خاصگرایی، بیان نمودیم. در انتهای رساله، سعی کردیم منبعهای اصلی معرفت جهتمند یعنی فراسازی، واقعیبودگی و شهود را شناسایی کنیم و نشان دهیم که فراسازی و واقعیبودگی، در مقایسه با شهود، میتواند بهعنوان یک منبع مطمئن برای تامین سند و شاهد برای معرفت جهتمند بهکار روند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تمامیت در منطق پیوسته
نویسنده:
جاثیه کشاورزیان
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
استقرا و قیاس
,
اصطلاحنامه منطق
,
منطق ریاضی
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
منطق پیوسته
,
پیمانه پیوستگی یکنواخت
,
پیوستگی یکنواخت
,
استنتاج صوری
چکیده :
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت مرتبه اول آن داردکه در این پایان نامه مورد بحث قرار خواهد گرفت. درادامه به بعضی از قضایای دیگر از جمله در ارتباط با محاسبه پذیری خواهیم پرداخت.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
تصور گزاره ای و توجیه باورهای وجهی
نویسنده:
مسعود ضیاء علی نسب پور
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
امکان (منطق)
,
مسایل جدید معرفت شناسی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه تحلیلی
,
معرفت شناسی تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
تصور گزاره ای
,
تخیل پذیری
,
معرفت شناسی وجهی
چکیده :
در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیلپذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه میکند بررسی میکنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیلپذیری است. گیرسون تخیلپذیری را بر اساسِ تصور تحلیل میکند. گیرسون با پذیرشِ شباهتهایِ برخی از مولفههای شرحاش با مدل یبلو (1993)، ادعا میکند که از چند جهت بحث را پیش برده است. یکی از این پیشرفتها از نظر گیرسون این است که او از تصور گزارهای در توجیه باور وجهی استفاده میکند. در این مقاله نشان میدهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزارهای به گونهای که گیرسون تعریف میکند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزارهای دقیقاً یعنی چه؟» نمیتواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزارهای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزارههای غیرممکن متافیزیکی و حتی گزارههای غیرممکن منطقی قابل تصورِگزارهای نباشند.
انتخاب :
صفحات :
از صفحه 41 تا 61
مشخصات اثر
ثبت نظر
عنوان :
نقدِ انتقاداتِ شباهت خانوادگیِ ویتگنشتاین به تعاریفِ ارسطویی
نویسنده:
پرستو رستمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
مفهوم
,
شباهت خانوادگی
,
فلسفه تحلیل زبانی ( تحلیل زبان )
,
فلسفه ارسطو
,
فلسفه تحلیلی
,
فلسفه متأخر ویتگنشتاین
,
مبانی فلسفی منطق
,
منطق فلسفی
,
منطق جدید
,
منطق کلاسیک
,
تعاریف ذاتی
چکیده :
نظریة "شباهت خانوادگیِ" ویتگنشتاین تأثیرگذارترین نظریة معاصر در باب "تعریف"، یا، به عبارت بهتر، در مقابلِ "تعریف" است. مقابلة اصلی این نظریة با "تعاریف ذاتی" است که ارسطو بهعنوان سردمدار آن شناخته میشود. این نظریة را در دوران معاصر چالشی برای ذاتگرایی در نظر گرفتهاند. در این جستار، بعد از بیان نگرة شباهت خانوادگی و زمینههای بروز آن در تقابل با تعاریف ارسطویی، با استخراج انتقاداتِ این نگره بر تعاریف ذاتیِ ارسطو و یافتن پاسخ این انتقادات با توجه به متن آثار ارسطو، سعی دارم نشان دهم که طرح چنین انتقاداتی به تعاریف ارسطویی ناشی از فهم نادرست و ناآگاهی ویتگنشتاین نسبت به نگرة "تعاریف ذاتیِ" مدنظر ارسطو است. برای دستیابی به این مطلوب از دو روش پدیدارشناسی و تحلیلی بهره خواهم برد. بررسی آثار دستاولِ فلاسفة مذکور از اولویتهای این پژوهش به شمار میآید.
انتخاب :
صفحات :
از صفحه 69 تا 96
مشخصات اثر
ثبت نظر
8
9
10
11
12
13
14
15
16
17
تعداد رکورد ها : 186
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید