Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
formal system
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Discover
Watergate scandal. Richard M. Nixon. President Nixon gives a press conference and talks to the press, March 12, 1971.
9 American Political Scandals
A mug shot taken by the regional Colombia control agency in Medellin
Pablo Escobar: 8 Interesting Facts About the King of Cocaine
The Jeff Koons tulips sculputure outside the Guggenheim Museums in Bilbao, Spain, Basque Country.
What’s the Difference Between Modern and Contemporary Art?
King Cobra snake in Malaysia. (reptile)
9 of the World’s Deadliest Snakes
Srinivasa Ramanujan, Indian mathematician and autodidact.
6 Interesting Facts about Srinivasa Ramanujan
Hemp (Cannabis sativa).
9 Mind-Altering Plants
Nativity Scene, Adoration of the Magi, Church of the Birth of the Virgin Mary, Montenegro
Why Is Christmas in December?

formal system

logic
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://mainten.top/topic/formal-system
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Also known as: axiomatic system, logistic system
Written and fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Article History
Also called:
logistic system

formal system, in logic and mathematics, abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction. Models—structures that interpret the symbols of a formal system—are often used in conjunction with formal systems.

Each formal system has a formal language composed of primitive symbols acted on by certain rules of formation (statements concerning the symbols, functions, and sentences allowable in the system) and developed by inference from a set of axioms. The system thus consists of any number of formulas built up through finite combinations of the primitive symbols—combinations that are formed from the axioms in accordance with the stated rules.

In an axiomatic system, the primitive symbols are undefined; and all other symbols are defined in terms of them. In the Peano postulates for the integers, for example, 0 and ′ are taken as primitive, and 1 and 2 are defined by 1 = 0′ and 2 = 1′. Similarly, in geometry such concepts as “point,” “line,” and “lies on” are usually posited as primitive terms.

David Hilbert
More From Britannica
metalogic

From the primitive symbols, certain formulas are defined as well formed, some of which are listed as axioms; and rules are stated for inferring one formula as a conclusion from one or more other formulas taken as premises. A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is inferred from earlier formulas.

A formal system that is treated apart from intended interpretation is a mathematical construct and is more properly called logical calculus; this kind of formulation deals rather with validity and satisfiability than with truth or falsity, which are at the root of formal systems.

In general, then, a formal system provides an ideal language by means of which to abstract and analyze the deductive structure of thought apart from specific meanings. Together with the concept of a model, such systems have formed the basis for a rapidly expanding inquiry into the foundations of mathematics and of other deductive sciences and have even been used to a limited extent in analyzing the empirical sciences. See also deontological ethics; metalogic; metatheory.