Exact Philosophy: Problems, Tools, and Goals

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

The papers that follow were read and discussed at the first Symposium on Exact Philosophy. This conference was held at Montreal on November 4th and 5th, 1971, to celebrate the sesquicentennial of McGill University and establish the Society for Exact Philosophy. The expression 'exact philosophy' is taken to signify mathematical phi­ losophy, i.e., philosophy done with the explicit help of mathematical logic and mathematics. So far the expression denotes an attitude rather than a fully blown discipline: it intends to convey the intention to try and pro­ ceed in as exact a manner as we can in formulating and discussing phi­ losophical problems and theories. The kind of philosophy we wish to practice and promote is disciplined rather than wild, systematic rather than disconnected, and capable of being argued over rather than oracular. We believe that even metaphysics, notoriously riotous, can be subjected to the control of logic and mathematics. Even the history of philosophy, notoriously unsystematic, can benefit from an exact reconstruction of some classical ideas.