P. 1
전반부_THE_SEMANTIC_CONCEPTION_OF_TRUTH

전반부_THE_SEMANTIC_CONCEPTION_OF_TRUTH

|Views: 4|Likes:
Published by zoommq
전반부_THE_SEMANTIC_CONCEPTION_OF_TRUTH.doc
전반부_THE_SEMANTIC_CONCEPTION_OF_TRUTH.doc

More info:

Published by: zoommq on Oct 31, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

12/04/2012

pdf

text

original

THE SEMANTIC CONCEPTION OF TRUTH AND THE FOUNDATIONS OF SEMANTICS

- by Alfred Tarski
이 논문은 두 부분으로 나뉜다. 첫 부분은 설명적 부분이고, 두 번째 부분은 논쟁적 부분이다.
첫 부분에서 나는 진리 정의와 의미론의 기에 !" #$ %&적' 문(와 !)* +,의 -*
./0 123적' 43으로 567 8이다. 이9 ./는 : ;< =>* 논문에서 ,?@AB
다. 나의 +,C <D EF에서 다GHI JK/ !)" 8이LM, NO" <문적 PQ으로 EF
R9에S는 1T적 UVLL W은 8이다. XYZ [8은 NQ" <문적' PQ \문% 8이다.
[]서 나는 이 문(0 다^ "번 설명7 8이다.
나의 _`이 =>* 이a b은 &cC dHe다. 두 번째 부분에서 나는 이 &c9에 c" 나
의 fg0 hi 8이다. 나는 이 _`이 [ PQj klm 논쟁적' 8으로 noLL Wp qr
고, 이 -(에 c" s설적' 기n0 7 l d기0 qt다.
Ⅰ. EXPOSITION
1. THE MAIN PROBLEM - A SATISFACTORY EFINITION OF TR!TH"-* 문( - 진리의 Mu
vwx 정의#
y리의 논의는 진리의 !Kz {|으로 이GH} 8이다. -* 문(는 진리의 !K에 cg M
uvwx 정의, ~ •}적으로 적€•고 23적으로 ‚은 정의0 -는 8이다. [w나, [w" 2
3@는 [ %&P \문에, 명ƒ" 8으로 „…† l ‡고 ˆC적' g설z ‰5로"다.
$.$ Š‹Pz Œ•기 ••n y리는 Ž• 진리 정의C •}적' !•에서 적€" 8으로 noL
는 ‘sz 부ng’ "다. y리C qr는 이 정의는 진리에 c" “로x 의미0 부n•는 8z
”>로 •는 8이 X•r, 진리의 –]* •}적' 의미0 —˜•는 8z ”>로 "다. y리는 ™
,rZ [ 정의C 이w" š›0 lœ•는L0 .정7 l dz 정Z로 •분m 정ž•S 진리의
!Kz Ÿ@g’ "다.
$.% ¡째로 y리는 정의의 23적 ‚¢이 ›£에 의¤•는L0 .정g’ "다. ¥r서 y리는 진
리의 !Kz 정의•는¦ §¨•고R •는 ¨H나 JKz j©m ª«g’ "다. ¬" [ 정의C
¥r’ •는 23적 -®z -H’ "다. %&적으로 ¯•°, y리는 [ 정의C -HL는 ±H의
23적 ,‘0 기²g’ "다.
2. THE E&TENSION OF THE TERM 'TR!E'"¨H “³”의 ´µ#
y리C ¶두에 두고 d는 진리 JK의 ´µ에 !" 8에서 ^_•R. ²H “ ” ³ 은 \\로 ·
¸이나 ¹¢/ º은 |리적 »jz L¼•는 8으로, \로는 ±H >», Ÿm 문½/ º은 ¾리적
cjz L¼•는 8으로, ¬ \로는 “ ” 명( r ¿리는 !K적' ¤ÀR0 L¼•기Z "다. n기
서 “ ” 문½ 이r는 >»은 문Á에서 “ ” Â서문 으로 의미•는 8으로 이g"다. ( ” 명( 는 –ÃÄÅ
논t이 ABÆ 분명•L W고 Š‹" JK이다. nw 이Ç로 “ ” ³ 이r는 ¨H0 “ ” 문½ 에 적¨
•는 8이 C½ È리7 8 º다.
./적으로 y리는 진리 JKz Éj Ÿ정 ±H와 µ!^Ê’ "다. ËÌ•° º은 >»이 H
Í ±H에서는 ³, HÍ ±H에서는 의미 ‡«나 «Î% l d기 \문이다. ¾론 y리C 문½에
c" 진리 JK에 %Ï적으로 !|d다는 8이 다Ð ÑÒ의 cj에 !" ³ JK의 µ이은 ž½
"s)bse*)e+, e-,e+si.+#의 CÓPz Ô(•L W는다.
3. THE MEANIN/ OF THE TERM 'TR!E'"' “ ³ 이r는 ¨H의 의미#
진리 JK의 의미"Õ은 Ö—# 문(와 !)g서는 #$ |…" HV×이 d다. ( ” ³ 이r는 ¸H
는 %j ±H의 다Ð ¯9/ º이 명ƒ•L W다. 진리 JKz 논의gI EFR9이 이 JK의
Š‹Pz Ø이는¦ Z×이 † 8 º진 W다. b은 논문/ Ù론에서 EFR9은 b은 ³/ «Î의
JKz (^ge고, y리는 이 { HÍ JK이 y리 논의의 기0 이G는L 명^g’ "다.
y리는 X리vÙÚÛv적' 진리 JK이 CL는 Ü!에 cg서Z Ý정g’ "다. 이 Ü!은
X리vÙÚÛv의 2이jF의 다¢의 Þ UV진 >»에서 ßz l d다0
[w" 8z [à다고 ¯•«나, [àL W은 8z [àL W다고 ¯•는 8이 ³' &°, [
w" 8z [àL W다고 ¯•«나 [àL Wz 8z [à다고 ¯•는 8이 «Î이다.
이8z »c EF의 ¨H로 qá고R "다°, 다¢/ º은 âã" 23으로 이 JKz >»7 l
d다0
문½의 진리는 •À와의 %ä"Õ은 cå#로 이GH진다.
"이w" 23@에 기" 진리 이론z “cå ” 이론 이r 부æç다#
&°에, y리C “ ” L¼ "desi1+a,e#이r는 ¨H0 이èé X•r 문½에êL 적¨•Zë ž½•고,
문½의 L¼?"desi1+a,a#0 “ ” §ì r고 •는¦ Ä의"다°, y리는 진리 JKz 다¢/ º이 나
íî l d다0
M6 " 문½이 ¤À•는 §ì0 L¼"다°, [ 문½은 ³이다.
[w나 이w" 23@9 ï두 •분m 정ž•고 명ƒ" 8은 X•기 \문에, 이9 23@는 nw
CL –g0 ðz l d다"–mV X리vÙÚÛv의 23@C 이a에 이GH진 다Ð 두 J ñ다
ò ïó•다#. Hôõ ï두C 진리에 c" Muvwx 정의C X•다.
4. A CRITERION FOR THE MATERIAL AE2!ACY OF THE EFINITION"정의의 •}적 적€
˜에 c" 기ö#
(÷은 ” ø다 r는 문½z 고V•R. HÍ ‘s•에서 이 문½이 ³ Õ은 «Î'L0 ùR. M6
<D적 진리 JK에 기"다° y리는 ÷이 ú \ 이 문½이 ³이고, ÷이 øL Wz \ 이 문½
은 «Î이r는 8은 분명g ñ'다. [리고, M6 이 진리 정의C y리의 JK에 ¥Ð다°, [8
은 다¢의 Ää0 ˜ûg’ "다0
(÷은 ” ø다 는 ÷이 ü ýy, [리고 –Ü [ ýy에M ³이다.
이 Ää에서 –Ðþ은 문½ [ R?이고, ÿþ은 문½의 이è이다. “ {© ¨H로 –Ðþ ÷은 ø
” 다 는 s)33.si,i. f.r4alis 에 나í나고, ÿþ은 s)33.si,i. 4a,erialis 에 나í난다. 이 Ää의 ÿþ이
문½ R?C X•고 문½의 이è'L0 설명g’ •는 8은 X•다. ËÌ•°, 첫째로 문Á적으
로 볼 \ “&는 ” ³이다 와 º은 2ì의 >»은 y리C ‘&5 c신에 문½ Õ은 이è 이´의 HÍ 8
z c입^킨다° 의미 d는 문½이 X•기 \문이고, ¡째로 HÍ ±H의 §¨에 !" 근본적'
-6은 y리C HÍ cj에 cg =@7 \ y리C §¨g’ •는 8은 cj [ R?C X•r
cj의 이è이r는 8z ‰5로 •기 \문이다. .론적으로 y리C 문½에 c" HÍ 8z ¯•
고R 7 \, 예0 9H [ 문½이 ³이r고 ¯7 \, y리는 [ 문½ R?C X•r, [ 문½의 이
èz §¨g’ "다. [리고 문½에 '¨부ó0 붙이는 8이 [ 문½의 이èz M드는 Ç%" 4
Á' 8은 X•다.
y리는 이( •에서 했Æ /정z %&@^킬 8이다. Ž• š의의 문½z 고V•R. y리는 [
8은 문R ‘35로 cä7 8이다. y리는 이 문½의 이èz M9고, [8z 문R ‘&5로 cä"다. y
리는 이( 두 문½ “&는 ” ³이다 와 ‘35의 논리적 !계C ›£'L ù는다. 진리에 c" y리의 기
본적 JK에서 이 두 문½이 Äär는 8은 분명•다.
"T# & 는 3 C ³% ýy, [리고 –Ü [w" ýy에M ³이다.
y리는 이w" Ää0 “"T#23의 ” Ää r고 부0 8이다. 이( 드디H y리는 •}적' !•에
“ ” 서 ¨H ³ 에 c" •분" ‘s으로 no} l d는 ‘sz 정ž•S 23@7 l dS AB
다0 y리는 “ ” ³ 이r는 ¨H0 23 "T#의 ïõ Ää9이 -½† l d는 43으로 §¨•p q
r고, ïõ 이w" Ää9이 HÍ 진리 정의로부터 ¥r나I다°, “ [w" 진리 정의0 적€•다
”r고 부0 8이다.
[w나 >» "T# [ R?""T#는 문½이 X•r ¸L 문½의 Z3이다#와 23 "T#의 H떠" Ÿ
정" 예Z 진리 정의로 no} l ‡다. ¸L y리C ¯7 l d는 8은 23 "T#에서 ‘350 HÍ
Ÿ정" 문½으로, [리고 ‘&50 [ 문½의 이è으로 cä•n 얻HL는 ïõ Ää는 부분적 진리
정의로 „…7 l d다는 8이고, 이8이 이 •나의 J별적 문½의 진리C 이 부분적 진리 정의
Å에서 ,P*다는 8z 설명"다. HÍ 의미에서 %&적' 정의는 ïõ 부분적 정의9의 논리
적 µ±이H’ "다.
"•나의 ±H는 ›"m b은 문½의 ,Pz 허¨7 l d다. [리고 [w" ±H의 문½9z L
¼•는 부분적 진리 정의의 l 역^ ›"7 8이다. ¥r서 이8에 정ž" 의미0 -기 •g서
y리는 “›"m b은 문½9의 논리적 ” µ± 이 의미•는 q0 설명g’ 7 8이다. [w나 이8
은 »c 논리F의 #$ <문적' 문(로 끌고 간다.#
5. TR!TH AS A SEMANTIC CONCEPT"의미론적 JK으로서의 진리#
4금êL 논의했Æ 진리 JKz “진리의 의미론적 ” JK 이r고 부æç다. 의미론은 느슨•S
¯g " ±H의 >»/ [ >»에 의g L¼A는 cj"Õ은 “ ” §ì # §이의 !계0 다G는 분’
이다. 다¢의 예에서 나í나 듯, 의미론적 JK의 <2적 예로써는 L¼"desi1+a,i.+#, Mu
"sa,isfa6,i.+#, 정의"defi+i,i.+# JKz ±급7 l d다0
>» “[ 나r의 ” X버L 는 ‘L 워싱z L¼"다7
÷은 문½ ˜l “&는 ” ø다 0 Mu"다7
!3 “%8- 9 $:은 l $;%z 정의" Ç%•S .정#"다.
( ” L¼"다 , ( ” Mu"다 , ( ” 정의"다 와 º은 ¯9이 !계" >»/ >»에 의g L¼A는 cj §
이의 !계#0 >»•는 &°, ( ” ³ 은 이와는 다Ð, 논리적 "Pz C진다. [8은 Ÿ정" >», ~
문½의 "Pz 나í#다. [w나 •의 23@와 “ ” ³ 이r는 ¸H의 의미0 설명•고R y리C
-BÆ ïõ 23@는 문½ [ R?0 L¼7 éM X•r, 이 문½에 의g “ ” ¯gL는 cj Õ
“ ” 은 CÓ•S [ 문½에 의g 기²* §ì 0 L¼"다는 8은 $S ñn진다. [리고, 정ž" 진
리 정의0 얻는 C½ 간¸•고 Rµv% 4Á은 다Ð 의미론적 JK, 예0 9° Mu의 JK의
이¨•는 8z —˜•는 8이다. []서 y리는 n기서 논의* 진리 JKz 의미론적 JK9로
„…7 8이고, 진리0 정의•는 문(는 이론적 의미론의 기0 ©y는 8/ !)* #$ %&
적' 문(와 O&•S !)*다.
이 논문에서 „…A는 8/ º이 의미론은, 이j적으로õ •(로õ, '간의 ïõ '에 c" Ÿ
(6이 AH’ "다는 8z 5,)L W는 s<•고 적*" 8이다.
예로부터 L금êL 의미론의 JK은 EFR, 논리FR, ±HFR의 논의에서 {5" 역7z g
e다. [+에Z ¿,•고, 이9 JK은 –ÃÄÅ H느 정Z 의|v% 8으로 no,e다. 역§적
!•에서 이w" 의|은 정*" 8으- no,e다. ËÌ•° %j ±H에Z §¨A는 의미론적
JK9의 의미는 –mV 명ƒ•고 이gCÓ" 8.+ ñ이LM, 이 의미0 %&적이고 정ž•S
Ÿ@•V는 ïõ ^Z는 •/했기 \문이다. # Å0은 8은 이w" JK9z —˜•는 nw
논19, [리고 이w" JK9z —˜•L W2다° ‚은 8 º이 ñ이고, 분명" <(9에 기
" nw 논19은 3번•S 역설z ð는다는 8이다. 예0 9H «Î¯쟁이의 역설"a+,i+.4y .f
,<e liar#, 리4æ"Ri6<ard#의 정의CÓP의 역설"a+,i+.4y .f defi+abili,y#, [56-7슨의 이Ñ ¨H
의 역설"a+,i+.4y .f <e,er.l.1i6al ,er4s#!이 d다. 나는 이 논문에서 89L은 4Á이 이w" HV
×9z :;•는¦ Z×이 † 8이고, 의미론적 JK의 %!적 §¨의 CÓPz ñ17 8이r
고 ¹는다.
6. LAN/!A/ES =ITH A SPECIFIE STR!CT!RE"NO" ,‘0 C진 ±H#
CÓ" 역설의 <» \문에, 의미론적 JK의 정의C -HL는 ±H의 23적 ,‘와 H=0
부n•는 문(는 >?" 8이 *다. ±H의 ,‘C 정ž•S 부n* 8으로 간-A는 HÍ %&
적' ‘s9이 d다. ±H의 ,‘0 부n•기 •g, y리는 의미d는 8으로 간-A는 ¸H와 >
»의 @Az Š‹•L WS ŸL워’ "다. ,?적으로, y리는 정의•L W고 §¨•는 “정의
AL W은 Õ은 B적 ¨H")+defi+ed .r 3ri4i,i>e ,er4s#:r ¿리는 ïõ ¸H9z UV-H’ "
다. [리고, “로x Õ은 정의* ¨H0 Z입•기 •" 정의 -®z -H’ "다. # 나XC y리
는 >»9의 @A "에서 “ ” 문½ 이r 부æ는 89z ,분7 l d는 기öz 정g’ "다. YLC
으로 y리는 [ ±H의 문½이 -½"asser,ed#† l d는 ‘sz 23@g’ "다. Ÿm, ïõ Ý리
9"Õ은, B적 문½# ~ 1명 ‡이 -½•기로 .정" 문½9z >^g’ "다. [리고 y리는
D서서 -½* 문½9로서 “로x -½•는 문½9z µ역7 l d기 •" ˆ론 -®"Õ은, 1명
-®#z -H’ "다. Ý리9/ ˆ론 -®에 의g Ý리9로부터 µ역A는 문½9은 “정리
”",<e.re4s# Õ은 “1명CÓ" ” 문½ "3r.>able se+,e+6es#이r L¼"다.
±H의 ,‘0 명^@•는¦ dH서 y리C [ ±H에 —˜* >»의 23z Ôí적으로 L
¼7 l d다°, [ ±H는 23@AB다고 ¯"다. [w" ±H에서는 정리9M이 -½† l
d는 문½이다.
»À 명^적 ,‘0 C진 Ç%" ±H는 µ역 논리의 nw ?계9의 23@* ±H9이고, 이
±H9은 1논리적 ¨H0 Z입˜에 의g E부•S † l d다. [w나 이w" ±H의 적¨7 l
d는 F역은 X- G다. y리는 이론적으로 /F의 nw F역, 예0 9° lF이나 이론 ¾리F의
F역의 ±H0 =<^킬 l d다.
"&°에 y리는 23@H ‡이 명^적 ,‘0 CL는 ±H의 ,Pz jj7 l d다. [w" ±
H에서 문½의 -½CÓP은 Éj [ 23에 의¤•는 8은 XI l d고, 다Ð 1±H적 5'에
의¤7 l 8이다. 이w" Ç2의 ±H0 ,P•는 8은 »•적으로 J미K고 {5•고, Ÿm ý
L /F의 —M적 F역의 =<z •g •분" [w" ±HC {5•다. ËÌ•° 이8은 명^적
,‘0 C진 ±H는 N:적으로 /F적 논의에서 %j±H0 c신7 8이r는 øOz 정*@•
기 \문이다.#
진리 정의의 문(는 [ ,‘C 정ž•S 부nA는 ±H에서M NO" 43으로 g.† l d
고, 정ž" 의미0 C진다. ïõ Rµ±H에 dH 이 문(의 의미는 ïó•고, [ 문(의 g.은
¸L 근§적' PQz C} é이다. «PS ¯g, [ 근§는 Rµ ±H0 [ ,‘C 정ž•S 부
nA고, † l d는 " 적S -H* ±H로부터 QrL는 ±H로 cä˜으로써 ,P*다.
7. THE ANTINOMY OF THE LIAR"«Î¯쟁이의 역설#
진리 정의C -HL는 ±HC Mug’ •는 #$ Ÿ정" ‘s9z =f•기 •g, 진리의 J
Kz —˜•는 역설, ~ «Î¯쟁이의 역설에 !" 논의로 ^_•는 8이 0z 8이다. 이 역설z
명ƒ" 23으로 얻기 •g 다¢ 문½z 고V•R0
이 논문의 4 þ 19 번째 Ø에 'R* 문½은 ³이 X•다.
이 문½z 문R ‘s5로 cä•R. ( ” ³ 이r는 ¨H의 적€" §¨에 c" y리의 -6에 ¥æ° y
리는 다¢/ º은 "T#23의 Ää0 -½7 l d다0
"$# ?s5는 이 논문의 @ þ $A 번째 Ø에 'R* 문½이 ³이 XI ýy, [리고 –Ü [w" ýy에
M ³이다
&°, 기ó ‘s5의 의미0 ¶두에 ¡ \, y리는 ýL적으로 다¢의 §•z 얻는다0
"%# ?sB는 이 논문의 @þ $A번째 Ø에 'R* 문½/ Ä%•다.
이( Ä%P의 Á®"r이S•T의 Á®#에 의g "$#의 >» “이 논문의 @þ $A번째 Ø에 'R*
문½”z 기ó “‘s5:0 cä˜으로써, "%#로부터 다¢z 얻는다0
"C# ?s5는 ‘s5 C ³이 XU ýy, [리고 –Ü [w" ýy에M ³이다.
이w" 43으로 y리는 명V" ïk에 이Ð다.
Ö ·¸으로는 /F적 진ñ의 !•으로 이 역설/ ¬ 다Ð 역설9의 {5Pz /WÂC•고,
이89z XY이나 Z[으로 \급•는 8은 Þ]* 8이고 •L•다. y리C n기서 ïk에 Ü
°g d다는 8, y리C «Î 문½z -½7 l^에 ‡B다는 8""C#은 ‰µ적으로 «Î이다#은
§•이다. y리의 _`z |…•S n_다°, y리는 이 §•/ @g7 l ‡다. y리는 이 B'
z h`’ "다. ~ y리는 이 역설이 기•고 d는 <(0 분a•고, 이9 <(9 { bW" •
나0 부정g’ "다. [리고 y리는 이w" _`이 y리 µ,의 < F역에 cg CL는 c.z
‘§g’ "다.
이 역설9이 »c µ역적 /F의 기0 ©y는¦ {5" 역7z "다는 8이 d‘e’ "다.
@A-이론적 역설9/ º이, Ÿm wf의 역설은 논리F/ lF의 %!적' 23@에서 PÝ적
' ^Z0 •" <=•이다. []서 «Î¯쟁이의 역설/ 다Ð 의미론적 역설9은 이론적 의미
론의 ,Pz ð는다.
8. THE INCONSISTENCY OF SEMANTICALLY CLOSE LAN/!A/ES"의미론적으로 gh ±H
의 1%!P#
M6 «Î¯쟁이의 역설로 이i는 C정9z 분a•° y리는 다¢z U l d다.
"Ⅰ# y리는 역설이 ,PA는 ±HC, 이 ±H의 문½9z L¼•는 의미론적 ¨H “³” é M X
•r, >»/ >»9의 이èz —˜"다는 8z jk적으로 C정했다. ¬ y리는 이 ¨H"'³'#의
적€" §¨z .정•는 ïõ 문½9이 이 ±H에서 -½† l d다는 8z C정"다. 이w" "
P9z C진 ±H는 '의미론적으로 gl다'고 부Ð다.
"Ⅱ# y리는 이 ±H에서 %&적' 논리 Á®9이 Pm"다고 C정했다.
"Ⅲ# y리는 y리의 ±H에서 진² "%#와 º은 ýL적 <(0 23@•고 -½7 l d다고 C정
했다.
C정 "Ⅲ#은 본}적이L W다. ËÌ•° "Ⅲ#이 ‡이Z «Î¯쟁이의 역설z À,P•는 8이
CÓ•다. [w나 "Ⅰ#/ "Ⅱ#는 본}적이다. 이 두 J의 C정z Mu^n는 ïõ ±H는 1%!적
이기 \문에 y리는 이 ¡ { •나0 «부g’ "다.
"Ⅱ#0 «부•는 8은 y리의 논리F의 C½ 기적이고 근본적' 부분z [@^n는 8이o
로 y리는 "Ⅰ#z «부7 l^에 ‡다. 이에 ¥r, y리는 -H진 의미에서 의미론적으로 gh H
떠" ±HZ §¨•L W기로 .정"다. 이w" ("은 ¸ •나의 “진정"” ±HC d다고"Õ은
“ ” bW" ïõ 진정" ±H9은 서로 번역CÓ•다고# ¹는 §p9은 )X9이L Wz 8이다.
[w나 이 ("은 H떠" 본}적 43으로Z /F의 ‰5나 J미에 Fqz -L W는다. /F적
논의에서 §¨A는 ±H9은 의미론적으로 g`dz ‰5C ‡다. 이8은 ±H적 »j의 ýy에
는 명V•고, 의미론적 JK은 HÍ 43으로Z /F의 -(C AL ]"다. ËÌ•° 의미론적
JK이 /F의 -(C † \, HÍ 의미론적 ¨HZ 이 /F의 ±H에 (݆ ‰5C ‡기 \문
이다. [w나 다¢€에서 y리는 의미론적 JK9이 본}적으로 —˜* /F적 논의9에서‘Ï
Z, HrS 의미론적으로 gh ±HC ‡z l d는L0 st볼 8이다.
문(는 이w" !•/ !)•n %j ±H의 •ä와 !)g 나í난다. ±u ñ2z \ 이 ±H
는 "Ⅰ#/ "Ⅱ#의 C정9z Mu•고, []서 1%!적' 듯이 ñv다. [w나 •(로 문(는 간¸
•L W다. %j ±H는 정ž•S 부n* ,‘0 CL고 dL W다. y리는 HÍ >»이 문½'L
정ž•S UL ]•고, |LH HÍ 문½이 -½CÓ" 8으로 \g,’ •는L에 cg서는 #
X는 8이 ‡다. S다C %!P의 문(는 %j ±H와 !)g서는 정ž" 의미0 CLL ]"다.
y리는 기wg’ [ ,‘C 정ž•S 부n*, %j ±H0 bc" x은 ±HC 1%!적% 8이
r는 ˆyz 떠Åz l^에 ‡z lZ d다.
9. OBDECTLAN/!A/E AN METALAN/!A/E."cj ±H와 zí ±H#
의미론적으로 gh ±H0 «부•기로 했기 \문에, y리는 진리 정의의 문(와 # %&적으로
의미론의 분’에서의 ïõ 문(0 논의•는¦ dH 두 CL의 다Ð ±H0 §¨g’ "다. 첫째
는 “ !g서 ” ¯gL는 , ïõ 논의의 -(' ±H이다. y리C ˆ,•는 진리 정의는 이 ±H의 문
½9에 적¨*다. ¡째는 첫 번째 ±H에 “ !•n ” ¯•는 ±H이고, 첫 번째 ±H의 진리 정의0
,P•고R •는 ±H이다. y리는 ” <R0 cj ” ±H , aR0 “zí ” ±H 로 L¼7 8이다. (
cj ±H”와 “zí ±H”는 ¸L jc적' 의미0 C진다. M6 y리C B]의 cj ±HC X
U [8의 zí ±H의 진리 JKz 문½9에 적¨•는 8에 !|이 d다°, 이 zí±H는 RÄ
적으로 cj ±HC † 8이다. [리고 이 ±H에서의 진리0 정의•기 •g y리는 “로x zí
±H로 C’ "다. 이w" 43으로 y리는 ±H의 <? •계에 Z{7 l d다.
zí ±H의 H=는 c부분 D서 ±급* 진리의 정의C •}적으로 적€•다고 no} ‘s
9에 의g .정*다. 이 정의는 이미 ¯했듯이 23 "T#의 ïõ Ää9z ˜ûg’ "다0
"T# &는 3 C ³' ýy, [리고 –Ü [w" ýy에M ³이다.
이 정의 R?와 이 정의에 의g ˜ûA는 ïõ Ää9은 zí ±H에서 23@ † 8이다. &°
에 "T#에서 기ó ‘p5는 cj±H의 š의의 문½z 나í#다. []서 cj ±H에서 나í나는 ïõ
문½은 zí ±H에서Z 나í난다. 다Ð ¯로 •°, zí ±H는 cj ±H0 부분으로 —˜g’
"다는 ./C 나I다. 1ë 정의 [ R?는 \\로 이w" 5,0 Mu^nL W는 ò —M적'
zí ±H에서Z 23@† lZ dLM, 이8은 Hôõ 정의의 적€˜에 !" 1명에 ‰l적이
다.
"문(A는 이 5,는 ‘정† l d다. ËÌ•° cj ±HC zí±H로 번역† l d다고 C정
•° •분•기 \문이다. 이8은 "T#에서 기ó ‘p5의 ga에 HÍ [@0 ‰5로"다. 이•에서
이w" ‘정의 CÓPz ›^•ç다.#
[리고 "T#에서 기ó ‘&5는 ‘p5 C 나íÖ는 문½의 이èz 나í#다. ¥r서 zí ±H는 cj
±H의 ïõ 문½에 이èz 부n7 l d는 CÓPz (Ý7 l dz 정Z로 E부g’ "다. ¬
", zí ±H는 >» “if, a+d .+ly if'와 º은 %&적' 논리적 PQ의 ¨H0 —˜g’ "다. cj
±H의 ¨H9, ~ cj ±H의 >»9의 23z L¼•는 ¨H9/ 이w" >»9의 이èz M
드는¦ §¨* ¨H, [리고 논리F의 ¨H와 º이 •의 ±급에서 명^적으로, jk적으로 —˜
* ¨H9z (´" H떠" 정의AL W은 ¨HZ zí±H는 —˜•L W는 8이 qpÜ•다.
Ÿm, y리는 cj ±H0 L¼•는 의미론적 ¨H9이 –Ü 정의에 의g서M zí ±H에 Z입
A기0 qt다. ËÌ•°, M6 이w" 5,C Mu*다°, [w" 진리 정의, Õ은 다Ð 의미론적
JK의 정의는 y리C ïõ 정의로부터 Ü!적으로 qrÆ 8z lœ7 8이기 \문이다. ~, [
8이 [ 의미C |<m 명ƒ•S 나í나는 ¨H에 의g 정의A는 ¨H9의 의미0 설명7 8이
다. [리고, ›£ñ다 의미론적 JK9z §¨•는 8에 H떠" ïkZ 나í나L W는다는 ñ½
이 „_다.
y리는 cj ±H와 zí ±H의 23적 ,‘에 c" # 이j의 5,는 •L W는다. y리는
[8이 다Ð 23@* ±H와 ǧ7 8이r C정"다. Ÿm, y리는 정의의 Dj적' 23적 -
®9이 zí ±H에서 !}*다고 C정"다.
10. CONITIONS FOR A POSITIEE SOL!TION OF THE MAIN PROBLEM"-* 문(의 ~정적
g.z •" ‘s9#
이( y리는 진리 정의C Ñ"A는 •}적 적€P의 ‘s/, 진리 정의C ,PA는 ±H의 2
3적 ,‘의 ‘s에 cg 명ƒ" „…z CLS AB다. 이w" ‘s•에서 진리 정의의 문(는
kl•S µ역적 본Pz CL는 명ž" 문(의 PQz C진다. [w나 [ 문(의 g.은 .• 분
명•L W다. [리고 나는 b신의 논리Fz §¨•L W고는, [ 문(의 j©" g.z ^Z•L
Wz 8이다. n기서 나는 [ g.에 c" «€ 89Mz [• 8이고, [ g.에 —˜* # %&
적' !|에 cg 논의7 8이다.
이 문(의 g.은 \로는 ~정적이고, \로는 부정적이다. 이8은 cj±H와 zí ±H §이
의 HÍ 23적 !계에, ñ다 NOm ¯•° ±H의 논리적 부분에서 zí ±HC cj ±Hñ다
“본}적으로 E부"C”에 의¤"다. (본}적으로 E부"”이r는 JK에 %&적이고 정ž" 정
의0 -는 8은 $L W다. M6 Ç2에 !" 논리적 이론에 기" ±H에 (""다°, zí ±
HC cj ±Hñ다 “본}적으로 E부•다”는 ‘s은 zí ±HC cj ±Hñ다 # 고Ï의 논
리적 Ç2에 !" [É9z CL고 dH’ "다는 8이다. M6 “본}적으로 E부˜”의 ‘s이
MuAL W는다°, ñD은 cj ±H에서 zí ±H의 ga이 CÓ•다는 8이 ñn} l d다.
~ cj ±H의 Þ 정의* ¨HC, zí ±H의 -½ CÓ" 문½이 cj ±H의 -½ CÓ" 문
½/ jó µ.A는 43으로, zí ±H의 -H진 ¨H와 jó µ.† 8이다. 이 ga의 ./로
진리의 Muvwx 정의C zí ±H에서 23@AB다는 C설은 [ cj ±H에서 «Î¯쟁이
의 역설z À,P•는 CÓPz ˜û"다. [리고 이8은 다^ 문(A는 C설z «부•Zë "
다.
"1논리적 부분에 dH zí ±HC cj ±Hñ다 # —M적이r는 §•은 zí ±H0 c j
±H에서 ga•는 CÓP에 Fqz -L W는다. 예0 9H, cj ±H의 >»9의 이è은, 1ë
[89이 c?로 cj ±H [ R?에 나í나L WLM, zí ±H에서 나í난다. [+에Z ¿,
•고, 이 이è9z cj ±H의 ¨H로 ga•는 8이 CÓ7 8 º다.#
#‚다나 “본}적으로 E부˜”의 ‘s은 zí ±H에서 Muvwx 진리 정의0 -는 CÓ
P에 ‰l적이다. M6 y리C 이 ‘sz Mu•L W는 zí ±H에서의 진리 이론z =<^n
기0 B"다°, y리는 F€에서 (^* ¨H9의 Ôí적' Z×으로 진리 정의"다는 „…z —
기g’M "다. [w° y리는 zí ±H의 정의AL W은 ¨H9의 ”ë에 “³” Õ은 다Ð 의미
론적 ¨H9z —˜^Ê’ •고, 진리 JK의 근본적' "Pz %)의 Ý리로 >»g’ "다. [
w" Ý리적 /정에는 H떠" 본}적으로 Þ]* 8이 ‡고, [8은 nw ”적z •g Ǩ" 8
으로 h`} lZ d다. [w나 이 /정z ŒgQ l d다는 8이 드w난다. ËÌ•° zí ±H
의 “본}적으로 E부˜”의 ‘s은 Muvwx 진리 정의0 ,Pz •g ‰57 é X•r •분
•다는 8이 h`} 8이기 \문이다. ~, M6 zí ±HC 이 ‘sz Mu^킨다°, 진리의 J
K은 [ "에서 정의† l d다. y리는 이( %&적 ¨H로 HrS 이w" ,P이 lœ† l d
는L0 나íî 8이다.
11. THE CONSTR!CTION "IN O!TLINE# OF THE EFINITION"정의의 ,P#
진리 정의는 다Ð 의미론적 JK의 정의, ~ Mu JK의 정의로부터 X- 간¸" 43으로 얻
H} l d다. Mu은 š의의 cj/ “문½ ˜l”r 부æ는 HÍ >»9/의 !계이다. 이8은
“-는 ø다”, (-는 yñ다 ƒ다”와 º은 >»이다. 이8의 23적 ,‘는 문½의 ,‘와 ǧ•다.
[w나 [8은 문½에서는 나í나L W는 RÇ [Éz C} l d다.
23@* ±H에서 문½ ˜l의 JKz 정의˜에 dH, y리는 “„c적 /정"re6)rsi>e
3r.6ed)re#:z 적¨"다. ~, y리는 .¢에 C½ 간¸" ,‘의 문½ ˜l0 기²•고, [ 다¢ y
리는 AP ˜lC ñ다 # ¸k" 부분으로부터 ,P† l d는 µ…z (^"다. [w" ˜l는
예0 9H 두 J의 -H진 ˜l에 c" 논리적 †± Õ은 µ±z 2P•는 8으로 ,P† l d
다. 이( 문½은 RÇ [Éz —˜•L W는 문½으로 정의† l d다.
Mu의 JK/ !)•n, y리는 -H진 ˜l에서 RÇ [É에 -H진 cj의 이èz cä•
n ³' 문½이 † \ -H진 cj은 -H진 ˜l0 Mu^킨다고 정의7 l d다. 이% 의미에
서, (÷은 ø다”C ³이기 \문에, ÷은 문½ ˜l “-는 ø다”0 Mu^킨다. [w나 다Ð 문(9
은 (‡두고rZ, 이 4Á은 이¨7 l ‡다. y리는 진리 정의에 Mu의 JKz §¨•고R •기
\문이다.
Mu의 정의0 얻기 •g „c적 /정z 적¨g’ "다. y리는 HÍ cj이 C½ 간¸" 문½
˜l0 Mu^n는L0 (^"다. [ 다¢, HÍ cj이 ;A ˜l0 ,P•는 ñ다 ¸k" ˜l
0 Mu^n는0 Å다는 C정•에서, -H진 cj이 ;A ˜l0 Mu^n는 ‘sz 진²"다.
예0 9H, y리는 -H진 lC ˜l “-는 yñ다 ƒ다” Õ은 “-는 y와 º다” { •나0 Mu^킬
\, [ -H진 l는 논리적 †± “-는 yñ다 ƒ«나 -는 y와 º다”0 Mu^킨다고 ¯"다.
Mu의 %&적' 정의C %¸ 얻HL고 나°, [8은 RÄ적으로 RÇ [Éz CLL W는 Ÿ
별" 문½ ˜l, ~ 문½에Z 적¨*다. " 문½에 cg ¸ 두 CL의 CÓ" ýyC d다0 " 문
½은 ïõ cj에 의g MuA«나, HÍ cj에 의g서Z MuAL W는다. [wo로 y리는 "
문½은 [8이 ïõ cj에 의g Mu† \ ³이고, [àL Wz \ «Î이r고 ˜으로써 ³/
«Î의 정의에 Z{"다.
"y리C " 문½의 진리0 정의˜에 dH, Ü&적' „c적 /정z 적¨•는 c신 간&적' 43
z \했다는 8이 이j•S ñ% l d다. [ 이Ç는 ;A 문½은 ñ다 간¸" 문½ ˜l로 ,P
ALM, Éj [% 8은 X•다. [wo로 Ÿm 문½에 적¨A는 H떠" %&적' „c적 4ÁZ
UVLL W2다.# 이w" «€ 89으로부터 zí ±H의 “본}적으로 E부˜”이r는 C정이
±(, [리고 HrS 논의에 —˜A는L는 명ƒ•L W다. 이8은 j©" 23적 43z Dg서
,P† \M이 명ƒg} 8이다.
12. CONSE2!ENCES OF THE EFINITION"이 정의의 c.#
•에서 논의" 진리 정의는 b은 J미로x c.z ð는다. 첫째로, 이 정의는 23적으로 ‚z
é X•r •}적으로 적€•다"@€에서 논의* 의미에서#. ~, 이 정의는 23 "T#의 ïõ Ää
9z ˜û"다. 이w" µ! "에서, 정의의 •}적 적€P의 ‘s은 ¨H “³”의 ´µz 고Ç•
S .정"다는 8이 {5•다. [wo로 •}적으로 적€" ïõ 진리 정의는 •(적으로 ,P
* [8/ ‰µ적으로 Ää% 8이다. 진리의 의미론적 JK은 진리 JK의 nw CL 1Ää적
정의9 §이에서의 H떠" †ˆ의 CÓPZ -L W는다.
¬ y리는 y리의 정의로부터 %&적 본Pz ‰는 nw CL Á®9z µ역7 l d다. Ÿm
ïkŠ/ Ô{Šz 1명7 l d다. ~ HÍ 두 J의 ïk* 문½9에서 –Ü •나M이 ³이r는
8z ñ% l d다. 이 의미론적 Á®은 논리F에서의 ïkŠ, Ô{Š/ Ä%" 8이 X•다. a
R는 문½ 계…에 "•는 8이고, ¨H “³”z <` —˜•L W는다.
#$ {5" ./는 진리 이론z lF 분’의 X- —M적' ‹]v에 !" 23@* ±H에
적¨7 \ 얻H} l d다. 기적 PQ의 분’와 기적' 논리적 ,‘M이 이 ‹]v에서 Ô(
*다. 이 ‹]v의 분’에서 진리의 JK은 1명 CÓP의 JK/ .• %ä•L W는다. ïõ 1
명CÓ" 문½9은 ³이LM, 1명CÓ•L W은 ³' 문½9이 d기 \문이다. [wo로 [w"
ïõ 분’는 %!적이LM, ¿|<•다. ~ 두 J의 ïkA는 문½9 { 기wg’ •나는 1명C
Ó•고, HÍ 8Z 1명CÓ•L W은 ïk* 문½의 Œ이 ¤À•기êL "다.
13. E&TENSION OF THE RES!LTS TO OTHER SEMANTIC NOTIONS"이 ./의 다Ð 의미론적
JK으로의 ž½#
진리의 JKz 논의˜에 dH D €에서 Z{" ./9의 c부분은 적€" [@0 «‡ Mu,
L¼, 정의의 JK9/ º은 다Ð 의미론적 JK으로 ž½† l d다. 이9 JK ……은 진리의
분a에서 ¥æ는 43으로 분a† l d다. 이9 JK의 적€" §¨의 기öZ žm† l d다.
이9 JK ……은 이w" 기ö에 ¥r 의미론적으로 gh ±H로 §¨† \, ‰µ적으로 ïk에
•진다는 8이 ñn} l d다. [리고 cj ±H와 zí ±H §이의 ,분은 다^ ‰5 ¿C.
•다. [리고 zí±H의 “본}적으로 ” E부˜ 은 ……의 ýy에 zí ±HC —˜•고 d는 이
9 JK의 Muvwx 정의0 •" ‰5 •분 ‘s이다. [wo로 •나의 의미론적 JK의 논의
에서 얻HL는 ./는 이론적 의미론의 기0 ©y는 %&적' 문(에 적¨*다.
이론적 의미론 Å에서 y리는 [ Ü!적 Ö¨이 —˜*, [리고 [ 의미론적 기B이 ò 분명"
다Ð JK9z 정의•고 +,7 l d다. 예0 9H, c."6.+se*)e+6e#, Ä의P"sy+.+y4i,y #, 의미
"4ea+i+1#와 º은 JK9이 [8이다.
y리는 n기서 •나의 J별적 cj ±H에 !계* 의미론적 JK9의 이론에 !|z C진다"1
ë 이 ±H의 HÍ Ÿ정" "PZ y리의 논1에 —˜^nL W¢에Z ¿,•고#. [w나 y리는
cj ±H의 —M적' ‹]v에 적¨A는 %&적 의미론z =<^n는 문(0 고V7 l d다.
D에서의 _`의 j*" 부분이 이 %&적 문(로 ž½† l d다. [w나 이w" µ!에서 HÍ
“로x HV×이 나í나LM, n기서는 논의•L Wz 8이다. ¸L $G€에서 ±급* Ý리적 4
Á이 이 문(0 다G기에 C½ 적€•다.
•다. ./적으로 의미론적 JK9이 EF적 J미0 Ž는다° [ JK9은 /F의 b은 다Ð J
K9/ º은 x명z Q 8이고, 이w" ‰5는 <` Ç?vwx 8이 X•다.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->