Results for 'Material Logic'

1000+ found
Order:
  1.  22
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    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. The Material Logic of John of St. Thomas: Basic Treatises.John of St Thomas - 1955 - Chicago: University of Chicago Press.
     
    Export citation  
     
    My bibliography  
  3. Aristotelian Formal and Material Logic.Pierre Conway - 1995 - 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.  26
    The Material Logic of John of St. Thomas.John J. Fitzgerald - 1957 - Modern Schoolman 34 (4):304-306.
  5.  27
    The Difficulties of Material Logic.J. Venn - 1879 - Mind 4 (13):35-47.
  6.  18
    The Material Logic of John of St. Thomas.R. W. Schmidt - 1956 - New Scholasticism 30 (2):232-234.
  7.  11
    The Material Logic of John of St. Thomas.R. W. Schmidt - 1956 - New Scholasticism 30 (2):232-234.
  8.  5
    Assertion and Postulation in the "Material Logic".R. C. Perry - 1971 - Mind 80 (320):589-592.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    The Material Logic of John of St. Thomas: Basic Treatises. [REVIEW]John J. Fitzgerald - 1957 - Modern Schoolman 34 (4):304-306.
  10. GLANVILLE, JOHN J., HOLLENHORST, G. DONALD, and SIMON, YVES R. , MARITAIN, JACQUES . "The Material Logic of John of St. Thomas". [REVIEW]John J. Fitzgerald - 1956 - Modern Schoolman 34:304.
     
    Export citation  
     
    My bibliography  
  11. The Material Logic of John of St. Thomas. [REVIEW]Wild Wild - 1955 - Philosophy and Phenomenological Research 16:556.
  12. The Material Logic of John of St. Thomas.John Wild, Simon, Glanville & Hollenhorst - 1956 - Philosophy and Phenomenological Research 16 (4):556.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. 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)].Max Gottschlich & Michael Wladika (eds.) - 2005 - 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  
  14. Logic and/in Psychology: The Paradoxes of Material Implication and Psychologism in the Cognitive Science of Human Reasoning.Walter Schroyens - 2010 - In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thinking. Oxford University Press.
     
    Export citation  
     
    My bibliography   2 citations  
  15.  2
    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]Alasdair Urquhart - 1983 - Journal of Symbolic Logic 48 (1):206-208.
  16.  3
    Review: E. J. Ashworth, Propositional Logic in the Sixteenth and Early Seventeenth Centuries; E. J. Ashworth, Petrus Fonseca and Material Implication. [REVIEW]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
  17. Knox J. Jr., Material Implication and “If… Then.” International Logic Review—Rassegna Internazionale di Logica , Vol. 2 No. 3 , Pp. 90–92. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (1):185.
  18. 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]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
  19. Image and Logic: A Material Culture of Microphysics.Peter Galison - 1997 - University of Chicago Press: Chicago.
    No categories
     
    Export citation  
     
    My bibliography   13 citations  
  20.  29
    Reflections on Image and Logic: A Material Culture of Microphysics.Peter Louis Galison - 1999 - Perspectives on Science 7 (2):255-284.
  21.  13
    A Translation Between Combinatory Logic and the Alethic Material Propositional Logic.Charls Pearson - 2009 - Semiotics:367-372.
  22.  16
    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]Luciana Repici - 2009 - The Classical Review 59 (1):74-.
  23.  3
    On the Logic of the Social Sciences. Jürgen Habermas, Shierry Weber Nicholsen, Jerry A. StarkThe Material Realization of Science: A Philosophical View on the Experimental Natural Sciences, Developed in Discussion with Habermas. Hans Radder. [REVIEW]Patrick A. Heelan - 1991 - Isis 82 (1):177-178.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  6
    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]Olivier Darrigol - 2001 - Revue d'Histoire des Sciences 54 (2):255-260.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  4
    Image and Logic: A Material Culture of Microphysics, by Peter Galison. [REVIEW]John Ziman - 1998 - Minerva 36 (3):289-293.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  6
    Book Review:Image and Logic: A Material Culture of Microphysics Peter Galison. [REVIEW]Kent Staley - 2000 - Philosophy of Science 67 (2):339-.
  27.  2
    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.Patrick Heelan - 1991 - Isis: A Journal of the History of Science 82:177-178.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28. Documents-Critical Review. Image and Logic: A Material Culture of Microphysics by Peter Galison.Olivier Darrigol - 2001 - Revue d'Histoire des Sciences 54 (2):255-260.
    No categories
     
    Export citation  
     
    My bibliography  
  29. 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]Maria Rentetzi - 2000 - British Journal for the History of Science 33 (3):369-379.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Kent Staley Reviewed Work: Image and Logic: A Material Culture of Microphysics by Peter Galison. [REVIEW]Kent Staley - 2000 - Philosophy of Science 67 (2):339-341.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31. Possibilities That Matter I: Material Possibility.Steven M. Duncan - manuscript
    This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  32.  51
    The Relevance of a Relevantly Assertable Disjunction for Material Implication.Liza Verhoeven - 2007 - 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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  33. Possibilities That Matter II: Material Contingency and Sufficient Reason.Steven M. Duncan - manuscript
    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.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  34.  77
    Formal Logic for Informal Logicians.David Sherry - 2006 - 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 (12 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  35.  22
    John Venn's Hypothetical Infinite Frequentism and Logic.Lukas M. Verburgt - 2014 - 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  
  36. Contemporary Logic and Evolutionary Taxonomy: A Reply to Gregg.David L. Hull & D. Paul Snyder - 1969 - Systematic Zoology 18 (3):347-354.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  27
    A Mathematical Introduction to Logic.Herbert B. Enderton - 1972 - 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   66 citations  
  38. An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
    This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as (...)
    Direct download  
     
    Export citation  
     
    My bibliography   34 citations  
  39. Reasoning About Uncertain Conditionals.Niki Pfeifer - 2013 - 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 (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  40.  58
    Mathematical Logic.Stephen Cole Kleene - 1967 - 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   31 citations  
  41.  26
    Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax.Murdoch J. Gabbay - 2011 - 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   3 citations  
  42.  5
    Everything That Linguists Have Always Wanted to Know About Logic, but Were Ashamed to Ask.James D. Mccawley - 1984 - 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   12 citations  
  43.  19
    An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - 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 (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  44.  25
    Mathematical Logic.Ian Chiswell - 2007 - 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  
  45.  11
    Subprevarieties Versus Extensions. Application to the Logic of Paradox.Alexej P. Pynko - 2000 - 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 (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46.  35
    Ai, Me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920).Robert K. Meyer - 2008 - 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  6
    La Lógica Del Experimento Como Instancia Pedagógica.Néstor Cohen & Gabriela Gómez Rojas - 2003 - 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  
  48.  11
    Language, Proof, and Logic.Dave Barker-Plummer - 2011 - 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  
  49.  9
    The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard Kaye - 2007 - 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  
  50. Response to Cohen, Comesaña, Goodman, Nagel, and Weatherson on Gettier Cases in Epistemic Logic.Timothy Williamson - 2013 - Inquiry : An Interdisciplinary Journal of Philosophy 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   10 citations  
1 — 50 / 1000