002. [진리론] ...1 
003. 서언 ...1 
004. 진리 대응론 ...3 
005. 진리 정합론 ...13 
006. 프래그머티적 진리론 ...21 
007. 의미론적 진리론 ...27 
008. 진리 잉여론 ...52 
009. 결어 ...72 
010. 참고문헌 ...75 
011. [역설과 그 해결방안] ...79 
012. [역설과 그 해결방안] ...79 
013. 서언 ...79 
014. 역설의 분류 ...81 
015. 역설의 해결방안 ...90 
016. 결어 ...113 
017. 참고문헌 ...118 
018. [양상논리의 필연성 문제] ...121 
019. 서언 ...121 
020. '필연적'의 콰인의 해석 ...123 
021. 스멀랸의 반비판 ...129 
022. 결어 ...137 
023. 참고문헌 ...140 
024. [다치논리의 해석문제] ...143 
025. 서언 ...143 
026. 3차논리의 문제점 ...144 
027. 프라이어의 해석 ...147 
028. 레셔의 해석 ...150 
029. 결어 ...157 
030. 참고문헌 ...160 
031. [직관논리] ...163 
032. 서언 ...163 
033. 형식체계 ...164 
034. 기호논리와 대비 ...169 
035. 구성적 증명 ...166 
036. 배중률의 거부 ...181 
037. 직관논리의 번역 ...185 
038. 크립키의 의미론 ...188 
039. 결어 ...194 
040. 참고문헌 ...197 
041. [시제논리] ...199 
042. 서언 ...199 
043. 역사적 배경 ...200 
044. 기본 시제논리(Kt체계)와 그 해석 ...205 
045. 선형 시제논리(CL체계)와 그 해석 ...215 
046. 분지 시제논리(Kb체계)와 그 해석 ...222 
047. 결어 ...229 
048. 참고문헌 ...234 
049. [규범논리] ...237 
050. 서언 ...237 
051. 형식 체계 ...239 
052. 힌티카의 의미론 ...258 
053. 이행개입과 역설 ...267 
054. 결어 ...275 
055. 참고문헌 ...278 
056. 찾아보기 ...280