Polish notation– A notational variant of logic, used by logicians such as Lukasiewicz.
phenomenal– In Kant (and post-Kantian philosophy), that which is perceived through the mind. Kant holds in the Critique of Pure Reason that all of our knowledge is of the phenomenal world; that is, that our minds imposes certain forms (notably, Space and Time) on our sensory input so that we might understand it. Contrast with noumenal.
premise– In logic, one of the given statements, axioms or assumptions in a derivation. In a valid derivation, if the premises are true, the conclusion is guaranteed to be true. (more…)