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 ...

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, (...) we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning. (shrink)

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 (...) about diagrams not only overcame some important defects of Venn diagrams but opened a new horizon for logical diagrams.Finally, I will point out where Peirce?s new horizon for logical diagrams stopped and will claim that this limit is mainly responsible for the discrepancy between Peirce?s and others? estimates of his contribution to logical diagrams. (shrink)

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.

Let me start by saying that I had the privilege of witnessing the birth of Jon Barwise's new research on heterogeneous logic and its subsequent developments. I entered the Stanford philosophy graduate program in the Fall of 1987, became Barwise and Etchemendy's first research assistant on the project of diagrammatic/heterogeneous reasoning during summer of 1989, and under their guidance completed my thesis, “Valid reasoning and visual representation,” in August, 1991. With this experience I would like to focus on the more (...) personal and informal aspects of Jon's research on heterogeneous logic which may not be conveyed by his articles. (Accordingly, I have written this paper without footnotes or other references except to Jon's work.) The present article can only hint at the depth and the influence of Jon's work in this area.In the first section, I single out an important feature of the project on heterogeneous logic Jon founded together with John Etchemendy about 15 years ago. I title it “resolving conflicts” since the research, I strongly believe, grew out of Jon's personal attitude toward how to resolve a tension between opposite extremes.The second section focuses on how teaching logic itself was shaped as part of Barwise and Etchemendy's research agenda. It is worthwhile noting that their textbookLanguage, Proof, and Logicconstitutes part of their research and, hence, the success of the book vindicates the goal of the overall project. (shrink)

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 (...) Beckian views, and show how Peirce's interpretation of Kant solves the dilemma that each of these two views faces. I also show that Hintikka's criterion for Kant's synthetic judgments, i.e. a new individual introduced by the -instantiation rule, does not capture the most important characteristic of Peirce's theorematic reasoning, i.e. the process of choosing a correct individual. (shrink)

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 (...) deduction – surprise-effect and demonstration-difficulty – are handled. The fourth section illustrates several well-known examples to show how diagrammatic representation suggests more clues to the mystery of deduction than symbolic representation and suggests some conjectures and further work. (shrink)

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 (...) system, and basic logical properties are proved. (shrink)

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 (...) language for the translation of English sentences or as a deductive calculus. We would adopt this language only when we intend to develop logical theories. That is, it is convenient to have fewer connectives for a meta-theory, but not for practical use. So, there seems to be a trade-off between a language with fewer connectives and a language with more connectives. This view has been accepted without question. In this paper, I will argue that this trade-off is limited to linear symbolic systems and that we could have a diagrammatic system with fewer operations but no need to suffer from problems like those of a sentential language with fewer connectives. How is that possible? A comparison between Peirce's Alpha system and a propositional language is presented to answer this question. The case study identifies the following unique property of a non-linear diagrammatic system as a main source of the discrepancy between two different types of representation: One and the same diagram can be read off in more than one way by carving it up in many ways, but without ambiguity. (shrink)

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 (...) the rules of a natural deductive system are natural in a different sense, this case study shows that the naturalness and the intuitiveness of rules depends on the type of representation system to which they belong. In a diagrammatic system, when visual features are discovered and fully used, we have a more efficacious deductive system. I will also show that this project not only helps us to apply these rules more easily but to understand the validity of the system at a more intuitive level. (shrink)

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 (...) as a formal system of representation equipped with its own syntax and semantics. I also show that Venn-I, with the rules of transformation that I specify, is sound and complete. The soundness of Venn-I refutes a worry that mathematicians and logicians have about graphical representation: Fallacies often have arisen from the misuse of diagrams in mathematical proofs, especially in geometry. However, the validity of the transformation rules assures us that the correct application of these rules will not lead to fallacies. ;I extend Venn-I so that this new system has a general way to convey disjunctive information. A new formation rule is introduced and new transformation rules are added. I call this extended system Venn-II. The semantics of Venn-II is formalized as an extension of the semantics of Venn-I. The soundness and completeness of Venn-II are also proven. I then show that Venn-II and a monadic first-order language are equivalent in their expressiveness. ;The analysis of Venn-I and Venn-II leads to interesting issues which have their analogues in other deductive systems. I conclude the thesis with a discussion of some fundamental differences between graphical systems and linguistic systems. (shrink)

Cross-sector relationship building is an important strategy in corporate social responsibility initiatives, and communicating cross-sector relationships on social media can help raise the visibility of collaborative relationships. A noticeable gap in the literature is how social media enables and constrains the formation patterns of cross-sector connections. To understand how businesses communicate their relationships with government agencies and nonprofits about social issues on social media, we propose a theoretical framework that centers public attention as a critical resource and considers different sectors' (...) interests in the COVID-19 issue. We tested this framework with a nationally representative sample of 1,980 organizations on Twitter. The analysis reveals that the increase in public attention to the COVID-19 issue was accompanied by a greater likelihood of cross-sector ties. Specifically, firms severely affected by COVID-19 were more likely to build ties with government agencies, and the increase in public attention also drove firms to build more ties with nonprofits, especially advocacy nonprofits. Our findings suggest managers of social media communication should observe the volatile public attention and design communicative strategies accordingly. (shrink)

This study investigated inverse preference effects in L2 structural priming of English relative clauses and their potential influences on subsequent learning of target structures. One hundred fourteen Chinese learners of English at a low-to-intermediate proficiency level participated in a structural priming experiment with a pretest-posttest design. The experimental group underwent a priming task in which they orally produced syntactic structures immediately after viewing English object or passive relative clauses as primes, whereas the control group only read sentences unrelated to English (...) relative clauses. A grammaticality judgment task and a sentence completion task were used to measure the inverse preference effect and its subsequent effects on L2 learning. The results showed the presence of structural priming and inverse preference effects in immediate production, which extended to subsequent learning of L2. In subsequent grammaticality judgments and production, L2 learners performed better with English object relative clauses than with English passive relative clauses in comparison with the pretest. The results are discussed in terms of the structural frequency in both L1 and L2 as well as the implicit learning mechanisms of structural priming. (shrink)

Syntactic priming in language production is the increased likelihood of using a recently encountered syntactic structure. In this paper, we examine two theories of why speakers can be primed: error‐driven learning accounts (Bock, Dell, Chang, & Onishi, 2007; Chang, Dell, & Bock, 2006) and activation‐based accounts (Pickering & Branigan, 1999; Reitter, Keller, & Moore, 2011). Both theories predict that speakers should be primed by the syntactic choices of others, but only activation‐based accounts predict that speakers should be able to prime (...) themselves. Here we test whether speakers can be primed by their own productions in three behavioral experiments and find evidence of structural persistence following both comprehension and speakers’ own productions. We also find that comprehension‐based priming effects are larger for rarer syntactic structures than for more common ones, which is most consistent with error‐driven accounts. Because neither error‐driven accounts nor activation‐based accounts fully explain the data, we propose a hybrid model. (shrink)

This article conducts a mixed-method content analysis of Chinese and American news media coverage of Google DeepMind’s Go playing computer program, AlphaGo. Drawing on humanistic approaches to artificial intelligence, combined with an empirically rigorous content analysis, it examines the differences and overlap in coverage by the Chinese and American press in their accounts of AlphaGo, and its historic match with Korea’s Lee Sedol in March, 2016. The event was not only followed intensely in China, but also made the front page (...) of The New York Times. This article finds that the Chinese press was more likely than the American press to frame AlphaGo as non-threatening, which the authors attribute to cultural differences and the two countries' different understandings of Go. In addition to quantitatively identifying similarities and differences in the framing of AlphaGo, this paper also investigates the underlying and evolving contestations over what constitutes the “human” and the “machine.” It concludes by discussing the implications of the study’s findings as well as outlining avenues for further research. (shrink)

Despite the prevailing discourses on the importance of top management ethical leadership, related theoretical and empirical developments are lacking. Drawing on institutional theory, we propose that top management ethical leadership contributes to organizational outcomes by promoting firm-level ethical and procedural justice climates. This theoretical framework was empirically tested using multi-source data obtained from 4,468 employees of 147 Korean companies from various industries. The firm-level analysis shows that top management ethical leadership significantly predicts ethical climate, which then results in procedural justice (...) climate that fully mediates the effects of top management ethical leadership on two organizational outcomes, namely, firm-level organizational citizenship behavior and firm financial performance. The present study provides a plausible theoretical account and empirical validation of a mechanism through which top management ethical leadership enhances organizational performance. (shrink)

Meaning in life has been widely recognized as a hallmark of psychological well-being and positive youth development. The goal of this study was to validate the Korean version of the Meaning in Life in Children Questionnaire utilizing the framework suggested by the Standards for Educational and Psychological Testing. Data were obtained from 277 fifth graders aged 10–11 in three elementary schools in Seoul and Gyeonggi through a paper-and-pencil survey. We translated the MIL-CQ, a 21-item self-report measure developed based on Frankl’s (...) “meaning triangle,” into Korean. Psychological well-being measures were also assessed. Validity and reliability data were collected. The content of domains and items was appropriate for measuring MIL among children. A three-factor model consisting of attitude, creativity, and experience pathways was extracted via exploratory factor analysis, and a three-factor hierarchical model including attitude, creativity, and experience as first-order factors and MIL as a second-order factor was confirmed via confirmatory factor analysis. Higher levels of MIL were related to higher levels of satisfaction with life, self-esteem, positive affectivity, and lower levels of negative affectivity. All item fit statistics were acceptable based on the Rasch model. The analysis of the measurement invariance of each item showed that the responses to one item varied by gender, suggesting that additional items might facilitate better measurement of MIL in children. This study provides validity and reliability evidence that K-MIL-CQ is appropriate for measuring MIL among South Korean elementary school students. (shrink)

Many festivals use animals in the name of continuing traditions and religious acts of historical and cultural relevance, as well as for tourist entertainment; however, the welfare of these animals has been overlooked in favor of maintaining cultural identity or making economic profits. The criticism of animal-based festivals has been growing along with the increased public awareness of animal rights. However, this change in public perception has not yet been translated into actual government policies in Korea. This study addresses the (...) unethical practices and challenges regarding animal welfare at festivals from the perspective of visitors to understand the public perception of the need for institutional and regulatory interventions to improve the treatment of animals at festivals. An online survey (N = 1000) is conducted to examine the public perception of animals and animal welfare at festivals and how strongly online survey participants support organizer- and state-level actions to protect the welfare of festival animals. Logistic regression analyses identify gender, pet ownership, pro-animal attitude, visiting experience, sensitivity to criticism regarding animal issues, and perception of animal welfare at festivals as significant predictors of online survey participants’ support for actions ensuring the welfare of animals used in festivals. Our findings also suggest that people sympathize with the need to enhance animal welfare but have low levels of sensitivity to the maltreatment of animals at festivals, indicating the existence of cognitive dissonance. Establishing guidelines and regulations for improving animal welfare can help festivals use animals in a more sustainable way and make visitors rethink and re-establish human–animal relationships. (shrink)

Since the Korean Philosophy of Education Society was established in 1964, the question regarding the nature of Philosophy of Education as a modern discipline has always been a vexing question to mo...

ObjectivePrevious research has shown that adolescents in single-mother households are at heightened risk for adjustment problems. However, limited studies have investigated the mechanisms leading to adolescent problem behaviors in single-mother households. To address this research gap, this study applied the Family Stress Model to examine how single mothers’ material hardship is linked to adolescent problem behaviors, focusing on the mediating roles of mothers’ depression and mother-adolescent closeness. The moderating role of adolescent school connectedness in the relationships between mother-adolescent closeness and (...) school connectedness and between mothers’ depression and school connectedness was also investigated.Materials and methodsThe study analyzed data from 1,384 adolescents and their single mothers who participated in the Fragile Families and Child Wellbeing Study at Wave 6. The associations between study variables were analyzed using structural equation modeling by decomposing the direct, indirect, and total effects of material hardship on adolescent problem behaviors. School connectedness’s interactions with mother-adolescent closeness and mothers’ depression were also examined.ResultsResults showed a significant indirect relationship between material hardship and adolescent problem behaviors through sequential mediation of mothers’ depression and mother-adolescent closeness. Mothers’ depression also significantly mediated the relationship between material hardship and problem behaviors. Lastly, school connectedness moderated the relationship between mother-adolescent closeness and adolescents’ internalizing behaviors. The association between mother-adolescent closeness and adolescents’ internalizing behavior was weaker for adolescents with higher levels of school connectedness.ConclusionThe results indicate the important indirect effect of economic strain on adolescents’ problems behaviors in single-mother households, which has been less emphasized compared to the effects in earlier childhood. High rates of material hardship and adolescent problem behaviors in single-mother families call for multifaceted interventions focusing on family processes and protective factors, including school environment. (shrink)

Robot enthusiasts envision robots will become a “race unto themselves” as they cohabit with the humankind one day. Profound questions arise surrounding one of the major areas of research in the contemporary world—that concerning artificial intelligence. Fascination and anxiety that androids impose upon us hinges on how we come to conceive of the “Cultural Other.” Applying the notion of the “other” in multicultural research process, we will explore how the “Other” has been used to illustrate values and theories about robots, (...) as a mirror for the self. In this paper, we focus on the social, cultural, and religious implications of humans’ attitudes toward relationships between humans with robots. Six major views on humanoid robots are proposed: (1) robots as the “Frightening Other,” (2) robots as the “Subhuman Other,” (3) robots as the “Human Substitute,” (4) robots as the “Sentient Other,” (5) robots as the “Divine Other,” and (6) robots as the “Co-evolutionary Path to Immortality.” The likely and preferable scenario is the last one, which is compatible with an optimistic posthuman world in our evolutionary future. We imagine whether humans will meet the challenge of loving all living and non-living beings (including mechanical entities) might be the key to the co-evolution of both species and the ultimate happiness. (shrink)

This study assessed the knowledge and perception of human biological materials (HBM) and biorepositories among three study groups in South Korea. The relationship between the knowledge and the perception among different groups was also examined by using factor and regression analyses. In a self-reporting survey of 440 respondents, the expert group was found more likely to be knowledgeable and positively perceived than the others. Four factors emerged: Sale and Consent, Flexible Use, Self-Confidence, and Korean Bioethics and Biosafety Action restriction perception. (...) The results indicate that those who are well aware of the existence of biobanks were more positively inclined to receive the Sale and Consent perception. As a result of the need for high quality HBMs and the use of appropriate sampling procedures for every aspect of the collection and use process, the biorepository community should pay attention to ethical, legal, and policy issues. (shrink)

This study assessed the knowledge and perception of human biological materials (HBM) and biorepositories among three study groups in South Korea. The relationship between the knowledge and the perception among different groups was also examined by using factor and regression analyses. In a self‐reporting survey of 440 respondents, the expert group was found more likely to be knowledgeable and positively perceived than the others. Four factors emerged: Sale and Consent, Flexible Use, Self‐Confidence, and Korean Bioethics and Biosafety Action restriction perception. (...) The results indicate that those who are well aware of the existence of biobanks were more positively inclined to receive the Sale and Consent perception. As a result of the need for high quality HBMs and the use of appropriate sampling procedures for every aspect of the collection and use process, the biorepository community should pay attention to ethical, legal, and policy issues. (shrink)

BackgroundAttention deficit hyperactivity disorder is clinically diagnosed; however, quantitative analysis to statistically analyze the symptom severity of children with ADHD via the measurement of head movement is still in progress. Studies focusing on the cues that may influence the attention of children with ADHD in classroom settings, where children spend a considerable amount of time, are relatively scarce. Virtual reality allows real-life simulation of classroom environments and thus provides an opportunity to test a range of theories in a naturalistic and (...) controlled manner. The objective of this study was to investigate the correlation between participants’ head movements and their reports of inattention and hyperactivity, and to investigate how their head movements are affected by different social cues of different sensory modalities.MethodsThirty-seven children and adolescents with and without ADHD were recruited for this study. All participants were assessed for diagnoses, clinical symptoms, and self-reported symptoms. A virtual reality-continuous performance test was conducted under four conditions: control, no-cue, visual cue, and visual/audio cue. A quantitativecomparison of the participants’ head movements was conducted in three dimensions using a head-mounted display in a VR classroom environment. Task-irrelevant head movements were analyzed separately, considering the dimension of movement needed to perform the VR-CPT.ResultsThe magnitude of head movement, especially task-irrelevant head movement, significantly correlated with the current standard of clinical assessment in the ADHD group. Regarding the four conditions, head movement showed changes according to the complexity of social cues in both the ADHD and healthy control groups.ConclusionChildren and adolescents with ADHD showed decreasing task-irrelevant movements in the presence of social stimuli toward the intended orientation. As a proof-of-concept study, this study preliminarily identifies the potential of VR as a tool to understand and investigate the classroom behavior of children with ADHD in a controlled, systematic manner. (shrink)