The structure of ideas in The Port Royal Logic

این مقاله به درجه ای که منطق پورتال سلطنتی جبر بولی را پیش بینی می کند، اشاره می کند. به گفته مارک دومینیتس، بهترین بازسازی یک جبر خاصی از خواص کارنابین است که توابع از دنیاهای احتمالی به پسوند هاست. بازسازی سیلویون اوروک تقریبا یک شبکه محدود غیر تکمیل شده است. در این مقاله استدلال می شود که جبر شبکه را به الگوریتم پورت رویال می خوانیم. درست است که منطق پسوندها مانند مجموعه ها را پردازش می کند، ایده های سفارش را تحت یک رابطه مهارتی قرار می دهد و عملیات ذهنی انتزاع و محدودیت را به وجود می آورد. همچنین گونه ها را در یک نسخه از درخت پورفیری اداره می کند و اجازه می دهد که جنس ها با تقصیر خصوصی تقسیم شوند. اما، هیچ ایده حداکثر یا حداقل وجود ندارد. یون باینری نیست نه انتزاع و نه محدودیت بسته شده است. بنابراین، ایده هایی که تحت محدودیت قرار دارند، یک شبکه را تشکیل نمی دهند. خصوصیات رسمی مربوط به شبکه های مورد بحث نیز وجود ندارد. نفی حکم خصوصی است، نه عملیات تکمیل. ایده های فنی مرتبط با بحث تعریف شده است. هدف منطق در توصیف ساختار، توسعه ی جبر در معنای مدرن نبود بلکه ایجاد مبنایی جدید برای معنایی زبان ذهنی بود که با متافیزیک دکارتی سازگار بود. این حساب جبری نبود، اما متافیزیکی و روانشناختی، بر اساس مفهوم درک، یک نسخه دکارتی از عصر قرون وسطایی بود.