Bøker av Neil (Arts

This book develops Tennant's Natural Logicist account of the foundations of the natural, rational, and real numbers. Tennant uses this framework to distinguish the logical from the intuitive aspects of the basic elements of arithmetic.

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.

An account of how a rational agent should revise beliefs in the light of new evidence. This theory is set apart from previous belief revision theories by being computationally implementable, provides rigorous mathematical theory of dependency networks and formulates and investigates the complexity of algorithms for rational agents revising beliefs.