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

• Korean Journal of Human Ecology
• /
• v.13 no.6
• /
• pp.847-860
• /
• 2004

The purpose of this study is to obtain basic data needed to understand school-age children's parent-child communication style, stress coping behaviors, and child behavior problems. The subject of this study were 362 primary school children (the fourth and the sixth graders) and their mothers in "D" Metropolitan City, Korea. The research tools included standardized parent-child communication style scale (Min,l991), stress coping behaviors scale (Min,1998), and child behavior problems scale (Hun,l996). The data were analyzed using statistical techniques such as Mean, standard deviation, frequency, percentile, t-test, F-test, pearson's correlational analysis, stepwise regression analysis. In the relationship between child perceived parent-child communication style and stress coping behaviors, the children who make open communication with their parents demonstrate high problem-solving, support-seeking coping behavior. The children with closed communication with their parents have high hope expectation, revenge coping behavior. In the relationship between child perceived parent-child communication style and child behavior problem, the children making more closed communication with their parents show more behavior problems. The children with more closed communication with their mothers have more hyperactive behaviors, aggressive behaviors, and immature behaviors, and the children who are making more closed communication retain more anxious behaviors and withdrawn behaviors. In the relationship between child stress coping behaviors and behavior problems, the more problem-solving and support-seeking coping behaviors the children possess, the less problem behaviors they demonstrate. The more hope expectation, revenge coping behavior the children possess, the more problem behaviors they show. With the results above, we can find out that parent-child communication style has an effect on stress coping behavior, and parent-child communication style and stress coping behavior have an influence on child behavior problem.

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

• Strategy21
• /
• s.42
• /
• pp.5-52
• /
• 2017

Debates about introducing nuclear submarines have been a main issue in Korea. The highest officials and the government has started to think seriously about the issue. Yet there were no certain decision to this issue or any agreements with US but it is still necessary to review about introducing nuclear submarines, the technologies and about the business. The reason for such issues are the highest officials of Korea to build nuclear submarine, nK's nuclear development and SLBM launching. ROKN's nuclear submarine's necessity will be to attack(capacity to revenge), defend(anti-SSBN Operation) and to respond against neighboring nation's threat(Russia, Japan, China). Among these nations, US, Russia (Soviet Union), Britain, France had built their submarines in a short term of time due to their industrial foundation regarding with nuclear propulsion submarines. However China and India have started their business without their industrial foundation prepared and took a long time to build their submarines. Current technology level of Korea have reached almost up to US, Russia, Britain and France when they first built their nuclear propulsion submarines since we have almost completed the business for the Changbogo-I,II and almost up to complete building the Changbogo-III which Korea have self designed/developed. Furthermore Korea have reached the level where we can self design large nuclear reactors and the integrated SMART reactor which we can call ourselves a nation with worldwide technologies. If introducing the nuclear submarine to the Korea gets decided, first of all we would have to review the technological problems and also introduce the foreign technologies when needed. The methods for the introduction will be developments after loans from the foreign, productions with technological cooperations, and individual production. The most significant thing will be that changes are continuous and new instances are keep showing up so that it is important to only have a simple reference to a current instances and have a review on every methods with many possibilities. Also developing all of the technologies for the nuclear propulsion submarines may be not possible and give financial damages so there may be a need to partially introduce foreign technologies. For the introduction of nuclear propulsion submarines, there must be a resolution of the international regulations together with the international/domestics resistances and the technological problems to work out for. Also there may be problem for the requirement fees to solve for and other tough problems to solve for. However nuclear submarines are powerful weapon system to risk everything above. This is an international/domestically a serious agenda. Therefore rather than having debates based on false facts, there must be a need to have an investigations and debates regarding the nation's benefits and national security.

• Korean Security Journal
• /
• no.60
• /
• pp.9-31
• /
• 2019

Due to the development of technology and popularization of drone, the so-called "dirty drone" that exploits drones for crimes and terrorism has become a social problem, and it is time to seriously consider the "revenge of drones." Indeed, the cases of threats posed by drones are expanding not only to threats to ground facilities, but also to aviation safety threats, more recently to large-scale events, demonstrations and crimes targeting specific personnel, and terrorism. This research clearly defined the concept of anti-drone when it emerged as a new type of social safety threat as it was abused in crime and terrorism, while response to it was not enough yet. Through this process, it was intended to present an effective anti-drones system. We analyzed the major controversial elements of anti-drone, and defined them as "comprehensive response activities at the legal, institutional and technical levels performed by law enforcement agencies, related technology and industrial entities in a way that prevents, detects, and blocks acts that violate public well-being and order, such as crimes and terrorism caused by the drones." To effectively respond to dirty drones, the authority of law enforcement agencies and the enactment of relevant laws were proposed. In the future, a comprehensive and systematic follow-up study of the anti system should be conducted.

• Journal of Korean Philosophical Society
• /
• v.137
• /
• pp.323-356
• /
• 2016

The present study examines Nietzsche's critique of Schopenhauer with regard to the problem of morality and the basis thereof. Schopenhauer's philosophy that each written life as objectification of the will, had an important impact on the early development of Nietzsche's philosophy. But nevertheless Nietzsche criticized Schopenhauer because he denies life in the value of earthly life. Schopenhauer asserts that life is a painful matter because the blind govern all life, and pushes. But unlike Nietzsche, Schopenhauer buoyed the meaning of life, which increases again with the will to power and carry out. Of course there is some resemblance between Schopenhauer and Nietzsche, namely equiprimordiality as both distance themselves from the traditional philosophy that characterizes the man as a rational being and understands. They both destruct the idea of philosophy as a science, and try together to build another philosophical horizon. But in terms of interpretations of life and morals, they have taken different paths. According to Schopenhauer, our life is ultimately sad and agonizing. To overcome this situation, we must deny the will to live and renounce it absolutely. He believes that the moral can eliminate the displacement of the blind will to live and overcome. But in comparison, Nietzsche claims that morality or any moral act is always driven out of resentment. But this resentment is nothing more than a revenge or retribution, which was invented by the weakness. But according to Nietzsche, the feeling of resentment clear will to live. The present paper examines whether Nietzsche's moral critique of Schopenhauer is possible and if so, such a moral critique of Nietzsche can be performed.