• Journal of Korean Philosophical Society
• /
• v.143
• /
• pp.27-46
• /
• 2017

This paper research an answer to the question what is the relation between intrinsic value of truth and substantiality of truth. The concept of substantiality can be variably defined, but I characterize it as being an opaque concept. Michael P. Lynch, who is one of the most influential pluralists about truth, accept both that truth is substantial and that truth is intrinsically valuable. This paper analyzes Lynch's argument for the intrinsic value of truth, and will show that his argument is independent of his theory which insists that truth is manifested plurally. Moreover I will discuss how Paul Horwich who is a deflationist denying substantiality of truth explains the intrinsic value of truth. And comparing these two views, I will elaborate the reason why intrinsic value of truth and its substantiality are logically independent each other. Finally, I will suggest a brief case which shows an implication included in the conclusion that plural manifestation of truth does not generally entails plurality of value of truth.

• Korean Institute of Interior Design Journal
• /
• no.11
• /
• pp.20-25
• /
• 1997

The purpose of this study is to find out the correlation between Truth(道) and dimension through the understanding of architectural point of value in the aspect of correlation between modern western thoughts and the thoughts of Truth and also through the reading of what kind of composite trend of the Truth can be seen in a Korea traditional house. This stduy takes the following procedure with reference books and traditional house that we have. 1) Making foundation for this study by finding out the fundamental meaning of the thoughts of Truth through the comparing and analyzing between modern western thoughts and the thoughts of Truth. 2) Reviewing the understanding of dimension in the thoughts of Truth. 3) Traslation of the organic correlation through the analysis of composition, placement and characteristics of dimension in a real present traditional Korea house. 4) Finding out the meaning of each dimension through the adaptation of the fundamental rules of nature of Jane(藏:store), Sang(生:life), Jang(長:long), Su(收obtain) to the dimension composite of a traditional house and concluding that the cyclical process in the oriental thoughts could be made.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.1
• /
• pp.157-162
• /
• 2023

To NP-complete 3-SAT problem, this paper proposes a O(nm) polynomial time algorithm, where n is the number of literals and m is the total frequency of all literals in equation f. The algorithm firstly decides a truth value of a literal in sequence of previously-set priority. The priority order is as follows: a literal whose occurrence in a clause is 1(k=1), a literal which is k≥2 and whose truth value is either 0 or 1, and a literal with the minimum frequency. Then, literals whose truth value is determined are then deleted from clause T and the remaining clauses. This process is repeated l times, the number of literals. As a result, the proposed algorithm has been successful in accurately determining the satisfiability of a given equation f and in deciding the truth value of all the literals. This paper, therefore, provides not only a linear-time algorithm as a viable solution to the SAT problem, but also a basis for solving the P versus NP problem.

• Korean Journal of Remote Sensing
• /
• v.38 no.1
• /
• pp.33-43
• /
• 2022

This study presents a method to restore an optical satellite image with distortion and occlusion due to fog, haze, and clouds to one that minimizes degradation factors by referring to the same type of peripheral image. Specifically, the time and cost of re-photographing were reduced by partially occluding a region. To maintain the original image's pixel value as much as possible and to maintain restored and unrestored area continuity, a simulation restoration technique modified with the Cycle Generative Adversarial Network (CycleGAN) method was developed. The accuracy of the simulated image was analyzed by comparing CycleGAN and histogram matching, as well as the pixel value distribution, with the original image. The results show that for Site 1 (out of three sites), the root mean square error and R² of CycleGAN were 169.36 and 0.9917, respectively, showing lower errors than those for histogram matching (170.43 and 0.9896, respectively). Further, comparison of the mean and standard deviation values of images simulated by CycleGAN and histogram matching with the ground truth pixel values confirmed the CycleGAN methodology as being closer to the ground truth value. Even for the histogram distribution of the simulated images, CycleGAN was closer to the ground truth than histogram matching.

• Proceedings of the KSRS Conference
• /
• v.2
• /
• pp.655-659
• /
• 2006

Surface Solar Insolation is important for vegetation productivity, hydrology, crop growth, etc. In this study, Surface Solar Insolation is estimated using Multi-functional Transport Satellite (MTSAT-1R) in clear and cloudy conditions. For the Cloudy sky cases, the surface solar insolation is estimated by taking into account the cloud transmittance and multiple scattering between cloud and surface. This model integrated Kawamura's model and SMAC code computes surface solar insolation with a 5km ${\times}$ 5km spatial resolution in hourly basis. The daily value is derived from the available hourly Surface Solar Insolation, independently for every pixel. To validation, this study uses ground truth data recorded from the pyranometer installed by the Korea Meteorological Agency (KMA). The validation of estimated value is performed through a match-up with ground truth. Various match-up with ground truth. Various match-up window sizes are tested with 3${\times}$3, 5${\times}$5, 7${\times}$7, 9${\times}$9, 10${\times}$10, 11${\times}$11, 13${\times}$13 pixels to define the spatial representativity of pyranometer measurement, and to consider drifting clouds from adjacent pixels across the ground station during the averaging interval of 1 hour are taken into account.

• Korean Journal of Remote Sensing
• /
• v.22 no.5
• /
• pp.389-396
• /
• 2006

Surface Solar Insolation is important for vegetation productivity, hydrology, crop growth, etc. In this study, Surface Solar Insolation is estimated using Multi-functional Transport Satellite (MTSAT-1R) in clear and cloudy conditions. For the Cloudy sky cases, the surface solar insolation is estimated by taking into account the cloud transmittance and multiple scattering between cloud and surface. This model integrated Kawamura's model and SMAC code computes surface solar insolation with a $5\;km{\times}5\;km$ spatial resolution in hourly basis. The daily value is derived from the available hourly Surface Solar Insolation, independently for every pixel. To validation, this study uses ground truth data recorded from the pyranometer installed by the Korea Meteorological Agency (KMA). The validation of estimated value is performed through a match-up with ground truth. Various match-up with ground truth. Various match-up window sizes are tested with $3{\times}3,\;5{\times}5,\;7{\times}7,\;9{\times}9,\;10{\times}10,\;11{\times}11,\;13{\times}pixels to define the spatial representativity of pyranometer measurement, and to consider drifting clouds from adjacent pixels across the ground station during the averaging interval of 1 hour are taken into account.

• 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 Biosystems Engineering
• /
• v.36 no.3
• /
• pp.180-186
• /
• 2011

The objective of this research was to establish the estimation method of growth information on potato using Multi-Spectral Image Sensor (MSIS) and Global Positioning System (GPS). And growth estimation map for determining a prescription map over the entire field was generated. To determine the growth model, 10 ground-truth points of areas of $4m^2$ each were selected and investigated. The growth information included stem number, crop height and SPAD value. In addition, images information involving the ground-truth points were also taken by an unmanned helicopter, and reflectance value of Green, Red, and NIR bands were calculated with image processing. Then, growth status of potato was modeled by multi-regression analysis using these reflectance value of Green, Red, and NIR. As a result, potato growth information could be detected by analyzing Green, Red, and NIR images. Stem number, crop height and SPAD value could be estimated with $R^2$ values of 0.600, 0.657 and 0.747 respectively. The generated GIS map would describe variability of the potato growth in a whole field.

• 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 Institute of Interior Design Journal
• /
• v.23 no.3
• /
• pp.100-107
• /
• 2014

Traditional architectural space, which is a historical cultural heritage must be connected mutually as a organic flow of various elements such as the environment of the time, political background and values, rather than approaching with fragmentary point of view. The Silhak Philosophy, the basis of late Chosun society developed equity thoughts on the basis of ideology of humanism, and it asserted the promotion of technology and industry as a measure to realize the pursuit of truth which is practically useful. Thus, we could verify the possibility of convergent interpretation of cultural technology of Hwaseong architectural space through the humanistic viewpoint of pioneer spirit of Silhak Philosophy which regards human as a main agent of desire of life, and the pursuit of truth which is useful for reality, and the realization of ethical value by aesthetic practicalism. Based on this, the ontological meaning and value of Suwon Hwaseong by the viewpoint of convergence of culture and technology have been drawn as the construction of planned new town by the practice of filial duty, the plan of city space based on rational values, the realization of a metropolis where self-sufficient economic activities are possible, the introduction of thorough construction management system, the introduction of advanced culture and its creative application, and the application of scientifical knowledges and cutting-edge technology.