18 found
Sort by:
See also:
Profile: Sun-Joo Shin (Yale University)
  1. Sun-Joo Shin (forthcoming). Peirce's Logic. Stanford Encyclopedia of Philosophy.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Sun-Joo Shin & Amirouche Moktefi (eds.) (forthcoming). Visual Reasoning with Diagrams. Springer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Sun-Joo Shin (2015). The Mystery of Deduction and Diagrammatic Aspects of Representation. 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)  
     
    My bibliography  
     
    Export citation  
  4. Sun-Joo Shin (2012). The Forgotten Individual: Diagrammatic Reasoning in Mathematics. 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.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Sun-Joo Shin (2011). Peirce's Alpha Graphs and Propositional Languages. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Janet Folina, Douglas Jesseph, Dirk Schlimm, Emily Grosholz, Kenneth Manders, Sun-Joo Shin, Saul Kripke & William Ewald (2009). Of the Association for Symbolic Logic. Bulletin of Symbolic Logic 15 (2):229.
     
    My bibliography  
     
    Export citation  
  7. Janet Folina, Douglas Jesseph, Dirk Schlimm, Emily Grosholz, Kenneth Manders, Sun-Joo Shin, Saul Kripke & William Ewald (2009). The Marriott Hotel Philadelphia, Pennsylvania December 27–30, 2008. Bulletin of Symbolic Logic 15 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Sun-Joo Shin, Diagrams. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Sun-Joo Shin (2008). Review of Marcus Giaquinto, Visual Thinking in Mathematics: An Epistemological Study. [REVIEW] Notre Dame Philosophical Reviews 2008 (7).
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Sun-Joo Shin (2004). Heterogeneous Reasoning and its Logic. Bulletin of Symbolic Logic 10 (1):86-106.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  11. Sun-Joo Shin (2002). The Iconic Logic of Peirce's Graphs. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Sun-Joo Shin (1999). Reconstituting Beta Graphs Into an Efficacious System. 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)  
     
    My bibliography  
     
    Export citation  
  13. Eric Hammer & Sun-Joo Shin (1998). Euler's Visual Logic. 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)  
     
    My bibliography  
     
    Export citation  
  14. Sun-joo Shin (1997). Kant's Syntheticity Revisited by Peirce. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  15. Sun-Joo Shin & Giovanna Corsi (1997). The Logical Status of Diagrams. British Journal for the Philosophy of Science 48 (2):290-291.
  16. Sun-Joo Shin (1996). Situation-Theoretic Account of Valid Reasoning with Venn Diagrams. In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Sun-Joo Shin (1994). Peirce and the Logical Status of Diagrams. 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)  
     
    My bibliography  
     
    Export citation  
  18. Sun-joo Shin (1991). Valid Reasoning and Visual Representation. 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 (...)
     
    My bibliography  
     
    Export citation