圖書標籤: 哲學 邏輯學 邏輯 形式句法 動態邏輯 nobutdunbuy lambda dynamic-logic
发表于2024-11-15
Language in Action pdf epub mobi txt 電子書 下載 2024
Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.
本學期選修《一階邏輯》的教材,Johan教授是當代邏輯學的領軍人物之一,是阿姆斯特丹大學地位很高的university professor 之一(一個大學隻有不到十個)。這本書是動態邏輯基礎讀物,內容非常詳細,詳細到囉嗦的地步。此書很有見地的內容是information update的思想,把邏輯作為篩選信息的條件與手段,是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀
評分本學期選修《一階邏輯》的教材,Johan教授是當代邏輯學的領軍人物之一,是阿姆斯特丹大學地位很高的university professor 之一(一個大學隻有不到十個)。這本書是動態邏輯基礎讀物,內容非常詳細,詳細到囉嗦的地步。此書很有見地的內容是information update的思想,把邏輯作為篩選信息的條件與手段,是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀
評分本學期選修《一階邏輯》的教材,Johan教授是當代邏輯學的領軍人物之一,是阿姆斯特丹大學地位很高的university professor 之一(一個大學隻有不到十個)。這本書是動態邏輯基礎讀物,內容非常詳細,詳細到囉嗦的地步。此書很有見地的內容是information update的思想,把邏輯作為篩選信息的條件與手段,是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀
評分本學期選修《一階邏輯》的教材,Johan教授是當代邏輯學的領軍人物之一,是阿姆斯特丹大學地位很高的university professor 之一(一個大學隻有不到十個)。這本書是動態邏輯基礎讀物,內容非常詳細,詳細到囉嗦的地步。此書很有見地的內容是information update的思想,把邏輯作為篩選信息的條件與手段,是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀
評分本學期選修《一階邏輯》的教材,Johan教授是當代邏輯學的領軍人物之一,是阿姆斯特丹大學地位很高的university professor 之一(一個大學隻有不到十個)。這本書是動態邏輯基礎讀物,內容非常詳細,詳細到囉嗦的地步。此書很有見地的內容是information update的思想,把邏輯作為篩選信息的條件與手段,是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀
評分
評分
評分
評分
Language in Action pdf epub mobi txt 電子書 下載 2024