The field of philosophy designed to create new analytical tools. They aim to replace or reconstruct: Logical Connectives Rules of Inference Fields Issues with Modus Ponens