Bargain finder

Use this tool to find book bargains on Amazon Marketplace. It works best on the "my areas of interest" setting, but you need to specify your areas of interest first. You might also want to change your shopping locale (currently the US locale).

Note: the best bargains on this page tend to go fast; the prices shown can be inaccurate because of this.



 Offer type

 Sort by
 Max price
% off
 Min discount

 Min year

 Added since

 Pro authors only


1 — 50 / 171
  1. Philippe Smets (ed.) (1988). Non-Standard Logics for Automated Reasoning. Academic Press.
  2. Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) (2008). Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. [REVIEW] Cambridge University Press.
    Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration.
  3. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
  4. Isaac Levi (1996). For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference, and Nonmonotonic Reasoning. Cambridge University Press.
    This book by one of the world's foremost philosophers in the fields of epistemology and logic offers an account of suppositional reasoning relevant to practical deliberation, explanation, prediction and hypothesis testing. Suppositions made 'for the sake of argument' sometimes conflict with our beliefs, and when they do, some beliefs are rejected and others retained. Thanks to such belief contravention, adding content to a supposition can undermine conclusions reached without it. Subversion can also arise because suppositional reasoning is ampliative. These two (...)
  5. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
  6. W. V. Quine (1982). Methods of Logic. Harvard University Press.
    Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.
  7. Robert J. Fogelin (1991). Understanding Arguments: An Introduction to Informal Logic. Harcourt Brace Jovanovich.
  8. Lawrence C. Paulson (1987). Logic and Computation: Interactive Proof with Cambridge Lcf. Cambridge University Press.
    Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references (...)
  9. Leigh S. Cauman (1998). First-Order Logic: An Introduction. Walter De Gruyter.
    Introduction This is an elementary logic book designed for people who have no technical familiarity with modern logic but who have been reasoning, ...
  10. Alessandro Armando (ed.) (2002). Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes (...)
  11. Charles Gray Shaw (1935). Logic in Theory and Practice. New York, Prentice-Hall, Inc..
    CHAPTER I The Spirit and Method of Logic Natural Logic There is a natural logic as well as a rational one, just as there is both a mother tongue and a ...
  12. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  13. E. R. Emmet (1993/1966). Handbook of Logic. Littlefield Adams Quality Paperbacks.
  14. Robert C. Trundle (1999). Medieval Modal Logic & Science: Augustine on Necessary Truth & Thomas on its Impossibility Without a First Cause. University Press of America.
  15. Peter Gibbins (1987). Particles and Paradoxes: The Limits of Quantum Logic. Cambridge University Press.
    Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum theory require us to abandon (...)
  16. Samuel D. Guttenplan (1997). The Languages of Logic: An Introduction to Formal Logic. Blackwell Publishers.
    Other new material includes a discussion of the truth tree method for both Sentential and Predicate logics, an account of alternative notations and the ...
  17. F. Delon (ed.) (2010). Logic Colloquium 2007. Cambridge University Press.
    The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
  18. Ian Hacking & Casimir Lewy (eds.) (1985). Exercises in Analysis: Essays by Students of Casimir Lewy. Cambridge University Press.
    This is a volume of specially commissioned essays of analytical philosophy, on topics of current interest in ethics and the philosophy of logic and language. Among the topics discussed are the making of wicked promises, G. E. Moore's early ethical views, as well as indexicals, tense, indeterminism, conventionalism in mathematics, and identity and necessity. The essays are all by former students of Casimir Lewy, until recently Reader in Philosophy at the University of Cambridge and an exponent of a particularly thoroughgoing (...)
  19. Harwood Fisher (2008). Self, Logic, and Figurative Thinking. Columbia University Press.
    Introduction: Major terms, their classification, and their relation to the book's objective -- The problem of analogous forms -- Natural logic, categories, and the individual -- Shift to individual categories, dynamics, and a psychological look at identity form versus function -- What is the difference between the logic governing a figure of speech and the logic that is immature or unconscious? -- What are the role and function of the self vis-à-vis consciousness? -- Development in the logic from immature to (...)
  20. Palle Yourgrau (ed.) (1990). Demonstratives. Oxford University Press.
  21. R. Carnap & R. Jeffrey (eds.) (1971). Studies in Inductive Logic and Probability. University of California Press.
    Introduction Much delayed, here is the second, final volume of Studies in Inductive Logic and Probability. Carnap projected the series ca. as a ...
    Translate to English
    | Direct download (2 more)  
    My bibliography  
    Export citation  
  22. Daniel A. Bonevac (2003). Deduction: Introductory Symbolic Logic. Blackwell Pub..
    New features in this edition, in addition to truth tree systems for classical and nonclassical logics, include new and simpler rules for modal logic, deontic ...
  23. Norman M. Martin (1989). Systems of Logic. Cambridge University Press.
    This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented.
  24. Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...)
    Direct download (3 more)  
    My bibliography  
    Export citation  
  25. Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
  26. Karel Lambert (2003). Free Logic: Selected Essays. New Yorkcambridge University Press.
    Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial (...)
  27. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  28. Andrea Nye (1990). Words of Power: A Feminist Reading of the History of Logic. Routledge.
    Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally? Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independenet of concrete human relations, and logic transcends historical circumstances as well as gender. In a series (...)
    Direct download  
    My bibliography  
    Export citation  
  29. Robert C. Koons (1992). Paradoxes of Belief and Strategic Rationality. Cambridge University Press.
    The purpose of this book is to develop a framework for analyzing strategic rationality, a notion central to contemporary game theory, which is the formal study of the interaction of rational agents, and which has proved extremely fruitful in economics, political theory, and business management. The author argues that a logical paradox (known since antiquity as "the Liar paradox") lies at the root of a number of persistent puzzles in game theory, in particular those concerning rational agents who seek to (...)
  30. Alfred Tarski (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.
    Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...)
  31. Elias E. Savellos & Ümit D. Yalçin (eds.) (1995). Supervenience: New Essays. Cambridge University Press.
    Supervenience is one of the 'hot discoveries' of recent analytic philosophy, and this collection of new essays on the topic represents a 'state of the art' examination of it and its application to major areas of philosophy. The interest in supervenience has much to do with the flexibility of the concept. To say that x supervenes on y indicates a degree of dependence without committing one to the view that x can be reduced to y. Thus supervenience is a relationship (...)
  32. Constance Brittain Bouchard (2003). Every Valley Shall Be Exalted: The Discourse of Opposites in Twelfth-Century Thought. Cornell University Press.
    Scholasticism : the last shall be first -- Romance and epic : honor abandoned because of love -- Conversion : a poor man from a rich man -- Conflict resolution : he humbly delivered himself to justice -- Gender : male and female created he them.
  33. Holger H. Hoos & David G. Mitchell (eds.) (2005). Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004: Revised Selected Papers. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the (...)
  34. Stig Kanger & Sören Stenlund (eds.) (1974). Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday. Reidel.
    Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger and (...)
  35. C. Stephen Layman (2001). The Power of Logic. Mayfield Pub..
    Intended for the first course in logic, The Power of Logic (POL) is written with the conviction that logic is the most important course that college students take. POL preserves the balance between informal and formal logic. Layman;s direct and accessible writing style, along with his plentiful examples, imaginative exercises, and POL;s accompanying Logic Tutor make this the best text for logic classes
    Direct download  
    My bibliography  
    Export citation  
  36. Jay David Atlas (1989). Philosophy Without Ambiguity: A Logico-Linguistic Essay. Oxford University Press.
    This book expounds and defends a new conception of the relation between truth and meaning. Atlas argues that the sense of a sense-general sentence radically underdetermines (independently of indexicality) its truth-conditional content. He applies this linguistic analysis to illuminate old and new philosophical problems of meaning, truth, falsity, negation, existence, presupposition, and implicature. In particular, he demonstrates how the concept of ambiguity has been misused and confused with other concepts of meaning, and how the interface between semantics and pragmatics has (...)
  37. Colin McGinn (2000). Logical Properties: Identity, Existence, Predication, Necessity, Truth. Oxford University Press.
    Identity, existence, predication, necessity, and truth are vital concepts at the center of philosophy. Yet Colin McGinn believes that orthodox views of these topics are misguided in important ways. Philosophers and logicians have often distorted the nature of these concepts in an attempt to define them according to preconceived ideas. Logical Properties aims to respect the ordinary ways we talk and think when we employ these concepts, while at the same time showing that they are far more interesting and peculiar (...)
  38. Scott L. Pratt (2009). Logic: Inquiry, Argument, and Order. John Wiley & Sons, Inc..
    The book poses four problems for logic: Is logic separate from experience? Does logic require dualisms?
  39. J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
    Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic (...)
  40. J. C. Beall & B. Armour-Garb (eds.) (2006). Deflationism and Paradox. Oxford University Press.
    In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox.
  41. G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..
  42. J. C. Beall (ed.) (2007). Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
    The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...)
  43. Sybil Wolfram (1989). Philosophical Logic: An Introduction. Routledge.
    A basic introduction to the subject which addresses questions of truth and meaning, providing a basis for much of what is discussed elsewhere in philosophy. Up-to-date and comprehensive.
  44. Douglas N. Walton (1996). Argumentation Schemes for Presumptive Reasoning. L. Erlbaum Associates.
    This book identifies 25 argumentation schemes for presumptive reasoning and matches a set of critical questions to each.
  45. Stan Baronett (2008). Logic. Pearson Prentice Hall.
    Logic and truth -- Inferences : assessment, recognition, and reconstruction -- Categorical statements and inferences -- Truth-functional statements -- Truth tables and proofs -- Natural deduction -- The logic of quantifiers -- Logic and language -- Applied inductive analysis.
  46. Timothy Williamson (1994). Vagueness. Routledge.
    Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a kind (...)
  47. Richard B. Angell (2002). A-Logic. University Press of America.
    A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies. It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, (...)
  48. Nicholas Rescher (2006). Presumption and the Practices of Tentative Cognition. Cambridge University Press.
    Presumption is a remarkably versatile and pervasively useful resource. Firmly grounded in the law of evidence from its origins in classical antiquity, it made its way in the days of medieval scholasticism into the theory and practice of disputation and debate. Subsequently, it extended its reach to play an increasingly significant role in the philosophical theory of knowledge. It has thus come to represent a region where lawyers, debaters, and philosophers can all find some common ground. In Presumption and the (...)
  49. Leonard Linsky (1971). Reference and Modality. London,Oxford University Press.
    1. Reference and modality by W. V. O. Quine.--2. Modality and description by A. F. Smullyan.--3. Extensionality by R. B. Marcus.--4. Quantification into causal contexts by D. Føllesdal.--5. Semantical considerations on modal logic by S. A. Kripke.--6. Essentialism and quantified modal logic by T. Parsons.--7. Reference, essentialism, and modality by L. Linsky.--8. Quantifiers and propositional attitudes by W. V. O. Quine.--9. Quantifying in by D. Kaplan.--10. Semantics for propositional attitudes by J. Hintikka.--11. On Carnap's analysis of statements of assertion and (...)
    Direct download  
    My bibliography  
    Export citation  
  50. Nino B. Cocchiarella (2008). Modal Logic: An Introduction to its Syntax and Semantics. Oxford University Press.
    In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.
  51. 1 — 50 / 171