論理哲学論考 5.46

論理哲学論考　1-7　5.1-5.6　5.41-5.47

　　　　

5.46 論理記号全般を適切に導入したならば、ひとはそれによってもう既にそれらのコンビネーションの総ての意味を導入し了えていることだろう。だから、「p ∨ q 」だけでなく「～(p ∨ ～q )」等々も既に。ひとはまたそれとともに既に可能な限りの括弧のコンビネーションの総ての効果を導入し了えていることだろう。そして、それとともに、本来の一般的原記号は「p ∨ q 」や「(x ) . fx 」等々ではなく、それらのコンビネーションがもつ最も一般的な形式であることが明らかになっていることだろう。

5.461 ∨ や ⊃ のような論理的な見かけの関係は括弧を必要とする――本当の関係とは対照的に――という一見ささいな事実は重要だ。
そうした見かけの原記号に対する括弧の利用は、それらが本当の原記号ではないことをまさに指し示しているのだ。それに、括弧が何らかの自立的意義〔Bedeutung〕をもつなどとは、きっと誰も考えないだろう。〔5.4611〕


5.46	論理記号全般を適切に導入したならば、ひとはそれによってもう既にそれらのコンビネーションの総ての意味を導入し了えていることだろう。だから、「p ∨ q 」だけでなく「～(p ∨ ～q )」等々も既に。ひとはまたそれとともに既に可能な限りの括弧のコンビネーションの総ての効果を導入し了えていることだろう。そして、それとともに、本来の一般的原記号は「p ∨ q 」や「(x ) . fx 」等々ではなく、それらのコンビネーションがもつ最も一般的な形式であることが明らかになっていることだろう。
5.461	∨ や ⊃ のような論理的な見かけの関係は括弧を必要とする――本当の関係とは対照的に――という一見ささいな事実は重要だ。そうした見かけの原記号に対する括弧の利用は、それらが本当の原記号ではないことをまさに指し示しているのだ。それに、括弧が何らかの自立的意義〔Bedeutung〕をもつなどとは、きっと誰も考えないだろう。〔5.4611〕