formal logic

Also found in: Dictionary, Medical, Legal, Encyclopedia, Wikipedia.
Related to formal logic: symbolic logic
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Synonyms for formal logic

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

References in periodicals archive ?
Improve SQL facilities making possible to negate a where clause if we keep in mind the formal logic rules [StackOverflow, 2016,]:
Kant was the first thinker to see that the presupposition of this unity of formal logic and being was a subreption.
In the history of human culture, initially the square of opposition was invented and used as a tool for formal logic analysis of thinking and as a handy pedagogical means (visual model) for teaching logic (Correia, M.
The maxims cover "the technical difficulties of the subject of intelligence, to some unhelpful psychological predispositions stemming from the oddities of formal logic, and the practicalities of computer model building.
Although written in the language of formal logic including proofs of theorems, the book is written at a level intended to be accessible to high school students, and gives some space to gently introducing the concept and method of proofs.
It's an attractively compact, modest work in which ideas progress with a formal logic that helps the listener anticipate what is coming next.
Taking these tasks upon ourselves, we shall mention the case of the deontic systems or algebras, as a starting point in finding out a solution which, we think, will throw light upon the status of principles in formal logic toto genere.
One regularly-encountered issue in digital image quality is, of course, pixilation, whereby, because of whatever technological glitch, the formal logic of the digital image's underlying grid format comes through and distorts it.
Invoking the Bergsonian notion of a pure perception that would extend beyond every form given to human comprehension, as well as the Deleuzian principle of subtraction which would suspend subjective relationality in favour of the machinic impersonality of the nonhuman, Bewes constructs the concept of freedom as a thought-perception liberated from the formal logic of shame.
The interest also shifted from formal logic (syllogisms) to semantical concerns.
The languages of formal logic are sufficient for studying the world-time parallel.
For example, his 1990 National Medal of Science citation says, among other things, "the application of mathematical logic to computer programs that use commonsense knowledge and reasoning"; his Franklin Institute Award says: "key developments in the application of formal logic to common sense reasoning.
The syntax and semantics of formal logic are presented but with almost no mention of the role deduction systems play in constructing proofs (even though Godel's completeness and incompleteness results touch primarily on deducibility).
Specifically, the author uses the formal logic Ludwig Wittgenstein charted out in the Tractatus logico-philosophicus to show that while Josef K.
Full browser ?