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

1000+ found
Order:
  1.  8
    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.  27
    J. Venn (1879). The Difficulties of Material Logic. Mind 4 (13):35-47.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  9
    R. W. Schmidt (2008). The Material Logic of John of St. Thomas. New Scholasticism 30 (2):232-234.
  7.  16
    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.  1
    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  
  9.  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  
  10. 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  
  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. Alonzo Church (1972). Knox J. Jr., Material Implication and “If… Then.” International Logic Review—Rassegna Internazionale di Logica , Vol. 2 No. 3 , Pp. 90–92. [REVIEW] Journal of Symbolic Logic 37 (1):185.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Martin M. Tweedale (1971). Ashworth E. J.. Propositional Logic in the Sixteenth and Early Seventeenth Centuries. Notre Dame Journal of Formal Logic, Vol. 9 No. 2 , Pp. 179–192.Ashworth E. J.. Petrus Fonseca and Material Implication. Notre Dame Journal of Formal Logic, Vol. 9 No. 3 , Pp. 227–228. [REVIEW] Journal of Symbolic Logic 36 (2):323-324.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Alasdair Urquhart (1983). Dishkant Hermann. The First Order Predicate Calculus Based on the Logic of Quantum Mechanics. Reports on Mathematical Logic, No. 3 , Pp. 9–17.Georgacarakos G. N.. Orthomodularity and Relevance. Journal of Philosophical Logic, Vol. 8 , Pp. 415–432.Georgacarakos G. N.. Equationally Definable Implication Algebras for Orthomodular Lattices. Studia Logica, Vol. 39 , Pp. 5–18.Greechie R. J. And Gudder S. P.. Is a Quantum Logic a Logic? Helvetica Physica Acta, Vol. 44 , Pp. 238–240.Hardegree Gary M.. The Conditional in Abstract and Concrete Quantum Logic. The Logico-Algehraic Approach to Quantum Mechanics, Volume II, Contemporary Consolidation, Edited by Hooker C. A., The University of Western Ontario Series in Philosophy of Science, Vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, Pp. 49–108.Hardegree Gary M.. Material Implication in Orthomodular Lattices. Notre Dame Journal of Formal Logic, Vol. 22 , Pp. 163–182.Jauch J. M. And Piron C.. What is “Quantum-Logic”? Qu. [REVIEW] Journal of Symbolic Logic 48 (1):206-208.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Peter Galison (1997). Image and Logic: A Material Culture of Microphysics. University of Chicago Press: Chicago.
    No categories
     
    Export citation  
     
    My bibliography   13 citations  
  19.  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  
  20.  10
    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  
  21.  6
    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  
  22.  2
    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  
  23.  5
    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  
  24.  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-.
  25. 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  
  26. 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  
  27. Patrick A. Heelan (1991). On the Logic of the Social SciencesJürgen Habermas Shierry Weber Nicholsen Jerry A. StarkThe Material Realization of Science: A Philosophical View on the Experimental Natural Sciences, Developed in Discussion with HabermasHans Radder. Isis 82 (1):177-178.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Maria Rentetzi (2000). Peter Galison, Image and Logic: A Material Culture of Microphysics. Chicago: University of Chicago Press, 1997. Pp. XXV+995. Isbn 0-226-27916-2. £63.00, $90.00. [REVIEW] British Journal for the History of Science 33 (3):369-379.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. 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  
  30.  44
    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  
  31. 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  
  32.  61
    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  
  33.  17
    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  
  34.  15
    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  
  35. 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   3 citations  
  36.  49
    Stephen Cole Kleene (1967). 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   30 citations  
  37.  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 (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  38.  2
    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  
  39.  16
    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  
  40.  22
    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  
  41.  28
    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  
  42.  10
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  43.  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  
  44.  7
    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  
  45.  7
    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  
  46.  78
    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  
  47.  98
    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  
  48.  53
    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  
  49.  13
    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 of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  20
    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  
1 — 50 / 1000