일반적으로 예측주의에서는 포섭된 증거보다 예측된 증거가 해당 가설을 올바로 지지할 수 있다고 주장한다. 본 논문에서는 주요하게 예측주의를 옹호하는 마허의 베이즈주의적 접근 방식과 워럴의 견해를 비판적으로 검토한다. 이 과정에서 해당 가설의 배후에서 그 상위 이론이 중요한 역할을 함을 드러내고, 그러한 이론들과 관련해 메이요의 엄격한 시험의 관점에서라면 그들의 예측주의에 적절히 대응할 수 있음을 보이고자 한다. 이로써 본 논문의 목표는 (강한) 예측주의에 반대하는 메이요의 견해를 새롭게 강화하는 일이다. 이 과정에서 메이요 자신의 잘못을 드러내고 그를 시정하기도 할 것이다. 논의 전개 중에 정동욱의 견해는 좋은 매개 역할을 하였다.

In general, predictivism claims that predicted evidence rather than accommodated one can support a concerned hypothesis correctly. In this paper, mainly, Maher's Bayesian approach to predictivism and Worrall's view on it are critically examined. With the examinations, it'll be shown that higher-level theories play an important role beyond the hypothesis in question. And, regarding such theories, it is argued how adequately Maher's and Worrall's predictivism can be criticized from the perspective of Mayo's severe tests. Thereby, the aim of this paper is to strengthen Mayo's denial of (strong) predictivism in a fresh way. On the way, also, her own faults shall be revealed and put right appropriately. Jung's discussions have been very helpful as a mediation for my goals.

본 논문은 정확성을 바탕으로 측정된 인식적 효용을 이용해, 이른바 '웨이슨 선택 과제'라고 불리는 심리 실험의 인식론적 특징을 분석하는 것을 목표로 한다. 이를 위해서 인식적 결정 문제가 무엇인지 설명하고(1절), 이에 맞춰 웨이슨 선택 과제가 인식적 결정 문제로 분석될 수 있다는 것을 제안할 것이다(2절). 더불어, 인식적 결정 문제에서 중요한 요소인 인식적 효용이 어떻게 정확성이라는 개념으로 측정될 수 있는지 설명할 것이다(3절). 이런 제안과 설명을 바탕으로 4절과 5절에서는 결정 이론의 핵심적인 두 원리를 이용해 웨이슨 선택 과제의 각 선택이 비교 평가된다. 4절에서는 '우월 원리'가, 5절에서는 '기대 인식적 효용 최대화 원리'가 도입된다. 이 두 절의 논의를 통해, 우리는 웨이슨 선택 과제 속 피실험자들의 선택이 어떤 점에서 인식적으로 불합리하지 않은지 확인할 수 있을 것이다.

This paper is intended to analyze the epistemological features of what is often called 'Wason Selection Tasks' by means of epistemic utilities that are measured by the concept 'accuracy'. For this purpose, this paper is structured as follows: I will explain in Sec. 1 what could be regarded as epistemic decision problems, and suggest in Sec. 2 that the Wason Selection Task can be analyzed as a kind of such a decision problem. Moreover, it is explained in Sec. 3 how epistemic utilities, which are one of the core concept in epistemic decision theory, can be measured using the concept 'accuracy'. On the basis of the above explanation and suggestion, Secs. 4 and 5 are devoted to comparing and evaluating some actions of the test subjects in the Wason Selection Task. In this regard, I will appeal to the two main principles in the standard epistemic decision theory― Dominance Principle (Sec.4), and the Principle of Maximization of Expected Epistemic Utilities (Sec.5). In doing so, we will understand the reason why we should conclude that the test subjects' selections, in some sense, can be evaluated as epistemically rational.

이 글에서 우리는 크립키형 의미론을 이용하여 RMt의 고정점을 갖는 확장 FRMt의 선표 성질을 연구한다. 이를 위하여 먼저 두 논리 체계 RMt와 FRMt를 대수적 의미론과 함께 소개한다. 다음으로 이 두 체계들을 위한 크립키형 의미론을 제공한다. 마지막으로 크립키형 프레임에 기초하여 FRMt가 선표적이라는 것을 보인다.

This paper investigates the pretabularity property of a fixpointed extension of the logic RMt (FRMt) using Kripke-style semantics. For this, the systems RMt, FRMt and their algebraic semantics are first discussed. Next Kripke-style semantics are established. for them. Finally, the pretabularity of FRMt is considered based on Kripke frames.