Logic of Friedrich Castillon