l?亞里士多德邏輯：命題被認(rèn)為是肯定或否定主項(xiàng)具有謂項(xiàng)性質(zhì)的語句。

l?現(xiàn)代邏輯的命題包括兩層含義：

一、有意義陳述句的“內(nèi)容”或“意義”；

二、組成有意義陳述句的符號、標(biāo)識或聲音的圖式

l?不管是亞里士多德邏輯還是現(xiàn)代邏輯，命題都可以被理解成真值承擔(dān)者，均是二值定理

l?陳述常常被定義為或者為真或者為假的陳述句。從這個(gè)意義上講，陳述與命題具有相同意義

l?英國哲學(xué)家斯特勞斯認(rèn)為陳述與命題是有區(qū)別的，因?yàn)槿绻麅蓚€(gè)陳述句說的是同一件事，那么它們就做了同樣陳述。因此，他認(rèn)為，“陳述”這個(gè)術(shù)語可以是指一個(gè)語句，也可以是指一個(gè)語句所表達(dá)的事情。無論哪一個(gè)情形，它們都是真摯承擔(dān)者。

l?形式邏輯學(xué)家偏好使用命題，非形式邏輯學(xué)家偏好使用陳述。注：陳述是語句，是表面，命題強(qiáng)調(diào)一種思想；但語句背后一定有思想，所以兩者并非完全割裂

l?真是一種關(guān)系

1.?邏輯真——知道者與被知道者之間的關(guān)系

2.?道德真——知道者與他給出知識的外在表現(xiàn)的關(guān)系

3.?本體論意義上的真——對象存在本身與其上帝構(gòu)思觀念之間的關(guān)系

l?在語言學(xué)上，語句是一個(gè)自然語言表達(dá)式，是一個(gè)或一個(gè)以上語詞組成的語法單元和詞匯單元。所有語句都包括語義單元或邏輯要素。在數(shù)理邏輯中，語句被看作是不帶自由變元的合式公式。

l?命題是指必定有真假的語法正確的字符串

u?一個(gè)語句是命題必然滿足缺一不可的兩個(gè)條件，“二值定理”普遍有效

1.?首先必須是語法正確的字符串

2.?必需有真假

?

?

?