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

1000+ found
Order:
  1. 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, (...) 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)
     
    Export citation  
     
    My bibliography   3 citations  
  2. James M. Henle (2011). Sweet Reason: A Field Guide to Modern Logic. Wiley-Blackwell.
    _Sweet Reason: A Field Guide to Modern Logic, 2nd Edition_ offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  3. Wilfrid Hodges (2009). Traditional Logic, Modern Logic and Natural Language. Journal of Philosophical Logic 38 (6):589 - 606.
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  19
    Irving H. Anellis (2012). Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic. Logica Universalis 6 (3-4):301-326.
    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)  
     
    Export citation  
     
    My bibliography  
  5.  1
    G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Evandro Agazzi (1983). Modern Logic--A Survey. Historical, Philosophical, and Mathematical Aspects of Modern Logic and its Applications. Mind 92 (366):286-288.
     
    Export citation  
     
    My bibliography  
  7. Patricia A. Easton (1997). Logic and the Workings of the Mind the Logic of Ideas and Faculty Psychology in Early Modern Philosophy. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  8. Bryan Magee (1987). Bryan Magee Talks to A. J. Ayre About Frege, Russell and Modern Logic. Bbc.
     
    Export citation  
     
    My bibliography  
  9.  10
    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.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    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.
  11.  46
    Leila Haaparanta (ed.) (2009). The Development of Modern Logic. Oxford University Press.
    This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  45
    John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972. [REVIEW] Reidel.
    Articles by Ian Mueller, Ronald Zirin, Norman Kretzmann, John Corcoran, John Mulhern, Mary Mulhern,Josiah Gould, and others. Topics: Aristotle's Syllogistic, Stoic Logic, Modern Research in Ancient Logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  88
    John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations. Boston,Reidel.
    This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in (...)
    Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  14.  16
    Irving H. Anellis (2012). Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective. Logica Universalis 6 (3-4):339-409.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  23
    Philipp Steinkrüger (2015). Aristotle’s Assertoric Syllogistic and Modern Relevance Logic. Synthese 192 (5):1413-1444.
    This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    Wilfrid Hodges (2009). Traditional Logic, Modern Logic and Natural Language. Journal of Philosophical Logic 38 (6):589-606.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  13
    A. S. Karpenko (2000). V.A. Smirnov's Results in the Field of Modern Formal Logic. Studia Logica 66 (2):227-252.
    This paper is a survey of V.A. Smirnovs main results in modern logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18. David F. Siemens (1977). Review: Henry J. Ehlers, Logic: Modern and Traditional. [REVIEW] Journal of Symbolic Logic 42 (4):584-585.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. Albert Blumberg (1967). Logic, Modern. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan 5--6.
     
    Export citation  
     
    My bibliography   40 citations  
  20. Jose Ferreiros (2001). The Road to Modern Logic-an Interpretation. Bulletin of Symbolic Logic 7 (4):441-484.
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  21.  92
    Peter Beilbarz (1992). Reviews : Fredric Jameson, Postmodernism, or, The Cultural Logic of Late Capitalism (Duke/Verso, 1991); Margaret Rose, The Post-Modern and the Post-Industrial (Cambridge University Press, 1991); Alex Callinicos, Against Postmodernism: A Marxist Critique (Cambridge, Polity, 1990). [REVIEW] Thesis Eleven 33 (1):167-171.
    Reviews : Fredric Jameson, Postmodernism, or, The Cultural Logic of Late Capitalism ; Margaret Rose, The Post-Modern and the Post-Industrial ; Alex Callinicos, Against Postmodernism: A Marxist Critique.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  22. Jason Aleksander (2004). Modern Paradoxes of Aristotle's Logic. Epoché: A Journal for the History of Philosophy 9 (1):79-99.
    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)  
     
    Export citation  
     
    My bibliography  
  23.  31
    Gregory H. Moore (1997). Hilbert and the Emergence of Modern Mathematical Logic. Theoria 12 (1):65-90.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  24. Katalin Havas (1996). Aristotelian and Modern Logic. Sorites 4:36-40.
    Is modern logic an improvement on Aristotelian logic or is there some other relationship between the two? In which sense is modern logic more advanced than Aristotelian logic? Is logic a cummulative developing discipline or is the progress in the course of the history of logic somehow different from the cumulatively developing processes? Are these logics based on different -- mutually untranslatable -- paradigms? The paper analyzes these questions in connection with some more general problems of the philosophy (...)
     
    Export citation  
     
    My bibliography  
  25.  40
    Edward M. Engelmann (2007). Aristotle's Syllogystic, Modern Deductive Logic, and Scientific Demonstration. American Catholic Philosophical Quarterly 81 (4):535-552.
    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)  
     
    Export citation  
     
    My bibliography  
  26.  11
    Gareth B. Matthews (1964). Ockham's Supposition Theory and Modern Logic. Philosophical Review 73 (1):91-99.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  27.  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.
    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)  
     
    Export citation  
     
    My bibliography  
  28.  3
    Hans Skjervheim (1958). Reason in Society and Modern Logic. Inquiry 1 (1-4):243 – 246.
    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).
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29. James M. Henle, Jay L. Garfield, Thomas Tymoczko & Emily Altreuter (2011). Sweet Reason: A Field Guide to Modern Logic. Wiley-Blackwell.
    _Sweet Reason: A Field Guide to Modern Logic, 2nd Edition_ offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy (...)
    No categories
     
    Export citation  
     
    My bibliography  
  30. James M. Henle, Jay L. Garfield, Thomas Tymoczko & Emily Altreuter (2012). Sweet Reason: A Field Guide to Modern Logic. Wiley-Blackwell.
    _Sweet Reason: A Field Guide to Modern Logic, 2nd Edition_ offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy (...)
    No categories
     
    Export citation  
     
    My bibliography  
  31. John Mulhern (1974). Modern Notations and Ancient Logic. In John Corcoran (ed.), Ancient Logic and its Modern Interpretations. Boston,Reidel 71--82.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  32. G. I. Ruzavin (1964). On the Problem of the Interrelations of Modern Formal Logic and Mathematical Logic. Russian Studies in Philosophy 3 (1):34-44.
    In recent years, as a result of the extensive employment of the ideas and methods of mathematical logic in cybernetics and computer mathematics here and abroad, there has been a noticeable rise in interest in the methodological problems of this science. One of these is the problem of the relations between mathematical logic and traditional and even modern formal logic. However, when this problem is discussed in our philosophical literature it appears to us that three of its significant factors (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  9
    Satis Chandra Vidyabhusana (1921/1971). A History of Indian Logic: Ancient, Mediaeval, and Modern Schools. Delhi,Motilal Banarsidass.
    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  
     
    Export citation  
     
    My bibliography   5 citations  
  34.  2
    Dorothy Edgington & Howard Kahane (1995). Logic and Philosophy a Modern Introduction. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  3
    Edith Watson Schipper (1959). A First Course in Modern Logic. New York, Holt.
  36.  1
    Milton Fisk (1964). A Modern Formal Logic. Englewood Cliffs, N.J.,Prentice-Hall.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  4
    Alan Hausman (2013). Logic and Philosophy: A Modern Introduction. Wadsworth, Cengage Learning.
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  2
    Dorothy Edgington & Howard Kahane (1990). Logic and Philosophy a Modern Introduction. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. Norman L. Thomas (1984). Modern Logic an Introduction. Monograph Collection (Matt - Pseudo).
  40.  53
    Jan Łukasiewicz (1957/1987). Aristotle's Syllogistic From the Standpoint of Modern Formal Logic. Garland Pub..
  41. Desmond Paul Henry (1972). Medieval Logic and Metaphysics: A Modern Introduction. London,Hutchinson.
     
    Export citation  
     
    My bibliography   19 citations  
  42.  78
    Percy Bridgman (1980). The Logic of Modern Physics. Arno Press.
  43.  97
    John P. Burgess (2011). The Development of Modern Logic. History and Philosophy of Logic 32 (2):187 - 191.
    History and Philosophy of Logic, Volume 32, Issue 2, Page 187-191, May 2011.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  74
    Giorgio Tonelli (1994). Kant's Critique of Pure Reason Within the Tradition of Modern Logic: A Commentary on its History. Georg Olms.
  45.  3
    L. S. Stebbing (1933). A Modern Introduction to Logic. Philosophical Review 42 (4):431-432.
  46. Ilmar Tammelo (1969). Outlines of Modern Legal Logic. Wiesbaden, F. Steiner.
     
    Export citation  
     
    My bibliography   4 citations  
  47.  56
    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.
  48. David Clement Makinson (1973). Topics in Modern Logic. London,Methuen; Distributed by Harper & Row Publishers, Inc., Barnes and Noble Import Division.
  49.  19
    Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
  50. Paul Teller (1989). A Modern Formal Logic Primer.
1 — 50 / 1000