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:
121 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 121
  1. 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 |
     
    My bibliography  
     
    Export citation  
  2. 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  
     
    My bibliography  
     
    Export citation  
  3. 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  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. Stephen Francis Barker (1974). The Elements of Logic. New York,Mcgraw-Hill.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  6. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  7. 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 |
     
    My bibliography  
     
    Export citation  
  8. 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.
  9. Patrick K. Bastable (1975). Logic: Depth Grammar of Rationality: A Textbook on the Science and History of Logic. Gill and Macmillan.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  10. 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 |
     
    My bibliography  
     
    Export citation  
  11. André Bazzoni (forthcoming). Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts. Journal of Philosophical Logic:1-10.
    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 (IFL) 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 (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. John D. Beach (1970). Introduction to Logic. Boston,Allyn and Bacon.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  13. 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  
     
    My bibliography  
     
    Export citation  
  14. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  15. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  17. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  18. 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  
     
    My bibliography  
     
    Export citation  
  19. 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)  
     
    My bibliography  
     
    Export citation  
  20. 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  
     
    My bibliography  
     
    Export citation  
  21. Baruch A. Brody (1973). Logic: Theoretical and Applied. Englewood Cliffs, N.J.,Prentice-Hall.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  22. Henry Byerly (1973). A Primer of Logic. New York,Harper & Row.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  23. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  24. James D. Carney (1974). Fundamentals of Logic. New York,Macmillan.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. 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)  
     
    My bibliography  
     
    Export citation  
  26. 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  
     
    My bibliography  
     
    Export citation  
  27. 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.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  28. 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  
     
    My bibliography  
     
    Export citation  
  29. 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  
     
    My bibliography  
     
    Export citation  
  30. 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  
     
    My bibliography  
     
    Export citation  
  31. 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 |
     
    My bibliography  
     
    Export citation  
  32. 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)  
     
    My bibliography  
     
    Export citation  
  33. 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)  
     
    My bibliography  
     
    Export citation  
  34. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  35. Irving M. Copi (1972/1971). Readings on Logic. New York,Macmillan.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  36. 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)  
     
    My bibliography  
     
    Export citation  
  37. Irving M. Copi (1967). Contemporary Readings in Logical Theory. New York, Macmillan.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  38. John Corcoran (1989). Argumentations and Logic. ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. John Corcoran (1980). Categoricity. History and Philosophy of Logic 1 (1):187-207.
    After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. John Corcoran & Micheal Scanlan (1982). Critical Notice: Contemporary Relevance of Ancient Logical Theory. Philosophical Quarterly 32 (1):76-86.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  41. Sam Cumming (ed.) (2013). Meaning and Argument: An Introduction to Logic Through Language. Wiley-Blackwell.
  42. Gabbay Dm & Guenthner F. (2002). Handbook of Philosophical Logic. History and Philosophy of Logic 23 (4):289-291.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Burton Dreben & Juliet Floyd (1991). Tautology: How Not to Use a Word. Synthese 87 (1):23 - 49.
  44. William Duncan (1748/1970). The Elements of Logic, 1748. Menston,Scolar P..
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  45. Michael Durrant & Charles Sayward (1967). Austin On Whether Every Proposition Has A Contradictory. Analysis 27 (April):167-170.
    Austin rejects the contention that every proposition has a contradictory. This paper finds problems with the case Austin makes for rejecting the contention in question.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Antony Eagle, Elements of Deductive Logic.
    This is a textbook covering the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written to accompany lectures in an introductory to intermediate logic course at the University of Oxford, but it is designed to be used independently.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Heinz-Dieter Ebbinghaus (1996). Mathematical Logic. Springer.
    This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Elena Ficara (2013). Hegel Within Contemporary Logic. Teoria 33 (1):297-312.
    In this paper I consider Hegel’s idea of logic in different passages of his work (in the Introduction to the Science of Logic, in the Vorbegriff of the Encyclopaedia Logic, in the Lectures on the History of Philosophy), and I compare it with some contemporary conceptions of logic. In my view, such a comparison is relevant in at least two senses. First, it makes possible to address the controversial question: «what kind of logic is Hegel’s logic?». Second, it allows to (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  49. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. 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 (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  50. Stamatios Gerogiorgakis (2013). [Review of] Jon Williamson/Federica Russo (Eds.), Key Terms in Logic, London: Continuum, 2010. [REVIEW] Logical Analysis and History of Philosophy 16:384-386.
1 — 50 / 121