Formal Ontology

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

Formal ontology combines two ideas, one originating with Husserl, the other with Frege: that of ontology of the formal aspects of all objects, irrespective of their particular nature, and ontology pursued by employing the tools of modern formal disciplines, notably logic and semantics. These two traditions have converged in recent years and this is the first collection to encompass them as a whole in a single volume. It assembles essays from authors around the world already widely known for their work in formal ontology, and illustrates that through the application of formal methods the ancient discipline of ontology may be put on a firm methodological basis. The essays not only illuminate the nature of ontology and its relation to other areas, in language, logic and everyday life, but also demonstrate that common issues from the analytical and phenomenological traditions may be discussed without ideological barriers.
Audience: advanced students of and specialists in philosophy, linguistics, cognitive science, computer science, database engineering.