A treatment of formal logic in which a system of symbols is used to represent quantities and relationships.
A modern type of formal logic using special symbols for propositions, quantifiers, and relationships among propositions and concerned with the elucidation of permissible operations upon such symbols.
Symbolic logic is a type of logic that uses mathematical and philosophical symbols to show quantities and relationships.
An example of symbolic logic is a philosophy professor using symbols to provide examples of a series of relationships during a class lesson.
(logic) Synonym for mathematical logic (obsolescent)
Other Word Forms
Symbolic-logic Sentence Examples
Hamilton's significance for the history of logic lies in the stimulus that he gave to the development of symbolic logic in England by his new analytic based upon his discovery or adoption of the principle of the quantification of the predicate.
The future of symbolic logic as coherent with the rest of logic, in the sense which the word has borne throughout its history seems to be bound up with the question of the nature of the analysis that lies behind the symbolism, and of the way in which this is justified in the setting of a doctrine of validity.