• 논리연구
• /
• 제15권2호
• /
• pp.251-272
• /
• 2012

이병덕 교수는 최근 셀라스-브랜덤의 추론주의에 의거한 직설법적 조건문에 대한 분석을 제시하였다. 본 논문에서 필자는 직설법적 조건문에 대한 이병덕 교수의 분석에 대해 세 가지 의문점을 제기하였다. 첫 번째는 이병덕 교수가 분석적으로 타당한 논증만을 실질적으로 타당한 추론이라고 보고 있다는 점에서 셀라스-브랜덤에 대하여 잘못된 이해를 하고 있다는 것이고, 두번째는 셀라스-브랜덤이 가정법적 조건문을 포함한 온갖 종류의 조건문 일반의 공통점에 대해 이야기 하고 있는데 반해 이병덕 교수는 이를 직설법적 조건문의 분석으로 이해하고 있다는 점에서 셀라스-브랜덤에 대하여 잘못된 이해를 하고 있다는 것이다. 세 번째는 이병덕 교수의 분석이 셀라스-브랜덤의 추론주의와 양립가능하지 않거나 지나치게 일반적인 수준의 이야기에 불과하게 될 수 있다는 것이다.

• 논리연구
• /
• 제15권3호
• /
• pp.347-375
• /
• 2012

필자는 2008년 논문에서 직설법적 조건문에 대한 추론주의적 분석을 제안했다. 이에 대해 김세화 교수는 최근 논문에서 세 가지 비판을 제기하였다. 첫째, 필자는 개념구성적 추론만을 실질적으로 타당한 추론으로 본다는 점에서 셀라스와 브랜덤의 견해를 잘못 이해하고 있다. 둘째, 셀라스와 브랜덤은 반사실적 조건문을 포함한 온갖 종류의 조건문 일반의 공통점에 대해 이야기하고 있는데 반해 필자는 이를 직설법적 조건문에 한정하여 이해하는 잘못을 범하고 있다. 셋째, 필자의 분석은 셀라스-브랜덤 추론주의와 양립하지 않거나 지나치게 일반적인 수준의 이야기에 불과하다. 이 논문에서 필자는 김세화 교수의 비판들이 셀라스와 브랜덤의 견해에 대한 불충분한 이해에서 비롯된 잘못된 비판들임을 주장한다. 첫째, 개념구성적 추론들만을 실질적으로 타당한 추론들로 간주하는 것은 셀라스의 견해이다. 둘째, 셀라스와 브랜덤은 직설법적 조건문에 관해 구체적인 이론을 제시하지 않았다. 그들이 주장하는 것은 조건언의 표현적 역할이다. 필자가 셀라스와 브랜덤으로부터 받아들이는 것은 이와 같은 조건언의 표현적 역할이고, 이것의 함축을 직설법적 조건문의 분석과 관련하여 주장하는 것은 필자 자신의 제안이다. 셋째, 조건문들 사이의 기능상의 차이는 추론주의와 직접적인 관련이 없다. 또한 '-이면 ${\cdots}$이다'라는 조건언의 의미와 역할에 관해서 필자가 제시한 이상의 설명이 요구되지 않는다.

• 논리연구
• /
• 제12권2호
• /
• pp.59-88
• /
• 2009

귀납추론은 연역추론이 아니기 때문에 연역적으로 정당화될 수 없다. 또한 귀납추론을 귀납적으로 정당화하는 것은 순환적이다. 따라서 흄은 귀납추론을 합리적으로 정당화할 수 없다고 주장한다. 흄이 이와 같은 귀납의 문제를 제기한 이후 오랜 동안 많은 철학자들이 이 문제를 해결하고자 시도해 왔다. 그럼에도 불구하고, 아직껏 대다수의 철학자들이 동의하는 해결책이 제시되지 않고 있다. 셀라스에 따르면 귀납의 문제는 이론추론이 아니라 오직 실천추론을 통해서만 해결할 수 있다. 이 논문은 셀라스가 제안한 실천추론에 의한 귀납의 정당화를 좀 더 명확한 형태로 발전시켜 설명함으로써 그의 해결책이 귀납의 문제에 대한 근본 해결책임을 주장한다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1999년도 제3회 압연심포지엄 논문집 압연기술의 미래개척 (Exploitation of Future Rolling Technologies)
• /
• pp.320-326
• /
• 1999

In the present investigation, recrystallization occurring during hot rolling of thick steel plate was predicted. The thermo-mechanical history of a material point was traced by the finite element method and the recrystallization was predicted by the Sellars equations. The investigation was performed for 4 different cases; two different pass schedules in conventional rolling and two different pass schedules in controller rolling. Variations of temperature, strain, strain rate and grain size were compared with each other. It was found out that the difference of grain size through thickness was more distinctive in the cases of controller rolling.

• 대한기계학회논문집A
• /
• 제27권7호
• /
• pp.1243-1250
• /
• 2003

In the present study, hot forging process for a lower arm connector of an automobile was investigated. An FEM code, DEFORM-3D, was used to analyze the process and the process parameters, such as temperature, strain and strain rate, were obtained. The microstructure of the connector was predicted by applying the Sellars and Yada microstructure evolution models to the process parameters. The method of microstructure prediction used in the present study seems to be effective for the quality assurance of a forged automotive product.

• 소성∙가공
• /
• 제7권2호
• /
• pp.150-157
• /
• 1998

Recently the SPPC technology is being developed in steel rolling industries for the purpose of enhancing mechanical properties of rolled sheets. The technology is to produce steel sheets with finer and more uniformly distributed grains by prediction of recrystallization behaviors and on-line control of rolling parameters during hot rolling process. In this study a finish rolling process was analyzed by a three-dimensional rigid-thermoviscoplastic finite element method and recrystallization behaviors of several locations in the sheet were predicted by Sellars equations. As a result it was found that the initial grain size of 84 ${\mu}m$ became $21-23\;{\mu}m\;20-22{\mu}m\;and\;18-20{\mu}m$ at front middle and end portions of the sheet respectively. It was also found that variations of the grain size became $$0.6{\sim}2{\mu}m\;and\;10{\mu}\mum$$ in thickness and width directions respectively.

• 논리연구
• /
• 제17권2호
• /
• pp.287-322
• /
• 2014

분석의 역설을 처음으로 명확하게 자각하고, 이를 회피할 방안을 제시한 사람은 무어(G. E. Moore)이다. 여기서는 이 역설의 해결책을 무어식의반-언어적 노선과 이에서 벗어나 있는 노선으로 나누어 제시한다. 후자에는 개념의 특징 및 종류, 명제의 구조, 비동등성 관계에 주목해서 역설을 회피하려는 전략이 있다. 본 논문의 일차적인 목적은 주요 역설해결책을 기술하고 그 분류를 제시하는 것이지만, 이와 더불어 또한 각 해결 전략의 한계를 논하도록 하겠다. 그런데 이런 논의를 효율적으로 전개하려면, 먼저 무어의 분석이론을 재구성하는 일이 필요하다. 무어의 분석이론은, 단지 역사적인 중요성뿐 아니라, 고전적 분석의 전형을 이룬다는 점에서도 관심의 대상이 되기에 충분하다. 또한 분석의 역설이 고전적 분석과 같이 특정 유형의 분석에만 해당한다는 주장에 반대하여 넓은 범위의 분석에서 발생한다고 주장하겠다. 그러나 더불어 이런 상황이 분석의 무용성을 보여주는 것은 아니라고 주장하겠다.