This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
214 found
Search inside:
(import / add options)   Order:
1 — 50 / 214
  1. Patrick Allo (2016). Logic, Reasoning and Revision. Theoria 82 (1):3-31.
    The traditional connection between logic and reasoning has been under pressure ever since Gilbert Harman attacked the received view that logic yields norms for what we should believe. In this article I first place Harman's challenge in the broader context of the dialectic between logical revisionists like Bob Meyer and sceptics about the role of logic in reasoning like Harman. I then develop a formal model based on contemporary epistemic and doxastic logic in which the relation between logic and norms (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2. Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.) (1975). The Logical Enterprise. Yale University Press.
    Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography   7 citations  
  3. P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  4. G. E. M. Anscombe & Roger Teichmann (eds.) (2000). Logic, Cause & Action: Essays in Honour of Elizabeth Anscombe. Cambridge University Press.
    Elizabeth Anscombe is among the most distinguished and original philosophers alive today. Her work has ranged over many areas of philosophy, including metaphysics, ethics, the philosophy of mind and action, and the philosophy of religion. In each of these areas she has made seminal contributions. The essays in this book reflect the breadth of her interests and the esteem in which she is held by her colleagues. The distinguished contributors include Michael Dunnett, Nancy Cartwright, Peter Geach and Philippa Foot; and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Jack Arnold & Stewart Shapiro (2007). Where in the (World Wide) Web of Belief is the Law of Non-Contradiction? Noûs 41 (2):276–297.
    It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6. Halina âswiñeczkowska (1999). Topics in Logic, Informatics and Philosophy of Science. Monograph Collection (Matt - Pseudo).
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  7. Keith Emerson Ballard & Irving M. Copi (1978). Study Guide for Copi Introduction to Logic. Monograph Collection (Matt - Pseudo).
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  8. Stephen Francis Barker (1974). The Elements of Logic. New York,Mcgraw-Hill.
    Remove from this list  
     
    Export citation  
     
    My bibliography   3 citations  
  9. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
    __Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu._ The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. 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.
    Remove from this list  
     
    Export citation  
     
    My bibliography   2 citations  
  11. Thomas Squire Barrett (1875). An Introduction to the Study of Logic and Metaphysics. Provost.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  12. Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle & Richmond Thomason (1992). Logic and Linguistics Meeting: Santa Cruz, 1991. Journal of Symbolic Logic 57 (4):1498-1499.
  13. Patrick K. Bastable (1975). Logic: Depth Grammar of Rationality: A Textbook on the Science and History of Logic. Gill and Macmillan.
  14. Robert Baum (1975). Logic. 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, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  15. André Bazzoni (2015). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic 44 (5):507-516.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard fact (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. John D. Beach (1970). Introduction to Logic. Boston,Allyn and Bacon.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  17. J. C. Beall (2010). Logic: The Basics. Routledge.
    Background ideas -- Consequences -- Relations of support -- Logical consequence : the basic recipe -- Valid arguments and truth -- Language, form, and logical theories -- Language -- Atoms, connectives, and molecules -- Connectives and form -- Validity and form -- Language and formal languages -- Logical theories : rivalry -- Set-theoretic tools -- Sets -- Ordered sets : pairs and n-tuples -- Relations -- Functions -- Sets as tools -- Basic connectives -- Classical theory -- Cases : complete (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  18. 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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  19. Francesco Berto (2007). How to Sell a Contradiction. College Publications.
    There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  20. Evert Willem Beth (1962). Formal Methods. New York, Gordon and Breach.
    Remove from this list  
     
    Export citation  
     
    My bibliography   3 citations  
  21. Jean-Yves Beziau (2008). What is “Formal Logic”? Proceedings of the Xxii World Congress of Philosophy 13:9-22.
    “Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Jean-Yves Béziau & Décio Krause (2007). New Trends in the Foundations of Science. Synthese 154 (3):345 - 347.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23. Stephen Blamey, Julie Jack, A. W. Moore & Wilfrid Hodges (1982). Logic Exercises for Use in Conjunction with Hodges' Logic. Sub-Faculty of Philosophy [University of Oxford].
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  24. 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 ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  25. Raymond Bradley (1989). Sybil Wolfram, Philosophical Logic: An Introduction. [REVIEW] Philosophy in Review 9:473-475.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  26. Andrew Brennan, Necessary and Sufficient Conditions. Stanford Encyclopedia of Philosophy.
    Describes the received theory of necessary and sufficient conditions, explains some standard objections to it, and lays out alternative ways of thinking about conditions and conditionals.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27. Joseph E. Brenner (2008). Logic in Reality. Springer.
    The work is the presentation of a logical theory - Logic in Reality (LIR) - and of applications of that theory in natural science and philosophy, including ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  28. Baruch A. Brody (1973). Logic: Theoretical and Applied. Englewood Cliffs, N.J.,Prentice-Hall.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  29. Henry Byerly (1973). A Primer of Logic. New York,Harper & Row.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  30. F. K. C. (1973). Derivation and Counterexample, an Introduction to Philosophical Logic. [REVIEW] Review of Metaphysics 27 (1):136-137.
  31. Paola Cantù (2007). Is Common Ground a Word or Just a Sound? In H. V. Hanson (ed.), Proceedings of the International Conference: Dissensus & The Search for Common Ground. Ontario Society for the Study of Argumentation 1--9.
    The paper analyses the role played by the concept of ‘common ground’ in argumentation theories. If a common agreement on all the rules of a discursive exchange is required, either at the beginning or at the end of an argumentative practice, then no violation of the rules is possible. The paper suggests an alternative understanding of ‘common ground’ as something that can change during the development of the argumentative practice, and in particular something that can change without the practice being (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32. James D. Carney (1974). Fundamentals of Logic. New York,Macmillan.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  33. Walter A. Carnielli (2004). Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, Pp. 480, ISBN 0-8176-4249-8, Hardcover. Dimensions (in Inches): 1.00 × 9.96 × 7.36. [REVIEW] Studia Logica 78 (3):479-481.
    Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  34. 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, ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  35. Carlo Cellucci (forthcoming). Frege on Thinking and Its Epistemic Significance. History and Philosophy of Logic:1-3.
  36. Carlo Cellucci (2014). Does Logic Slowly Pass Away, or Has It a Future? In E. Moriconi & L. Tescari (eds.), Second Pisa Colloquium in Logic, Language and Epistemology. ETS 122-136.
    The limitations of mathematical logic either as a tool for the foundations of mathematics, or as a branch of mathematics, or as a tool for artificial intelligence, raise the need for a rethinking of logic. In particular, they raise the need for a reconsideration of the many doors the Founding Fathers of mathematical logic have closed historically. This paper examines three such doors, the view that logic should be a logic of discovery, the view that logic arises from method, and (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  37. Carlo Cellucci (2009). The Universal Generalization Problem. Logique Et Analyse 52.
    The universal generalization problem is the question: What entitles one to conclude that a property established for an individual object holds for any individual object in the domain? This amounts to the question: Why is the rule of universal generalization justified? In the modern and contemporary age Descartes, Locke, Berkeley, Hume, Kant, Mill, Gentzen gave alternative solutions of the universal generalization problem. In this paper I consider Locke’s, Berkeley’s and Gentzen’s solutions and argue that they are problematic. Then I consider (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography   2 citations  
  38. Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  39. Alonzo Church (1958). Review: Herbert L. Searles, Logic and Scientific Methods. An Introductory Course. [REVIEW] Journal of Symbolic Logic 23 (4):436-436.
  40. Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, Oxford University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   117 citations  
  41. Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) (2001). Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Kluwer Academic Publishers.
    This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  42. Michael Clark (1995). Modern Logic. A Text in Elementary Symbolic Logic. Philosophical Books 36 (2):142-143.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43. D. S. Clarke (1973). Deductive Logic. Carbondale,Southern Illinois University Press.
    This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is de­signed for sophomore-junior-level stu­dents ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The inde­pendence of many sections allows the instructor utmost flexibility. The text consists of eight chapters, the first six of which are designed to intro­duce the student to basic topics of sen­tence and predicate logic. The last two chapters extend (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography   3 citations  
  44. Nino Cocchiarella (1988). Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus. Synthese 77 (1):37 - 72.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45. Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
    . In this paper we address the question of recovering a logic system by combining two or more fragments of it. We show that, in general, by fibring two or more fragments of a given logic the resulting logic is weaker than the original one, because some meta-properties of the connectives are lost after the combination process. In order to overcome this problem, the categories Mcon and Seq of multiple-conclusion consequence relations and sequent calculi, respectively, are introduced. The main feature (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46. Gráinne Cooney (1987). Introductory Logic. Philosophical Studies 31:550-551.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  47. Irving M. Copi (1973). Symbolic Logic. New York,Macmillan.
  48. Irving M. Copi (1972). Readings on Logic. New York,Macmillan.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  49. Irving M. Copi (1971). The Theory of Logical Types. London,Routledge and K. Paul.
    This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its ...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  50. Irving M. Copi (1967). Contemporary Readings in Logical Theory. New York, Macmillan.
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 214