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 / 117
  1. Logic: From Foundation to Applications: European Logic Colloquium.Wilfrid Hodges (ed.) - 1996 - Oxford University Press.
    This book contains 21 essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In computer science and mathematics, this gap between foundations and applications is small, as illustrated by essays on the proof theory of non-classical logics, lambda calculus, relating logic programs to inductive definition, and definability in Lindenbaum algebras. Other chapters discuss how to apply model theory to field theory, complex geometry (...)
  2. The Voice of Reason: Fundamentals of Critical Thinking.Burton Porter - 2001 - Oxford University Press.
    Lively, comprehensive, and contemporary, The Voice of Reason: Fundamentals of Critical Thinking covers three principal areas: thought and language, systematic reasoning, and modes of proof. It employs highly accessible explanations and a multitude of examples drawn from social issues and various academic fields, showing students and other readers how to construct and criticize arguments using the techniques of sound reasoning. The Voice of Reason examines the traditional elements of the field and also explores new ground. The first section of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Introduction to Critical Thinking.Bruce R. Reichenbach - 2001 - Mcgraw Hill Higher Education.
    This text uses the educational objectives of Benjamin Bloom as six steps to critical thinking (namely: knowledge, comprehension, application, analysis, synthesis, and evaluation). The book starts with the absolute basics (for example, how to find the topic, issue, and thesis) vs. the usual "explaining and evaluating arguments" and fine distinctions that easily can lose students.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Argumentation: Approaches to Theory Formation: Containing the Contributions to the Groningen Conference on the Theory of Argumentation, October 1978.E. M. Barth & J. L. Martens (eds.) - 1982 - Benjamins.
    The contributions in the first part Re-modelling logic of this volume take account of formal logic in the theory of rational argumentation.
  5. Symbolic Logic.Irving Copi - 1954 - New York: Macmillan.
  6. Meaning and Argument: An Introduction to Logic Through Language.Ernest Lepore (ed.) - 2000 - Wiley-Blackwell.
    Meaning and Argument shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another distinctive feature of this book is that it shows how the need for expressive power and for drawing distinctions forces formal language development. This revised edition includes expanded sections, additional exercises, and an updated bibliography. Updated and revised edition includes extended sections, additional exercises, and an updated bibliography. Distinctive approach in that this text is a philosophical, rather than mathematical introduction to logic. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. A Pragmatic Logic for Commands.Melvin Joseph Adler - 1980 - John 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 ...
  8. The Genealogy of Disjunction.R. E. Jennings - 1994 - 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 (...)
  9. Philosophical Finesse: Studies in the Art of Rational Persuasion.Martin Warner - 1989 - Oxford University Press.
    Warner here puts forward a much broader discussion of rationality than that which underlies today's polarization between analytic and continental philosophy. Through a series of case-studies the author explores ancient conceptions of dialectic and rhetoric in relation to the positive role given to sentiment or "the heart" by Pascal, Hume, and Nietzsche. These studies point to an understanding of philosophy which undercuts fashionable disputes and which helps to reaffirm a range of ideas long marginalized by the dominance of the geometric (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Philosophical Logic.G. H. von Wright - 1983 - Cornell University Press.
  11. Choice and Chance: An Introduction to Inductive Logic.Brian Skyrms - 1966 - Dickenson Pub. Co..
  12. Introducing Symbolic Logic.Robert M. Martin - 2004 - Broadview Press.
    This accessible, SHORT introduction to symbolic logic includes coverage of sentential and predicate logic, translations, truth tables, and derivations. The author's engaging style makes this the most informal of introductions to formal logic. Topics are explained in a conversational, easy-to-understand way for readers not familiar with mathematics or formal systems, and the author provides patient, reader-friendly explanations—even with the occasional bit of humour. The first half of the book deals with all the basic elements of Sentential Logic: the five truth-functional (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence.A. Fuhrmann & Hans Rott (eds.) - 1996 - W. De Gruyter.
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Good Reasoning Matters!:: A Constructive Approach to Critical Thinking.Leo Groarke - 2008 - Oxford University Press.
    Offering an innovative approach to critical thinking, Good Reasoning Matters! identifies the essential structure of good arguments in a variety of contexts and also provides guidelines to help students construct their own effective arguments. In addition to examining the most common features of faulty reasoning--slanting, bias, propaganda, vagueness, ambiguity, and a common failure to consider opposing points of view--the book introduces a variety of argument schemes and rhetorical techniques. This edition adds material on visual arguments and more exercises.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  15. Philosophy of Logic: An Anthology.Dale Jacquette (ed.) - 2002 - Blackwell.
    The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, (...)
  16. Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW]Alessandro Armando (ed.) - 2002 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981.C.-T. Chong & M. J. Wicks (eds.) - 1983 - Elsevier.
  18. Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford University Press.
    Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  19. Non-Standard Logics for Automated Reasoning.Philippe Smets (ed.) - 1988 - Academic Press.
  20. Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
    This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as (...)
  21. Logics in Artificial Intelligence European Workshop, Jelia '96, Évora, Portugal, September 30-October 3, 1996 : Proceedings'. [REVIEW]José Júlio Alferes, Luís Moniz Pereira & Ewa Orlowska - 1996
  22. Self, Logic, and Figurative Thinking.Harwood Fisher - 2008 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Applications of Inductive Logic: Proceedings of a Conference at the Queen's College, Oxford 21-24, August 1978.L. Jonathan Cohen & Mary B. Hesse (eds.) - 1980 - Oxford University Press.
  24. The Liar Speaks the Truth: A Defense of the Revision Theory of Truth.Aladdin Mahmūd Yaqūb - 1993 - 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 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 as a property whose applicability is given by a revision process rather than by a fixed (...)
  25. The Snake and the Fox: An Introduction to Logic.Mary Haight - 1999 - Routledge.
    _The Snake and the Fox_ is a highly imaginative and fun way to learn logic. Mary Haight's characters guide you through an elaborate tale of how logic works. This book features the Snake and the Fox, Granny, Gussie and the Newts, Ren^De Descartes and Miss Nightingale, along with a huge supporting cast of humans, devils and sausage machines. For anyone coming to logic for the first time, this is the best place to start. Mary Haight makes logic easy and fun (...)
  26. Formal Logic: Its Scope and Limits.Richard C. Jeffrey - 1967 - Hackett.
    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)  
     
    Export citation  
     
    Bookmark   34 citations  
  27. Correspondence and Disquotation: An Essay on the Nature of Truth.Marian David - 1994 - Oxford University Press.
    Marian David defends the correspondence theory of truth against the disquotational theory of truth, its current major rival. The correspondence theory asserts that truth is a philosophically rich and profound notion in need of serious explanation. Disquotationalists offer a radically deflationary account inspired by Tarski and propagated by Quine and others. They reject the correspondence theory, insist truth is anemic, and advance an "anti-theory" of truth that is essentially a collection of platitudes: "Snow is white" is true if and only (...)
  28. Grounded Consequence for Defeasible Logic.Aldo Antonelli - 2005 - Cambridge University Press.
    This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.
  29. A First Course in Formal Logic and its Applications in Computer Science.Roy Dowsing - 1986 - Blackwell Scientific Publications.
  30. Logic.Robert Baum - 1975 - Holt, Rinehart and Winston.
    For more than twenty years, introductory logic students have relied on this text to provide clear lessons as well as practical applications of the discipline. Robert Baum emphasizes formal logic and utilizes such elements of popular culture as cartoons and advertisements to illustrate technical concepts. Logic, 4/e addresses all the basic concepts, including informal analysis of statements, arguments, Aristotelian logic, propositional logic, quantificational logic, enumerative induction, the scientific method, probability, informal fallacies, definitions, and applied logic. As with previous editions, Logic, (...)
  31. Deducibility and Decidability.R. R. Rockingham Gill - 1990 - Routledge.
    The classic results obtained by Gödel, Tarski, Kleene, and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them. Derived from courses taught by the author over several years, this new exposition presents all of the results with (...)
  32. Understanding Arguments: An Introduction to Informal Logic.Robert J. Fogelin - 1991 - Harcourt Brace Jovanovich.
  33. The Norm of Truth: An Introduction to the Philosophy of Logic.Pascal Engel - 1991 - University of Toronto Press.
  34. A Brief History of the Paradox: Philosophy and the Labyrinths of the Mind.Roy Sorensen - 2003 - Oxford University Press.
    Can God create a stone too heavy for him to lift? Can time have a beginning? Which came first, the chicken or the egg? Riddles, paradoxes, conundrums--for millennia the human mind has found such knotty logical problems both perplexing and irresistible. Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before (...)
  35. A Concise Introduction to Pure Mathematics.M. W. Liebeck - 2006 - Chapman & Hall/Crc.
    Written in a relaxed, readable style, A Concise Introduction to Pure Mathematics leads students gently but firmly into the world of higher mathematics. It provides beginning undergraduates with a rigourous grounding in the basic tools and techniques of the discipline and prepares them for further more advanced studies in analysis, differential equations, and algebra. This edition contains additional material on secret codes, permutations, and prime numbers. It features more than 200 exercises, with many completely new. The text is organized into (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Natural Deduction: An Introduction to Logic with Real Arguments, a Little History and Some Humour.Richard T. W. Arthur - 2011 - Broadview Press.
    Richard Arthur’s _Natural Deduction_ provides a wide-ranging introduction to logic. In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Paradoxes: A Study in Form and Predication.James Cargile - 1979 - Cambridge University Press.
    The ancient semantic paradoxes were thought to undermine the rationalist metaphysics of Plato, and their modern relatives have been used by Russell and others to administer some severe logical and epistemological shocks. These are not just tricks or puzzles, but are intimately connected with some of the liveliest and most basic philosophical disputes about logical form, universals, reference and predication. Dr Cargile offers here an original and sustained treatment of this range of issues, and in fact presents an unfashionable defence (...)
  38. Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday.Stig Kanger & Sören Stenlund (eds.) - 1974 - 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 (...)
  39. Essays on Wittgenstein’s Tractatus.Irving M. Copi & Robert W. Beard (eds.) - 1966 - New York: Routledge.
    First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.
  40. Logic and Philosophy.G. H. von Wright (ed.) - 1980 - Distribution for the U.S. And Canada, Kluwer Boston.
  41. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - 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.
  42. Twelve Papers in Logic and Algebra.A. F. Lavrik (ed.) - 1979 - American Mathematical Society.
    (2) VoL ll3, l979 PROPERTIES OF SOME SUBSYSTEMS OF CLASSICAL AND INTUITIONISTIC PROPOSITIONAL CALCULI* MI SEMENENKO Preface In both classical and ...
  43. Good Reasoning Matters: A Constructive Approach to Critical Thinking.Leo A. Groarke & Christopher W. Tindale - 2012 - Oxford University Press Canada.
    Now in its fifth edition, Good Reasoning Matters! is a practical guide to recognizing, evaluating, and constructing arguments. Combining straightforward instruction with abundant exercises and examples, this innovative introduction to argument schemes and rhetorical techniques will help students learn to think critically both within and beyond the classroom.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003: Revised Selected Papers. [REVIEW]V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - Springer.
    This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section on fuzzy sets and systems, (...)
  45. Realism and Truth.Michael Devitt - 1991 - Blackwell.
  46. Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - 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.
  47. Dependence Logic: A New Approach to Independence Friendly Logic.J. Väänänen - 2007 - 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 (...)
  48. Elementary Logic.W. V. O. Quine - 1941 - Harvard University Press.
  49. Logic.Paul Tomassi - 1999 - 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 (...)
  50. Critical Thinking: A Student's Introduction.Gregory Bassham (ed.) - 2008 - Mcgraw-Hill.
    This clear, learner-friendly text helps today's students bridge the gap between everyday culture and critical thinking. The text covers all the basics of critical thinking, beginning where students are, not where we think they should be. Its comprehensiveness allows instructors to tailor the material to their individual teaching styles, resulting in an exceptionally versatile text.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  51. 1 — 50 / 117