مرور درختی موضوعات | کتابخانه مجازی الفبا

مرور درختی موضوعات | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
منطق این همانی منطق تکلیف Deontic Logic (منطق بررسی مفاهیم هنجاری ) منطق شناختی منطق گزاره ها منطق محمولها منطق مرتبه دوم منطق موجهات
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
نظر دامت درباره موضوعات انتزاعی [کتاب انگلیسی]
نویسنده:
George Duke
نوع منبع :
کتاب
منابع دیجیتالی :
وضعیت نشر :
Palgrave Macmillan,
چکیده :
ترجمه ماشینی: این ارزیابی انتقادی مبتنی بر اطلاعات تاریخی از شرح دامت از اشیاء انتزاعی، برخی از پیش‌فرض‌های فرگه‌ای شرح دامت را به تفصیل بررسی می‌کند و در عین حال با رویکردهای پدیدارشناختی و کار اخیر در مورد مسئله موجودیت‌های انتزاعی نیز درگیر می‌شود.
فرگه درباره حقیقت مطلق و نسبی: درآمدی بر تمرین تفسیر متون فلسفی [کتاب انگلیسی]
نویسنده:
Ulrich Pardey (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Palgrave Macmillan UK,
نمادهای فرگه: چه هستند و چه معنایی دارند [کتاب انگلیسی]
نویسنده:
Gregory Landini (auth.)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Palgrave Macmillan UK,
سخنرانی آشنایی با فلسفه های مدرن (فرگه)
سخنران:
سعیده معصومی
نوع منبع :
صوت , سخنرانی , درس گفتار،جزوه وتقریرات
منابع دیجیتالی :
منطق پیوسته
نویسنده:
سید محمد امین خاتمی؛ مسعود پورمهدیان
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطق‌ِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان می‌کنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرم‌های مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطق‌های پیوسته‌ مبتنی بر منطق‌هایی مثل منطق گودل و حاصل‌ضربی می‌انجامد. در انتها به بررسی بعضی از خواص این منطق‌ها از جمله خاصیت فشردگی خواهیم پرداخت
صفحات :
از صفحه 65 تا 106
 	 راه حلی بر اساس منطق خطی به نفع دیدگاه واقع گرایی علمی در مساله تمایز هستومند‌های مشاهده پذیر و مشاهده ناپذیر
نویسنده:
محمد شفیعی؛ آرام باتوبه
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
توانایی کشیدن خط تمایز دقیق بین هستومند‌های مشاهده‌پذیر و مشاهده‌ناپذیر در نظریه‌های علمی به عنوان موضوعی مورد مناقشه در بین دو دیدگاه مخالف واقع‌گرایی علمی و پادواقع‌گرایی هنوز یکی از موضوعات باز در فلسفه علم می‌باشد. یکی از استدلال‌هایی که به نفع واقع‌گرایان ارائه شده است مدعی است که نمی توان علی‌الاصول خط تمایزی بین این هستومند‌ها کشید. از طرف دیگر پذیرش انسجام دیدگاه پادواقع‌گرایی به نوعی مستلزم پذیرش تمایز بین هستومند‌های مشاهده‌پذیر و نامشاهده‌پذیر می‌باشد. اگر به هر وسیله‌ای این تمایز به صورت اصولی رد شود نتیجه آن عدم انسجام دیدگاه پادواقع‌گرایی خواهد بود. پادواقع‌گرایان برای دفاع از انسجام دیدگاه خود مبهم بودن مفاهیم مشاهده‌پذیر و مشاهده‌ناپذیر را مطرح می‌کنند. در این نوشتار تلاش خواهیم کرد تعبیری از منطق خطی را معرفی نماییم که با به کار بردن آن می‌توان وضوح بیشتری به محل نزاع بین واقع‌گرایان با پادواقع‌گرایان در مورد ناسازنمای ابهام بخشید. نشان خواهیم داد که اگر تعبیر مورد نظر در ناسازنمای ابهام به کار گرفته شود به صورت منسجم تری می توان ادعا کرد که بر خلاف نظر پادواقع‌گرایان مبهم بودن مفاهیم مشاهده‌پذیر و مشاهده‌ناپذیر به نفع دیدگاه آنها نخواهد بود.
صفحات :
از صفحه 107 تا 123
درباب واقعیت‌های منطقی: واقع‌گرایی دربارۀ رابطۀ نتیجۀ منطقی
نویسنده:
محمدمحسن حائری؛ داود حسینی
نوع منبع :
مقاله , نمایه مقاله
وضعیت نشر :
تهران: منطق پژوهی,
چکیده :
به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطۀ نتیجۀ منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث دربارۀ متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقع‌گرا عموماً فرض کرده‌اند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کرده‌ایم که با فرض اینکه موضوع منطق رابطۀ نتیجۀ منطقی باشد، چگونه می‌توان درباب منطق واقع‌گرا بود. این الگوها الهام گرفته از راه‌حل‌هایی هستند که در ذیل مسئلۀ متافیزیک رابطه‌ها در تاریخ متافیزیک مطرح شده‌اند
صفحات :
از صفحه 24 تا 64
کاش دفترچۀ خاطرات فرگه پیدا نمی‌شد
نویسنده:
ری مانک
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
وب‌سایت ترجمان ,
ن‍ظری‍ه‌ ت‍وص‍ی‍ف‍ات‌ راس‍ل‌ و م‍ش‍ک‍ل‌ ج‍ان‍ش‍ی‍ن‍ی‌ در م‍ت‍ون‌ گ‍رای‍ش‍ه‍ای‌ ق‍ض‍ی‍ه‌ای‌
نویسنده:
محمد علی ع‍ب‍اس‍ی‍ان‌چ‍ال‍ش‍ت‍ری‌
نوع منبع :
مقاله
منابع دیجیتالی :
وضعیت نشر :
نامه مفید,
چکیده :
هر نظریه معنایى جامعى که متکفل تحلیل و تبیین توصیفات معرفه، مانند «نویسنده بوستان» و «رئیس جمهور ایران»، در جمله‏هاى زبان طبیعى است، علاوه بر این که باید بتواند تحلیل معنایى درستى از جمله هایى مانند «نویسنده بوستان شاعر است» و «رئیس جمهور ایران عاقل است» ارائه دهد، باید بتواند به شایستگى نیز از عهده مشکل مربوط به این گونه جمله‏ها، یعنى مشکل جمله‏هاى مشتمل بر توصیفات معدوم، نظیر «پادشاه فرانسه طاس است» و «مربع مستدیر مستدیر است»، بر آید. همچنین علاوه بر این که آن نظریه باید از کفایت لازم براى تبیین و تحلیل توصیفات معرفه، در جمله‏هاى گرایش‏هاى قضیه‏اى، نظیر «حسن اعتقاد دارد که نویسنده بوستان شاعر است» و «درباره رییس جمهور ایران، حسن اعتقاد دارد که او عاقل است»، برخوردار باشد، باید بتواند به نحو رضایت بخشى نیز مشکل مربوط به آنها، یعنى «مشکل جانشینى» عبارات هم ارزش را در آن جمله‏ها نظیر سلسله جمله‏هاى: الف - «حسن اعتقاد دارد نویسنده بوستان شاعر است»، ب - «نویسنده بوستان نویسنده گلستان است»، ج - «حسن اعتقاد دارد نویسنده گلستان شاعر است»، حل نماید. راسل مدعى است، نظریه تسویرى او از توصیفات معرفه کفایت و توانایى لازم را براى تحلیل و تبیین درست همه آن جمله‏ها، و همچنین حل دو مشکل پیرامون آنها، دارا مى‏باشد. در این مقاله خواهیم دید که ادعاى راسل در مورد جمله‏هاى گرایشى و مشکل مربوط به آنها، یعنى «مشکل جانشینى»، ادعایى نادرست است.