这我就不懂了。如果你看考题，考题两个都用「真函如言」，不是吗？ 而真函，也就是真值函数，的意思不就是我说的那个意思而已吗？（从组 成语句的真值到整句语句的真值，这两arguments之间的mapping function） 举例： (Ａ‧Ｂ) →Ｂ 任何语句有这样的形式，我们便可以说前件逻辑上蕴含後件。而所有包 含逻辑蕴含的条件句，该条件句整句的真值，由其部分以及该真值函数 （逻辑蕴含）所决定。这有错误吗？ 当然，关於这样的一种关系（蕴含关系）是不是一定只能理解成真值函 数，显然不是，且针对逻辑蕴含，一般来说，（逻辑）哲学上更有意义 的看法是谈到必然性（毕竟只看做是种函数，那就真的彷佛只是种数学 定义，而真也仅剩下形式（syntax）意义而已了）。我也同意，这样子 看待，你那篇所提及的「推论」这意涵很不明显。而我想这是你说一般 来讲逻辑蕴含不会仅用真值函数去理解的主因。毕竟那些才是「哲学上 有意义」的问题。 但那是一回事。我觉得，尤其是原来题目那样做比较的时候，把两者都 用真值函数来理解并没有不恰当的地方吧？ -- PTT2 自然就是美 => 百慕达群岛 => 漩涡 => PinkParties --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 87.194.73.179 ※ 编辑: A1Yoshi 来自: 87.194.73.179 (03/10 07:06)