الصفحة 1
الصفحة 1
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Evolutionary Epistemology, Language and Culture : A Non-Adaptationist, Systems Theoretical Approach
Today we know that natural selection and evolution are far from synonymous and that they do not explain isomorphic phenomena in the world. ‘Taking Darwin seriously’ is the way to go, but today the time has come to take alternative and complementary theories that developed after the Modern Synthesis, equally seriously, and, furthermore, to examine how language and culture can merit from these diverse disciplines.As this volume will make clear, a specific inter- and transdisciplinary approach is one of the next crucial steps that needs to be taken, if we ever want to unravel the secrets of phenomena such as language and culture.
