[일반] 고1인데 rosen의 이산수학 봐도됨?

[익명(illilliiliilil)]

철학파는데 도움 좀 얻을려고

[익명(221.145)]

철학에 도움이 된다고? 아마 그럴 수 있겠지만 정확히 어떻게 도움이 되는 거야?

[익명(illilliiliilil)]

이산수학이 논리적으로 다루는 분야라서 논리학 부분에 도움이 꽤 된다고 글을하나봤음

[익명(illilliiliilil)]

https://m.dcinside.com/board/reading/395867

[익명(117.111)]

저건 저 글 쓴 애가 이산수학 책으로 수리논리랑 집합 공부해서 저렇게 쓴것같은데

[익명(221.145)]

수리 논리학을 직접 배우는 편이 낫겠는데? 영어 원서 읽어도 괜찮아?

[익명(illilliiliilil)]

원서는 좀 그럼

[익명(221.145)]

그럼 철학적 논리학부터 배우기를 추천해. 윌러드 밴 오먼 콰인의 "하버드 논리학 수업" 어때?

[익명(illilliiliilil)]

ㄱㅅㄱㄱ 환불해ㅑ지

[익명(221.145)]

그리고 영어 실력 키우고 나서 형식 철학 입문서를 읽어도 좋을 듯해. 난 철학 전공이 아니고 시간이 없어서 아직 못 읽었지만 나중에 읽고 싶어. URL:
https://doi.org/10.1007/978-3-319-77434-3

[익명(illilliiliilil)]

형식 철학이란게 정확히 뭐임? 여러 철학 입문서들 읽어봤는데 형식철학은 처음보는데

[익명(221.145)]

형식 철학은 '형식 체계[formal system]를 이용해 철학을 연구하는 방법. 또는 그런 방법으로 이론을 전개한 철학 분야.'로 대략 설명할 수 있어. URL:
https://philosophy.stackexchange.com/questions/26760/whats-formal-philosophy

[익명(illilliiliilil)]

뭨 소린지 모르겠다ㅠㅠ

[익명(221.145)]

그냥 '수식이나 코드가 잔뜩 들어간 철학 이론'이라고 생각해!

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(221.145)]

계산 형이상학:
http://mally.stanford.edu/cm/

[익명(221.145)]

괴델의 신 존재 증명의 형식화:
https://github.com/FormalTheology/GoedelGod/blob/bf3263557e8def5a7e634a17fef626f92df2f3e0/Papers/2017/LogicaUniversalis-HajekAndersonControversy/main.pdf