Formal Semantics & Philosophical Logic (FSPL)