15 found
Order:
Disambiguations
Eric Hammer [10]Eric M. Hammer [5]Eric Morgan Hammer [1]
  1. Logic and Visual Information.Eric M. Hammer - 1995 - CSLI Publications.
    This book examines the logical foundations of visual information: information presented in the form of diagrams, graphs, charts, tables, and maps. The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in compution. Chapters of the book develop the logics of familiar systems of diagrams such as Venn diagrams and Euler circles. Other chapters develop the logic of higraphs, Pierce diagrams, and a system having both diagrams and sentences among its well-formed representations. (...)
     
    Export citation  
     
    Bookmark   9 citations  
  2.  59
    Euler’s Visual Logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
    The evolution of Euler diagrams is examined from Euler's original system through the modifications made by Venn and Peirce. It is shown that these modifications were motivated by an attempt to increase the expressivity of the diagrams, but that a side effect of these modifications was a loss of the visual clarity of Euler's original system. Euler's original system is reconstructed from a modern, logical point of view. Formal semantics and rules of inference are provided for this reconstruction of Euler's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  13
    Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.
    A formal system is studied having both sentences and diagrams as well-formed representations. Proofs in the system allow inference back and forth between sentences and diagrams, as well as between diagrams and diagrams, and between sentences and sentences. This sort of heterogeneous system is of interest because external representations other than linguistic ones occur commonly in actual reasoning in conjunction with language. Syntax, semantics, and rules of inference for the system are given and it is shown to be sound and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  24
    Diagrams and the Concept of Logical System.Jon Barwise & Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
  5.  44
    Semantics for Existential Graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
    This paper examines Charles Peirce's graphical notation for first-order logic with identity. The notation forms a part of his system of "existential graphs," which Peirce considered to be his best work in logic. In this paper a Tarskian semantics is provided for the graphical system.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  5
    Peircean Graphs for Propositional Logic.Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  48
    The Truths of Logic.Eric M. Hammer - 1996 - Synthese 109 (1):27 - 45.
    Several accounts of logical truth are compared and shown to define distinct concepts. Nevertheless, conditions are given under which they happen to declare exactly the same sentences logically true. These conditions involve the variety of objects in the domain, the richness of the language, and the logical resources available. It is argued that the class of sentences declared logically true by each of the accounts depends on particularities of the actual world.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  29
    Symmetry as a Method of Proof.Eric Hammer - 1996 - Journal of Philosophical Logic 25 (5):523 - 543.
    This paper is a logical study of valid uses of symmetry in deductive reasoning, of what underlying principles make some appeals to symmetry legitimate but others illegitimate. The issue is first motivated informally. A framework is then given covering a fairly broad range of symmetry arguments, and the formulation of symmetry provided is shown to be a valid principle of reasoning, as is a slightly stronger principle of reasoning, one that is shown to be in some sense as strong as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  9
    Shin Sun-Joo. The Logical Status of Diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 , Xi + 197 Pp. [REVIEW]Eric M. Hammer - 1996 - Journal of Symbolic Logic 61 (1):341-342.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    A Solution to the Problem of Updating Encyclopedias.Eric Hammer & Edward N. Zalta - 1997 - Computers and the Humanities 31 (1):47-60.
    This paper describes a way of creating and maintaining a `dynamic encyclopedia', i.e., an encyclopedia whose entries can be improved and updated on a continual basis without requiring the production of an entire new edition. Such an encyclopedia is therefore responsive to new developments and new research. We discuss our implementation of a dynamic encyclopedia and the problems that we had to solve along the way. We also discuss ways of automating the administration of the encyclopedia.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  12
    Linear Notation for Existential Graphs.Eric Hammer - 2011 - Semiotica 2011 (186):129-140.
    A linear notation for Charles S. Peirce's alpha and beta diagrammatic systems of existential graphs is presented. These two systems are equivalent to propositional and first-order logic. Some differences between the linear and graphical notation are analyzed, revealing some of the strengths and weaknesses of Peirce's system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    The Calculations of Peirce's 4.453.Eric Hammer - 1995 - Transactions of the Charles S. Peirce Society 31 (4):829 - 839.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  13
    Peirce on Logical Diagrams.Eric Hammer - 1995 - Transactions of the Charles S. Peirce Society 31 (4):807 - 827.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    Review: Sun-Joo Shin, The Logical Status of Diagrams. [REVIEW]Eric M. Hammer - 1996 - Journal of Symbolic Logic 61 (1):341-342.
  15.  7
    Peirce's Logic.Eric Hammer - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark