(Logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressivepower of formal logics and the deductive power of formal proof systems.
Find another word for symbolic-logic. In this page you can discover 2 synonyms, antonyms, idiomatic expressions, and related words for symbolic-logic, like: formal-logic and mathematical-logic.
In quantitative judgments we may think x = y, or, as Boolero oses x = v ° p p y = - ° y, or, as Jevons proposes, x = xy, or, as Venn proposes, x which is not y=o; and equational symbolic logic is useful whenever we think in this quantitative way.
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.