The Port-Royal Logic by