There is mathematics in it, but it's not just mathematics; it was originated, and is still used in areas like AI, as an attempt to formalize thought, i.e. a kind of formal philosophy. A good portion of the foundational work was done by philosophers (e.g. Frege, Russell), and a lot of current work (especially in modal logic) is done by philosophers as well.