(philosophy) A 20th-century school of philosophy which held that all knowledge is based on logical inferences from empirical observations.

(logic) A truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication.

(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

(mathematics) A form of reasoning, derived from fuzzy set theory, whereby a truth value need not be exactly zero (false) or one (true), but rather can be zero, one, or any value in between.

A system of quotation in which terminal punctuation marks are enclosed within a quotation only if the sense of the punctuation is part of the original material being quoted.

(computer science) Model of computation based on combinators.

(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

(philosophy) The doctrine that the world consists of ultimate logical "facts" (or "atoms") that cannot be broken down any further.

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

A device used to test and diagnose digital electronic systems.