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

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.53-85
• /
• 2012

There are various views in the boundary of deflationism of truth in regarding the nature and role of truth. This paper surveys the issue on how the core thesis uniting the deflationism is characterized. First, I will examine some comments on what is the central thesis supported or rejected by the deflationists and inflationists, mainly discussing Armour-Garb and Beall's work, and will show on which aspects they are unsatisfying. From this, I will suggest these statements: first, the central cores of deflationism are conceptual fundamentality and explanatory exhausting. Second, the particularity thesis, understood in an alternative way, cannot be a central claim of deflationism. Third, another important claim from deflationists, the expression thesis, can be derived from the two main thesis above. But it is still not clear enough what the non-expressive explanatory role of truth, which is denied by the expression thesis. So I will check some possible clarifications on it and discuss why they should be rejected. And I will introduce Dummett's view on the role of truth condition in truth conditional explanation of meaning, and I will claim that if Dummett is right why the role must be a inflated one. Finally, I will suggest a further implication that the understanding on the both sides can be widened by connecting considerations on both views.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Korean Journal of Forensic Psychology
• /
• v.11 no.3
• /
• pp.349-370
• /
• 2020

This study was to test the effects of unanticipated questions on the number of general and verifiable details. In addition, the number of verifiable details would discriminate truth-tellers and liars more accurately than the number of general details. In a 2(Veracity: truth vs. lie) X 2(Question type: Expected questions vs. Unexpected questions) mixed-design study, truth tellers(N=40) were asked to visit a cafe on campus and liars(N=40) were told to fabricated a story as if they visited the cafe. Then, participants were interviewed about their trip to the cafe and asked four questions(two anticipated questions: 'report the trip in detail', 'describe the place'; two unanticipated questions: 'recall in reverse order', 'report verifiable details'). Each participant's statements were transcribed and coded by trained graduate students for the number of general details and verifiable details. The results showed that truth-tellers mentioned significantly more general details than liars regardless of the question type. On the contrary, there was no significant difference between liars and truth-tellers in the number of verifiable details. High percentages of truth-tellers(62.5%) and liars(80.0%) were classified correctly based on the number of general details whereas only 45.0% of truth tellers and 62.5% of liars were accurately classified by the number of verifiable details. Liars were found to speak more words when asked to provide verifiable details compared to a general open question, but the number of general details did not seem to increase accordingly. The limitations of this study and future research directions were discussed.

• International Journal of Contents
• /
• v.10 no.1
• /
• pp.1-11
• /
• 2014

In the current generation of smart mobile devices, object tracking is one of the most important research topics for computer vision. Because human face tracking can be widely used for many applications, collecting a dataset of face videos is necessary for evaluating the performance of a tracker and for comparing different approaches. Unfortunately, the well-known benchmark datasets of face videos are not sufficiently diverse. As a result, it is difficult to compare the accuracy between different tracking algorithms in various conditions, namely illumination, background complexity, and subject movement. In this paper, we propose a new dataset that includes 91 face video clips that were recorded in different conditions. We also provide a semi-automatic ground-truth generation tool that can easily be used to evaluate the performance of face tracking systems. This tool helps to maintain the consistency of the definitions for the ground-truth in each frame. The resulting video data set is used to evaluate well-known approaches and test their efficiency.

• Iberoamérica
• /
• v.13 no.1
• /
• pp.41-67
• /
• 2011

El Salvador had suffered some 75,000 casualties, mostly civilian, from violent civil conflict(1980-92). In 1992, after negotiations, the government and FMLN signed a historic comprehensive peace accord which brought an end to the war and instituted wide-reaching political and social reforms. Many scholars call it as Transitional Justice in El Salvador. Transitional Justice in El salvador has had two identifiable stages. In the First stage, institutional reforms, such as DDR(disarmament, demobilization, reintegration), and a truth commission were implemented. The second phase corresponds to the period subsequent to the truth commission report, with the failure to implement the commission's recommendations, including those related to reparations and justice. This essay explain how was transitional justice in El salvador different from the other cases, and what was the purpose of extraordinary transitional justice in El Salvador. In detail, the first section of this essay examines the history of the civil war and peace process in El Salvador, and then explores the relationships between cold war and transitional justice in El Salvador. Finally, this essay suggests that truth commission's mandate which investigate 'serious acts of violence that have occurred since 1980' was very important role to accomplish peace and transitional justice in El Salvador.

• Cartoon and Animation Studies
• /
• s.32
• /
• pp.221-244
• /
• 2013

The purpose of this study was to concentrate on macroscopic discussion about how the recurrence of actual case in move is accepted ideologically. When considering the characteristic that non-visual factors are embodied when movie image reflects a certain target, the issue of recurrence has always caused discussion. Regardless of its independence or dependence, one individual's experience can be similar to sensual recognition but it can't be identical. Therefore, 'the truth recurred by movie' can't be real 'truth'. When director expresses the target, the aesthetic intention gives an effect to audience's emotion and recognition, Therefore, the study tries to review whether the movie truth drawn by movie can reach the possibility of epistemology agreement.

• Journal of Science of Art and Design
• /
• v.8
• /
• pp.95-127
• /
• 2005

It's a matter of ontology rather than that of cognition and methodology to discuss a work of art in Gadamer's philosophy. In addition, he emphasizes the cognitive aspect of a work of art instead of comparing forms and contents of them. For that reason, he excludes aesthetic consciousness derived from Kant first and then makes away with Schiller's theory of aesthetic education. For Gadamer, the concept of truth does not mean accord or correspondence. It would rather be an encounter. This encounter is not axed on a specific time, but a continuous and historical one. Basically. a work of art guarantees this kind of an encounter. This encounter is not based on mutual agreement through an objective standard but on recognition with mutual understanding. Therefore, prejudice or tradition should be acknowledged and respected instead of being excluded. We have only to minimize difference between them through conversation. Gadamer's ontology of a work of art is based on such a ground. The function of a work of art is not only simple satisfaction of aesthetic senses but an object of interpretation, that is, a text by presenting a ground of truth through an agreement of situation. This text reveals its meaning in the situation of author-text-reader. The appearance of this meaning is nothing but the birth of truth. Symbol-allegory and classicism show how to express this kind of truth in a work of art. It is true that Gadamer's philosophical hermeneutics cannot be easily applied to interpret a concrete work of art because it just lays emphasis on the process of 'understanding' instead of a detailed analysis on an individual work. For that reason, he was criticized by some people because of this subjectivity of understanding. However, it's meaning could be changed according to the viewpoint on a work of art. There appears various structural approaches on a work of art in contemporary theory of art. Gadamer just asks the basis of such approaches instead of criticizing a specific one Therefore, a practical approach on individual work should be made separately and hermeneutics enriches the meaning of open-ending of each work of art.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.207-231
• /
• 2018

The identity theory of truth insists that a truth bearer is identical with a fact. First, I will consider how we can make the thesis intelligible. For this, I classify the identity relation which the identity theory discusses into two kind; trivial and non-trivial relation. And I show that the trivial one is not adequate to be qualified to be applied to the identity theory. The non-trivial relation can be adopted in robust or modest way. I argue that the robust kind of identity theory is incoherent itself. Then, I explain why we should compare the modest identity theory with the deflationism. From this comparing, I will draw the consequence that two choices are left to the modest theory. If they choose one way, there is no reason for us to prefer the identity theory to deflationism. On the other hand, in case that they choose the other way, I argue what kinds of interesting problem is left to be solved by the modest theorists. Finally, I will evaluate the limit and prospect of the result of the problem in case that the identity theorists achieve their goal.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.125-150
• /
• 2019

A coherence theory is adequate as a theory of justification only when justification as conceived by the theory is truth-conducive. But it is not clear how coherentist justification is truth-conducive. This is the alleged truth-conduciveness problem of coherentism. In my 2017 paper, I argued that a certain version of the coherence theory, namely a Sellarsian coherence theory combined with the deflationary conception of truth, can cope with this problem. Against this claim, Kiyong Suk argues in his recent paper that my proposed solution fails on the grounds that there is no practical way of distinguishing between intersubjective justification and objective justification. The purpose of this paper is to clarify my view by way of explaining why Suk's criticism is not correct. In particular, I argue that his criticism is based on a wrong assumption, namely that for one to be objectively justified in believing something, one's justification must be qualitatively transformed into the status of having objective justification from the status of having intersubjective justification.