Search results for 'Logic, Modern' (try it on Scholar)

1000+ found
Sort by:
  1. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.score: 81.0
    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, (...) Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work. (shrink)
     
    My bibliography  
     
    Export citation  
  2. Irving H. Anellis (2012). Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic. Logica Universalis 6 (3-4):301-326.score: 72.0
    Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Wilfrid Hodges (2009). Traditional Logic, Modern Logic and Natural Language. Journal of Philosophical Logic 38 (6):589 - 606.score: 69.0
    In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..score: 66.0
     
    My bibliography  
     
    Export citation  
  5. James M. Henle (2011). Sweet Reason: A Field Guide to Modern Logic. Wiley-Blackwell.score: 66.0
    No categories
     
    My bibliography  
     
    Export citation  
  6. Zhongyi Zhang & Jialong Zhang (2009). The Three-Form Reasoning of New Hetu-Vidya in Indian Logic From the Perspective of Modern Logic. Frontiers of Philosophy in China 4 (4):631-645.score: 63.0
    Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal instantiation.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Zhang Zhongyi & Zhang Jialong (2009). The Three-Form Reasoning of New Hetu-Vidya in Indian Logic From the Perspective of Modern Logic. Frontiers of Philosophy in China 4 (4):631-645.score: 60.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Leila Haaparanta (ed.) (2009). The Development of Modern Logic. Oxford University Press.score: 54.0
    This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Irving H. Anellis (2012). Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective. Logica Universalis 6 (3-4):339-409.score: 54.0
    I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Jose Ferreiros (2001). The Road to Modern Logic-an Interpretation. Bulletin of Symbolic Logic 7 (4):441-484.score: 51.0
    This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Philip R. Shields (1993). Logic and Sin in the Writings of Ludwig Wittgenstein. University of Chicago Press.score: 51.0
    Philip R. Shields shows that ethical and religious concerns inform even the most technical writings on logic and language, and that, for Wittgenstein, the need to establish clear limitations is both a logical and an ethical demand. Rather than merely saying specific things about theology and religion, major texts from the Tractatus to the Philosophical Investigations express their fundamentally religious nature by showing that there are powers which bear down upon and sustain us. Shields finds a religious view of the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Paolo Rossi (2000). Logic and the Art of Memory: The Quest for a Universal Language. University of Chicago Press.score: 51.0
    The mnemonic arts and the idea of a universal language that would capture the essence of all things were originally associated with cryptology, mysticism, and other occult practices. And it is commonly held that these enigmatic efforts were abandoned with the development of formal logic in the seventeenth century and the beginning of the modern era. In his distinguished book, Logic and the Art of Memory Italian philosopher and historian Paolo Rossi argues that this view is belied by an (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Richard Bornat (2005). Proof and Disproof in Formal Logic: An Introduction for Programmers. New Yorkoxford University Press.score: 51.0
    Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Paul Schuurman (ed.) (2004). Ideas, Mental Faculties, and Method: The Logic of Ideas of Descartes and Locke and its Reception in the Dutch Republic. Brill.score: 51.0
    This is the first comprehensive study of the early modern logic of ideas. It is also a profound contribution to our understanding of the interaction between Aristotelianism and new philosophy and between rationalism and empiricism.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Jason Aleksander (2004). Modern Paradoxes of Aristotle's Logic. Epoché: A Journal for the History of Philosophy 9 (1):79-99.score: 48.0
    This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Edward M. Engelmann (2007). Aristotle's Syllogystic, Modern Deductive Logic, and Scientific Demonstration. American Catholic Philosophical Quarterly 81 (4):535-552.score: 48.0
    This article investigates the nature of Aristotelian syllogistics and shows that the categorical syllogism is fundamentally about showing the connection, in the premises of the syllogism, between the major and minor terms as stated in the conclusion. It discusses how this is important for the use of the syllogism in scientific demonstration. The article then examines modern deductive logic with an eye to they way in which it contrasts with Aristotelian syllogistics. It shows howmodern logic is about making necessary (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Gareth B. Matthews (1964). Ockham's Supposition Theory and Modern Logic. Philosophical Review 73 (1):91-99.score: 48.0
    Philotheus boehner's "medieval logic" gives the impression that medieval supposition theory and modern quantification theory agree on their interpretation of particular propositions but differ on their interpretation of universal propositions. Matthews shows that this impression is mistaken: they differ on both particular and universal propositions, And the basic reason is that the medievals quantify over terms while modern logicians quantify over variables. (staff).
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Gregory H. Moore (1997). Hilbert and the Emergence of Modern Mathematical Logic. Theoria 12 (1):65-90.score: 48.0
    Hilbert’s unpublished 1917 lectures on logic, analyzed here, are the beginning of modern metalogic. In them he proved the consistency and Post-completeness (maximal consistency) of propositional logic -results traditionally credited to Bernays (1918) and Post (1921). These lectures contain the first formal treatment of first-order logic and form the core of Hilbert’s famous 1928 book with Ackermann. What Bernays, influenced by those lectures, did in 1918 was to change the emphasis from the consistency and Post-completeness of a logic to (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Risto Vilkko (2007). The Problematic Reconstruction of the Development of Modern Logic. The Proceedings of the Twenty-First World Congress of Philosophy 5:31-35.score: 48.0
    Many historians and philosophers of logic have claimed that during the modern classical era there was a long period of stagnation or even of decline in the field of logic. The aim of this paper is to convince the audience that this standard evaluation of the development of modern logic during the period from Leibniz to Frege is misdirected and needs to be corrected. Even though it is true that the now usual way of understanding logic merely as (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Hans Skjervheim (1958). Reason in Society and Modern Logic. Inquiry 1 (1-4):243 – 246.score: 48.0
    The author considers the question of whether modern mathematical logic is an adequate framework for the explication and formalization of the kind of reasoning which occurs in everyday life in society, as well as with regard to the kind of more refined reasoning that is represented by the social scientist. (staff).
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. A. S. Karpenko (2000). V.A. Smirnov's Results in the Field of Modern Formal Logic. Studia Logica 66 (2):227-252.score: 48.0
    This paper is a survey of V.A. Smirnovs main results in modern logic.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. John Mulhern (1974). Modern Notations and Ancient Logic. In. In John Corcoran (ed.), Ancient Logic and its Modern Interpretations. Boston,Reidel. 71--82.score: 48.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. David F. Siemens (1977). Review: Henry J. Ehlers, Logic: Modern and Traditional. [REVIEW] Journal of Symbolic Logic 42 (4):584-585.score: 48.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Albert Blumberg (1967). Logic, Modern. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan. 5--6.score: 45.0
    No categories
     
    My bibliography  
     
    Export citation  
  25. Satis Chandra Vidyabhusana (1921/1971). A History of Indian Logic: Ancient, Mediaeval, and Modern Schools. Delhi,Motilal Banarsidass.score: 45.0
    The Conciliatory Character of Jaina Logic. In the previous pages there has been given an indication of the services rendered by the Jainas and N° Brihrna^1 H,e the Buddhists in the formation of the Mediaeval School of Indian Logic. Since the  ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. John P. Burgess (2011). The Development of Modern Logic. History and Philosophy of Logic 32 (2):187 - 191.score: 42.0
    History and Philosophy of Logic, Volume 32, Issue 2, Page 187-191, May 2011.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  27. Giorgio Tonelli (1994). Kant's Critique of Pure Reason Within the Tradition of Modern Logic: A Commentary on its History. Georg Olms.score: 42.0
  28. Ermanno Bencivenga (2000). Hegel's Dialectical Logic. Oxford University Press.score: 42.0
    This clear, accessible account of Hegelian logic makes a case for its enormous seductiveness, its surprising presence in the collective consciousness, and the dangers associated therewith. Offering comprehensive coverage of Hegel's important works, Bencivenga avoids getting bogged down in short-lived scholarly debates to provide a work of permanent significance and usefulness.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. E. J. Ashworth (1974). Language and Logic in the Post-Medieval Period. Reidel.score: 42.0
    HISTORICAL INTRODUCTION Although many of the details of the development of logic in the Middle Ages remain to be filled in, it is well known that between ...
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Immanuel Kant (1992). Lectures on Logic. Cambridge University Press.score: 42.0
    Kant's views on logic and logical theory play an important role in his critical writings, especially the Critique of Pure Reason. However, since he published only one short essay on the subject, we must turn to the texts derived from his logic lectures to understand his views. The present volume includes three previously untranslated transcripts of Kant's logic lectures: the Blumberg Logic from the 1770s; the Vienna Logic (supplemented by the recently discovered Hechsel Logic) from the early 1780s; and the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Irving H. Anellis (2009). Review of D. M. Gabbay and J. Woods (Eds.), Handbook of the History of Logic, Volume 3: The Rise of Modern Logic From Leibniz to Frege. [REVIEW] Transactions of the Charles S. Peirce Society 45 (3):pp. 456-464.score: 42.0
  32. Tom Burke (1994). Dewey's New Logic: A Reply to Russell. University of Chicago Press.score: 42.0
    John Dewey is celebrated for his work in the philosophy of education and acknowledged as a leading proponent of American pragmatism. His philosophy of logic, on the other hand, is largely unheard of. In Dewey's New Logic, Burke analyzes portions of the debate between Dewey and Bertrand Russell that followed the 1938 publication of Dewey's Logic: The Theory of Inquiry. Burke shows how Russell failed to understand Dewey, and how Dewey's philosophy of logic is centrally relevant to contemporary developments in (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Julie E. Maybee (2009). Picturing Hegel: An Illustrated Guide to Hegel's Encyclopaedia Logic. Lexington Books.score: 42.0
    Introduction -- Entering the gallery : Hegel's overall project and the project of the logic -- The skepticism of Hume and Kant -- Reason overgrasps reality -- Essential, necessary universals -- Reason drives itself : semantics and syntax -- Hegel's argument -- Hegel's overall project -- The conceptual and semantic project of the logic -- The syntactic project of the logic -- Introduction -- The doctrine of quality -- The doctrine of quantity -- The doctrine of measure -- Wrap up (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Massimo Barale (2000). Kant's Critique of Pure Reason with in the Tradition of Modern Logic. [REVIEW] International Studies in Philosophy 32 (4):149-152.score: 42.0
  35. John McTaggart Ellis McTaggart (1964). A Commentary on Hegel's Logic. New York, Russell & Russell.score: 42.0
    John McTaggart Ellis McTaggart A COMMENTARY ON HEGEL'S LOGIC Elibron Classics www.elibron.com ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Jan Łukasiewicz (1957/1987). Aristotle's Syllogistic From the Standpoint of Modern Formal Logic. Garland Pub..score: 42.0
  37. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.score: 42.0
  38. Hidé Ishiguro (1990). Leibniz's Philosophy of Logic and Language. Cambridge University Press.score: 42.0
    This is the second edition of an important introduction to Leibniz's philosophy of logic and language first published in 1972. It takes issue with several traditional interpretations of Leibniz (by Russell amongst others) while revealing how Leibniz's thought is related to issues of great interest in current logical theory. For this new edition, the author has added new chapters on infinitesimals and conditionals as well as taking account of reviews of the first edition.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Robert John Ackermann (1970). Modern Deductive Logic; an Introduction to its Techniques and Significance. Garden City, N.Y.,Anchor Books.score: 42.0
     
    My bibliography  
     
    Export citation  
  40. Robert John Ackermann (1970). Modern Deductive Logic. [London]Macmillan.score: 42.0
     
    My bibliography  
     
    Export citation  
  41. John William Blyth (1957). A Modern Introduction to Logic. Boston, Houghton Mifflin.score: 42.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Paul Llewellyn Brown (1965). Elementary Modern Logic. New York, Ronald Press Co..score: 42.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Joseph T. Clark (1952). Conventional Logic and Modern Logic. Woodstock, Md.,Woodstock College Press.score: 42.0
     
    My bibliography  
     
    Export citation  
  44. John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations. Boston,Reidel.score: 42.0
  45. Milton Fisk (1964). A Modern Formal Logic. Englewood Cliffs, N.J.,Prentice-Hall.score: 42.0
    No categories
     
    My bibliography  
     
    Export citation  
  46. William Harold Halberstadt (1960). An Introduction to Modern Logic. New York, Harper.score: 42.0
    No categories
     
    My bibliography  
     
    Export citation  
  47. Desmond Paul Henry (1972). Medieval Logic and Metaphysics: A Modern Introduction. London,Hutchinson.score: 42.0
     
    My bibliography  
     
    Export citation  
  48. Daya Krishna (1969). Modern Logic: Its Relevance to Philosophy. New Delhi, Impex India.score: 42.0
    No categories
     
    My bibliography  
     
    Export citation  
  49. David Clement Makinson (1973). Topics in Modern Logic. London,Methuen; Distributed by Harper & Row Publishers, Inc., Barnes and Noble Import Division.score: 42.0
  50. Sydney Herbert Mellone (1966). Elements of Modern Logic. London, University Tutorial P..score: 42.0
    No categories
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000