Logic, or, The art of thinking: being the Port-Royal logic