Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

07/03/2011
by   Adrian Silvescu, et al.
0

Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on structural elements in terms of which any theory can be expressed. We identify abstraction (grouping similar entities) and super-structuring (combining topologically e.g., spatio-temporally close entities) as the essential structural operations in the induction process. We show that only two more structural operations, namely, reverse abstraction and reverse super-structuring (the duals of abstraction and super-structuring respectively) suffice in order to exploit the full power of Turing-equivalent generative grammars in induction. We explore the implications of this theorem with respect to the nature of hidden variables, radical positivism and the 2-century old claim of David Hume about the principles of connexion among ideas.

READ FULL TEXT
research
05/17/2021

(Deep) Induction Rules for GADTs

Deep data types are those that are defined in terms of other such data t...
research
05/17/2021

Induction and Skolemization in saturation theorem proving

We consider a typical integration of induction in saturation-based theor...
research
02/23/2021

Induction principles for type theories, internally to presheaf categories

We present new induction principles for the syntax of dependent type the...
research
08/14/2020

Induction Models on ℕ

Mathematical induction is a fundamental tool in computer science and mat...
research
12/25/2018

Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, Type Theory, Category Theory, and Logic: A Concise Summary

In this note we present the formulation of the induction and co-inductio...
research
10/09/2019

Clause Set Cycles and Induction

In this article we relate a family of methods for automated inductive th...
research
05/19/2021

On the logical structure of choice and bar induction principles

We develop an approach to choice principles and their contrapositive bar...

Please sign up or login with your details

Forgot password? Click here to reset