同一、相等和等值

在《论意义和指称》(1892)一文的开头,弗雷格陈述了他在《概念文字》(1879)中的思想,即他认为同一是对象的名称或符号之间的关系。在《概念文字》中,我们可以看到如下的描述:1——(A≡B)的意思是:由于符号A与符号B具有相同的概念内容,因此A总是可以为B所替换,反之亦然。这一概念与莱布尼兹关于“同一法则”