相信邏輯 xiāng xìn luó jí
研究和“相信”有關(guān)的邏輯問題的學(xué)說。現(xiàn)代邏輯的一個分支?!?a href="/hydcd/330387o.html">相信”是一種關(guān)系,一種由相信者與被相信命題兩者所形成的二元模態(tài)關(guān)系。相信邏輯要對這種關(guān)系提出起碼的、合理的條件,如一致性(“如果x相信p,則x不相信非p”)、衍推性(“如果x相信p,而且q明顯地是p的后承,則x相信q”)等等。
海量資源,盡在掌握
相信邏輯 xiāng xìn luó jí
研究和“相信”有關(guān)的邏輯問題的學(xué)說。現(xiàn)代邏輯的一個分支?!?a href="/hydcd/330387o.html">相信”是一種關(guān)系,一種由相信者與被相信命題兩者所形成的二元模態(tài)關(guān)系。相信邏輯要對這種關(guān)系提出起碼的、合理的條件,如一致性(“如果x相信p,則x不相信非p”)、衍推性(“如果x相信p,而且q明顯地是p的后承,則x相信q”)等等。