• 논리연구
• /
• 제4권
• /
• pp.23-36
• /
• 2000

이 논문은 일상적인 직설 조건문에 대한 새로운 이해를 제시함으로써 반 맥기가 전건 긍정법에 대한 반례라고 주장하는 예들에 대한 체계적인 이해방식을 제시하고 이것들이 전건 긍정법의 반례가 아니라는 것을 보인다. 직설 조건문에 대한 새로운 이해란 그것이 전건인 경우 후건의 조건적 확률이 높다는 것을 주장하는 문장이며 따라서 이 조건적 확률이 높은 경우 참이 되는 문장으로 봄으로써 직설 조건문이 그 논리적 형식에 있어서 조건문이 아니라는 것이다. 또한, 이렇게 이해되었을 때 반 맥기가 염두에 두고 있던 직설 조건문의 세 가지 특징이 역시 설명될 수 있다는 것을 보임으로써, 이 새로운 이해방식이 타당함을 보인다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 B
• /
• pp.395-397
• /
• 2000

본 논문에서는 Grafcet을 이용하여 고속 철도의 외부 승강문 운영 데이터 처리 사양으로부터 승강문 운영 상세 사양을 구성하는데 목적을 둔다. 이에 따라 승강문 열림/닫힘, 승강문 열림 및 승강문 닫힘 관련 Grafcet을 구성한 후, 천이와 스텝의 관점에 따라 연관된 액션과 천이 조건 등을 분류하여 주어진 Grafcet의 특성 및 순차 제어 논리 분석을 실행한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 B
• /
• pp.1429-1432
• /
• 2000

본 논문은 Grafcet[1]을 이용하여 고속전철 승강문 제어를 실행하기 위한 운영 모드에 대해 논의한다. 고속전철에 사용하는 승강문 제어 관련 동작 상태의 정의 및 제어 조건[2]을 인용하여 승강문 제어를 위한 기본 사양 및 운영자 요구사양을 정의한 다음, 열차편성을 1개의 동력차와 4개의 객차로 가정한 후, 이에 대한 승강문 운영 모드 관련 순차 프로그램을 Grafcet 을 이용하여 구성하였다.

• 프린팅코리아
• /
• 통권23호
• /
• pp.89-89
• /
• 2004

대한인쇄문화협회가 조성한 인쇄역사문화관에는 고대부터 미래인쇄까지를 총망라한 인쇄역사 자료들이 전시되어 있다. 특히 지난 1쳔년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.

• 프린팅코리아
• /
• 통권22호
• /
• pp.117-117
• /
• 2004

대한인쇄문화협회가 조성한 인쇄역사문화관에는 고대부터 미래인쇄까지를 총망라한 인쇄역사 자료들이 전시되어 있다. 특히 지난 1쳔년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.

• 프린팅코리아
• /
• 통권21호
• /
• pp.67-67
• /
• 2004

인쇄역사문화관에는 대한인쇄문화협회가 조성한 인쇄역사문화관에는 고대부터 미래인쇄까지를 총 망라한 인쇄역사 자료들이 전시되어 있다. 특히 지난 1천년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.

• 오리마을
• /
• 통권190호
• /
• pp.13-15
• /
• 2019

올해로 39년을 축산에 몸담고 있는 문순금 대표는 현재도 사육부 총괄로서 직접 농가를 관리하고, 업의 뿌리인 사육의 중요성을 강조한다. 문순금 대표는 큰 사업을 이끄는 사람답지 않게 소탈한 면모로 지역과 오리산업에 대한 애정이 넘치는 사람으로 유명하다. 특히 오리산업의 여러 위기속에서도 끊임없이 사업체를 꾸려온 능력은 오리업계는 물론 축산업계에서도 인정하고 있다. 문순금 대표를 만나 오리산업에 대한 조망과 앞으로의 계획에 대해 들어본다.

• 논리연구
• /
• 제10권2호
• /
• pp.1-22
• /
• 2007

본 논문에서 필자는 먼저 "차이를 만들지 않는다(Makes No Difference)"는 논증(줄여서 MND 논증)을 소개하고 이에 대한 앨런 베이커(Alan Baker)의 반론을 자세히 살펴본다. MND 논증, 특히 그 전제를 제대로 평가하기 위해서는 반사실적 조건문에 대한 분석이 필요한데, 베이커는 이를 위해 이갈 크바크(Igal Kvart)의 분석을 이용한다. 이에 필자는 크바트의 분석을 비판함으로써 이에 의존한 베이커의 주장을 비판한다. 이를 위해 필자는 Fine-Tuning 논증을 예로 삼아, 크바트의 반사실적 조건문에 대한 분석, 특히 그의 반법칙적 조건문에 대한 분석은 실제 과학자들의 논의와도 상충되며, 이 과학자들의 논의를 바탕으로 한 철학적 논쟁과도 상충되기 때문에 그의 분석을 받아들일 수 없음을 보인다. 이를 통해 필자는 크바트의 분석에 의존하여 MND 논증을 공격한 베이커의 결론도 마찬가지로 받아들일 수 없다는 것을 보인다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2013년도 제25회 한글 및 한국어 정보처리 학술대회
• /
• pp.175-180
• /
• 2013

본 논문은 동아, 조선, 중앙, 한겨레 신문의 2000~2011년 신문 사설과 보도문에서서 나타나는 접속부사의 사용에 대한 분석이다. 구체적으로, 텍스트 구조를 드러내는 표지의 기능을 하는 접속부사에 대해 논의하고자 한다. 12년 동안 출현한 고빈도 접속부사 '그러나, 하지만, 그런데, 그리고, 따라서, 그래서, 그렇지만, 그러면, 그러므로, 하물며'를 대상으로 보도문에서의 빈도 변화와 신문 사설에서의 빈도 변화를 대응 분석과 군집 분석을 통해 객관적, 통계적, 통시적으로 분석하였다. 연구 결과, 나열의 구조에서 보도문은 '그리고'를 선호하고 신문 사설은 '하물며'를 선호하여 사용하며, 대조의 표지로서 보도문은 '하지만'을 신문 사설은 '그러나, 그렇지만'을 선호하여 사용하였다. 화제 전환을 나타낼 때 보도문은 '그러면'을 사용하는 반면 신문 사설은 '그런데'를 사용하고, 문제에 대한 결과를 제시할 때 '보도문'은 '그러므로, 그래서'를 신문 사설은 '따라서'를 더 많이 사용하는 경향이 나타났다.

• 논리연구
• /
• 제11권1호
• /
• pp.91-129
• /
• 2008

이 논문은 '만약(If)$\sim$라면, (then) ...이다.' 형식의 조건문 중에서도 직설법적 조건문의 적법한 사용이 어떠한 조건을 만족시켜야 하는가에 대한 글이다. 일반적으로 직설법적 조건문은 발화자가 전건을 확신하지 못하는 인식적 상태를 표현하는 것으로 이해되며, 가정법적 조건문은 전건이 성립하는 특정한 세계에 대한 진술로 이해된다. 직설법적 조건문의 인식적 수용조건을 도출하기 위해, 기존 이론의 조건문의 수용과 주장을 진리조건적으로 설명하는 것이 불만족스럽다. 기존 이론의 문제점을 고찰하여 보면, 한 언어의 유창한 사용자가 조건문에 대해서 기대하고 있는바가 무엇인지, 그리고 적절한 직설법적 조건문의 사용이 어떤 조건을 요구하는지가 드러난다. 그리고 이 요구를 수용함으로써 직설법적 조건문에 대한 대안적 사용 조건인 '인식적 수용조건'을 정식화 할 수 있다.