• International Journal of Computer Science & Network Security
• /
• v.22 no.7
• /
• pp.165-170
• /
• 2022

Lying is nuisance to all, and all liars knows it is nuisance but still keep on lying. Sometime people are in confusion how to escape from or how to detect the liar when they lie. In this research we are aiming to establish a dynamic platform to identify liar by using video analysis especially by calculating the ratio of changes in their appearance when they lie. The platform will be developed using a machine learning algorithm along with the dynamic classifier to classify the liar. For the experimental analysis the dataset to be processed in two dimensions (people lying and people tell truth). Both parameter of facial appearance will be stored for future identification. Similarly, there will be standard parameter to be built for true speaker and liar. We hope this standard parameter will be able to diagnosed a liar without a pre-captured data.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• The KIPS Transactions:PartA
• /
• v.13A no.7 s.104
• /
• pp.599-606
• /
• 2006

As the P2P service does not have any administration authorities that are able to manage the behavior of participants and control the malicious users, malicious user can give harm to legitimate users for the benefit of themselves. To perform the secure transaction with new members who did not have past experiences on transaction, service users can differentiate malicious users and legitimate users by referring to the reputation information that provided by users having past experience. However, users can intentionally give false evaluation to other users on Performed transaction. We call these users as 'liar'. In this Paper, we propose a new reputation system for liar reduction to guarantee an accuracy on reputation information.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.67-83
• /
• 2004

The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.381-406
• /
• 2013

This paper deals with the question whether the para-completeness theory of Kripkian style can avoid the revenge problem. According to the para-completeness theory, there are some sentences that are neither true nor false. And the liar sentence is the exemplar of such sentences. But the para-completeness theory has been criticised to give rise to the revenge problem, since Kripke suggested his theory. Maudlin argues that he can construct the para-completeness theory which avoids the problem by appealing to his foundationalist semantics. The aim of this paper shows that the para-completeness theory, including Maudlin's, cannot avoid the problem. Furthermore, it is argued that Maudlin's view is ad hoc suggestion just to avoid the problem.

• Publications of The Korean Astronomical Society
• /
• v.7 no.1
• /
• pp.1-7
• /
• 1992

We may consider the following three fundamental epistemological questions concerning cosmology. Can cosmology at last understand the origin of the universe? Can computers at last create? Can life be formed at last synthetically? These questions are in some sense related to the liar paradox containing the self-reference and, therefore. may not be answered by recursive processes in finite time. There are, however. various implications such that the chaos may break the trap of the self-reference paradox. In other words, Goedel's incompleteness theorem would not apply to chaos, even if the chaos can be generated by recursive processes. Internal relations among cosmology, epistemology and chaos must be investigated in greater detail.

• Korean Journal of Cognitive Science
• /
• v.27 no.2
• /
• pp.247-273
• /
• 2016

Previous studies about lying were mainly executed in pressure situations, such as interviews or crime statements, which made people stressed. This study analyzed deceptive and non-deceptive writings in non-pressure situation through K-LIWC program, in which lies are rarely disclosed and hardly damage the liar even upon disclosure, Also, we compared these results with existing studies on lying. On both writing tasks, there were fewer first-person singular pronouns in deceptive writings than in the non-deceptive writings. The variables indicating cognitive complexity were less used by deceptive writings than by non-deceptive writings in first topic, but in the second topic, more were used by deceptive writings than true writings. In particular, previous studies claim that lies contain more negative emotional words while this report shows that lies in non-pressure situations contains more positive and fewer negative emotional words compared to truth. This finding implies that a situation influences the liar's psychological statement, which changes the contents of the lie.

• Journal of the Daesoon Academy of Sciences
• /
• v.20
• /
• pp.95-123
• /
• 2009

This paper is designed to show the relationship between the Daesoon Principle and the recent theories like transpersonal psychology(TP) and predicate logic. According to TP there are 3 categories and 8 elements inside of not only human consciousness but civilization; three are pre-ego, ego, trans-ego, and eight are Uroboros, Typhon, Greater Mother, solarization, and repetition of the previous fours. The former is called, for Ken Wilber, the Average mode and the latter, the Advanced mode. I think that Daesoon thought including general Korean National religions belongs to the Advanced mode. I applied the predicate logic or paradoxical logic to understand of the Harmony of God and Man as well as Correspondence of Yin with Yang. The paradoxical logic has been not acceptable through two thousands years in the western tradition. I call the paradoxical logic the E type logic in this paper. The E type logic is most suitable logic for apprehending the Daesoon philosophy to a large extent. Finally my paper may contribute to the globalization of Daesoon mind system.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.233-253
• /
• 2014

The Pinocchio paradox that Eldridge-Smith suggested is a version of the semantic paradox. But it is unique in the sense that this paradox does not contain a semantic predicate. Tarski's solution which appeals to the hierarchy of language and Kripke's para-completeness which accepts the third truth value cannot solve the Pinocchio paradox. This paper argues that Eldridge-Smith's trial to criticize semantical dialetheism is not successful and that the paradox implies the rule of the truth predicate is inconsistent. That is, the proper diagnosis to this paradox is that the Pinocchio principle should be considered to be potentially inconsistent, which suggests that semantic paradoxes such as the liar paradox arise because the rule of the truth-predicate is inconsistent. The Pinocchio paradox teaches us that consistent view of truth cannot be successful to solve the semantic paradoxes and that we should accept the inconsistent view of truth.

• Journal of Popular Narrative
• /
• v.26 no.4
• /
• pp.183-212
• /
• 2020

GL(Girls' Love), which deals with romance between women, is considered a small, minor culture in the sub-culture market. Nevertheless, recent 'reboot feminism' in the voice of women in the epic that appears to be the central protagonist is increased, and interest in naturally glIncreasing. It encourages those who declare "post BL" to consume GLs featuring female characters instead of male characters. In an atmosphere where female creators consume female dictionaries who write women's stories and argue that they should expand the scope of their female counterparts, "Her Simcheong," a webtoon that won the 2018 Our Comics Award, explores the possibility of female epic through rewriting myths. Gender norms given to women, such as filial piety and nirvana, all get new names in . A good daughter is a liar, and a good wife has a woman she loves. Besides Simcheong, hit-and-run mothers, Jang Seung-sang's wife and Jang Seung-sang's daughter-in-law also focus on female characters' stories, highlighting solidarity among women to survive in a male-dominated society. In this process, solidarity among women naturally leads to GL imagination. Her Simcheong describes direct sexual contact, such as kissing and hugging among women, as beautiful illustrations, and shows romance between women in a manless world. While solidarity among women is always regarded as 'undangerous' friendship or girlish sensibility, the romance between women in breaks the cultural rules of women's growth novel and women's trade. This reveals the inconsistency of the conspiratorial male solidarity, which has been trading women around hegemony.