[일반] 머리가 어지럽네(논리학)

[애비넴(chikichikichiki)]

이게 말이 되는거냐
신기하네

[수갤러 1(124.53)]

그러니까 애초에 1처럼 모순된 명제를 모두 참이라고 가정하면 안 되겠지

[애비넴(chikichikichiki)]

ㅇㅇ 직관주의 논리학이라는데서만 쓰이는 특이한 방법이래 신기해서 가져와봄

[ultraproduct(ultraproduct)]

특이한 방법 아니고, 저게 바로 고전 논리에서 모순을 허용하지 않는 이유임