Deductive reasoning in the structuralist approach (Q383572)

From MaRDI portal





scientific article; zbMATH DE number 6235910
Language Label Description Also known as
default for all languages
No label defined
    English
    Deductive reasoning in the structuralist approach
    scientific article; zbMATH DE number 6235910

      Statements

      Deductive reasoning in the structuralist approach (English)
      0 references
      0 references
      5 December 2013
      0 references
      The article presents a deductive system consisting of five postulates meant to capture a structuralist theory of science. The author is of the opinion that the postulates yield a certain degree of completeness. A higher-order semantics is given to the deductive system. Two examples from mechanics illustrate the framework. Towards the end some difficulties with achieving a complete formalisation are discussed.
      0 references
      0 references
      deductive reasoning
      0 references
      semantic approach to scientific theories
      0 references
      structuralism
      0 references
      theoretical terms
      0 references
      Carnap
      0 references

      Identifiers