formalism, logical

formalism, logical
1 Another term for a logical calculus.
2 In the philosophy of mathematics, a formalist holds that mathematical statements are to be thought of as uninterpreted strings of symbols. Mathematics has a syntax but no semantics. The formalism is useful only in enabling us to pass from some observations to other empirical conclusions, but it introduces no subject-matter of its own. The position is widely thought to be inadequate to the use of numbers in the empirical procedures of counting and measuring. A modified formalism may hold that some numerical statements (for example, those involving only finite numbers and finite classes of them) are interpretable, whereas the rest of classical mathematics is a kind of black box, or purely formal machine for taking us from some interpretable statements to others. An example would be the use of imaginary numbers in calculations designed to get us to useful real numbers, but not themselves thought of as corresponding to any physical magnitudes.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Formalism — formalism, logical …   Philosophy dictionary

  • formalism — formalism, logical …   Philosophy dictionary

  • Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

  • Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

  • Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

  • Logical graph — A logical graph is a special type of diagramatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.In his papers on qualitative logic , entitative graphs , and existential graphs , Peirce… …   Wikipedia

  • formalism — noun 1》 excessive adherence to prescribed forms. 2》 concern or excessive concern with form rather than content in artistic creation. 3》 a description in formal mathematical or logical terms. Derivatives formalist noun formalistic adjective …   English new terms dictionary

  • McCarthy Formalism — In computer science and recursion theory the McCarthy Formalism (1963) of computer scientist John McCarthy clarifies the notion of recursive functions by use of the IF THEN ELSE construction common to computer science, together with the four of… …   Wikipedia

  • HPO formalism — The History Projection Operator (HPO) formalism is an approach to temporal quantum logic developed by Chris Isham. It deals with the logical structure of quantum mechanical propositions asserted at different points in time. Introduction In… …   Wikipedia

  • Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.