A는 B이다, A일 때 B이다, A면 B이다 가 같은 말임?

[익명(180.134)]

사과 Ax 빨강 Rx라고하면

사과는 빨갛다는 Ax->Rx보다 Ax&Rx인 게 더 말이 되는거 같은데

개인적으로 조건문 자체를 일상어에 대입시키는게 꺼려짐

누가 조건문이랑 연언 구분 해줄 수 있냐

[익명(122.38)]

특칭이냐 전칭이냐에따라 조건이들어갈지 얀언이 들어갈지 달라짐

[익명(122.38)]

근데 a는 B이다 는 Ba 이렇게 되는거지

[익명(122.38)]

양화사 없으니까..

[익명(122.38)]

전칭에는 조건 특칭에는 연언,이게 왜 그러내면 일단 특칭에 조건언을 넣어버리면 어떤 a는 b이다 에서 a가 존재하지 않아도 참이되서 안되고, 전칭에 연언이 안되는건 모든 a는 b이다에서 a가 없어도 참이되기 위함임 왜냐하면 현대논리학에선 모든 a가 b이다 하는 표현이 a가 존재한다는 걸 언급하지 않는다고 보기때문임

[익명(122.38)]

예전에는 일상어 처럼 전칭도 존재를 언급한다봤는데 예전처럼쓰면 존재하지 않는대상 예를들어 모든 용은 불을뿜는다 가 참이면 용이 존재해야하고 거짓이어도 용이 존재한다는 건데 이게 오류가 있다는 지적하에 그렇게 된거임

[익명(122.38)]

Ps. (예전처럼 전칭을 존재에 대해 언급 한다보면) 모든 용이 불을 뿜지 않는다가 참이면 실제로 모든 실존하는 용들이 불을뿜지 않어야해서 거짓이어도 용의 존재가 참이되는거임

[익명(122.38)]

이런 조치도 그렇고 조건언도 그렇고 여러요인때문에일상어와 형식논리의 언어가 불일치 하게 되어버렸음 그래서 주의가 필요한거고 꺼려지는거임

[익명(122.38)]

이런 문제를 해결하려고 선제논리(이건 만들던 학자분이 사고로 돌아가셔서 중단됨)니 양상조건문이니 하는것들이 생겨나는 거임 그런거 찾아보면 좋을듯?

[익명(180.134)]

아 그렇지 참 깜빡했다 고마웡

[익명(180.134)]

선제논리 이거 연구하시던분 한국인이었네 ㄷㄷ