第一次发文,很菜,希望各位能指导一下。
最近开始自学逻辑,看到书上说因为p→q是个无效论证,而我思就是这样的论证,不是ta
utology,所以无效。
可是这样一大堆的论证都会变得无效欸,有办法改变这情况吗?譬如改写真值表的形式。
如果单纯p→q不能成立,那加入更多前提有没有用?
p我思,q我在
(p˙(~q→~p))→q
(打不出在中间的点点,会变问号,所以用别的代替“且”的符号)
我思考,而且我不存在则我无法思考,所以我存在。
这样就算解决笛卡儿的论证无效的问题了吗?
还是我这样会变成循环论证?