Talk:The Cartesian Semantics of the Port Royal Logic