T hree of the four authors of this book are older than 60, and the fourth, Chandra Sripada, is no longer a spring chicken. We believe, in spite of our age, that our advocacy of prospection is quite a creative turn for psychology, philosophy, and neuroscience. It is natural that the four of us should be invested in the issue of aging and creativity and that our concluding chapter should tackle t...

In this paper, a sequent calculus for a hybrid categorial type logic (HCTL) is obtained following Seligman’s internalization strategy (Seligman 2001). With this strategy, a sequent calculus for a hybrid language can be developed starting from a first order sequent calculus. Seligman exemplifies his strategy developing a calculus for hybrid modal logics, but rises the question of whether the str...

Hybrid logic is a form of modal logic which allows reference to worlds. We can think of it as ‘modal logic with labelling built into the object language’ and various forms of labelled deduction have played a central role in its proof theory. Jerry Seligman’s work [13,14] in which ‘rules involving labels’ are rejected in favour of ‘rules for all’ is an interesting exception to this. Seligman’s a...

The aim of this paper is to define synthetic emergence in a domain independent fashion. The mathematical definition of the first kind of synthetic emergence will be given by the consideration of closed and open subsets of the limit of design systems. A brief sketch of design systems will be also given by using the concept of information flow from Barwise and Seligman.

As an application of their channel theory, Barwise & Seligman sketched a set-theoretic model of representation systems. Their model has the attraction of capturing many important logical properties of diagrams, but few attempts have been made to take advantage of the model's explanatory potential by applying it to actual diagrammatic systems. We attribute this to a lack of precision in their ex...