• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.27-44
• /
• 2001

아리스토텔레스 이후부터 프레게와 럿셀의 현대논리학이 등장하기 전까지 가장 중요한 논리학의 저서는 "포트로얄 논리학"이라고 알려진 "논리학 혹은 사유의 기술" 이다. 이 저서는 아리스토텔레스와 중세의 고전논리학적 요소와 프레게의 현대논리학적 요소를 동시에 지니고 있어 고전논리학과 현대논리학의 가교 역할을 하고 있다고 할 수 있다. 이 논문의 목적은 포트로얄 논리학에 나타난 서술문의 계사에 대한 설명과 그에 대한 대립되는 해석들을 살펴보고 포토로얄 논리학전체 체계에 비추어 볼 때 어떠한 해석이 보다 설득력있는 해석인가를 검토해 봄으로써 포트로얄 논리학이 지닌 고전적 요소와 현대적 요소를 대비해 보는 것이다. 즉 포트로얄 논리학의 서술문의 계사에 대한 설명을 통해서 그 저서의 한계와 의미를 알아보고, 논리학사에서 그 저서의 정당한 가치를 평가하는 것이 이 논문의 목적이다. 서술문의 계사에 대한 포트로얄 논리학의 설명은 계사는 주어와 술어 사이의 동일성 기호라는 고전적인 해석을 가능하게 하는 여지를 가지고 있는 것은 분명하다. 동시에 서술문의 계사는 술어의 속성들의 집합(comprehension)에 속한 성질들을 주어의 외연(extension)에 적용시키는 역할을 한다고 주장함으로써 프레게의 개념과 대상에 대한 설명과 유사함도 보이고 있다. 필자는 포트로얄 논리학의 계사에 대한 설명을 주어와 술어의 동일성 기호로 해석하는 최근의 빠리앙뜨의 주장(1978)을 비판적으로 살펴보고, 포트로얄 논리학의 계사에 대한 설명을 보다 정확하게 이해하는 것은 술어의 속성과 주어의 외연 사이의 서술적 기능이라고 보는 것이라고 주장한다. 계사를 동일성 기호로 해석하는 것은 첫째 포트로얄 논리학 전체를 살펴볼 때 빈약한 문헌적 증거밖에 갖지 못하고, 둘째 논리학과 의미론에서 포트로얄 논리학의 가장 중요한 기여라고 평가되는 속성집합과 외연의 구별에 대한 오해를 포함하고 있으며, 마지막으로 이러한 해석은 같은 술어도 주어가 달라짐에 따라 다른 의미를 갖는다는 주장을 포함함으로써 반직관적이다. 반면에 계사를 서술적 기능을 하는 것으로 해석하는 것은 포트로얄 논리학의 외연과 내포 사이의 구별에 대한 보다 정확한 이해에 근거한 것이고 종속절을 갖고 있는 명제에 대한 포트로얄 논리학의 분석에 의해서도 뒷받침됨을 보인다. 그러나 포트로얄 논리학은 주어의 외연이 공집합인 명제에 대한 분석에서 여전히 고전논리학적인 설명을 고수한다. 즉 그러한 면제에 대해 주어의 외연이 존재한다고 가정하는 존재적 관점의 해석만 허락함으로써 전칭명제를 조건적으로 해석하고$[({\forall}x)(Sx{\rightarrow}Px)]$, 특칭명제를 연언적으로 해석함으로써$[({\exists}x)(Sx&Px)]$, 그 문제를 해결하는 현대논리학과는 구별된다. 즉 포트로얄 논리학은 서술문의 계사를 동일성 기호가 아니라 주어와 술어의 외연과 내포사이의 서술적 기능으로 설명한다는 점에서 고전적인 견해와 구별되지만, 여전히 존재적 관점에서 모든 명제를 해석한다는 점에서 고전적이다. 이것이 바로 포트로얄 논리학의 평가를 위해서 주목해야 할 그 논리학의 가치이며 한계인 것이다.

• KLA journal
• /
• v.31 no.2 s.261
• /
• pp.24-47
• /
• 1990

CO-ROM에 의한 데이터베이스의 제작이 큰 관심의 표적으로 되어있다. 그러나 대부분은 아직도 베타테스트의 단계이다. 먼저 CD-ROM의 개요와 현황을 설명하고 다음은 CD-ROM의 대표적 제품인 Dissertation Abstracts Ondisc에 대해 설명한 다음 Ondisc 검색과 Online 검색의 기능을 비교하였다. Ondisc, Online 양검색법의 장점과 단점을 서로 보완하기 위해 개발된 DIALOG Ondisc ERIC을 설명하고 Ondisc, Online의 상호검색에 대해 간단히 설명하였으며 더욱이 CD-ROM이 가지고 있는 문제점에 대해서도 일반에게 널리 알리고, 이것이 해결되면 Ondisc를 중심으로 분산형 Online시대가 될 것으로 예상하였다.

• Journal of the Korean hospital association
• /
• v.25 no.10 s.238
• /
• pp.45-61
• /
• 1996

일본의료법의 기본적인 내용은 1948년 제정 당시 그대로 이어서 인구의 고령화,질병구조의 변화,의학기술의 진보에 충분히 대응할수 없다는 문제점이 지적되어 왔다. 이에따라 1985년 의료계획의 창설을 골자로 하는 제1차 개정이 행하여 졌다. 이 개정은 의료공급체제 개혁에의 제1보로써 제1차 개정이라고 불려지고 1992년 행해진 제2차개정은 이에 계속된 제도개혁으로 지금까지 전혀 손대지 않았던 의료시설 기능의 세분화와 체계화에 깊이 손을 댄것으로써 앞으로의 병의원 경영에 있어서 커다란 전화점이 될 것이다. 제2차 개정의 목적은 양질의 의료를 효율적으로 제공하는 의료공급 체제의 확보에 있다. 개정의 주요 포인트는 특정기능 병원과 요양형병상군의 제도화이다. 지금까지 병원이라고 하면 모두 똑같은 체제이었으나 제2차 의료법의 개정으로 병원의 기능에 적합한 인원과 구조설비를 갖추는 것이 가능하게 되었다. 이번호에서는 1992년 4월 개정된 의료법의 내용과 배경을 설명하고 의료법 개정에 즈음하여 행해진 진료수가의 개정내용을 설명한 후에 차기 의료법 개정의 방향을 전망해 본다

• 전기의세계
• /
• v.24 no.6
• /
• pp.56-66
• /
• 1975

Si의 PN접합이 발휘하는 여러기능이 Molectronics에서 어떻게 이용되는가를 몇가지 예를 들어 일반적인 반도체의 전기적 성질과 그 응용에 대해 설명하면서 소형화에의 설계와 특성에 관해 몇가지를 택해 해설코저 한다.

• 전기의세계
• /
• v.43 no.6
• /
• pp.19-26
• /
• 1994

본 고에서는 고속철도에 사용된 자기진단기술의 특성 및 요소기술을 설명하고 프랑스 TGV의 차량용 On board 자기진단시스템의 기능과 열차제어 및 신호시스템에 적용된 자기진단 기능을 소개함으로써 관련 기술의 이해를 돕고자 한다.

• 정보화사회
• /
• s.23
• /
• pp.22-28
• /
• 1989

협회는 최근 국가전산망 기능규격 작성을 위한 첫단계로 "OSI 기능표준에 관한 공청회"를 개최했다. 그동안 당 협회, 전자통신연구소, 개방형컴퓨터통신연구회, 통신기술협회 등 관련기관에서 진행해 오던 전산망 표준화연구의 결과에 대한 산.학.연.관의 자문과 의견수렴을 위해 개최된 이날 공청회에서는 개방시스템 프로파일(안),MHS 기능표준(안).FTAM기능표준(안),하위계층 기능표준(안)등에 관한 설명과 심도깊은 의견개진이 폭넓게 논의됐다. 본지에서는 이날 발표된 각 기능표준(안) 내용을 요약, 정리한다. 자세한 내용을 원하시는 분은 "정보화사회" 담당자에게 연락하면 된다.

• Therapeutic Science for Rehabilitation
• /
• v.12 no.4
• /
• pp.111-122
• /
• 2023

Objective : To identify the effect of lifestyle risk factors on the daily activities and cognition of the older adults in the community using the National Health Insurance Corporation 2015 geriatric cohort database. Methods : Lifestyle risk factors were defined as body mass index (BMI), smoking, drinking, vigorous exercise, moderate exercise, and walking, and basic and instrumental activities of daily living (ADL) and cognitive function variables were included in the analysis. ADL and cognitive function according to sex and age were analyzed using a t-test and one-way ANOVA. The correlation between lifestyle risk factors, ADL, and cognitive function was analyzed using Pearson's correlation analysis, and multiple regression analysis was performed to analyze their influence. Results : The factors affecting basic ADL (BADL) were sex and walking exercises, with an explanatory power of 1.7%. Instrumental ADL (IADL) included age, drinking, and walking exercises, with an explanatory power of 2.6%. Cognitive function included sex, age, BMI, vigorous exercise, and walking, with an explanatory power of 5.3%. Conclusion : Lifestyle risk factors partially affected BADLs/IADLs and cognitive function in community-dwelling older adults. This suggests the need to systematically manage lifestyle risk factors to improve and maintain the healthy lives of older adults facing biological aging.

• 베이커리
• /
• no.7 s.444
• /
• pp.156-157
• /
• 2005

지난 5월 29일 한국산업인력공단에서 주관하는 제37회 제과기능장 실기시험이 서울을 비롯해 각 지역 지정된 시험장소에서 열렸다. 이번 실기시험에 출제된 가나슈를 코팅한 데코레이션 케이크, 마지팬으로 과일 만들기, 3가닥 꽈배기빵 만들기의 핵심 포인트를 설명한다.

• Information and Communications Magazine
• /
• v.12 no.6
• /
• pp.88-100
• /
• 1995

본 고에서는 디지털 위성방송 시스템의 구성요소중 channel부의 구조 및 기능분석을 국내 디지털 DBS를 기준으로 설명하였다. channel부는 channel coding과 modulation 기능을 수행한다. Channel coding은 Reed Solomon code, interleaving, convolutional code를 연집하여 사용하고, modulation은 QPSK와 raised cosine pulse shaping을 한다. 수신기의 channel부는 antenna, LNB, tuner, QPSK 복조기, Viterbi, deinterleaver, RS decoder로 구성되어있다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.385-388
• /
• 1998

급격한 경영환경의 변화로 인하여 고객만족을 최우선시하게 됨에 따라, 고객의 다양한 품질 요구를 신속 정확히 만족시키는 것이 주요 경영과제가 되었다. 이러한 상황에 대처 가능한 품질관리가 이루어지기 위해서는 품질기준에 대한 객관적 검증 및 지속적인 보완이 필요하며, 품질설계에 관련된 지식들을 체계적으로 수집하여 공유할 수 있는 체제가 갖추어져야 한다. 이와 같은 목적을 달성하기 위해 인공지능 기법들을 이용한 지능형 품질시스템(Intelligent Quality System, IQS)이 많은 관심을 모으고 있다. 본 연구에서는 일관 제철소의 품질관리를 위해 개발된 IQS중 품질설계 시뮬레이션 지원시스템(Quality Design Simulation Support System, QDSim)에 대해 설명한다. QDSim은 신경망을 기반으로 설계 구현되었는데, 품질설계 시뮬레이션을 지원하기 위해 크게 두가지 기능을 수행한다. 첫째 기능은 주어진 원재료의 구성비와 조업조건에 의해 생산될 제품의 최종 품질특성을 예측하는 것이며, 두 번째는 품질예측치가 고객의 요구 품질, 즉 목표품질을 만족시키는 입력 조건을 찾아가는 것이다. 본 연구에서는 QDSim의 이론적 근거 및 구현내용을 설명한 후, IQS내의 타 시스템과의 관계를 설명한다.