Doing Worlds with Words: Formal Semantics without Formal Metaphysics

انجام دنیاها با کلمات مسئله معنا را به عنوان نقطه تلاقی زبان‌شناسی، منطق و فلسفه روشن می‌کند و امکانات و محدودیت‌های روشن کردن ماهیت معنا را با استفاده از منطق صوری ارزیابی انتقادی می‌کند. ، نظریه مدل و معناشناسی مدل-نظری. هدف اصلی کتاب نشان دادن این است که درک نظریه مدل به صورت متافیزیکی اشتباه است و بنابراین سعی می شود معناشناسی رسمی را بر چیزی مانند متافیزیک صوری استوار کند. در عوض، کتاب بیان می‌کند که نظریه مدل و ابزارهای مشابه تحلیل زبان باید به‌عنوان تسخیر ساختار معنایی مرتبط، به‌ویژه استنتاجی، زبان درک شود. از این نقطه نظر، خواننده به بسیاری از مفاهیم و مسائل سنتی منطق و فلسفه زبان، مانند معنا، مرجع، حقیقت و ماهیت منطق صوری، نور جدیدی می‌یابد.

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic.