This problem is an instance of Sche

This problem is an instance of Schema I—an instance one would not normally
consider, because one of the A.S., namely the statement S 2 , is not at all known to be true S2 is, in fact, functioning as a low-level hypothesis which we wish to test. But the test is not an inductive one in the usual sense, because a verification of the prediction is also a verification of S2—or rather, of the approximate truth of S2, (which is all that s of interest in this context). Neptune was not the only planet unknown in 1846; there as also Pluto to be later discovered. The fact is that we are interested in the above problem in 1846, because we know that if the prediction turns out to be true, then that prediction is precisely the statement S3 that we need for the following deduction:

결과 (한국어) 1:

이 문제는 스키마의 인스턴스인 난-하나의 인스턴스는 일반적으로고려, 때문에 A.S., 즉 문 S 2 중 하지 모든 알려진 사실 S2, 사실, 우리가 테스트 하고자 하는 낮은 수준의 가설으로 작동. 하지만 테스트는 일반적인 의미에서 유도 한 때문에 예측의 검증은 또한 s 2의 확인-또는 오히려, S2, (어떤이 맥락에서 관심의 모든 s)의 대략적인 진실의. 해왕성은 1846 년; 알 수 없는 유일한 행성 거기 또한으로 나중에 명왕성 발견. 사실은 우리는 1846 년, 위의 문제에 관심이 우리가 예측 사실로 밝혀 지, 다음 그 예측은 정확 하 게 문을 S3 우리 다음 공제에 필요한 것을 알고 있기 때문에:

결과 (한국어) 2:

이 문제는 하나 일반적 않을 스키마 I-인스턴스의 인스턴스
는 AS, 즉 문 S 둘 중 하나는 낮은 수준의 가설로서 기능 전혀 사실 S2 사실 인 것으로 알려져 있기 때문에, 고려해야 이는 우리가 테스트하고 싶습니다. 그러나 테스트 예측의 검증도 S2 또는 대신에 검증되기 때문에, 일반적인 의미에서 유도 아니다 S2의 대략 진실의 (이 문맥에서 관심 모두 S 인). 해왕성은 1846의 유일한 행성 알 수 없었다; 뿐만 아니라 명왕성 나중에이 발견된다. 사실은 우리가 예측이 사실로 밝혀지면, 그 예측이 우리는 다음과 같은 공제에 필요한 문장 S3 정확하게 것을 알고 있기 때문에 우리가 1846 위의 문제에 관심이 있다는 것입니다 :

결과 (한국어) 3:

이 문제는 예를 들어 도면 i-an 한 보통 안그 생각 때문에 한 발언은 곳곳에, 즉 2, 하나도 안 진짜 s 기능, 사실 저속한 가설 우리는 이 시험.근데 시험 안 유도 한 것 때문에 자주 확인, 확인 예측 역시 두 아니면, (비슷하다 진리 (바로 그 이자 이 방면에 있어서).해왕성 뿐만 아니라, 별 것도 알 수 없는 교환; 어떤 명왕성 후에 발견되었다.사실 우리는 관심이 년 이상 문제 때문에 우리 알고 예측 사실이라면 그 예측 바로 우리 말을 하는 세 이하 단추: