Concept
Boolean expression
Overview
In computer science, a Boolean expression (also known as logical expression) is an expression used in programming languages that produces a Boolean value when evaluated. A Boolean value is either true or false. A Boolean expression may be composed of a combination of the Boolean constants True/False or Yes/No, Boolean-typed variables, Boolean-valued operators, and Boolean-valued functions.
Boolean expressions correspond to propositional formulas in logic and are associated to Boolean circuits.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
(2) Logic is the study of thought pure and simple, or of the pure thought-forms. In the ordinary sense of the term, by thought we generally represent to ourselves something more than simple and unmixed thought; we mean some thought, the material of which is from experience.
Georg Wilhelm Friedrich Hegel, The Logic of Hegel
States what Boolean expression is.
The idea of a number is also enlarged. These letters, standing for any numbers, are called sometimes variables and sometimes parameters. Their essential characteristic is that they are undetermined, unless, indeed, the algebraic conditions which they satisfy implicitly determine them. Then they are sometimes called unknowns.
Alfred North Whitehead, The organisation of thought, educational and scientific
States what Boolean expression is.
The chief business of the logician is to classify arguments; for all testing clearly depends on classification. The classes of the logicians are defined by certain typical forms called syllogisms. For example, the syllogism called _Barbara_ is as follows: S is M; M is P: Hence, S is P. Or, to put words for letters— Enoch and Elijah were men; all men die: Hence, Enoch and Elijah must have died.
Charles S. Peirce, Chance, Love, and Logic
States what Boolean expression is.
Philosophers who discussed Boolean expression
Related ideas
Place in the tradition
Part of Outline of logic.