Results for 'Material Logic'

1000+ found
Order:
  1.  12
    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.  25
    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.  16
    The Material Logic of John of St. Thomas.R. W. Schmidt - 1956 - New Scholasticism 30 (2):232-234.
  7.  9
    The Material Logic of John of St. Thomas.R. W. Schmidt - 1956 - New Scholasticism 30 (2):232-234.
  8.  1
    The Material Logic of John of St. Thomas: Basic Treatises. [REVIEW]John J. Fitzgerald - 1957 - Modern Schoolman 34 (4):304-306.
  9.  3
    Assertion and Postulation in the "Material Logic".R. C. Perry - 1971 - Mind 80 (320):589-592.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  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. 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  
  13. 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  
  14.  2
    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.
  15. 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.
  16. 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.
  17. 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.
  18. Image and Logic: A Material Culture of Microphysics.Peter Galison - 1997 - University of Chicago Press: Chicago.
    No categories
     
    Export citation  
     
    My bibliography   13 citations  
  19.  24
    Reflections on Image and Logic: A Material Culture of Microphysics.Peter Louis Galison - 1999 - Perspectives on Science 7 (2):255-284.
  20.  11
    A Translation Between Combinatory Logic and the Alethic Material Propositional Logic.Charls Pearson - 2009 - Semiotics:367-372.
  21.  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 (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  12
    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 (01):74-.
  23.  2
    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  
  24.  6
    Book Review:Image and Logic: A Material Culture of Microphysics Peter Galison. [REVIEW]Kent Staley - 2000 - Philosophy of Science 67 (2):339-.
  25. 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  
  26. 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  
  27. 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.Patrick A. Heelan - 1991 - Isis 82 (1):177-178.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. 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  
  29. 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  
  30. 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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  31.  50
    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  
  32. 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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  33.  65
    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 (15 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  34.  20
    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  
  35.  25
    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   64 citations  
  36. 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   4 citations  
  37.  56
    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   30 citations  
  38.  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   2 citations  
  39.  2
    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   11 citations  
  40.  16
    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 (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  41.  23
    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  
  42.  31
    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  
  43.  4
    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  
  44.  10
    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  
  45.  8
    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  
  46.  8
    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  
  47.  89
    Response to Cohen, Comesaña, Goodman, Nagel, and Weatherson on Gettier Cases in Epistemic Logic.Timothy Williamson - 2013 - 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  
  48.  37
    Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - forthcoming - Logique Et Analyse.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - 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  
  50.  56
    Extensions of First Order Logic.María Manzano - 1996 - 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  
1 — 50 / 1000