21 found
Order:
See also
Sun-Joo Shin
Yale University
  1.  38
    The Iconic Logic of Peirce's Graphs.Sun-Joo Shin - 2002 - MIT Press.
    A case study of multimodal systems and a new interpretation of Charles S. Peirce's theory of reasoning and signs based on an analysis of his system of ...
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  2.  63
    The Forgotten Individual: Diagrammatic Reasoning in Mathematics.Sun-Joo Shin - 2012 - Synthese 186 (1):149-168.
    Parallelism has been drawn between modes of representation and problem-sloving processes: Diagrams are more useful for brainstorming while symbolic representation is more welcomed in a formal proof. The paper gets to the root of this clear-cut dualistic picture and argues that the strength of diagrammatic reasoning in the brainstorming process does not have to be abandoned at the stage of proof, but instead should be appreciated and could be preserved in mathematical proofs.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  20
    The Logical Status of Diagrams.Sun-Joo Shin & Giovanna Corsi - 1997 - British Journal for the Philosophy of Science 48 (2):290-291.
  4.  79
    Diagrams.Sun-Joo Shin - 2008 - Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  64
    Kant's Syntheticity Revisited by Peirce.Sun-joo Shin - 1997 - Synthese 113 (1):1-41.
    This paper reconstructs the Peircean interpretation of Kant's doctrine on the syntheticity of mathematics. Peirce correctly locates Kant's distinction in two different sources: Kant's lack of access to polyadic logic and, more interestingly, Kant's insight into the role of ingenious experiments required in theorem-proving. In this second respect, Kant's analytic/synthetic distinction is identical with the distinction Peirce discovered among types of mathematical reasoning. I contrast this Peircean theory with two other prominent views on Kant's syntheticity, i.e. the Russellian and the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  6.  39
    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 (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  7.  52
    Heterogeneous Reasoning and its Logic.Sun-Joo Shin - 2004 - Bulletin of Symbolic Logic 10 (1):86-106.
  8.  4
    The Iconic Logic of Peirce's Graphs.Sun-joo Shin - 2004 - Mind 113 (452):783-787.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  9. The Iconic Logic of Peirce's Graphs.Sun-joo Shin - 2003 - Transactions of the Charles S. Peirce Society 39 (1):127-133.
     
    Export citation  
     
    My bibliography   3 citations  
  10.  48
    Peirce and the Logical Status of Diagrams.Sun-Joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
    In this paper, I aim to identify Peirce?s great contribution to logical diagrams and its limit.Peirce is the first person who believed that the same logical status can be given to diagrams as to symbolic systems.Even though this belief led him to invent his own graphical system, Existential Graphs, the success or failure of this system does not determine the value of Peirce?s general insights about logical diagrams.In order to make this point clear, I will show that Peirce?s revolutionary ideas (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  11.  16
    Situation-Theoretic Account of Valid Reasoning with Venn Diagrams.Sun-Joo Shin - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  17
    Reconstituting Beta Graphs Into an Efficacious System.Sun-Joo Shin - 1999 - Journal of Logic, Language and Information 8 (3):273-295.
    Logicians have strongly preferred first-order natural deductive systems over Peirce's Beta Graphs even though both are equivalent to each other. One of the main reasons for this preference, I claim, is that inference rules for Beta Graphs are hard to understand, and, therefore, hard to apply for deductions. This paper reformulates the Beta rules to show more fine-grained symmetries built around visual features of the Beta system, which makes the rules more natural and easier to use and understand. Noting that (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  25
    The Mystery of Deduction and Diagrammatic Aspects of Representation.Sun-Joo Shin - 2015 - Review of Philosophy and Psychology 6 (1):49-67.
    Deduction is decisive but nonetheless mysterious, as I argue in the introduction. I identify the mystery of deduction as surprise-effect and demonstration-difficulty. The first section delves into how the mystery of deduction is connected with the representation of information and lays the groundwork for our further discussions of various kinds of representation. The second and third sections, respectively, present a case study for the comparison between symbolic and diagrammatic representation systems in terms of how two aspects of the mystery of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Valid Reasoning and Visual Representation.Sun-joo Shin - 1991 - Dissertation, Stanford University
    This thesis challenges a general prejudice against visualization in the history of logic and mathematics, by providing a semantic analysis of two graphical representation systems--a traditional Venn diagram representation system and an extension of it. While Venn diagrams have been used to solve problems in set theory and to test the validity of syllogisms in logic, they have not been considered valid proofs but heuristic tools for finding valid formal proofs. ;I present Venn diagrams which have been used in logic (...)
     
    Export citation  
     
    My bibliography   1 citation  
  15.  35
    Peirce's Logic.Sun-Joo Shin - forthcoming - Stanford Encyclopedia of Philosophy.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  16.  26
    Review of Marcus Giaquinto, Visual Thinking in Mathematics: An Epistemological Study[REVIEW]Sun-Joo Shin - 2008 - Notre Dame Philosophical Reviews 2008 (7).
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  12
    The Marriott Hotel Philadelphia, Pennsylvania December 27–30, 2008.Janet Folina, Douglas Jesseph, Dirk Schlimm, Emily Grosholz, Kenneth Manders, Sun-Joo Shin, Saul Kripke & William Ewald - 2009 - Bulletin of Symbolic Logic 15 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  3
    The Logical Status of Diagrams.Sun-joo Shin - 1997 - British Journal for the Philosophy of Science 48 (2):290-291.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  4
    Peirce's Alpha Graphs and Propositional Languages.Sun-Joo Shin - 2011 - Semiotica 2011 (186):333-346.
    Many do not doubt that Peirce's Existential Graphs are diagrammatic, as opposed to symbolic. However, when we are pressured to draw a distinction between the two different forms of representation, we find ourselves at a loss and our intuition quite vague. In this paper, I locate fundamental differences between two logically equivalent systems, Peirce's Alpha system and propositional languages. Suppose we have only two sentential connectives, ¬ and ^. In spite of its truth-functional completeness, we don't want to use this (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20. Of the Association for Symbolic Logic.Janet Folina, Douglas Jesseph, Dirk Schlimm, Emily Grosholz, Kenneth Manders, Sun-Joo Shin, Saul Kripke & William Ewald - 2009 - Bulletin of Symbolic Logic 15 (2):229.
  21. Visual Reasoning with Diagrams.Sun-Joo Shin & Amirouche Moktefi (eds.) - 2013 - Basel: Birkhaüser.