Deductive reasoning in the structuralist approach

From MaRDI portal





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.











This page was built for publication: Deductive reasoning in the structuralist approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383572)