جستجوي پيشرفته | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
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,<,+,.) )بهطور چندجملهای کراندار است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
قواعد پذیرفتنی در منطق گبی-دیانگ
نویسنده:
آمنه پیرمرادی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق ریاضی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق میانی
,
خاصیت تفکیک پذیری
,
قوانین پذیرفتنی
,
منطق گبی-دیانگ
چکیده :
در این پایاننامه قواعد پذیرفتنی منطقهای میانی را مطالعه کرده و نتایج کلی برای توسیعهای مدلها و مجموعهی فرمولها را ارائه میکنیم. این نتایج کلی برای بدست آوردن پایهای برای قواعد پذیرفتنی منطقهای گبی-دیانگ و نشان دادن اینکه این منطقها تایپ یکسانسازی متناهی دارند بکار برده میشود آنگاه یک الگوریتم براساس تفکیک و تابلوها ارائه میکنیم که قادر است تصویری بودن یک فرمول در منطق شهودی گزارهای را بررسی نماید
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
وجود محمولی در منطق آزاد و نتایج فلسفی آن
نویسنده:
رضا تقیزاده نائینی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
وجود محمولی
,
تعهد وجودی
,
فلسفه وجودی
,
روش لامبرت
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق محمولها
,
منطق آزاد
چکیده :
- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
واکاویِ ملاک های احتمالاتی در استنتاج بهترین تبیین
نویسنده:
سیدمحمدمهدی اعتمادالاسلامی بختیاری ؛ میرسعید موسوی کریمی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
تبیین (منطق)
,
احتمال (منطق)
,
تایید (منطق)
,
استنتاج از راه بهترین تبیین(اصطلاح وابسته)
,
منطق جدید
,
منطق کلاسیک
,
استنتاج بهترین تبیین
,
بیز
,
مزیتهای تبیینگر
چکیده :
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیهای که بهترین تبیین را برای پدیدههای در دستِ بررسی ارائه میدهد، احتمالاً صادق است. یکی از مهمترین چالشهای پیش روی این نحوۀ استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاکهای انتخاب بهترین تبیین، موسوم به مزیتهای تبیینگر، محتملترین تبیین- یعنی تبیینی که نسبت به دیگر تبیینهای رقیب از احتمال صدق بیشتری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاکهای احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیقتر، در پی آنیم که چنانچه ضابطههای احتمالاتیِ ارائه شده برای ارزیابیِ فرضیههای تبیینگر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتملترین تبیین به دست آید؟ در این راستا، ملاکهای احتمالاتیِ مرتبط با IBE را در سه دستۀ ملاکهای معطوف به قضیۀ بیز، ملاکهای معطوف به نظریۀ تأیید و ملاکهای معطوف به مزیتهای تبیینگر بررسی میکنیم. این واکاوی نشان میدهد که هیچیک از ضابطههای ارائه شده از پس تحدید بهترین تبیین - به گونهای که محتملترین تبیین را به دست دهد- بر نمیآیند.
انتخاب :
صفحات :
از صفحه 25 تا 48
مشخصات اثر
ثبت نظر
عنوان :
نظریههای عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
دامغان: دانشگاه دامغان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
علم ریاضی
,
منطق ریاضی
,
مدلهای کریپکی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق شهودگرا Intuitionistic Logic
,
منطق مرتبه اول شهودی
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
اثباتی از تمامیت برای منطق مرتبه اول پیوسته
نویسنده:
الهام حیدرزاده
نوع منبع :
رساله تحصیلی
وضعیت نشر :
اصفهان: دانشگاه صعنتی اصفهان,
زبان :
فارسی
کلیدواژههای اصلی :
منطق مرتبه اول
,
قضیه تمامیت
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ای پیوسته
,
منطق گزارهای لوکاسویچ
,
منطق مرتبه اول پیوسته
چکیده :
هدف اصلی این پایاننامه بررسی مجموعهای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده میشود که در منطق مرتبه اول پیوسته مجموعهای از فرمولها (تماماً) قابلارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه میشود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا میکند، که بنابر آن ΣΙ=φ اگر و تنها اگرn-2--ΣΙ-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان میکند که اگرΣΙ=φ، بنابراین اثباتهای متناهی از Σ میتوانند تقریبهای دلخواهی از درستی φ را بدست دهد. بهعلاوه مسئلهای متفاوت که در نظریه مدل بهطور سنتی مطرح میشود یعنی تصمیمپذیری را بررسی میکنیم. از تمامیت منطق مرتبه اول پیوسته حاصل میشود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارشپذیر بازگشتی) تصمیمپذیر است.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
دلالت شناسی ضمایر اشاره ای مرکب مسائل و رویکردها
نویسنده:
محمد یزدانی ؛ علیرضا دست افشان
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
تهران: منطق پژوهی,
زبان :
فارسی
کلیدواژههای اصلی :
دلالت شناسی
,
منطق جدید
,
منطق کلاسیک
,
ضمایر اشاره ای مرکب
,
تئوری دلالت مستقیم
,
دیدگاه تسویری (منطق)
,
محتوا و مدلول
چکیده :
ضمایر اشارهای مرکب عباراتی پرکاربرد به شکل «آن ب» و حاصل ترکیب یک ضمیر اشارهای و یک عبارت اسمی ساده یا مرکب هستند. در مورد رفتار سمانتیکی این عبارات دو تئوری غالب وجود دارد: یکی دیدگاه دلالت مستقیمی و دیگری دیدگاه تسویری. مبتنیبر اولی، ضمیر اشارهای مرکب یک حد مفرد است و محتوای آن در کاربرد اشارهای یک فرد است و گرچه عبارت اسمی مندرج در آن در تعیین مدلول ضمیر سهیم است اما در محتوای جمله سهمی ندارد. امّا دومی، با آنها رفتاری مشابه سورها میکند، و مبتنیبر آن ضمایر اشارهای مرکب یک نسبت دو موضعی میان صفات را در گزارهی بیان شده توسط جمله حاوی ضمیر به اشتراک میگذارند. این تئوری مدعی توجیه همۀ اقسام کاربردهای این ضمایر از جمله، اشارهای، NDNS، QI، متغیر-پایبند و آنافورا میباشد. لذا حامیان این تئوری، انتقاداتی به واسطۀ این کاربردها به تئوری دلالت مستقیم وارد میکنند. اما قائلان تئوری دلالت مستقیم علاوه بر پاسخ به انتقادات، مسائلی را با استفاده از کاربردهای مزبور در متون وجهی و دیگر متون برعلیه دیدگاه تسویری طرح میکنند که میتواند این دیدگاه را دچار مشکلاتی اساسی کند. رویهمرفته، به نظر میرسد تئوری دلالت مستقیم در مواجهه با ضمایر اشارهای مرکب تبیین شهودیتر و منسجمتری ارائه میدهد.
انتخاب :
صفحات :
از صفحه 99 تا 131
مشخصات اثر
ثبت نظر
عنوان :
استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
زبان :
فارسی
کلیدواژههای اصلی :
استلزام منطقی
,
مجموعه های فازی
,
علم ریاضی
,
منطق ریاضی
,
نظریه مجموعه های فازی
,
منطق جدید
,
منطق کلاسیک
,
منطق غیر کلاسیک (منطق های توسعه یافته)
,
منطق فازی
,
استدلال تقریبی معکوس
چکیده :
نظریه مجموعههای فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینههای مختلف پیدا کرده است . مجموعههای فازی نظریهای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیمگیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس میپردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t همنرمها و عملگرهای مربوط به مجموعههای فازی میپردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه مینماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح میشود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی میشود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی میکنند در فصل سوم مفصلا به آنها میپردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی میشوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست میآورند بررسی شدهاند.
انتخاب :
مشخصات اثر
ثبت نظر
عنوان :
صدق گزارههای تحلیلی از نظر فرگه
نویسنده:
سارا عیدیزاده
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
زبان :
فارسی
کلیدواژههای اصلی :
عینیت
,
مفهوم
,
گزاره های تحلیلی
,
منطق گرایی
,
صدق قضایای تحلیلی
,
منطق جدید
,
منطق کلاسیک
,
منطق گزاره ها
,
صدق گزاره های تحلیلی
چکیده :
یکی از اساسیترین پرسشهای فیلسوف- ریاضیدانان «چیستی عدد» است، و شاید با اهمیت-ترین پرسش فیلسوف تحلیلی زبان پرسش «صدق» و «صادق بودن گزاره ها». فرگه هم به عنوان فیلسوف-ریاضیدان، و هم در مقام فیلسوف تحلیلی زبان هر دو پرسش را مهم و اساسی میداند و در کتاب خود مبانی علم حساب به تفصیل به آنها میپردازد. به پرسش اول، یعنی چیستی عدد گاهی در حوزه معرفت شناسی، گاهی در حوزه زبانی، منطقی و فلسفه تحلیلی زبان می پردازند، و گاهی هم این پرسش را به حوزۀ ریاضیات صرف میبرند و آنجا بدان پاسخ میدهند. فرگه فهم چگونگی صدق گزارههایی که عدد در آنها بکار رفته را در گرو فهم ماهیت عدد و چیستی آن میداند. به نظر او عدد و تعریف آن مربوط به حوزه تحلیل زبانی و منطقی است، و پرسش راهبر ما به ماهیت عدد عبارت است از اینکه «عدد به چه چیزی نسبت داده می شود؟». به ادعای فرگه عدد به یک «مفهوم» نسبت داده می-شود، اما نه مفهوم به مثابه واژهای انتزاعی. در خصوص صدق نیز، نظر فرگه این است که صدق امری است مربوط به قلمرو «عینیت»، یعنی آنجا که صدق نه فیزیکی است و نه روانشناختی و ذهنی، عینیت قلمرو سومی است که جایگاه صدق در آن قلمرو است.
انتخاب :
مشخصات اثر
ثبت نظر
1
2
3
4
5
6
7
8
9
10
11
12
تعداد رکورد ها : 114
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت
×
ارسال نظر
نوع
توضیحات
آدرس پست الکترونیکی
کد امنیتی
*
*
با موفقیت به ثبت رسید