뭔가 수리논리는 순환 논리같아서 찜찜함

[ㄱㄹㄱ(119.202)]

어디서 그런 느낌이 드는지를 모르겠음

[수리철학?(210.117)]

수리논리학은 그저 수학적 명제 및 증명들을 기호화시켜서 나타내기 위한 언어 및 체계를 연구하고 제시하는 것에 불과합니다. 즉, 수리논리학은 일종의 수학을 위한 '도구'를 제시함이라고 이해되는데, 그것으로부터 순환논리같은 느낌을 받으시는 것은 어떠한 사유일까요? 혹, 수리철학을 말씀하신 것은 아닌지요?

[ㄱㄹㄱ(119.202)]

ㄴ음... 그렇다면 논리학을 수리논리로학으로부터 배우는 것은 잘못된 건가요? 그나저나 제가 느끼기에 말씀하시는 바는 수리논리보다는 수학의 수리논리적 방법론인 거 같네여..

[수리철학?(210.117)]

아 제 의견을 설명하려다보니 무리하게 구분을 지어 댓글을 썼던 것 같습니다. 말씀하시는 바는 맞습니다. 수리논리의 학문함은 수리논리를 표현하는 그 언어들(제가 말하기로는 도구들), 그리고 그 도구로 부터 전개되는 여러 이론들(모델이론, 형식체계, 집합론 등등) 모두 수리논리학에 포함될 수 있는 것 같습니다. 괜한 저의 잘못된 의견 전개로 해를 끼친 것 같아 죄송합니다.

[수리철학?(210.117)]

다만, 여전히 저의 의문은 계속 되네요. 어느 수리논리학을 공부함에 어느 부분에서 순환논리와 같은 느낌, 혹은 이미지를 받으셨는지 다시 한번 여쭤보아도 될까요? 괜시리 관심가는 주제입니다.

[ㄱㄹㄱ(121.180)]

저도 생각을 정리하고 있는 중이긴 한데, 아직은 잘 모르겠습니다.

[ㄱㄹㄱ(121.180)]

일단 수리논리를 한번 훑어만 봤기 때문에 잘못이해했을 것 같기도하고요