Robust Reality: An Essay in Formal Ontology

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

Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only viable formal logic; rejection of correspondence theories of truth; a view of existence as something expressed by the existential quantifier; and a metaphysics that doesn’t give the world as a whole its due. This book seeks to offer an alternative analytic theory, one that provides a unified account of what there is, how we speak about it, the underlying logic of our language, how the truth of what we say is determined, and the central role of the real world in all of this. The result is a robust account of reality. The inspiration for many of the ideas that constitute this overall theory comes from such sources as Aristotle, Leibniz, Ryle, and Sommers.