Logical paradigm