三段論中"布爾"有效和"亞里士多德"有效問題!如題(第一格式)
所有哺乳動(dòng)物是動(dòng)物
所有獨(dú)角獸是哺乳動(dòng)物
所有獨(dú)角獸是動(dòng)物
所有哺乳動(dòng)物是動(dòng)物
所有獨(dú)角獸是哺乳動(dòng)物
有的獨(dú)角獸是動(dòng)物
書本上講第一個(gè)是"布爾"有效,第二個(gè)沒效且"亞里士多德"也沒效!
所謂"布爾"也就是抽象邏輯啊!
我個(gè)人理解兩個(gè)都"布爾"有效-----"所有的" 肯定包含 "有些"
書上說 AA1前提中傳遞了"獨(dú)角獸"存在的信息,所以沒效-----如果是因?yàn)?獨(dú)角獸"不存在而導(dǎo)致推理無效,那么AAA的也應(yīng)推理無效啊.
這樣區(qū)分在日常生活中又有什么意義啊?