Reviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers.

The paper presents a brief survey of recent work by Metakides, Nerode and others in the area of effective algebra and makes some comments on the relation between formal presentations, characterizations, etc. of sets and of algebraic structures and their practical presentations.

A universal Horn sentence in the language of polynomial-time computable combinatorial functions of natural numbers is true for the natural numbers if, and only if, it is true for PETs of p-time p-isolated sets with functions induced by fully p-time combinatorial operators.

Review of Eckart Menzler-Trott’s book, Logic’s Lost Genius: The Life of Gerhard Gentzen.

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.

While Saint Augustine has been a household name for centuries, the same cannot be said of long-overlooked philosopher John Poinsot. But in _Augustine and Poinsot_, John Deely contends that the history of semiotics cannot be conceived of without Poinsot’s landmark contribution. According to Deely, even though Augustine was the first to describe _what_ the sign does, Poinsot was the first to show _how_ the sign mediates between nature and culture. This revolutionary volume demonstrates how Poinsot’s account of semiotics (...) allows us to produce human knowledge and experience. (shrink)

This book shows otherwise. John Martin rehabilitates Neoplatonism, founded by Plotinus and brought into Christianity by St. Augustine.

'An impressive synthesis of semiotics and anthropology which puts human experience in a new light. Deely gives us the foundation for a new paradigm for anthropology.' -Nathan Houser, Peirce Edition Project.

This essay focuses on the development of Latin semiotics from Ockham to Poinsot as it took place mainly in the Iberian university world, with a discussion of the consequences of that development for logic and philosophy today.