Gonzalo E. Reyes

The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.

This volume, the fourth in the Vancouver Studies in Cognitive Science published by OUP, examines the role of logic in cognitive psychology in light of recent developments. Gonzalo Reyes's new semantic theory has brought the fields of cognitive psychology and logic closer together, and has shed light on how children may master proper names and count nouns, and thus acquire knowledge. The chapters highlight the inadequacies of classical logic in its handling of ordinary language and reveals the prospects of applying the new theory of kinds to cognitive psychology, cognitive science, linguistics, the philosophy of language and logic.

This fourth volume in the Vancouver Studies in Cognitive Science examines the role of logic in cognitive psychology in the light of recent developments. The chapters highlight the inadequacies of classical logic in its handling of ordinary language and reveal the prospect of applying the new theory of kinds to cognitive psychology, cognitive science, linguistics, the philosophy of language, and logic.

The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.