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 / 211
  1. 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.
  2. H. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..
    Provability, Computability and Reflection.
  3. E. M. Barth & J. L. Martens (eds.) (1982). Argumentation: Approaches to Theory Formation: Containing the Contributions to the Groningen Conference on the Theory of Argumentation, October 1978. Benjamins.
    The contributions in the first part Re-modelling logic of this volume take account of formal logic in the theory of rational argumentation.
  4. James B. Freeman (2005). Acceptable Premises: An Epistemic Approach to an Informal Logic Problem. Cambridge University Press.
    When, if ever, is one justified in accepting the premises of an argument? What is the proper criterion of premise acceptability? Providing a comprehensive theory of premise acceptability, this book answers these questions from an epistemological approach that the author calls "common sense foundationalism". His work will be of interest to specialists in informal logic, critical thinking and argumentation theory as well as to a broader range of philosophers and those teaching rhetoric.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
  6. Jerrold J. Katz (2004). Sense, Reference, and Philosophy. Oxford University Press.
    Sense, Reference, and Philosophy develops the far-reaching consequences for philosophy of adopting non-Fregean intensionalism, showing that long-standing problems in the philosophy of language, and indeed other areas, that appeared intractable can now be solved. Katz proceeds to examine some of those problems in this new light, including the problem of names, natural kind terms, the Liar Paradox, the distinction between logical and extra-logical vocabulary, and the Raven paradox. In each case, a non-Fregean intentionalism provides a philosophically more satisfying solution.
  7. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
  8. 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..
  9. Harry J. Gensler (2002). Introduction to Logic. Routledge.
    Introduction to Logic offers one of the most clear, interesting and accessible introductions to what has long been considered one of the most challenging subjects in philosophy. Harry Gensler engages readers with the basics of logic through practical examples and important arguments in the history of philosophy and from contemporary philosophy. Using simpler and manageable methods for testing arguments, readers are led through in a careful step-by-step way to master the complexities of logic.
  10. 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, ...
  11. J. E. J. Altham (1971). The Logic of Plurality. London,Methuen.
  12. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  13. 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 (...)
  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. Merrie Bergmann (2003). The Logic Book. Mcgraw-Hill.
    This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.
  16. Aladdin Mahmūd Yaqūb (1993). The Liar Speaks the Truth: A Defense of the Revision Theory of Truth. Oxford University Press.
    In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence 'Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth (...)
  17. Aladdin M. Yaqub (1993). The Liar Speaks the Truth: A Defense of the Revision Theory of Truth. Oup Usa.
    In this book Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals as correctly and completely defining the notion of truth. He offers a comprehensive defense of the semantical theory by developing consistent and adequate formal semantics for languages in which all sorts of problematic sentences can be constructed. Yaqub concludes by introducing a logic of truth (...)
  18. 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, (...)
  19. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Aleksandr Zinoviev (1973). Foundations of the Logical Theory of Scientific Knowledge (Complex Logic). Dordrecht,Reidel.
  21. Melvin Joseph Adler (1980). A Pragmatic Logic for Commands. J. Benjamins.
    The purpose of this essay is to both discuss commands as a species of speech act and to discuss commands within the broader framework of how they are used and ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. 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 ...
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Donald Davidson (1975). The Logic of Grammar. Dickenson Pub. Co..
  24. 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 (...)
  25. 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.
  26. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. S. B. Cooper, Benedikt Löwe & Andrea Sorbi (eds.) (2007). New Computational Paradigms: Changing Conceptions of What is Computable. Springer.
    Logicians and theoretical physicists will also benefit from this book.
  28. Avron Polakow (ed.) (1981). Tense and Performance: An Essay on the Uses of Tensed and Tenseless Language. Rodopi.
    PREFACE This essay developed from ideas in my doctoral thesis submitted to the Hebrew University in 1977. Chapter three has been amended as regards one of ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. 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 (...)
  30. M. Ben-Ari (1993/2003). Mathematical Logic for Computer Science. Prentice Hall.
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...)
  31. Uwe Schöning (1989). Logic for Computer Scientists. Birkhäuser.
    This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations ...
  32. 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 (...)
  33. 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 (...)
  34. Gregory Landini (1998). Russell's Hidden Substitutional Theory. Oxford University Press.
    This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general science and that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished "substitutional" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's (...)
  35. 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.
  36. Christopher S. Hill (2002). Thought and World: An Austere Portrayal of Truth, Reference, and Semantic Correspondence. Cambridge University Press.
    There is an important family of semantic notions that are applied to thoughts and to the conceptual constituents of thoughts--as when one says that the thought that the Universe is expanding is true. Christopher Hill presents a theory of the content of such notions. That theory is largely deflationary in spirit. It represents a broad range of semantic notions free from substantive metaphysical and empirical presuppositions. He also explains the relationship of mirroring or semantic correspondence linking thoughts to reality.
  37. 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 (...)
  38. Robert J. Fogelin (1991). Understanding Arguments: An Introduction to Informal Logic. Harcourt Brace Jovanovich.
  39. 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 (...)
  40. 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 (...)
  41. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  42. Richard C. Jeffrey (2004). Formal Logic: Its Scope and Limits. Hackett Pub..
    This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Colin McGinn (2000). Logical Properties: Identity, Existence, Predication, Necessity, Truth. Oxford University Press.
  44. Susanne Katherina Knauth Langer (1967). An Introduction to Symbolic Logic. New York, Dover Publications.
    Famous classic has introduced hundreds of thousands to symbolic logic, via clear, thorough, precise exposition.
  45. Vladimir V. Rybakov (1997). Admissibility of Logical Inference Rules. Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
  46. Palle Yourgrau (ed.) (1990). Demonstratives. Oxford University Press.
  47. 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 (...)
  48. Moshe Kroy (1975). Moral Competence: An Application of Modal Logic to Rationalistic Psychology. Mouton.
  49. Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
    This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
  50. David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
  51. 1 — 50 / 211