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

ترجمه ماشینی: این ارزیابی انتقادی مبتنی بر اطلاعات تاریخی از شرح دامت از اشیاء انتزاعی، برخی از پیش‌فرض‌های فرگه‌ای شرح دامت را به تفصیل بررسی می‌کند و در عین حال با رویکردهای پدیدارشناختی و کار اخیر در مورد مسئله موجودیت‌های انتزاعی نیز درگیر می‌شود.

به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این مقاله ابتدا دلایلی ارائه خواهیم کرد که نشان دهد که بهتر است که موضوع علم منطق را رابطۀ نتیجۀ منطقی بدانیم و نه صدق منطقی. آنگاه دلایلی ارائه می کنیم تا نشان دهیم که چرا بحث دربارۀ متافیزیک منطق اهمیت دارد. در متافیزیک منطق، نظریات واقع‌گرا عموماً فرض کرده‌اند که موضوع علم منطق صدق منطقی است.در تقابل با این رویکرد غالب، الگوهایی ارائه کرده‌ایم که با فرض اینکه موضوع منطق رابطۀ نتیجۀ منطقی باشد، چگونه می‌توان درباب منطق واقع‌گرا بود. این الگوها الهام گرفته از راه‌حل‌هایی هستند که در ذیل مسئلۀ متافیزیک رابطه‌ها در تاریخ متافیزیک مطرح شده‌اند

توانایی کشیدن خط تمایز دقیق بین هستومند‌های مشاهده‌پذیر و مشاهده‌ناپذیر در نظریه‌های علمی به عنوان موضوعی مورد مناقشه در بین دو دیدگاه مخالف واقع‌گرایی علمی و پادواقع‌گرایی هنوز یکی از موضوعات باز در فلسفه علم می‌باشد. یکی از استدلال‌هایی که به نفع واقع‌گرایان ارائه شده است مدعی است که نمی توان علی‌الاصول خط تمایزی بین این هستومند‌ها کشید. از طرف دیگر پذیرش انسجام دیدگاه پادواقع‌گرایی به نوعی مستلزم پذیرش تمایز بین هستومند‌های مشاهده‌پذیر و نامشاهده‌پذیر می‌باشد. اگر به هر وسیله‌ای این تمایز به صورت اصولی رد شود نتیجه آن عدم انسجام دیدگاه پادواقع‌گرایی خواهد بود. پادواقع‌گرایان برای دفاع از انسجام دیدگاه خود مبهم بودن مفاهیم مشاهده‌پذیر و مشاهده‌ناپذیر را مطرح می‌کنند. در این نوشتار تلاش خواهیم کرد تعبیری از منطق خطی را معرفی نماییم که با به کار بردن آن می‌توان وضوح بیشتری به محل نزاع بین واقع‌گرایان با پادواقع‌گرایان در مورد ناسازنمای ابهام بخشید. نشان خواهیم داد که اگر تعبیر مورد نظر در ناسازنمای ابهام به کار گرفته شود به صورت منسجم تری می توان ادعا کرد که بر خلاف نظر پادواقع‌گرایان مبهم بودن مفاهیم مشاهده‌پذیر و مشاهده‌ناپذیر به نفع دیدگاه آنها نخواهد بود.

منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطق‌ِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان می‌کنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرم‌های مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطق‌های پیوسته‌ مبتنی بر منطق‌هایی مثل منطق گودل و حاصل‌ضربی می‌انجامد. در انتها به بررسی بعضی از خواص این منطق‌ها از جمله خاصیت فشردگی خواهیم پرداخت

هر نظریه معنایى جامعى که متکفل تحلیل و تبیین توصیفات معرفه، مانند «نویسنده بوستان» و «رئیس جمهور ایران»، در جمله‏هاى زبان طبیعى است، علاوه بر این که باید بتواند تحلیل معنایى درستى از جمله هایى مانند «نویسنده بوستان شاعر است» و «رئیس جمهور ایران عاقل است» ارائه دهد، باید بتواند به شایستگى نیز از عهده مشکل مربوط به این گونه جمله‏ها، یعنى مشکل جمله‏هاى مشتمل بر توصیفات معدوم، نظیر «پادشاه فرانسه طاس است» و «مربع مستدیر مستدیر است»، بر آید. همچنین علاوه بر این که آن نظریه باید از کفایت لازم براى تبیین و تحلیل توصیفات معرفه، در جمله‏هاى گرایش‏هاى قضیه‏اى، نظیر «حسن اعتقاد دارد که نویسنده بوستان شاعر است» و «درباره رییس جمهور ایران، حسن اعتقاد دارد که او عاقل است»، برخوردار باشد، باید بتواند به نحو رضایت بخشى نیز مشکل مربوط به آنها، یعنى «مشکل جانشینى» عبارات هم ارزش را در آن جمله‏ها نظیر سلسله جمله‏هاى: الف - «حسن اعتقاد دارد نویسنده بوستان شاعر است»، ب - «نویسنده بوستان نویسنده گلستان است»، ج - «حسن اعتقاد دارد نویسنده گلستان شاعر است»، حل نماید. راسل مدعى است، نظریه تسویرى او از توصیفات معرفه کفایت و توانایى لازم را براى تحلیل و تبیین درست همه آن جمله‏ها، و همچنین حل دو مشکل پیرامون آنها، دارا مى‏باشد. در این مقاله خواهیم دید که ادعاى راسل در مورد جمله‏هاى گرایشى و مشکل مربوط به آنها، یعنى «مشکل جانشینى»، ادعایى نادرست است.