Product Description: The Taming of the True defends and develops global semantic anti-realism. Neil Tennant argues compellingly that every truth is knowable, and that manifestationism in the theory of meaning entails logical reform. He extends semantic anti-realism to empirical discourse, developing new accounts of the analytic/synthetic distinction, cognitive significance and constructive falsifiability...read more

Product Description: This book has evolved from the author's theory that if it is possible to teach students reasonable methods for finding proofs (in a system of natural deduction), then it should also be possible to express those methods in a programming language, and program on a computer the effective skills taught in logic courses...read more