김성수 교수의 활성 경로 이론에 대한 변호와 그에 대한 반론

김세화 ( Sea Hwa Kim ) 한국논리학회 2015 論理硏究 Vol.18 No.1

김성수 교수는 최근 논문 “반사실적 인과론과 인과 구조식 접근법: 활성 경로 이론의 재검토”에서 활성 경로 이론에 대한 변호를 펼친다. 활성경로 이론은 반사실적 인과론의 핵심적 직관을 유지하면서 ‘실제로 벌어진 정황’에 주목함으로써 반사실적 인과론에 제기된 반례들을 극복하고자 제시되었다. 그러나 활성 경로 이론에 대해서도 반례가 제기된 바 있다. 김성수 교수는 이 반례를 반박함으로써 활성 경로 이론에 대한 변호를 펼치는데, 본 논문에서 필자는 김성수 교수의 반박이 성공하지 못했음을 밝힌다. In his paper “Structural Equations Approach to Token Causation: The Active Route Account Revisited” Professor Sungsu Kim defends the active route account. The active route account is the theory of causation which overcomes counterexamples to the counterfactual theories of causation, while maintaining the counterfactual theorist`s essential intuition that an effect depends counterfactually on a cause. Unfortunately, there are counterexamples to the active route account itself. Professor Sungsu Kim attempts to defend the active route account by rebutting those counterexamples. In this paper, I argue that his defense of the active route account is not successful.

조작논증과 어니, 다이애나, 번개

김세화 ( Seahwa Kim ) 한국논리학회 2019 論理硏究 Vol.22 No.2

“자유의지에 대한 조작논증과 근원-양립가능주의의 대응”에서 김성수 교수는 근원-자유와 결정론이 양립가능하지 않다는 근원-양립불가능주의 에서 제시한 논증인 조작논증에 대해 다룬다. 김성수는 조작논증에 대한 양립가능주의의 두 종류의 대응 중 강경한 대응보다는 온건한 대응이 더 설득력이 있다고 주장하는데, 특히 그는 번개 사례를 통해 강경한 대응을 펼치는 사토리오에 집중하여 반론을 펼침으로써 강경한 대응이 설득력이 부족하다고 주장한다. 본 논문에서 필자는 사토리오에 대한 김성수의 반론이 성공적이지 않다고 논증한다. 이를 위해서 필자는 사토리오의 책임희석 효과에 대한 설명에 문제가 있다는 김성수의 반론에 대해서 이러한 문제점을 피할 수 있는 원격 집행부대 예를 새롭게 제시한다. 또한 필자는 번개 사례에서 보이는 직관이 조작논증의 전제를 지지하는 직관만큼 강해보이지 않는다는 김성수의 반론에 대해 사토리오의 논증이 성공하기 위해서 번개 사례에서 보이는 직관이 다이애나 사례에서 보이는 직관만큼 강할 필요는 없다고 논증한다. In this paper, I raise objections to Sungsu Kim’s argument that Sartorio’s hard-line reply to the manipulation argument fails. In attacking Sartorio’s argument, Sungsu Kim claims that there are two problems with Sartorio’s. I argue that Sungsu Kim’s argument fails by responding to these two problems. With respect to the first problem, I provide a new example of dilution of responsibility. With respect to the second problem, I argue that, contrary to what Sungsu Kim assumes, for Sartorio’s argument to succeed, our intuition that Ernie is responsible in the Lightning Strike Scenario does not have to be as strong as our intuition that Ernie is not responsible in the Diana scenario.

국민건강보험제도 이대로 좋은가

김세화,Kim, Se-Hwa 대한병원협회 2001 대한병원협회지 Vol.30 No.5

울릉도 독도 근해에 분포하는 해산지각류 Evadne spinifera 의 생물학적 특성

김세화,최청일,유광일 ( Se Wha Kim,Chung Il Choi,Kwang Il Yoo ) 한국환경생물학회 1996 환경생물 : 환경생물학회지 Vol.14 No.2

Quantitative zooplankton samples were collected at nine stations in waters adjacent to Ullung Do and Tok Do Islands in the summer, 1995. Morphology and reproductive biology of a marine cladoceran Evadne spinifera were studied. Gross length of E. spinifera ranged 0.53∼1.14㎜, standard length; 0.20∼0.58㎜ and tail spine length; 0.07∼0.18㎜, respectively. Its fecundity in terms of the number of embryos per batch ranged 1∼7 (mean: 3.1) and sexual individuals were not observed.

Distribution of the Marine cladoceran Evadne spinifera In Waters adjacent to Korean Peninsula

김세화,유광일,KIM, SE-WHA,ONBE, TAKASHI,YOO, KWANG IL The Korean Society of Oceanography 1993 韓國海洋學會誌 Vol.28 No.1

Distribution of the marine cladoceran Evadne spinifera in waters adjacent to Korea was studied on the bases of samples collected during the Cooperative Study of the Kuroshio and Adjacent Regions, 1965-1974, and during the Exploitation Research of Marine Resources on the yellow Sea, September October 1992. This species was mainly occurred in August and September in the sea of Japan Distribution in the Yellow Sea was sparse. temperature and salinity ranged $23.42-28.24^{\circ}C$ and $32.11-24.20\textperthousand$, respectively. Maximum abundance of $11{\;}indiv./\textrm{m}^3$ was recorded in coastal waters of Honshu, Japan with $26.80^{\circ}C$ and $32.81\textperthousand$ water. E. spinifera was considered to be a stenothermal animal preferring high temperature.

Seasonal Distribution of Zooplankton Communities in Inchon Dock, an Artificially Closed Marine Embayment Facing the Yellow Sea, Western Korea

김세화,이진환,KIM, SE-WHA,LEE, JIN HWAN The Korean Society of Oceanography 1994 韓國海洋學會誌 Vol.29 No.4

Seasonal distribution of zooplankton community in Inchon Dock, an artificially closed marine embayment has been studied. Samples were collected monthly during the period from December 1989 to December 1991 at four stations in the dock and compared with that at a single station in neighbouring waters of the Yellow Sea. Copepods dominated both in and outside of the dock all the year round, except in late autumn and early winter when protozoans outnumbered. dominant species were Oithona davisae, Acartia bifilosa, Paracalanus crassirostris, Noctiluca scintillas and Tintinnopsis tubulosa. A sharp decline in the abundance was observed in summer 1990 in the dock apparently due to oxygen deficiency (anoxic condition). Although no distinct deference in the abundance of zooplankton was observed between populations in and outside of the dock except in summer 1990, waters out of the dock showed to have a prosperity in species number throughout the year. Moreover, four species of copepods, Centropages abdominalis, Pseudodiaptomus marinus, Tortanus forcipatus and T. spinicaudatus occurred solely at the outside of the dock.

기관절개술후 종격동기관 협착증에 대한 기관절제 단단 문합술

김세화,박희철,이홍균,Kim, Se-Wha,Park, Hee-Chul,Lee, Hong-Kyun 대한흉부심장혈관외과학회 1980 Journal of Chest Surgery (J Chest Surg) Vol.13 No.4

A 37 year old male patient was suffered from severe labored breathing caused by post tracheostomy stenosis, which was localized at the mediastinal trachea [cuffed tracheal stenosis] and ranged 1.5 cm in length and approximately 3 ram. in diameter on tracheogram. After dilation of tracheal stenosis with dilator, endotracheal intubation was tried for induction of anesthesia and control of respiration during operation. A tube was placed just beyond the tracheal stenosis without respiratory difficulty. Under the endotracheal anesthesia, circumferential resection of the mediastinal trachea containing the stenosis, approximately 2 cm in length [4 tracheal rings}, was carried out and primary direct end to end anastomosis was performed with interrupted submucosal sutures [3-0 Dexon] and mobilization of trachea Postoperative tracheostomy was not performed. The patient was completely relieved from dyspnea immediately after operation. Post-operative convalescence was entirely uneventful and at present, about 3 months after operation, he is now conducting a usual life. From the literature and our experience, the etiology and treatment of post-tracheostomy stenosis were discussed.

Note on the Prey Items of Marine Cladocerans

김세화,윤양호,KIM, SE-WHA,YOON, YANG-HO,ONBE, TAKASHI The Korean Society of Oceanography 1993 韓國海洋學會誌 Vol.28 No.1

Food items of the five species of marine cladocerans were reported to be largely confined to centric diatoms. Reexamination of the prey items, however, revealed that flagellar organisms were also well fed by cladocerans. This additional finding suggests that marine cladocerans might extend their food items to weakly motile flagellates e.g., Prorocentrum micans, Protoperidinium sp. and unidentified flagellates.

"프로슬로기온" 3장 논증의 새로운 해석!

김세화,Kim, Sea-Hwa 한국논리학회 2008 論理硏究 Vol.11 No.2

In a recent paper, Wonbae Choi raises two objections to my interpretation of the argument in Proslogium 3. The first one is that my interpretation is not new, and the second one is that there is an alternative interpretation which is better than mine. I defend my interpretation against them. I also touch on a related issue which can be derived from his second objection. 최근 최원배는 "프로슬로기온"3장에 나오는 논증을 새롭게 해석했다는 필자의 주장에 비판을 가했다. 그의 비판의 요지는 크게 두 가지인데, 첫 번째 비판은 필자가 제시한 논증이 새로울 것이 없다는 것이고, 두 번째 비판은 필자가 원하는 결론을 얻고자 한다면 도리어 다른 논증이 더 낫다는 것이다. 필자는 본 논문에서 이에 대한 답변으로 필자가 제시한 논증은 분명 새로운 것이며, 최원배가 제시한 논증이 "프로슬로기온"3장에 나오는 논증에 대한 보다 나은 해석이라 할 수 없음을 보인다. 나아가 최원배의 두 번째 비판이 암시하는 보다 중요하고 의미심장한 비판에 대해서 언급한다.

실시간 객체 지향 모델을 위한 시나리오 기반 구현 합성

김세화,박지용,홍성수,Kim, Sae-Hwa,Park, Ji-Yong,Hong, Seong-Soo 한국정보처리학회 2005 정보처리학회논문지D Vol.12 No.7

내간형 시스템이 제공하는 기능이 다양해지고 그 구조가 복잡해짐에 따라, 이들 시스템을 설계하는 데에 객체 지향 설계 방법론이 널리 사용되고 있다. 객체로 설계된 시스템을 대상 하드웨어에서 수행시키기 위해서는 객체들로부터 태스크 집합을 유도해야 하는데, 여기에 몇 개의 태스크가 존재하며 각 태스크가 어떤 객체들로 도착한 어떤 이벤트를 처리하느냐에 따라 시스템의 응답성이 크게 좌우된다. 그럼에도 불구하고 객체와 태스크의 상이함 때문에 최적의 태스크 집합을 유도하는 것은 매우 어려운 일이며, 그로 인해 지금까지는 여러 태스크 집합을 반복적으로 시도해 보는 것이 보편적인 방법이었다. 본 논문에서는 이 문제를 해결하는 Scenario-based Implementation Synthesis Architecture(SISA)를 제안한다. SISA는 객체로 설계된 시스템에서 태스크 집합을 유도하는 방법, 그리고 이를 지원하는 개발 도구와 런타임 시스템 아키텍처를 총칭한다. 이를 이용하여 개발된 시스템은 가능한 적은 개수의 태스크들로 이루어져 있으면서도 시스템의 각 이벤트에 대한 응답 시간이 최소임이 보장된다. 우리는 UML 2.0을 모델링 언어로 사용하는 개발도구인 ResoRT를 확장하여 SISA를 구현했으며, 기 개발된 산업용 PBX(사설교환기) 시스템에 이를 적용했다 이 시스템의 성능 평가 결과, 지금까지 알려진 최선의 태스크 유도 방식을 이용하여 개발되었을 때에 비해 ,시스템의 최대 응답 시간이 평균 $30.3\%$ 단축된다는 것을 확인할 수 있었다. The demands of increasingly complicated software have led to the proliferation of object-oriented design methodologies in embedded systems. To execute a system designed with objects in target hardware, a task set should be derived from the objects, representing how many tasks reside in the system and which task processes which event arriving at an object. The derived task set greatly influences the responsiveness of the system. Nevertheless, it is very difficult to derive an optimal task set due to the discrepancy between objects and tasks. Therefore, the common method currently used by developers is to repetitively try various task sets. This paper proposes Scenario-based Implementation Synthesis Architecture (SISA) to solve this problem. SISA encompasses a method for deriving a task set from a system designed with objects as well as its supporting development tools and run-time system architecture. A system designed with SISA not only consists of the smallest possible number of tasks, but also guarantees that the response time for each event in the system is minimized. We have fully implemented SISA by extending the ResoRT development tool and applied it to an existing industrial PBX system. The experimental results show that maximum response times were reduced $30.3\%$ on average compared to when the task set was derived by the best known existing methods.