Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

This is the classic work upon which modern-day game theory is based. What began as a modest proposal that a mathematician and an economist write a short paper together blossomed, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry (...) it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences. (shrink)

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...

The main currently unsolved problem in the theory of argumentation concerns the function of logic in argumentation and reasoning. The traditional view simply identified logic with the theory of reasoning. This view is still being echoed in older textbooks of formal logic. In a different variant, the same view is even codified in the ordinary usage of words such as ‘logic’, ‘deduction’, ‘inference’, etc. For each actual occurrence of these terms in textbooks of formal logic, there are hundreds of uses (...) of the same idioms to describe the feats of real or fictional detectives. I have called the idea reflected by this usage the “Sherlock Holmes conception of logic and deduction.” In the history of science, we find no less a thinker than Sir Isaac Newton describing his experimental method as one of analysis or resolution and claiming to have “deduced” at least some of his laws from the “phenomena.”. (shrink)

Several of the so-called “fallacies” in Aristotle are not in fact mistaken inference-types, but mistakes or breaches of rules in the questioning games which were practiced in the Academy and in the Lyceum. Hence the entire Aristotelian theory of “fallacies” ought to be studied by reference to the author's interrogative model of inquiry, based on his theory of questions and answers, rather than as a part of the theory of inference. Most of the “fallacies” mentioned by Aristotle can in fact (...) be diagnosed by means of the interrogative model, including petitio principii, multiple questions, “babbling’, etc., and so can Aristotle's alleged anticipation of the fallacy of argumentum ad hominem. The entire Aristotelian conception of inquiry is an interrogative one. Deductive conclusions caught Aristotle's attention in the form of answers that every rational interlocutor must give, assuming only his own earlier answers. Several features of Aristotle's methodology can be understood by means of the interrogative model, including the role of endoxa in it. Theoretically, there is also considerable leeway as to whether “fallacies” are conceived of as mistakes in questioning or as breaches of the rules that govern questioning games. (shrink)

Plantinga examines the nature of epistemic warrant; whatever it is that when added to true belief yields knowledge. This volume surveys current contributions to the debate and paves the way for his owm positive proposal in Warrant and Proper Function.