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.

Settings


 Area(s)

 Offer type

 Sort by
($)
 Max price
% off
 Min discount

 Min year

 Added since

 Pro authors only

 

1 — 50 / 167
  1. 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 (...)
  2. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
  3. 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.
  4. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
  5. John Woods (2003). Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Cambridge University Press.
    In a world plagued by disagreement and conflict one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact these disciplines are rife with internal divisions between different, often incompatible, systems. Do these disagreements admit of resolution? Can such resolution be achieved without disturbing assumptions that the theorems of logic and mathematics state objective truths about the real world? In this original and historically rich book John Woods explores apparently intractable disagreements in logic (...)
  6. 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 (...)
  7. 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, ...
  8. 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 (...)
  9. 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 ...
  10. 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 (...)
  11. 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  
  12. E. R. Emmet (1993/1966). Handbook of Logic. Littlefield Adams Quality Paperbacks.
  13. 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.
  14. 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 (...)
  15. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  16. Palle Yourgrau (ed.) (1990). Demonstratives. Oxford University Press.
  17. Susan Haack (1974). Deviant Logic: Some Philosophical Issues. Cambridge University Press.
    PART ONE I 'Alternative' in 'Alternative logic There are many systems of logic — many-valued systems and modal systems for instance - which are non-standard ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Aleksandr Zinoviev (1973). Foundations of the Logical Theory of Scientific Knowledge (Complex Logic). Dordrecht,Reidel.
  19. Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
  20. Colin Howson (1997). Logic with Trees: An Introduction to Symbolic Logic. Routledge.
    Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and exercises guide beginners through the book, with answers to selected exercises enabling readers to check their progress. Logic With Trees equips students with: a complete and clear account of the truth-tree system for first order logic; (...)
  21. Chin-Liang Chang (1973/1987). Symbolic Logic and Mechanical Theorem Proving. Academic Press.
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
  22. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  23. 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.
  24. 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 (...)
  25. 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.
  26. 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 (...)
  27. 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 (...)
  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. 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 (...)
  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. 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 (...)
  32. G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..
  33. 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.
  34. 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 (...)
  35. 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 (...)
  36. 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 (...)
  37. 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?
  38. 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.
  39. 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 (...)
  40. C.-T. Chong & M. J. Wicks (eds.) (1983). Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
  41. Pascal Engel (1991). The Norm of Truth: An Introduction to the Philosophy of Logic. University of Toronto Press.
  42. G. E. Hughes (1968/1972). An Introduction to Modal Logic. London,Methuen.
  43. R. E. Jennings (1994). The Genealogy of Disjunction. Oxford University Press.
    This is a comprehensive study of the English word 'or', and the logical operators variously proposed to present its meaning. Although there are indisputably disjunctive uses of or in English, it is a mistake to suppose that logical disjunction represents its core meaning. 'Or' is descended from the Anglo-Saxon word meaning second, a form which survives in such expressions as "every other day." Its disjunctive uses arise through metalinguistic applications of an intermediate adverbial meaning which is conjunctive rather than disjunctive (...)
  44. 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.
  45. 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 today.day.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. 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  
  47. D. W. Barnes (1975). An Algebraic Introduction to Mathematical Logic. Springer-Verlag.
  48. Paul Tomassi (1999). Logic. Routledge.
    Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted in the best of our natural (...)
  49. Chen Chung Chang (1966). Continuous Model Theory. Princeton, Princeton University Press.
    CONTINUOUS MODEL THEORY CHAPTER I TOPOLOGICAL PRELIMINARIES. Notation Throughout the monograph our mathematical notation does not differ drastically from ...
  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 / 167