
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Shearography를 이용한 압력용기의 비파괴 검사에 관한 연구
Shearography, one of NDT methods without contact, is able to inspect defects of pipelines and pressure vessels that are used in the industrial machine and nuclear power plants and is used to determine safety, maintenance, and mending Shearography can analyze the position of a defect qualitatively by controlling mirror shearing amount and moving a PZT(Piezoelectronic Transducer) Mirror Shearography can inspect full fields and has a low sensitivity to environmental noise Because optical setting is very simple, it has a little exhaustion of time, cost and rnan power And also it can find a defect position through real time monitoring of a part This paper, using an Electronic Shear Interferometry(ESI) with phase shifting algorithm and image processing program, shows that optical instrument has developed to inspect defects of pipelines and pressure vessels
이찬우 인하대학교 국제통상물류대학원 2010 국내석사
탄소규제는 시행국가의 산업구조, 에너지MIX, 무역구조, 경제성장 등과 밀접한 관계가 있을 수밖에 없다. 따라서 얼마나 온실가스 감축비용을 낮추면서 자국내 산업을 녹색화 하느냐가 핵심이다. 결국 글로벌 녹색경주속에서 승자가 되기 위한 경쟁룰과 다르지 않다. 우리나라 에너지 집약형 산업구조, 제조업에 치중된 GDP, 한 자리 숫자도 안 되는 에너지 자립도, 에너지 산업의 공공기관화와 에너지 가격이 원가에 의해 연동되지 않는 상황, 중소기업의 탄소규제 취약성, MRV(Monitoring, Reporting, Verify) 신뢰성 부족, 그리고 금융산업 등이 EU, 미국 등에 비해 경쟁력이 낮다는 조건, 녹색기술 개발수준과 시장 점유율이 현재 매우 낮다는 점 등을 고려할 때 선진국보다 저탄소와 녹색성장의 첨예한 대립이 훨씬 클 것으로 예상된다. 중장기적으로 신성장 동력을 찾아 경제성장의 한축으로 이 제도를 이해하고 설계하는 정책입안자들의 의지와는 상관없이 그러한 과정에서 지나친 부작용이 나타날 수도 있다. 특히 이미 탄소규제를 시행한 선진국에서 각별히 우려하여 설계초기부터 연구·반영하고 있는 카본 리키즈(carbon leakage)가 그것이다. 카본 리키즈는 탄소규제를 시행한 국가의 온실가스 감축이 다른 국가의 배출량 증가로 이어지는 누출현상을 의미한다. 본 연구에서 케이스로 선택한 국내 철강산업은 강 1톤을 생산하는데 OECD 평균보다 낮은 온실가스를 배출하고 있다. 또한 일본 수준의 세계 최고 에너지 효율과 낮은 온실가스 감축잠재량을 가지고 있는 등 탄소규제 시행에 따라 EU, 미국 등에서 조사된 결과치를 상회하는 비용증가가 예상된다. 그리고 무역의존도 역시 50%를 넘고 있어 EU의 기준으로 따지자면 카본 리키즈에 대한 중요한 위험성이 있는 업종으로 분류된다. 뿐만 아니라 우리나라의 철강산업이 국내 산업구조에서 차지하는 역할 그리고 GDP와 고용에서 차지하는 비중, 중국의 수입탄력성 증가 등을 감안한다면 선진국보다 강도 있는 보조수단이 검토되어야 한다. 국내 할당과 배출권거래제도가 본격적으로 시행되는 시점에 반드시 무상할당, 부문별 접근, 국경조정조치 등 앞장에서 살펴본 다양한 카본 리키즈 대책방안이 검토되어야 할 것이다. 하지만 해외에서 선행되어 검토되고 있는 다양한 카본 리키즈 대책방안을 국내에 그대로 적용하는 것에 대한 우려가 있다. 그것은 해외 탄소규제를 국내에 그대로 적용할 경우에 발생되는 산업경쟁력 문제를 생각하면 쉽게 이해할 수 있다. 따라서 반드시 국내 산업과 무역의 특성을 반영하여야 한다. 예를 들어 무상할당에 대한 연구를 하기위해서는 사전에 카본 리키즈에 노출된 업종을 명시하는 작업도 중요하지만 국내 기업별 감축기술에 대한 객관적인 정보와 미래 개발 전망 등을 반영하여 벤치마크식 무상할당을 할 수 있는 기준을 설정하는 작업이 가장 어렵고 중요한 작업이다. 기술적 조사와 분석 작업을 소홀히 할 경우 많은 사람들이 우려하고 있는 기술투자 감소현상이나 노력 없이 이익을 얻게 되는 기업이 나타날 것이다. 우리나라의 경우 이제 막 탄소규제로 진입하는 단계이므로 사실 섣부른 카본 리키즈 논의는 초기정책의 성과를 방해할 수도 있다고 여겨질 수도 있다. 그러나 이미 EU와 같이 선도적인 탄소규제를 시행하고 탄소가격을 철강산업에 부여한 국가에서 중요한 고려항목으로 연구되고 있는 것을 보면 절대 간과할 수 없는 문제이기도 하다.
20대의 생활패턴, 라이프 스타일이 신체조성과 운동능력에 미치는 영향
ABSTRACT This study aims at suggesting plan for effective physical composition and physical strength enhancement, after examining effect of the twenties' lifestyles and life patterns on the physical creation and motor ability. Intended for 401 males and 111 females in twenties residing in Seoul, the effect of their lifestyles and life patterns on the physical composition and motor ability was compared and analyzed, through random cluster sampling and data collection, while the test for physical constitution and physical strength was conducted by spss 10.0propram, the average and the standard deviation of all data were calculated. In order to find out the difference between physical constitution (body fat ratio) and motor ability (physical fitness, motor physical strength) according to life pattern and lifestyle, independent t-test and one-way(RG)ANOVA were used, while in order to look into the connection between physical constitution and motor ability, correlation analysis (pearson's r) was conducted. The findings are like as follows. 1. Regarding links to cardio respiratory function, the higher satisfaction for life, the more frequently insufficient sleep rather than always satisfied, the less drinking, the more frequent exercise, the less intake of meat, it indicated higher function, being significant in statistics. 2. Regarding links to physical fitness and life style, life satisfaction showed significant difference in flexibility, sleeping style showed one in cardio respiratory durability, flexibility, muscular strength, and muscular sustaining power, while drinking habit showed one in body fat ratio, frequency of exercise in muscular sustaining power, and intake of meat in body fat ratio and flexibility. 3. Amid life styles showing significant connection with motor physical strength, life satisfaction and sleeping style showed high connection with agility and instantaneous reactionary ability, while frequency of exercise was related a lot to agility.
에멀젼의 안정화 조건을 이용한 천연고무/몬트모릴로나이트 나노복합체 제조법
이찬우 성균관대학교 일반대학원 2010 국내석사
In this research, well-dispersed natural rubber/MMT nanocomposites were produced by stabilizing both natural rubber emulsionand montmorillonite in water suspension, mixing them, and subsequently destabilizing them artificially. In producing polymer-clay nanocomposites, the pH domain for dispersion stabilityand instability of two materials that were mixed were identified using the Zeta potential. Two materials were mixed at pH of 10.5 where both were jointly stable to produce a stable compound two compounds for natural rubber/MMT were obtained by artificially lowering the pH to 4 or less as the destabilization condition for the Zeta potential. By observing the destabilization state of the two materials, the maximum content of MMT with respect to rubber was found to be 20 phr in exfoliated state. From the nanocomposites produced in this manner, MMT was found to be exfoliated even up to a high content of 20 phr based on the XRD analysis. Through SEM photographs, MMT was verified to be dispersed uniformly inside the polymer.
보험환경의 변화에 따른 고지의무제도의 개선에 관한 연구
이찬우 성균관대학교 일반대학원 2015 국내석사
이 연구는 보험소비자 보호를 위한 고지의무제도의 개선에 관하여 조사하는 것을 목적으로 한다. 상법 제651조는 보험계약자가 중요한 사항에 대해서 보험자에게 고지하도록 하고 있다. 현실의 보험계약에서는 보험자가 위험 심사를 위한 기초 자료인 질문표를 제공하고, 보험계약자가 고지의무를 이행하면, 보험자는 그에 기초하여 위험의 인수 여부, 조건과 보험료 등을 결정하게 된다. 고지의무는 보험계약의 성립에 있어서 핵심요소가 된다. 18세기 영국해상보험환경에 적합하던 고지의무 법리가 보험환경이 상이한 여타 보험에도 적용되었던 것과 정보력의 우열이 뒤바뀐 현재에도 적용되는 것은 합리적이지 못한 결과를 가져온다. 보험환경의 변화를 인지하고, 변화된 환경 하에서 보험소비자 보호의 필요성을 인지한 여러 국가들은 보험법 개정에 이르게 된다. 외국의 변화된 보험 법제를 분석하는 것은 고지의무제도의 올바른 개선 방향을 찾기 위해서 선행적으로 이루어져야 하는 연구이다. 2012년 영국은 소비자보험법(Consumer Insurance Act)을 제정하였고, 2008년 독일과 일본도 보험법을 개정한다. 이러한 보험법 개정 과정에 있어서의 공통점은 고지의무를 답변의무로 전환하였다는 것과 비례보상의 원칙의 채택과 관련한 심도 있는 논의가 진행되었다는 점이다. 보험계약자의 고지의무가 답변의무로 전환됨으로써 보험계약자는 비전문가로서 위험을 평가해야 하는 부담을 덜게 되었고, 이는 보험금 지급 거부와 관련한 분쟁을 감소시킴으로써 보험소비자를 보호하게 될 것이다. 국내에서도 2014년 고지의무와 관련한 개정이 있었지만 외국의 개정 동향과 비교할 때 보험소비자 보호를 달성하기에 충분치 못하였다고 생각한다. 보험소비자 보호를 위한 고지의무의 개선 방향을 제시하고자 한다. 첫 번째는 고지의무를 부담하는 주체를 보험계약자에서 보험자로 바꾸는 고지의무의 답변의무로의 전환이다. 보험계약자는 보험자가 묻는 고지사항에 대해서 답변할 의무만을 갖는다. 두 번째는 고지의무 위반의 효과로 전부면책의 원칙을 폐기하고 비례보상방식을 채택하여야 한다. 비례보상방식은 일찍이 스위스에서 시작되어 프랑스, 이탈리아, 스웨덴 등에서 현재 운용되고 있다. 비례보상방식은 보험료 산정과 관련하여 불명확한 부분이 있다는 비판이 제기된다. 보험계약자의 고의나 중과실을 동일하게 평가하는 것은 타당하지 못하고, 보험소비자 보호의 관점에서 비례보상방식이 도입되어야 한다. 세 번째는 보험보조자의 고지방해가 있었을 경우, 보험자의 해지권을 제한하는 것이다. 일본은 2008년 개정 당시 이 부분에 대해서 명확히 규정하였으나, 우리나라는 규정이 존재하지 않는다. 보험계약이 보통 보험보조자를 통해 이루어지는 보험현실을 고려할 때 보험소비자 보호를 위하여 명확하게 규정을 두어야 한다. This study is designed to investigate the reform of the duty of disclosure for the policyholder protection in contract of insurance. In Commercial Code 651, the policyholder must provide correct and complete answers to questions posed by the insurer. Thus, in an actual insurance contract, the insurer provides the questionnaire, if the insured implement the duty of disclosure, the insurer determine to acquire, on this basis, the risks and conditions and premiums. Therefore, the duty of disclosure is an important part of the insurance contract. However, the duty of disclosure is that in pre-contractual negotiations there is no positive duty on either party to represent materials facts to the other party. Even now reversed the power of information for the contracts Commercial Code 651 deals with misrepresentation from the MIA 1906, though these rules are commonly understood to apply to non marine insurance as well. These situations are occasionally that induces the other party to enter into the unreasonable contract results. It recognizes the changes in environment of insurance market, some of the countries have tried to their replacement of the Insurance Law with a new scheme and to focus on those areas of policyholder protection under the modern view. Analyzing the changes in the foreign insurance law should be proactive for the reform of the duty of disclosure. The Consumer Insurance Act of 2012 in England is legislated, Insurance Contract Law in Germany and Japan is reformed in 2008. An important common rule here is the policyholder protection induce to the principle of pro rata depth in these insurance law revision process and study by relevant with its has been converted advance notification obligation answered obligations. The announcement by the policyholder obligations switch to answer obligation, the insured, the burden of which is necessary to assess as a non-professional to reduce the risk, and refused to pay the relevant insurance by reducing conflict, it would be to protect the insurance consumers. There was a revision on the 2014 announcement obligation in our country, when compared with foreign revision trends, it is thought to have enough stomach to achieve the policyholder protection. Therefore, we try to focus on those areas which are replacement with the notice obligation for the policyholder protection in insurance law. The first, it has to convert the duty of voluntary disclosure to the duty of passive disclosure. A policyholder have a obligation submitting a materials facts on the insurance form to insurer. The second, it must reconsider for intend or gross negligence which are subjective requirement for the duty of disclosure as prior condition of introduction for principle of Pro Rata. The principle of pro rata starts in Switzerland, operating countries are France, Italy, and Sweden currently. The principles of Pro Rata is criticised because its calculation is unclear. However, it must be the principles of Pro Rata for the case that the proper evaluation of intentional or gross negligence has nothing to the insured about the point policyholder protection, The third, to be interrupted for disclosure of policyholder by assistant of insurer needs to stop to exercise of right to terminate contract by insurer on breach of the duty of disclosure. Nevertheless the revision of the 2008, Japan has been clearly defined for this part, but South Korea does not exist provisions. Thus it would have been possible to reform and to define the regulations for the policyholder protection under helping the insurer.
To expand a pre-existing design principle of catalysts to a higher level, one of the important issues is to clearly understand the reaction mechanism. In recent years, mechanistic studies on SnOx catalysts, one of the most popular candidates for CO2 conversion to formate, have been intensively conducted in various aspects. The reaction mechanisms of formate production have been suggested based on computational, electrokinetic and in situ analyses. However, the suggested reaction mechanisms are still controversial because the electrokinetic and in situ studies propose different mechanisms. In addition, the stability issue of Pd electrodes has been only explained with the CO poisoning. However, the decay mechanism of the current density during electrolysis has not been studied in detail up to now. A complete understanding of the reaction mechanism will expand the pre-existing deisgn principle of catalysts to a higher level. Chapter 2 investigates carbon-supported BiOx nanoparticles (BiOx/C ) as a potential candidate for CO2 reduction. In bicarbonate solutions, the BiOx/C catalysts exhibited a high Faradaic efficiency of 93.4% for formate from -1.37 to -1.70 V vs. Ag/AgCl with a negligible amount CO and H2. Stable partial current densities and high Faradaic efficiencies were also achieved in 0.5 M NaCl (12.5 mA cm-2 and 96.0%, respectively). The possible reaction pathways and kinetic parameters of formate formation were examined using systematic electrochemical methods, including Tafel, pH dependence, and in situ X-ray absorption near edge structure analyses. From the results of these mechanistic studies, we propose that dual mechanisms are functional on the BiOx/C catalysts. Specifically, a two-electron and one-proton transfer reaction to adsorbed CO2 or a chemical proton transfer reaction to CO2- anion are the possible RDS at low potentials, whereas a one-electron transfer reaction to CO2 is the RDS at high potentials. Chapter 3 invesitgates carbon-supported Pd-based alloy as a potential candidate for CO2 reduction. In order to resolve the stability problem of Pd electrodes, specifically CO poisoning, various metals including Bi, Pb, Ag, Rh, Ru, Pt, Cu, Fe, Ni, Ge and Ir are incorporated by a simple microwave polyol method using carbon-supported Pd as a precursor. The electrochemical coversion of CO2 to HCOO- on various metal alloys are investigated focusing on the stability issue. Pd-Ge, Pd-Bi and Pd-Ni alloys shows worse activity than pristine Pd because the active sites of Pd are hindered by the foreign metals. Pd-Pt, Pd-Ru andn Pd-Rh alloys exhibit higher current density, but much lower FE for HCOO- formation, which is attributed to the segregation of Pt, Ru and Rh that are very active for H2 evolution. In contrast, Pd-Cu, Pd-Ag, Pd-Fe and Pd-Ir display higher FE and current density compared with the pristine Pd. In this study, we found that Pd-Ag alloy shows higher current density and stability compared with pristine Pd. The superior performance can be explained based on the large suppression of CO production on the Pd-Ag alloy electrodes. The Ag-incorporated Pd electrodes also show a characteristic behavior to stably maintain palladium hydride at the low potential range, which is revealed from the anodic CO stripping anlysis after bulk electrolysis at various potentials. It is the first demonstration to pefectly suppress the CO evolution and achieve the stable current density during electrolysis on Pd-based electrodes. In conclusion, we comprehensively investigated the reaction mechanisms of various foramte production catalysts. Our studies could provide a significant mechanistic insight into the issues in formation production catalysts and finally achieved excellent performance for CO2 electrocatalysis.
Predicate functor logic (PFL) is an algebraic logic system devised by W. V. O. Quine, the prominent feature of which is that its lexicon does not include quantifiers, individual constants, nor variables, but is nonetheless as expressively adequate as 1st-order logic (FOL) is. Moreover, translation procedures between PFL and FOL are established so as to demonstrate their mutual intertranslatability. It is conventionally viewed that general facts expressible by FOL's quantified sentences hold in virtue of individuals (or particulars), that is, FOL truths are ontologically committed to individuals, or are metaphysically grounded in individualistic facts expressible by atomic sentences with one or more individual constants. In this sense, FOL can be deemed ontologically guilty. By contrast, some believe that PFL, which is likened to feature-placing statement such as “It is snowing.”, is ontologically innocent, since its lack of quantifiers, variables, etc., allows avoiding commitment to individuals. Given the intertranslatability between FOL and PFL, FOL-regimentation of our best scientific theories can be adequately translated to PFL-regimentation, which supposedly is ontologically innocent. Hence, ontological nihilists (or generalists) such as Shamik Dasgupta, denying material individuals from their ontological scheme, may employ PFL or PFL-like system in hopes of formulating individual-free ontology, which is as explanatorily adequate as that of FOL is. Functorese generalism can be defined as the nihilist position maintaining that PFL captures the fundamental reality of the world, which is uninhabited by individuals. PFL's being supposedly innocent is significant since nihilism is an interesting metaphysical position with a number of theoretical merits: First, as a quatlitativist ontology, it fares better than other contenders such as traditional bundle theory against individualist ontology. Second, it resolves convoluted metaphysical problems concerning the identity criteria of individuals. Third, its overlap with ontic structural realism, an arguable position in general philosophy of science and philosophy of physics, indicates its viability as a scientifically-informed metaphysics. Jason Turner, however, has given an argument, which I shall call “Turner argument”, to the effect that PFL cannot be ontologically innocent insofar as FOL is guilty. If the argument is sound, then it follows that functorese generalism can be refuted solely on a logical basis. The crux of Turner argument is that PFL's cropping functor c, an indispensable element of PFL, is indeed “a disguised existential quantifier”, which is considered outright guilty. In order to demonstrate this point, Turner invokes a principle of interpretation named “(*)”, which roughly says that two terms' structural coincidence in their linguistic usage implies their intensional equivalence. In the present thesis, I will advance two counterarguments against Turner argument, the Dilemma argument and the Foundation argument. The Dilemma argument stems from the fact that an ambiguous phrase in (*) principle allows two different readings, the narrow and the wide reading, both of which facing grave difficulties: The narrow reading's problem is that it overgenerates. Under the narrow reading, structural coincidence of two terms in extensional language guarantees the identity of their grounding-profile. It allows violation of grounding relation's hyperintension-sensitivity, which is one of its prime theoretical features. A concrete counterexample will be given for its demonstration in reference to a paradigmatic instance of grounding relation. The wide reading overcomes the narrow reading's problem by raising the bar; it introduces a hyperintension-sensitive operator in addition to extensional items concerned in the narrow reading. This move, however, incurs a problem in that the newly adopted operator does not conform to the established translation procedure between PFL and FOL, that is, the antecedent of one of the pivotal implicit assumptions in Turner argument is not satisfied. Hence, there is little evidence to believe that Turner argument is sound in this case. It thereby shows that Turner argument confronts a dilemma. The Foundation argument tackles Turner argument's use of (*) principle by showing that endorsement of (*) can lead to the consequence which is at odds with the very goal of Turner argument, disputation of nihilism: (*) seems to face some obvious counterexamples, i.e., two terms structurally coinciding in their usage yet not having the same intension. Quine's 'gavagai' scenario may count as a suitable example. One way to bridge this gap is to embrace structuralist semantics, the position which some ascribes to Quine. According to structuralism, meanings of individual linguistic items do not exist in a strict sense, and the synonymy is nothing over and above the coincidence of linguistic roles. The counterexamples above are then resolved and (*) is vindicated. The problem does not lie in structuralism per se but in its use in Turner argument. For it can be shown that structurualism is 'isomorphic' to nihilism in that they exhibit the same logical structure. Since they share the isomorphic foundation, invoking (*) to dispute nihilism can be dialectically self-undercutting. Hence, Turner argument comes to an impasse. It can be pointed out that the objectors can conversely appropriate the Foundation argument as a riposte by taking (*) principle as a mere reductio assumption. This move can be blocked by abandoning the assumption that FOL is necessarily guilty pace Jeffrey Russell and others. A closer analysis of the relation between FOL and its meta theory will justify this solution as well as PFL's use of model-theoretic metalogic. This solution engenders, however, another worry since it obviates the motivation for functorese generalism; essentially the same problem is posed by skeptics of logical system's having metaphysical implication. I will provide an alternative criterion, modeled after that of scientific realism, which is met only by functorese generalism contra quantifier generalism that takes FOL instead. It will bolster the view that functorese generalism can still be prioritized given the realist conception of nihilism. 술어 함자 논리(PFL)는 W. V. O. 콰인이 고안한 대수 논리 체계의 일종이다. PFL의 두드러진 특징은 양화사, 개체상항, 변항 등이 어휘부에 포함되지 않음에도 불구하고 1차 논리(FOL)와 동등한 표현력을 갖는다는 점이다. 더욱이 확립된 번역 절차를 통하여 PFL과 FOL 간에는 상호 번역가능성이 성립한다. FOL 양화문이 나타내는 일반 사실은 개체 (혹은 개별자) 덕분에 성립한다고 통상 여겨진다. 요컨대 FOL의 참은 개체에 존재론적으로 개입하거나, 혹은 원자 문장이 나타내는 개체적 사실에 형이상학적으로 근거한다고 여겨진다. FOL은 그런 의미에서 '존재론적으로 유죄'라고 할 수 있다. 반면 성질-배치 진술 “It is snowing” 등에 비견되기도 하는 PFL은 '존재론적으로 무죄'라고 여겨지기도 한다. 개체에 대한 개입을 야기한다고 여겨지는 양화사 및 변항 등을 결여하기 때문이다. 최선의 과학적 이론에 대한 FOL 형식화는 FOL-PFL 간 번역가능성에 의거하여 '존재론적으로 무죄'라고 여겨지는 PFL 형식화로 적합하게 번역될 수 있다. 물질적 개체를 존재론에서 배제하고자 하는 샤믹 다스굽타를 위시한 존재론적 허무론자(혹은 일반주의자)는 바로 이러한 이유 때문에 PFL 혹은 그 유사 체계를 수용하고자 한다. 이를 통해 FOL에 비해 설명력에서 뒤지지 않으면서도 개체는 제거된 존재론을 제시할 수 있기 때문이다. '함자어 일반주의'란 곧 PFL이야말로 세계의 근본적 실재를 포착하며, 개체는 그 실재에 포함되지 않는다는 허무론적 입장으로 정의된다. PFL의 '무죄' 여부가 유의미한 까닭은 허무론이 여러 이론적 장점을 갖춘 주목할 만한 형이상학적 입장이라는 점에 있다. 첫째, 개체주의에 대비되는 질주의 존재론의 일종으로서 허무론은 전통적 다발 이론 등 경쟁 입장에 비해 우위에 있다. 둘째, 허무론은 개체의 개별화 조건과 관련된 뭇 형이상학적 난제를 해소해낸다. 셋째, 허무론은 유력한 일반 과학철학 및 물리학의 철학적 입장인 존재적 구조적 실재론과 겹치며, 이는 곧 허무론이 경험과학적으로 뒷받침되는 형이상학일 수도 있음을 시사한다. 제이슨 터너는 FOL이 '유죄'인 한 PFL 또한 '무죄'일 수 없다는 논변을 제시한다. 이를 본고에서는 "터너 논변"이라고 부르겠다. 터너 논변이 합당하다면 곧 함자어 일반주의는 순전히 논리적인 이유 때문에 실패한다는 귀결이 도출된다. 터너 논변의 핵심은 PFL에서 불가결한 요소인 잘라내기 함자 c가 사실상 FOL의 “위장된 존재 양화사”이므로 명백히 '유죄'라는 논점이다. 터너는 이를 보이기 위해 “(*)”라고 이름 붙인 해석 원리를 도입한다. 원리의 골자는 두 어휘의 언어적 쓰임새가 구조적으로 일치하면 곧 내포적으로 동치라는 것이다. 본고에서는 터너 논변에 맞서 '딜레마 논증'과 '토대 논증'이라는 두 가지 반론을 제시하겠다. 딜레마 논증은 원리 (*)의 중의적인 대목에 관하여 '좁은 해석'과 '넓은 해석'이라는 두 가지 해석이 가능하다는 점에서 출발한다. 하지만 이들 두 해석은 모두 중대한 난점에 부딪힌다. 좁은 해석의 난점은 문제가 있는 사례를 가려내기 힘들다는 점에 있다. 좁은 해석에 따르면 두 어휘의 쓰임새가 외연 언어에서 구조적으로 일치한다는 점은 이들이 근거 이론상 동등함을 함축한다. 하지만 이는 근거 관계의 주된 이론적 특성인 초내포적 민감성을 위반한다. 본고에서는 근거 이론의 한 가지 범례를 토대로 본 주장을 입증하겠다. 넓은 해석에선 외연 언어에 더해 초내포적으로 민감한 연산자를 도입함으로써 좁은 해석의 문제를 극복한다. 하지만 이러한 연산자는 PFL과 FOL 간의 확립된 번역 절차에 부합하지 않는다는 점에서 문제를 일으킨다. 이는 곧 터너 해석 내 주요한 암묵적 전제의 전건이 넓은 해석에선 만족되지 않음을 뜻한다. 따라서 이 경우 터너 논변이 합당하다고 볼 이유는 희박하다. 이렇듯 두 해석 모두 난점을 빚는다는 점에서 터너 논변은 딜레마에 봉착한다. 토대 논증은 터너 논변에서 원리 (*)가 쓰이는 것 자체를 문제 삼는다. (*)를 수용하는 것 자체가 터너 논변의 목표인 허무론에 대한 논박과 충돌한다는 점을 보일 수 있기 때문이다. (*)에 대한 반례들, 즉 쓰임새가 구조적으로 일치하되 내포가 다른 어휘들은 명백히 있는 것 같다. 콰인의 '가바가이' 시나리오 또한 그런 사례로 이해할 수 있다. 이런 비약을 해결하는 한 가지 방안은 콰인이 받아들였다고 여겨지기도 하는 구조주의 의미론을 수용하는 것이다. 구조주의에 따르면 개별 언어 표현의 의미란 엄밀히 말해선 존재하지 않으며, 동의성이란 언어적 역할의 일치 그 이상도 이하도 아니다. 즉 상기 반례는 해소되며 (*)는 정당화된다. 문제는 구조주의 자체가 아니라 해당 입장이 터너 논변에 쓰인다는 점에 있다. 구조주의는 허무론과 논리적 구조가 같다는 점에서 '동형적'임을 보일 수 있기 때문이다. 즉 원리 (*)를 동원해 허무론을 논박하는 것은 양자가 동형적인 토대를 공유한다는 점으로 인하여 논증 구조 상 자기논박적일 수 있다. 따라서 터너 논변은 난국에 처한다. 한 가지 가능한 지적은 원리 (*)을 귀류적 가정으로 받아들일 경우 토대 논증이 거꾸로 반론이 될 수 있다는 점이다. 이를 막는 한 가지 방책은 제프리 러셀 등의 견해에 맞서 FOL이 반드시 '유죄'라는 가정을 포기하는 것이다. 본고에선 FOL과 그 메타 이론 간의 관계를 검토함으로써 이러한 방책이 정당하다는 점, 더불어 PFL에서 모형이론적 메타 이론을 취하는 것이 정당하다는 점 또한 보일 것이다. 다만 이러한 해법은 함자어 일반주의의 동기를 무력화시킨다는 우려를 낳는다. 이는 논리 체계가 특정한 형이상학적 함축을 갖는다는 것 자체를 의심하는 입장과도 맥락을 같이 한다. 본고에선 과학적 실재론 논쟁에서 본딴 대안적 기준을 제시하고, FOL을 차용하는 양화사 일반주의와 달리 함자어 일반주의만이 해당 기준을 만족시킨다는 점을 보이겠다. 이는 허무론에 대한 실재론적 입장을 견지하는 한 함자어 일반주의를 우선시하는 것이 마땅하다는 입장을 뒷받침한다.