formal logic


Also found in: Thesaurus, Medical, Legal, Encyclopedia, Wikipedia.
Related to formal logic: symbolic logic

formal logic

n.
The study of the properties of deductive reasoning over propositions by abstraction and analysis of the form, rather than the content, of the propositions.

formal logic

n
1. (Logic) Also called: symbolic logic the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions. Compare philosophical logic
2. (Logic) a specific formal system that can be interpreted as representing a fragment of natural argument
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.formal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validityformal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
logical system, system of logic, logic - a system of reasoning
Boolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers
propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts
fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
References in classic literature ?
When viewed in the light of formal logic, there is not one thing of which to be ashamed; but nevertheless a shame rises within me at the recollection, and in the pride of my manhood I feel that my manhood has in unaccountable ways been smirched and sullied.
It uses formal logic to encode the deep lexical semantics of the full breadth of psychological words and phrases, providing fourteen hundred axioms of first-order logic organized into twenty-nine commonsense psychology theories and sixteen background theories.
Known as the founder of formal logic as well as his pioneering study of zoology, which ancient Greek philosopher and scientist was born in Stagira in 384 BC?
In this history of logic for undergraduate students with little or no background in formal logic, each chronological chapter focuses on one important figure or school of thought.
Basel Abbas and Ruanne Abou-Rahme's exhibition "And yet my mask is powerful" followed the same formal logic the artists honed in their three-part project The Incidental Insurgents, 2011-15, which combined a range of reference points--from Jean-Luc Godard to Victor Serge and Roberto Bolano--into an archive assemblage and film installation.
A cornerstone of the development of functional type systems was the connection between proof systems, in formal logic, and programming languages.
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming.
Kant was in fact the first to show that any ontology that endeavors to undertake an immediate translation of formal logic into a doctrine of being exercises--in Kant's terms--the determining power of judgment, but without restricting its use to the spatiotemporal manifold provided by intuition, which produces nothing but empty thoughts.
In a central statement, Raman describes the inevitability of the Sidney-Descartes connection: "If, for Descartes, geometrical construction converts the formal logic of algebraic analysis into an intuitive grasp of truth akin to divination, the turn inward to the heart in this sonnet [by Sidney] likewise achieves a re-vision; it changes the very mode of seeing: from the observation of a series of mechanical movements between causes and effects into an almost vatic insight into the totality of their deeper, underlying connectedness" (236).
From these assumptions and previously established results, the desired result may be deduced through an application of formal logic (proof by induction is an exception).
TWO-VALUED ALGEBRA OF FORMAL ETHICS OF MORAL RIGOR AS A FUNDAMENTAL GENERALIZATION OF THE CLASSICAL ALGEBRA OF FORMAL LOGIC
It is fair to say that relational theory is the only solid framework for establishing a rational expression of data that falls anywhere inside the boundaries of formal logic.

Full browser ?