• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.367-390
• /
• 2017

Much of literature on the paradoxes of confirmation has been focused on the problems raised by the fact that a nonblack nonraven confirms the hypothesis that every raven is black. In this paper I would like to emphasize that more interesting problems are still waiting to be explained, if we notice that a black nonraven confirms the raven hypothesis as well. For this I examine what Hempel exactly means by the paradoxes of confirmation, and show that the previous discussions on the paradoxes were at most partial solutions. Then I argue that Hempel presupposes the so-called 'converse consequence condition' regarding confirmational evidence. Finally I discuss what impact is made on the Bayesian solution to the paradoxes, if we accept a more faithful interpretation to Hempel.

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.335-366
• /
• 2017

Sorensen proved that 'vague' is vague through a sorites paradox that he presented. I will show that his sorites paradox satisfies the conditions for a sorites paradox and does not satisfy those conditions. So we will face a new paradox which exemplifies inconsistency of conditions for a sorites paradox. But those conditions include a principle which says when two cases are close enough, there will be no change in truth value. It represents an essential feature of vagueness. Therefore the paradox I will present in this article is not only shows inconsistency of conditions for a sorites paradox but also shows inconsistency of vagueness itself.

• Journal of Korean Society of Transportation
• /
• v.17 no.3
• /
• pp.61-70
• /
• 1999

The Purpose of this study is to test whether Braess Paradox (BP) can be revealed in a real world network. Fer the study, Namsan 2nd tunnel case is chosen, which was shut down for 3 years for repair works. The revelation of BP is determined by analyzing network-wise traffic impacts followed by the tunnel closure. The analysis is conducted using a network simulation model called SECOMM developed for the congestion management of the Seoul metropolitan area. Also, the existence of BP is further identified by a before-after traffic survey result of the major arterials nearby the Namsan 2nd tunnel. The model estimation expected that the closure of Namsan 2nd tunnel improve the network-wise average traffic speed from 21.95km/h to 22.21km/h when the travel demand in the study area and congestion Pricing scheme on Namsan 1st & 3rd tunnels remain unchanged. In addition, the real world monitoring results of the corridors surrounding Namsan 2nd tunnel show that the average speed increases from 29.53km/h to 30.37km/h after the closure. These findings clearly identify the BP Phenomenon is revealed in this case.

• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.351-395
• /
• 2019

Hempel's original intuitions about the raven's paradox are summed up in three ways. The first is known as the paradoxical conclusion: If one observes that an object a - about which nothing is antecedently known - is a non-black non-raven, then this observation confirms that all ravens are black. The second is an intuitive verdict of the misled conclusion of the paradox: If one observes that an object a - which is known to be a non-raven - is non-black (hence, is a non-black non-raven), then this observation does not confirmationally affect that all ravens are black. The third is a comparative claim between the two intuitions: the degree of confirmation appearing in the first intuition is greater than the degree of confirmation in the second intuition. The Standard Bayesian Solution of the paradox is evaluated to fleshed Hempel's intuitions out by establishing the first intuition. However, such an evaluation of this solution should be further analyzed because Hempel's intuition is not the only one. The solution of paradox does not establish the second intuition in a strict sense. However, I think the Bayesian solution will establish the second intuition based on its typical strategy of quantitative vindication. If only quantitative vindication is accepted, this evaluation of the solution remains valid. Nevertheless, the solution fails to establish the third intuition. In this article, I propose a new way to apply the Bayesian method to establish Hempel's intuitions, including the third intuition. If my analysis is correct, the Standard Bayesian Solution of the raven's paradox could indeed flesh Hempel's intuitions out by denying one of the assumptions considered essential.

• Journal of Cadastre & Land InformatiX
• /
• v.50 no.2
• /
• pp.69-79
• /
• 2020

TRecently, smart cities that solve various problems in cities based on IoT technology are in the spotlight. In particular, cases of BIM application for smooth management of construction and maintenance are increasing, and spatial information is converted into 3D data through convergence technology and used for safety diagnosis. The purpose of this study is to create and combine point clouds of a multi-story building by using a ground laser scanner and a handheld LiDAR SLAM among UAV and LiDAR equipment, supplementing the Occluded area and disadvantages of each technology, examine the effectiveness of indoor and outdoor reverse design by observing shape reproduction and accuracy. As a result of the review, it was confirmed that the coordinate accuracy of the data was improved by creating and combining the indoor and outdoor point clouds of the multi-story building using three technologies. In particular, by supplementing the shortcomings of each technology, the completeness of the shape reproduction of the building was improved, the Occluded area and boundary were clearly distinguished, and the effectiveness of reverse engineering was verified.

• Journal of Advanced Navigation Technology
• /
• v.27 no.5
• /
• pp.621-628
• /
• 2023

This study derived a reverse engineering procedure for verifying the design identity of original parts and developed parts for PMA(Parts Manufacturer Approval) and STC(Supplemental Type Certificate) of metal brake pads for transport aircraft, which are critical parts among aircraft parts and equipment. In Korea, the regulations for reverse engineering procedures are regulated by the Parts Manufacturer Approval Guidelines, and in the United States, AC No. 21. 303-4. In the reverse engineering for the brake pad, the detailed procedures for each component were determined by selecting verification test items to confirm identity based on sample quantity, dimensional tolerance, mechanical property measurement, material, weight and volume characteristics for each component. In addition, as a result of analyzing the regulation of Korea and United States, in the case of Korea, it is necessary to establish technical standards for braking systems for transport aircraft and regulations related to flight tests.

• Journal of the Korean Institute of Navigation
• /
• v.22 no.2
• /
• pp.39-45
• /
• 1998

CATV(Cable Television) 및 MATV(Master Antenna TV) 시스템용 신호분기기(Tap-Off)의 광대역설계법을 새로운 방법으로 제안한다. 먼저 결합선로형 방향성결합기의 이론을 도입하여 변성기형 방향성결합기에 적용하여 해석하였다. 제안한 해석방법의 타당성을 입증하기 위하여 시뮬레이션한 결과와 실험결과를 비교 검토하였고 전송선로의 임피던스를 매칭시켜 반사계수 20dB, isolation 25dB(5∼1600MHz)을 만족하는 신호분기기(14dB)의 광대역화(5∼2150MHz)를 실현하였다.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.1-23
• /
• 2011

I take the position of the thirders on the sleeping beauty problem like Elga and criticize Lewisian halfers. In particular, I attack Franceschi's recent arguments for the halfers. In addition, I claim that Bostrom's and Kim's hybrid view is not satisfactory, because it is to pre-empt or to take the burden of proof that the problem is the genuine paradox. Consequently, the purpose of this paper is to show that the thirders' argument is more intuitive than others and what the fallacies of the halfer's arguments are.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.117-134
• /
• 2010

In this paper, I attempted to show that 'Sorensen's Sorites' is not a successful argument for the vagueness of 'vague'. There are a lot of debates about it, but the central issue is whether Sorensen's Sorites is just small sorites; whether the vagueness certified by Sorensen's Sorites is just the vagueness of 'small'. Deas and Hull thought it was and rejected Sorensen's proof based on his sorites. But their rejection was rebutted by Varzi. The basis of his argument is that the subject of Sorensen's sentences - 'n-small' is vague - is not used but mentioned. I tried to reply on behalf of Deas and Hull and to show that the predicate 'vague' has not any effect on determining the truth value of "'n-small' is vague." Then it can be removed from the sentence. Of course I approve 'vague' is a homological term. What I do not agree with is only Sorensen's argument.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.21 no.3
• /
• pp.155-163
• /
• 2011

Rumor or abusive web postings in internet has become a social issue. Web postings may be proposed on evidence in form of a screenshot in libel suit, but a screenshot can be easily modified by computer programs. A person can make ill use of the screenshot which is modified deliberately original contents to opposite meaning in a lawsuit. That makes an innocent person to be punished because it can have difficulties to verify despite analyzing the server data. A screenshot of web postings is likely to fail to prove its authenticity and it is not able to reflect the fact. If notarization for web postings is offered, clear and convincing evidence can be submitted in a court. So, related techniques and policies should be established In this paper, we propose some technical and legal conditions and design for notarization and archive system of web postings for litigation.