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: 210.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. Wilfrid Hodges (2009). Traditional Logic, Modern Logic and Natural Language. Journal of Philosophical Logic 38 (6):589 - 606.score: 198.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  
  3. Irving H. Anellis (2012). Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic. Logica Universalis 6 (3-4):301-326.score: 192.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  
  4. G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..score: 180.0
     
    My bibliography  
     
    Export citation  
  5. James M. Henle (2011). Sweet Reason: A Field Guide to Modern Logic. Wiley-Blackwell.score: 180.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: 174.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: 168.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Leila Haaparanta (ed.) (2009). The Development of Modern Logic. Oxford University Press.score: 156.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: 156.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. David F. Siemens (1977). Review: Henry J. Ehlers, Logic: Modern and Traditional. [REVIEW] Journal of Symbolic Logic 42 (4):584-585.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Jose Ferreiros (2001). The Road to Modern Logic-an Interpretation. Bulletin of Symbolic Logic 7 (4):441-484.score: 150.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  
  12. Albert Blumberg (1967). Logic, Modern. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan. 5--6.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. Jason Aleksander (2004). Modern Paradoxes of Aristotle's Logic. Epoché: A Journal for the History of Philosophy 9 (1):79-99.score: 144.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  
  14. Edward M. Engelmann (2007). Aristotle's Syllogystic, Modern Deductive Logic, and Scientific Demonstration. American Catholic Philosophical Quarterly 81 (4):535-552.score: 144.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  
  15. Gareth B. Matthews (1964). Ockham's Supposition Theory and Modern Logic. Philosophical Review 73 (1):91-99.score: 144.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  
  16. Gregory H. Moore (1997). Hilbert and the Emergence of Modern Mathematical Logic. Theoria 12 (1):65-90.score: 144.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  
  17. 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: 144.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  
  18. A. S. Karpenko (2000). V.A. Smirnov's Results in the Field of Modern Formal Logic. Studia Logica 66 (2):227-252.score: 144.0
    This paper is a survey of V.A. Smirnovs main results in modern logic.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Hans Skjervheim (1958). Reason in Society and Modern Logic. Inquiry 1 (1-4):243 – 246.score: 144.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  
  20. John Mulhern (1974). Modern Notations and Ancient Logic. In. In John Corcoran (ed.), Ancient Logic and its Modern Interpretations. Boston,Reidel. 71--82.score: 144.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Satis Chandra Vidyabhusana (1921/1971). A History of Indian Logic: Ancient, Mediaeval, and Modern Schools. Delhi,Motilal Banarsidass.score: 138.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  
  22. Alan Hausman (2013). Logic and Philosophy: A Modern Introduction. Wadsworth, Cengage Learning.score: 138.0
    As the title suggests, this is a book devoted not merely to logic; students will also examine the philosophical debates that led to the development of the field.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. John P. Burgess (2011). The Development of Modern Logic. History and Philosophy of Logic 32 (2):187 - 191.score: 132.0
    History and Philosophy of Logic, Volume 32, Issue 2, Page 187-191, May 2011.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  24. Giorgio Tonelli (1994). Kant's Critique of Pure Reason Within the Tradition of Modern Logic: A Commentary on its History. Georg Olms.score: 132.0
  25. 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: 132.0
  26. Jan Łukasiewicz (1957/1987). Aristotle's Syllogistic From the Standpoint of Modern Formal Logic. Garland Pub..score: 132.0
  27. 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: 132.0
  28. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.score: 132.0
  29. Paul Llewellyn Brown (1965). Elementary Modern Logic. New York, Ronald Press Co..score: 132.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Edith Watson Schipper (1959). A First Course in Modern Logic. New York, Holt.score: 132.0
  31. Robert John Ackermann (1970). Modern Deductive Logic; an Introduction to its Techniques and Significance. Garden City, N.Y.,Anchor Books.score: 132.0
     
    My bibliography  
     
    Export citation  
  32. Robert John Ackermann (1970). Modern Deductive Logic. [London]Macmillan.score: 132.0
     
    My bibliography  
     
    Export citation  
  33. John William Blyth (1957). A Modern Introduction to Logic. Boston, Houghton Mifflin.score: 132.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Joseph T. Clark (1952). Conventional Logic and Modern Logic. Woodstock, Md.,Woodstock College Press.score: 132.0
     
    My bibliography  
     
    Export citation  
  35. John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations. Boston,Reidel.score: 132.0
  36. Milton Fisk (1964). A Modern Formal Logic. Englewood Cliffs, N.J.,Prentice-Hall.score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  37. William Harold Halberstadt (1960). An Introduction to Modern Logic. New York, Harper.score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  38. Desmond Paul Henry (1972). Medieval Logic and Metaphysics: A Modern Introduction. London,Hutchinson.score: 132.0
     
    My bibliography  
     
    Export citation  
  39. Daya Krishna (1969). Modern Logic: Its Relevance to Philosophy. New Delhi, Impex India.score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  40. David Clement Makinson (1973). Topics in Modern Logic. London,Methuen; Distributed by Harper & Row Publishers, Inc., Barnes and Noble Import Division.score: 132.0
  41. Sydney Herbert Mellone (1966). Elements of Modern Logic. London, University Tutorial P..score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  42. L. Susan Stebbing (1952). A Modern Elementary Logic. New York, Barnes & Noble.score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  43. Ilmar Tammelo (1969). Outlines of Modern Legal Logic. Wiesbaden, F. Steiner.score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  44. Norman L. Thomas (1966). Modern Logic. New York, Barnes & Noble.score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  45. Henry Horace Williams (1927). Modern Logic. Chapel Hill, N.C..score: 132.0
    No categories
     
    My bibliography  
     
    Export citation  
  46. Raul Corazzon, History of Renaissance and Modern Logic From 1400 to Stuart Mill.score: 126.0
    "At the end of the fourteenth century there were roughly three categories of work available to those studying logic. The first category is that of commentaries on Aristotle's 'Organon'. The most comprehensive of these focussed either on the books of the Logica Vetus, which included Porphyry's Isagoge along with the Categories and De Interpretatione; or on the books of the Logica Nova, the remaining works of the 'Organon' which had become known to the West only during the twelfth century. In (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  47. Desmond Paul Henry (1964). Ockham, Suppositio , and Modern Logic. Notre Dame Journal of Formal Logic 5 (4):290-292.score: 126.0
  48. Joseph W. Dauben (2003). Mathematics, Ideology, and the Politics of Infinitesimals: Mathematical Logic and Nonstandard Analysis in Modern China. History and Philosophy of Logic 24 (4):327-363.score: 126.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. James van Evra (1984). Richard Whately and the Rise of Modern Logic. History and Philosophy of Logic 5 (1):1-18.score: 126.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Richard E. Robinson (1974). Review: Howard Kahane, Logic and Philosophy. A Modern Introduction. [REVIEW] Journal of Symbolic Logic 39 (3):613-614.score: 126.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000