Search results for 'Material Logic' (try it on Scholar)

1000+ found
Order:
  1.  6
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2. John of St Thomas (1955). The Material Logic of John of St. Thomas: Basic Treatises. Chicago, University of Chicago Press.
     
    Export citation  
     
    My bibliography  
  3. Pierre Conway (1995). Aristotelian Formal and Material Logic. Upa.
    Based on Aristotle's analysis of the form and matter found in human thought, this book examines the three steps the mind takes in arriving at the truth: defining, judging, and reasoning. The author further analyzes the type of material demanded for scientific or demonstrative knowledge: universal, necessary, and proper propositions and applies this examination to modern science.
     
    Export citation  
     
    My bibliography  
  4.  25
    John J. Fitzgerald (1957). The Material Logic of John of St. Thomas. Modern Schoolman 34 (4):304-306.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  5.  25
    J. Venn (1879). The Difficulties of Material Logic. Mind 4 (13):35-47.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  8
    R. W. Schmidt (2008). The Material Logic of John of St. Thomas. New Scholasticism 30 (2):232-234.
  7.  15
    R. W. Schmidt (1956). The Material Logic of John of St. Thomas. New Scholasticism 30 (2):232-234.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8.  3
    R. C. Perry (1971). Assertion and Postulation in the "Material Logic". Mind 80 (320):589-592.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9. John J. Fitzgerald (1956). GLANVILLE, JOHN J., HOLLENHORST, G. DONALD, and SIMON, YVES R. , MARITAIN, JACQUES . "The Material Logic of John of St. Thomas". [REVIEW] Modern Schoolman 34:304.
    No categories
     
    Export citation  
     
    My bibliography  
  10. John J. Fitzgerald (1957). The Material Logic of John of St. Thomas: Basic Treatises. [REVIEW] Modern Schoolman 34 (4):304-306.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Wild Wild (1955). The Material Logic of John of St. Thomas. [REVIEW] Philosophy and Phenomenological Research 16:556.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. Max Gottschlich & Michael Wladika (eds.) (2005). Dialektische Logik. Hegels „Wissenschaft der Logik“ und ihre realphilosophischen Wirklichkeitsweisen (Gedenkschrift für Franz Ungler) [Dialectical Logic. Hegel’s Science of Logic and its Material Philosophical Realizations (Memorial for Franz Ungler)]. Königshausen&Neumann.
    Hegels Denken ist keineswegs von bloß historischem Interesse, sondern erweist sich stets von neuem als gegenwartsrelativ systematisch faszinierend. Dies gilt in besonderem Maße für jenes Werk, das für gründlichstes und systematisch anspruchsvollstes Denken unserer Tradition steht: die "Wissenschaft der Logik". Diese Logik ist keine weltlose, sondern schlechthin überall, wo wir auch leben und hinblicken, ist sie ausgebreitet wirklich und gegenständlich - in organischen Bildungen, Gefühlen, Meinungen, Institutionen, Kunstwerken, religiösen Formen, bis hin zu Konstrukten und Zahlen. Alles Natürliche und Geistige ist (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  13. Walter Schroyens (2010). Logic and/in Psychology: The Paradoxes of Material Implication and Psychologism in the Cognitive Science of Human Reasoning. In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thinking. OUP Oxford
     
    Export citation  
     
    My bibliography   2 citations  
  14.  2
    Martin M. Tweedale (1971). Review: E. J. Ashworth, Propositional Logic in the Sixteenth and Early Seventeenth Centuries; E. J. Ashworth, Petrus Fonseca and Material Implication. [REVIEW] Journal of Symbolic Logic 36 (2):323-324.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15. Peter Galison (1997). Image and Logic: A Material Culture of Microphysics. University of Chicago Press: Chicago.
    No categories
     
    Export citation  
     
    My bibliography   13 citations  
  16.  24
    Peter Louis Galison (1999). Reflections on Image and Logic: A Material Culture of Microphysics. Perspectives on Science 7 (2):255-284.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  8
    Charls Pearson (2009). A Translation Between Combinatory Logic and the Alethic Material Propositional Logic. Semiotics:367-372.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    Olivier Darrigol (2001). Revue Critique. Sur l'Ouvrage de Peter Galison, Image and Logic: A Material Culture of Microphysics/Critical Review. Image and Logic: A Material Culture of Microphysics by Peter Galison. [REVIEW] Revue d'Histoire des Sciences 54 (2):255-260.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    John Ziman (1998). Image and Logic: A Material Culture of Microphysics, by Peter Galison. [REVIEW] Minerva 36 (3):289-293.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  4
    Luciana Repici (2009). Theophrastus' Logic (P.) Huby Theophrastus of Eresus. Sources for His Life, Writings, Thought and Influence. Commentary Volume 2: Logic. With Contributions on the Arabic Material by Dimitri Gutas. (Philosophia Antiqua 103.) Pp. Xvi + 208. Leiden and Boston: Brill, 2007. Cased, €89, US$120. ISBN: 978-90-04-15298-. [REVIEW] The Classical Review 59 (01):74-.
  21.  4
    Kent Staley (2000). Book Review:Image and Logic: A Material Culture of Microphysics Peter Galison. [REVIEW] Philosophy of Science 67 (2):339-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22. Olivier Darrigol (2001). Documents-Critical Review. Image and Logic: A Material Culture of Microphysics by Peter Galison. Revue d'Histoire des Sciences 54 (2):255-260.
    No categories
     
    Export citation  
     
    My bibliography  
  23. Patrick Heelan (1991). On the Logic of the Social Sciences by Jürgen Habermas; Shierry Weber Nicholsen; Jerry A. Stark; The Material Realization of Science: A Philosophical View on the Experimental Natural Sciences, Developed in Discussion with Habermas by Hans Radder. Isis: A Journal of the History of Science 82:177-178.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24. Steven M. Duncan, Possibilities That Matter I: Material Possibility.
    This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25.  40
    Liza Verhoeven (2007). The Relevance of a Relevantly Assertable Disjunction for Material Implication. Journal of Philosophical Logic 36 (3):339-366.
    In this paper Grice's requirements for assertability are imposed on the disjunction of Classical Logic. Defining material implication in terms of negation and disjunction supplemented by assertability conditions, results in the disappearance of the most important paradoxes of material implication. The resulting consequence relation displays a very strong resemblance to Schurz's conclusion-relevant consequence relation.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26. Steven M. Duncan, Possibilities That Matter II: Material Contingency and Sufficient Reason.
    This is the second of a series of papers inspired by a paper I wrote around 1989. In this paper, I consider the notion of material contingency and relate it to the traditional, metaphysically loaded Principle of Sufficient Reason.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  27.  60
    David Sherry (2006). Formal Logic for Informal Logicians. Informal Logic 26 (2):199-220.
    Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  28.  16
    Lukas M. Verburgt (2014). John Venn's Hypothetical Infinite Frequentism and Logic. History and Philosophy of Logic 35 (3):248-271.
    The goal of this paper is to provide a detailed reading of John Venn's Logic of Chance as a work of logic or, more specifically, as a specific portion of the general system of so-called ‘materiallogic developed in his Principles of Empirical or Inductive Logic and to discuss it against the background of his Boolean-inspired views on the connection between logic and mathematics. It is by means of this situating of Venn 1866 [The (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  29.  12
    Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   64 citations  
  30. Niki Pfeifer (2013). Reasoning About Uncertain Conditionals. Studia Logica (4):1-18.
    There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  48
    Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   29 citations  
  32.  1
    James D. Mccawley (1984). Everything That Linguists Have Always Wanted to Know About Logic, but Were Ashamed to Ask. Journal of Symbolic Logic 49 (4):1407-1408.
    McCawley supplements his earlier book—which covers such topics as presuppositional logic, the logic of mass terms and nonstandard quantifiers, and fuzzy logic—with new material on the logic of conditional sentences, linguistic applications of type theory, Anil Gupta's work on principles of identity, and the generalized quantifier approach to the logical properties of determiners.
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  33.  15
    Lloyd Humberstone (2000). An Intriguing Logic with Two Implicational Connectives. Notre Dame Journal of Formal Logic 41 (1):1-40.
    Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1- and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the general case) in terms of matrix methodology in §1, showing how to reformulate the matrix semantics as a Kripke-style possible worlds semantics, thereby displaying the distinction between the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  34.  20
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  26
    Murdoch J. Gabbay (2011). Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax. Bulletin of Symbolic Logic 17 (2):161-229.
    We are used to the idea that computers operate on numbers, yet another kind of data is equally important: the syntax of formal languages, with variables, binding, and alpha-equivalence. The original application of nominal techniques, and the one with greatest prominence in this paper, is to reasoning on formal syntax with variables and binding. Variables can be modelled in many ways: for instance as numbers (since we usually take countably many of them); as links (since they may `point' to a (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  36.  23
    Robert K. Meyer (2008). Ai, Me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920). Journal of Philosophical Logic 37 (2):169 - 181.
    C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  8
    Alexej P. Pynko (2000). Subprevarieties Versus Extensions. Application to the Logic of Paradox. Journal of Symbolic Logic 65 (2):756-766.
    In the present paper we prove that the poset of all extensions of the logic defined by a class of matrices whose sets of distinguished values are equationally definable by their algebra reducts is the retract, under a Galois connection, of the poset of all subprevarieties of the prevariety generated by the class of the algebra reducts of the matrices involved. We apply this general result to the problem of finding and studying all extensions of the logic of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  2
    Néstor Cohen & Gabriela Gómez Rojas (2003). La Lógica Del Experimento Como Instancia Pedagógica. Cinta de Moebio 18.
    The present article tries to emphasize the roll of the experimental logic in the process of education-learning of the methodology of the investigation. Its treatment usually appears as material for the later boarding of the explanation or the calls explanatory designs or explanatory reconnaissanc..
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  5
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  6
    Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
    This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  72
    Timothy Williamson (2013). Response to Cohen, Comesaña, Goodman, Nagel, and Weatherson on Gettier Cases in Epistemic Logic. Inquiry 56 (1):77-96.
    The five commentators on my paper ‘Gettier Cases in Epistemic Logic’ (GCEL) demonstrate how fruitful the topic can be. Especially in Brian Weatherson's contribution, and to some extent in those of Jennifer Nagel and Jeremy Goodman, much of the material constitutes valuable development and refinement of ideas in GCEL, rather than criticism. In response, I draw some threads together, and answer objections, mainly those in the papers by Stewart Cohen and Juan Comesaña and by Goodman.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  42.  95
    John MacFarlane (2000). What Does It Mean to Say That Logic is Formal? Dissertation, University of Pittsburgh
    Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it (...)
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  43.  50
    María Manzano (1996). Extensions of First Order Logic. Cambridge University Press.
    Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided (...)
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  44.  9
    John Corcoran (1978-9). CORCORAN's THUMBNAIL REVIEWS OF OPPOSING PHILOSOPHY OF LOGIC BOOKS. MATHEMATICAL REVIEWS 56:98-9.
    PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  19
    Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
    This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, (...)
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  46.  3
    Norman Kretzmann (1968). William of Sherwood's Introduction to Logic. Philosophical Review 77 (1):99-101.
    _William of Sherwood's Introduction to Logic _ was first published in 1966. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. The _Introduction to Logic _ by William of Sherwood, of which this is the first English translation, is the oldest surviving treatise which contains a treatment of the most distinctive and interesting medieval contributions to logic and semantics. Sherwood was a (...)
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  47. Jon Barwise & John Etchemendy (2002). Language, Proof and Logic: Text and Cd. Center for the Study of Language and Inf.
    This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more (...)
     
    Export citation  
     
    My bibliography   1 citation  
  48.  3
    Nicholas Rescher (1964). Studies in the History of Arabic Logic. [Pittsburgh]University of Pittsburgh Press.
    Much attention has been given to Arabic thought in the history of philosophy, however, Arabic contributions to logic have been greatly overlooked. In the ten essays of this book, Nicholas Rescher presents substantial material on the history, progression and major trends of Arabic logic from the eighth through the sixteenth century. Rescher finds that, like much of Western thought, Arabic logic had its basis in Greek philosophy, and specifically in Hellenistic Aristotelian logic.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  49.  81
    Colin Howson (1997). Logic with Trees: An Introduction to Symbolic Logic. Routledge.
    Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and exercises guide beginners through the book, with answers to selected exercises enabling readers to check their progress. Logic With Trees equips students with: a complete and clear account of the truth-tree (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  13
    Mark T. Nelson (1993). Promises and Material Conditionals. Teaching Philosophy 16 (2):155-156.
    Some beginning logic students find it hard to understand why a material conditional is true when its antecedent is false. I draw an analogy between conditional statements and conditional promises (especially between true conditional statements and unbroken conditional promises) that makes this point of logic less counter-intuitive.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 1000