formal logic


Also found in: Thesaurus, Medical, 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.
Recognizing that factual observations such as "the sun rises every day" and "the earth rotates daily on its axis" can be reconciled once they are properly situated, Puntel proposes a philosophical research program that systematically compares and orders theoretical frameworks with the goal of articulating (in the language of formal logic) the most comprehensive framework yet achievable.
Vorobej (philosophy and peace studies, McMasters U., Canada) presents a textbook for an upper-level, one-semester course for students who have had at least one prior course in something like argumentation theory, critical thinking, formal logic, or informal logic.
There were collages lying around that he used to develop the images for the paintings, cutup car ads that he reassembled according to his peculiar formal logic. I don't know how long he'd been painting the cars, but it felt like he really knew what he was doing.
The rules of inference that formal logic is concerned with fall under the former category because of their permissive character, only specifying what inferential steps are allowed at a given stage of inquiry.
Working at the intersection of formal logic, linguistics, and philosophy, Linhares-Dias addresses the function of the class of linguistic expressions used to relate utterances to the spatio- temporal co-ordinates of the act of utterance, a longstanding issue originating in narrative theory.
Opposed to this is the traditional view that even a formal logic can be cognitively veridical--descriptive of procedures people actually follow in arriving at their deductive judgments (logic as laws of thought).
Jeffrey (1926-2002), a philosophy professor at Princeton, offers an introduction to formal logic for beginners, intended to familiarize them with a formal system of first-order logic and the scope and limits of formal methods.
In chapter 4, entitled "Forms of Argument," Barnes discusses what makes Aristotelian (and Stoic) logic a 'formal logic'.
Rufus therefore offers five reformulations of the Anselmian argument, which the authors of this paper restate in modern formal logic and four of which they claim are valid, the fifth turning on a possible scribal error.
As Dascal points out in his excellent introductory essay, Leibniz scholarship has, in the wake of Couturat's emphasis on Leibnizian formal logic and its applications, largely neglected this important aspect of Leibniz's thought.
I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views.

Full browser ?