[논문 리뷰] A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles

Simon Kramer|arXiv (Cornell University)|2014. 03. 08.

Cognitive Science and Mapping참고 문헌 5인용 수 4

한 줄 요약

이 논문은 마이어스-브리그스 유형 지표(MBTI)와 쇤디의 성격 프로파일(SPP) 사이에 계산 가능한 게일로이스-연결을 제안하며, 두 성격 프레임워크 간 상호작용 가능한 이중 방향 번역을 가능하게 한다. 이 연결은 순서 이론적 이중성에 기반한다: SPP의 더 높은 해상도 덕분에 MBTI에서 SPP로의 구체적 번역과, MBTI의 더 낮은 해상도 덕분에 SPP에서 MBTI로의 추상적 번역이 가능하며, 사전에 계산된 매핑을 기반으로 한 모델 체킹을 통해 효율적으로 계산할 수 있다.

ABSTRACT

We propose a computable Galois-connection between Myers-Briggs' Type Indicators (MBTIs), the most widely-used personality measure for non-psychiatric populations (based on C.G. Jung's personality types), and Szondi's personality profiles (SPPs), a less well-known but, as we show, finer personality measure for psychiatric as well as non-psychiatric populations (conceived as a unification of the depth psychology of S. Freud, C.G. Jung, and A. Adler). The practical significance of our result is that our Galois-connection provides a pair of computable, interpreting translations between the two personality spaces of MBTIs and SPPs: one concrete from MBTI-space to SPP-space (because SPPs are finer) and one abstract from SPP-space to MBTI-space (because MBTIs are coarser). Thus Myers-Briggs' and Szondi's personality-test results are mutually interpretable and inter-translatable, even automatically by computers.

연구 동기 및 목표

• MBTI와 SPP라는 두 성격 프레임워크 간에 공식적이고 계산 가능한 다리를 구축하기 위해.
• MBTI의 낮은 해상도와 SPP의 높은 해상도 간의 해석적 갭을 해소하기 위해, 상호 번역을 가능하게 하기 위해.
• 어떤 성격 테스트의 결과 공간 간에 게일로이스-연결을 생성하는 일반화 가능한 방법론을 제공하기 위해, 논리적 피벗 언어를 사용하기 위해.
• 특정 테스트 메커니즘에 종속되지 않고 순서 이론의 공식적 접근을 심리학적 깊이 이론에 적용함으로써, 계산 및 수학적 심리학을 지원하기 위해.
• 심리학 연구 분야 간 상호운용성을 높이기 위해, 공동체 간에 자동화되고 충실도를 유지하는 성격 테스트 결과 번역을 가능하게 하기 위해.

제안 방법

• 이 방법은 MBTI 유형의 멱집합(16가지 유형)과 SPP의 멱집합(16^8개의 프로파일) 사이에 반순서 게일로이스-연결을 구성하며, 두 매핑을 사용한다: MBTI에서 SPP로의 $\triangleright$ 매핑과 SPP에서 MBTI로의 $\triangleleft$ 매핑.
• 매핑 $\triangleright$ 는 SPP 공간에서 MBTI 유형 $I$의 논리적 해석을 암시하는 문장 $\mathrm{i}(I)$의 모델 체킹을 통해 정의된다.
• 매핑 $\triangleleft$ 는 주어진 SPP 프로파일 $p$를 만족하는 MBTI 유형 $i$를 확인함으로써 정의되며, 공식 $\mathrm{i}(i) \Rightarrow p$ 를 사용한다.
• 게일로이스-연결은 네 개의 보조정리로 공식적으로 증명되며, 이는 이중성과 순서 반전 성질을 보장하는 등가성 $P \subseteq I^\triangleright \Leftrightarrow I \subseteq P^\triangleleft$ 를 확립한다.
• 이 방법은 계산적으로 효율적이다: 사전에 계산된 매핑을 기반으로 한 문장의 모델 체킹을 통해, 큰 집합이라도 다항 시간 내에 계산이 가능하다.
• 일반화된 방법론이 제안된다: MBTI의 직관을 논리적 피벗 언어(LPL)로 매핑하고, SPP에서 LPL로의 고정된 $\mathrm{p}$ 매핑을 사용하여 게일로이스-연결을 유도함으로써, 다른 성격 테스트 쌍 간에도 재사용 가능하게 한다.

실험 결과

연구 질문

• RQ1 MBTI와 SPP는 해상도와 이론적 기초에서 다름에도 불구하고, 공식적이고 계산 가능한 연결을 수립할 수 있는가?
• RQ2 MBTI와 SPP 프레임워크는 어떤 수학적 구조를 통해 상호 해석 가능하게 만들 수 있으며, 의미의 충실도를 유지할 수 있는가?
• RQ3 공통의 논리적 피벗 언어를 사용하여, 어떤 두 성격 테스트의 결과 공간 간에 게일로이스-연결을 정의하는 일반화 가능한 방법론을 개발할 수 있는가?
• RQ4 MBTI와 SPP 간의 번역은 계산적으로 가능할 수 있으며, 일반적인 컴퓨팅 하드웨어로 효율적으로 수행될 수 있는가?
• RQ5 유의미한 게일로이스-연결은, 한 프레임워크가 다른 프레임워크보다 더 높거나 낮은 해상도를 가질 경우에도 자동화되고 이중 방향의 성격 테스트 결과 번역을 지원할 수 있는가?

주요 결과

• MBTI와 SPP 프레임워크 간에 공식적인 반순서 게일로이스-연결이 수립되었으며, 모든 부분집합 $I \subseteq \text{MBTI}$, $P \subseteq \text{SPP}$ 에 대해 이중성 조건 $P \subseteq I^\triangleright \Leftrightarrow I \subseteq P^\triangleleft$ 를 만족한다.
• MBTI에서 SPP로의 번역은 구체적이고 효율적으로 계산 가능하다: 임의의 MBTI 유형 집합 $I$에 대해, $I^\triangleright$ 는 모든 $16^8$개의 SPP에 대해 공식 $\mathrm{i}(I)$ 의 모델 체킹을 통해 계산된다.
• SPP에서 MBTI로의 번역은 추상적이고 효율적으로 계산 가능하다: 임의의 SPP 집합 $P$에 대해, $P^\triangleleft$ 는 각 $p \in P$ 를 모든 16개의 MBTI 유형에 대해 모델 체킹함으로써 계산된다.
• 이 방법은 모든 MBTI 유형이 비어 있지 않은 SPP 집합으로 매핑되며, 일부 SPP는 MBTI 공간에서 빈 집합으로 매핑될 수 있음을 보장함으로써, MBTI에서 SPP로의 방향에서의 충실도를 유지한다.
• 게일로이스-연결은 MBTI와 SPP의 특정 테스트 메커니즘에 의존하지 않으며, 오직 그들의 구조화된 결과 값에만 의존하므로, 다른 성격 테스트 결과 공간으로 일반화 가능하다.
• 이 방법은 MBTI와 SPP 결과 간에 자동화되고 해석 가능한 번역을 가능하게 하며, 심리학 연구 공동체 간의 상호운용성을 지원하고, 계산 심리학 도구에의 통합 가능성을 열어준다.