표현가능성? 이란게 무슨 뜻인가요??

[ㅅㄴ(58.234)]

어떤 국내 논문에선 표상가능성이라 번역하던데 길어서 읽진 못했어요

강하게 표현가능한 약하게 표현가능한 이거는

전제를 부정했을때 부정명제를 도출할 수 있는지 없는지 차이일까요?

아니면 고전논리랑 모순허용논리의 차이를 말할때 '강하거나 약하거나'라고 하는거랑 관련 있는걸까요?

[익명(175.192)]

모순허용논리는 상관없고, 만약 F가 무모순적이라면 S가 weakly representable할 때 strongly representable하는데 역은 성립하지 않죠. 말씀하신 대로 ~(FㅏS(n))이라 해서 Fㅏ~S(n) 이 성립하는 건 아니니까요.

[익명(175.192)]

이때 weak strong은 강한 주장 약한 주장 할 때의 뜻과 비슷하죠. P가 Q를 함축하지만 역은 성립하지 않을 때 P가 더 강한 주장이라 하니까요.

[익명(175.192)]

또 SEP보단 Peter Smith의 Gödel Without Tears (pdf 올라와 있음) 추천드려요

[ㅅㄴ(58.234)]

오오 감사합니다! 알 것 같네요. 말해주신 자료도 볼게여

[익명(175.192)]

아 strong이면 weak이네요