http://zolaist.org/wiki/index.php?title=%EB%9E%A8%EC%A7%80_%EB%AC%B8%EC%9E%A5&feed=atom&action=history램지 문장 - 편집 역사2024-03-29T04:42:19Z이 문서의 편집 역사MediaWiki 1.36.0http://zolaist.org/wiki/index.php?title=%EB%9E%A8%EC%A7%80_%EB%AC%B8%EC%9E%A5&diff=2482&oldid=prev2018년 11월 13일 (화) 04:55에 imported>Zolaist님의 편집2018-11-13T04:55:55Z<p></p>
<p><b>새 문서</b></p><div>Psillos, S. (2007). ''Philosophy of science A-Z''. Edinburgh University Press, pp. 208-209. <br />
<br />
<br />
어떤 이론에 대한 램지 문장을 얻기 위해서는 그 이론의 공리들을 한 문장으로 결합하고, 모든 이론적 술어들을 각각 구분되는 변항들로 대체한 뒤, 결과로 나온 식의 앞에 변항들과 똑같은 수의 존재 양화사를 붙임으로써 그 변항들을 결합해야 한다.<br />
<br />
이론 TC가 순수하게 논리적인 m+n항 술어 TC를 통해 <math>TC (t_1 \cdots t_n ; o_1 \cdots o_m)</math>으로 표현될 수 있다고 하자. <br />
(T: 이론의 공리들, C: 대응 규칙을 부여하는 공리들, t: 이론 용어, o: 관찰 용어)<br />
<br />
TC의 램지 문장 RTC는 다음과 같다: <math>\exists u_1 \exists u_2 \cdots \exists u_n TC (u_1 \cdots u_n ; o_1 \cdots o_m</math>) <br />
(u: 이론 용어에 대응하는 변항들. <math>\exists u</math>는 u를 만족하는 대상이 적어도 하나 있다는 것을 뜻한다.)<br />
<br />
램지 문장은 많은 중요한 속성들을 가지고 있다. 예를 들어, 한 이론의 램지 문장은 그 이론과 정확히 같은 1차 관찰적 귀결을 가지고 있다. 또는, 만약 두 램지 문장이 같은 관찰적 참들과 양립 가능하다면(compatible), 그 문장들도 양립 가능하다. '램지 문장'이라는 말은 프랭크 램지(Frank Ramsey)의 이름을 따서 붙여졌는데, 램지는 그의 유고 소논문인 “Theories”에서 이를 처음 도입했다. 그의 결정적인 통찰은 그 이론이 ‘그 이론을 만족하는 존재자들이 있다’와 같은 형태로 존재 판단을 표현하는 것으로 형식화될 때, 이론의 관찰 가능한 내용을 넘어서는 과도한 (이론적) 내용이 나타난다는 것이다,<br />
<br />
[[분류:과학철학]]<br />
[[분류:과학 이론]]<br />
<br />
{{코멘트}}</div>imported>Zolaist