• 논리연구
• /
• 제14권2호
• /
• pp.39-76
• /
• 2011

마틴뢰프의 직관주의적 유형론의 중요 사항들을 설명하고, 그 체계의 가장 중요한 특성 중의 하나인 명제와 판단의 구분에 관해 검토한다. 1절에서 문제를 도입한 후, 2절에서 직관주의적 유형론의 명제개념은 직관주의적 명제개념의 발전된 형태임을 보이고, 3절에서는 직관주의적 유형론에서 가장 기본적인 판단개념을 설명한 후, 4절에서 직관주의적 유형론의 기본적인 추론규칙들을 설명하고 그 적용의 한 사례를 검토할 것이다. 마지막으로 5절에서, 직관주의적 유형론에서 명제와 판단의 구분이 차지하는 중요성을 부연한 후, 기초론적 체계에서 명제와 판단의 구분이 필수적인지의 문제와 관련하여, 통상적인 프레게적 구분으로부터 시작하여 직관주의적 유형론에서와 같은 구분에 이르기 위해서는 어떤 것들이 전제되거나 정당화되어야 하는지 검토할 것이다.

• 한국수학사학회지
• /
• 제9권2호
• /
• pp.30-42
• /
• 1996

최근 <수학기초론>이란 용어는 Burali-Forti paradox 이후 족(class)과 집합(set) 개념을 이해하려는 시도에서 출발한 20세기적 문제에 적용되고 있다. 이 글에서는 그 해결책으로 제시된 주의ㆍ주장 중 논리적인 모순을 해결하기 위한 Russel의 논리주의적 공리론에 바탕을 두고 살펴보려고 한다. 제 2장에서는 무한의 심연 속에 웅크리고 있는 집합론에서의 역설과 발생 원인에 대하여 살펴보았다. 제 3장에서는 공리론적 집합론 중에서 러셀의 유형론과 그것을 단순화시킨 현대의 유형론을 살펴보고, ZF 집합론과 ZF 집합론의 연장인 처치 집합론의 기본 공리를 살펴보았다.

• 논리연구
• /
• 제16권3호
• /
• pp.407-436
• /
• 2013

이 글의 목표는 직관주의적 유형론에서의 진리개념이 어떻게 이해될 수 있는지를 검토하고, 이에 의거하여 직관주의적이면서 객관적인 진리개념을 확보하는 문제에 있어서 프라위츠의 논증보다 진전된 논증을 제시하는 것이다. 이를 위해, 직관주의적 유형론에서의 명제, 유형 및 판단의 구분을 프레게의 판단이론과 비교하며 간략히 설명한 후, 직관주의적 유형론에서의 진리판단을 분석하고, 이에 의거해 증명의 존재의 확정성이 어떻게 이해될 수 있는지 밝힐 것이다. 또한 직관주의적 유형론에서 진리판단으로서의 존재판단이 어떻게 이해되어야 하는지, 특히 왜 그것이 존재양화명제가 될 수 없는지 그 이유를 밝히고, 존재판단을 생략적 판단으로 해석하는 한 견해를 비판할 것이다. 직관주의적 유형론에서의 진리개념에 관한 이 글에서의 분석은 증명의 존재의 확정성 문제와 증명의 존재의 비명제적 성격을 분명히 한 점에서 직관주의적이고 객관적인 진리개념에 대한 프라위츠의 규정보다 진전된 형태의 설명임을 밝히고, 이런 진리개념에 대한 주관적 진리개념의 옹호자들의 한 비판에 답할 것이다.

• 논리연구
• /
• 제19권1호
• /
• pp.83-106
• /
• 2016

프레게의 Grundgesetze에 소개된 시스템과 그 이후에 집합론 및 유형론에서 중요한 역할을 한 시스템들에서 사용된 귀납법에 대해 살펴본다. 먼저 프레게의 자연수 귀납법에 대한 이해를 살펴 본 후에 현대 집합론과 유형론에서 귀납법이 어떻게 정의 및 활용되는가를 살펴본다. 또한 프레게의 접근방식과 기타 접근방식의 차이점을 predicativity와 impredicativity 차원에서 조명한다.

• 대한가정학회:학술대회논문집
• /
• 대한가정학회 2001년도 제54차 춘계학술대회
• /
• pp.144-144
• /
• 2001

• 한국콘텐츠학회논문지
• /
• 제17권9호
• /
• pp.650-660
• /
• 2017

본 연구는 지금까지의 서사 양식에 등장했던 캐릭터의 성격 유형론을 정리하여, 기존의 캐릭터의 성격 유형론이 갖고 있는 문제점을 정리하고 새로운 분류 가능성을 제안하기 위한 것이다. 지금까지 서사 이론에서 캐릭터 유형의 분류는 크게 서사 내에서의 역할이라는 형식적인 분류와 인간의 내적 자질에 근거한 내용적인 분류, 그리고 그 두 가지 분류 기준이 착종된 보완적 분류로 이루어져 있었다. 기존 캐릭터 분류 유형이 담고 있는 문제는 바로 인간의 내적 자질에 근거한 내용적인 분류의 유용성에 비해 실질적으로 분류가 어렵다는 점이다. 반면 서사 내 등장인물의 역할에 따른 분류는 그 분류가 형식적이기 때문에 서사론의 발전상 중요하게 다뤄져 왔지만, 그다지 실질적인 분석 방법론으로 기능하기는 어려웠다. 본 연구는 이러한 문제를 해결하기 위한 시론적인 성격으로, 샬롬 슈워츠의 인간의 가치 유형을 도입하여, 인간의 가치 유형과 인간의 역할을 상호 관련시켜 새로운 캐릭터 분석 방법의 가능성을 제안하고자 한다. 슈워츠의 가치 유형 연구는 인간의 행동의 동기를 파악하는 데 매우 효과적인 방법론으로, 등장인물의 지향성을 분석하는 데 큰 의미가 있을 것이다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2011년도 춘계 종합학술대회 논문집
• /
• pp.431-432
• /
• 2011

본 연구는 고등교육기관으로서 국가의 발전과 산업인재양성에 중요한 역할을 수행하고 있는 전문대학의 속성 유형을 Q-방법론을 적용하여 조사 분석하여 전문대학에 대학 인식유형을 분류하고 유형간 차이를 분석하고자 한다.

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

본 논문은 다국어 자동번역시스템에서 다국어의 번역지식(사전,규칙,정보)구축을 위해 언어유형론을 도입하는 방법론을 제안한다. 다국어 번역지식의 구축과 관련하여 기존 다국어 자동번역 시스템들에서 항상 문제가 되고 있는 것은 번역지식의 구축, 관리, 재활용의 문제이다. 번역지식의 구축은 다국어를 위한 번역지식의 크기, 다국어의 수용정도와 관련되며, 번역지식의 관리는 번역지식의 단순화 정도와 관련되며, 번역지식의 재활용은 기존에 구축된 번역지식을 새로운 언어들에 재사용 정도와 관련된다. 이러한 문제점들을 해결하기 위해 본 논문에서는 한국어를 포함한 다국어의 언어 친족성에 따라 번역지식을 공유하도록 하는 언어유형론에 기반한 다국어 공용 번역지식 구축 방법론을 제안하고자 한다.

• 만화애니메이션 연구
• /
• 통권26호
• /
• pp.31-56
• /
• 2012

본 연구는 애니메이션 수용자의 인식유형과 취향에 관한 주관성연구이다. 이에 본 연구의 방법론으로써 Q방법론(Q-methodology)을 사용하였다. Q방법론은 인간의 태도와 행동을 연구하기 위해 철학적, 심리학적, 통계적 그리고 심리측정과 관련된 개념을 통합한 방법론으로서 인간의 주관성을 정량적으로 분석할 수 있는 특수한 통계기법이다. 기존의 양적방법론인 R방법론이 차이의 심리학(differential psychology)에 기본 가정을 두고 수용자 간의 차이를 수용자가 특정한 변인에 대해 얻은 개별적 특성의 차를 반영하는 것이라면, Q방법론은 의미성에 있어서 수용자 개인의 내적 차이 즉, 주관성의 개별 특성을 근거로 한다. 따라서 매체, 혹은 영상 장르에 대한 수용자의 주관적 인식특성을 연구함에 있어 Q방법론은 매우 유용하게 활용될 수 있다. 이러한 Q방법론을 사용한 결과 애니메이션 장르에 대해 수용자들의 다양한 선호유형별 특징을 발견할 수 있었다. 각 유형별 특징은 먼저 스토리텔링과 서사적 가치를 추구하는 문학, 서사적 가치 지향형, 캐릭터와 미장센 등과 같은 영상미를 추구하는 회화, 심미적 가치 추구형, 그리고 마지막으로 오락적 요소와 볼거리를 선호하는 대중 오락적 가치 지향형 등 3개의 유형으로 분류되었다. 이와 같은 선호 유형의 구분을 통해 추론할 수 있었던 것은 영상의 생산과 소비가 가능한 능동적 취향의 디지털영상세대 수용자들은 계급위치의 상징적 표현으로써 자신들의 취향문화를 구분하고 받아들이기 보다는, 철저히 개인적 혹은 주관적 성향에 따라 주체적으로 기호를 소비하는 듯한 경향을 보이고 있다는 것이었다. 이러한 면에서 수용자의 주관성을 분석하는 데에 유용한 Q 방법론적 고찰은 의미 있는 작업이 될 수 있었다. 하지만 그럼에도 불구하고 본 연구만으로는 구체적 취향의 다양한 생성 맥락까지는 밝혀낼 수 없었다. 이에 본 연구와 함께 다양한 질적 혹은 양적 방법론을 함께 적용하여 수용자의 인식유형 및 선호도를 분석해 본다면 좀 더 유의미한 결과를 얻어낼 수 있을 것이라 생각된다.

• 인터넷정보학회논문지
• /
• 제17권2호
• /
• pp.67-76
• /
• 2016

사이니지에 대한 시장유형을 정의하는 것은 공급자와 소비자입장에서 중요한 관심사항이다. 초기 미디어인 사이니지를 이해하는 전문가의 인터뷰를 통해서 Q 방법론을 적용한 시장유형을 구분하는 연구를 진행하였다. 본 연구의 분석결과, 3개 유형을 도출할 수 있었다. 유형들은 사이니지의 사용에 대한 P 표본대상자의 이용경험과 지식차이에 따라 유사한 생각, 의견, 개념, 태도로 묶여서 각 유형을 설명해주고 있다. 각 유형은 제1유형은 인터랙티브 사이니지 시장, 제2유형은 네트워크 사이니지 시장, 제3유형은 타 매체 연동형 사이니지 시장으로 명명되었다.