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

ترجمه ماشینی: معنا و ضرورت- مطالعه در معناشناسی و منطق مدال توسط RUDOLF C RNAP. پیشگفتار: هدف اصلی این کتاب توسعه روشی جدید برای تحلیل معنایی معنا، یعنی روشی نوین برای تحلیل و توصیف معانی عبارات زبانی است. این روش که روش بسط و تعمیم نامیده می‌شود، با تعدیل و گسترش مفاهیم عرفی خاص، به‌ویژه مفاهیم کلاس و دارایی، توسعه می‌یابد. این روش با روش‌های معنایی مختلف دیگری که در فلسفه سنتی یا نویسندگان معاصر استفاده می‌شوند، در تقابل قرار می‌گیرد. این روش‌های دیگر دارای یک مشخصه هستند. در تضاد، روش پیشنهادی در اینجا یک عبارت را می گیرد، نه به عنوان نامگذاری هر چیز، بلکه به عنوان دارای یک قصد و یک پسوند. این کتاب را شاید بتوان جلد سوم از مجموعه ای دانست که من آن را مطالعاتی در معناشناسی نامیده ام که دو جلد آن پیشتر منتشر شده است. با این حال، کتاب حاضر علم پیشینیان را پیش فرض ندارد، بلکه مستقل است. اصطلاحات معنایی استفاده شده در جلد حاضر به طور کامل در متن توضیح داده شده است. روش حاضر برای تعریف اصطلاحات L به عنوان مثال، L-true، به معنای منطقی درست، تحلیلی با روش‌هایی که در مقدمه قبلی بر معناشناسی مورد بحث قرار گرفت، متفاوت است. اکنون فکر می‌کنم روش استفاده شده در این جلد برای زبان‌هایی با ساختار نسبتاً ساده رضایت‌بخش‌تر است. پس از تحليل معنا، دومين مبحث اصلي مورد بحث در اين كتاب، منطق وجهي است، يعني نظريه ي جهات از قبيل وجوب، اقتضا، امكان، محال و غيره. نظام هاي گوناگوني از منطق وجهي توسط نويسندگان مختلف ارائه شده است. با این حال، به نظر من، ساختن یک سیستم رضایت بخش قبل از اینکه معانی روش ها به اندازه کافی روشن شود، ممکن نیست. من همچنین معتقدم که این روشن‌سازی را می‌توان با همبستگی هر یک از مفاهیم مودال با یک مفهوم معنایی واکنش‌دهنده، به عنوان مثال، ضرورت با L-truth به بهترین نحو به دست آورد. مشاهده خواهد شد که این روش همچنین منجر به روشن شدن و حذف معماهایی می شود که منطق دانان در ارتباط با مدالیته ها با آن مواجه شده اند. در پیشگفتار جلد دوم مطالعات معناشناسی، قصد خود را برای انتشار کتابی در زمینه منطق وجهی به عنوان جلد بعدی اعلام کردم که از جمله شامل سیستم‌های نحوی و معنایی است که روش‌ها را با کمی‌سازی ترکیب می‌کند. با این حال، کتاب حاضر هنوز تحقق کامل آن وعده نیست، بلکه تنها شامل تحلیل‌ها و بحث‌هایی درباره روش‌ها است، مقدماتی برای ساختن سیستم‌های مودال. خود سیستم‌ها در اینجا آورده نشده‌اند. در مقاله‌ای که در جای دیگری به کتاب‌شناسی منتشر شده است، یک حساب دیفرانسیل و انتگرال و یک سیستم معنایی را بیان کرده‌ام که روش‌ها را با کمیت‌سازی ترکیب می‌کند، و برخی از نتایج مربوط به این سیستم‌ها را خلاصه کرده‌ام. یک نمایشگاه جامع‌تر از نتایجی که قبلاً پیدا شده‌اند و آن‌هایی که هنوز پیدا نشده‌اند باید برای زمان دیگری باقی بماند. بررسی‌های منطق مودال که منجر به روش‌های توسعه‌یافته در این کتاب شد، در سال 1942 انجام شد و اولین نسخه این کتاب در 10 سال در سال 1943 در خلال مرخصی‌ای که توسط دانشگاه چیکاگو اعطا شد و توسط بنیاد راکفلر تأمین مالی شد، نوشته شد. . مایلم از هر یک از این مؤسسات برای کمک آنها تشکر کنم. پروفسور آلونزو چرچ و دبلیو وی کواین اولین نسخه را ارائه کردند و در مکاتباتی گسترده با من بحث کردند...

ترجمه ماشینی: رویکرد فلسفی این جلد عمدتاً ساختارگرایانه است و از ابزارهای منطقی برای بررسی ساختار رسمی انواع مختلف اشیاء در جهان ما استفاده می‌کند، آن‌گونه که زبان مشخص می‌کند و فلسفه نظام‌مند می‌کند. این جلد عمدتاً ویژگی‌های ساختاری مجموعه‌ها یا کثرت‌ها (با کاربرد در فلسفه نظریه مجموعه‌ها)، اشیاء همگن مانند آب، و معناشناسی و فلسفه رویدادها را تحلیل می‌کند. این کتاب در نتیجه کار جبری را تکمیل می‌کند که بر روی سایر موجودات فلسفی، یعنی گزاره‌ها، ویژگی‌ها، روابط یا موقعیت‌ها انجام شده است. این جلد که در مثلث زبان، منطق و فلسفه قرار دارد، در ترکیب منابع حوزه های مختلف در یک شرکت بین رشته ای بی نظیر است. نیمی از چهارده فصل این جلد مقالات اصلی است که مکمل مجموعه مقالات منتشر شده قبلی نویسنده در این زمینه است.

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

از مسائل کلیدی اعتقادی بعد از اثبات خداوند بحث صفات الاهی است. ابومنصور ماتریدی بنیان-گذار مکتب ماتریدیه و پیروان وی شناخت صفات الاهی را بهترین راه برای شناخت و معرفت خداوند دانسته‌اند. مسأله این پژوهش تبیین و تحلیل ابعاد گوناگون معرفت‌شناسی، هستی‌شناسی و معنا‌شناسی اسماء و صفات الاهی در اندیشه و نگرش ابومنصور ماتریدی است تا مشخص گردد که بنیان‌گذار مکتب ماتریدی با استفاده از چه مبانی و اصولی موفق به نظام‌مند ساختن آموزه‌های کلامی مکتب خویش در بحث صفات الاهی شده است. ماتریدی با تکیه بر دو رکن عقل و نقل و حفظ استقلال عقل در مباحث معرفت‌شناختی صفات الاهی، با استفاده از ادله نقلی در شناخت صفات ذاتی، عقلی و نیز صفات خبری در این مسیر گام نهاده است. در هستی‌شناسی صفات، اصل وجود صفات به مثابه اموری واقعی را می‌پذیرد و در مورد کیفیت شناخت و نیز اثبات صفات، ارزش والایی برای عقل قائل شده و از سه طریق حدوث عالَم، نفی نقص و عیب از ذات باری و ثبوت اوصاف کمالی، و تفکر در ویژگی‌های جهان آفرینش در جهت شناخت و اثبات صفات الاهی می‌کوشد. علاوه بر ادله کلی اثبات صفات، ادله عقلی و نقلی برای اثبات هر یک از صفات در جای خود محفوظ بوده و مورد استفاده وی قرار می‌گیرد. به باور ماتریدی و سایر کلام‌پژوهان پیرو وی، هرچند صفات الاهی امور واقعی و موجودند، ارتباط میان ذات با صفات بر اساس نظریه «لا هو و لا غیره» قابل تفسیر است؛ یعنی صفات نه عین ذات الاهی‌اند و نه غیر از آن. بی‌تردید ماتریدی در تبیین این نظریه، با ابهام‌ها و چالش‌های بسیار مواجه است. وی در حوزه معناشناسی صفات نیز با استفاده از نقل و عقل با تأکید بر استدلال‌های عقلانی به خصوص در حوزه صفات خبری ذاتی و فعلی می‌کوشد تا معناهایی عقل‌پذیر برای صفات الاهی ارائه دهد و در مواردی که دربردارنده متشابهات و دارای کاربردی مجازی بوده، ماتریدی ضمن دست کشیدن از ظواهر الفاظ، به تنزیه خداوند از جمیع جهات نقص، و تأویل صفات خبری بر اساس داده‌های عقلی، آیات محکم قرآنی و نظریات اهل لغت رأی می‌دهد و در مواردی تفویض و واگذاری فهم معنای صفات خبری به خدا، مختار ماتریدی و پیروان وی بوده است. نوشتار حاضر با بررسی منابع کتابخانه‌‌ای و جستجو و تتبع در آثار و منابع بنیان‌گذار مکتب ماتریدی و سایر متکلمان پیرو وی و نیز پژوهش‌های صورت گرفته در این زمینه، و گردآوری داده‌‌ها و تحلیل آن‌ها به روش توصیفی‌تحلیلی، به نگارش در آمده است.