Modal Logic in Europe: 1930-1959
暫譯: 歐洲的模態邏輯:1930-1959
Cresswell, Max, Riche, Jacques
- 出版商: Birkhauser Boston
- 出版日期: 2026-05-02
- 售價: $5,440
- 貴賓價: 9.5 折 $5,168
- 語言: 英文
- 頁數: 316
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3032234743
- ISBN-13: 9783032234742
-
相關分類:
Computer-Science
無法訂購
相關主題
商品描述
This book explores the birth of modern modal logic, which offers a precise formalism for encoding the concepts of possibility and necessity within the fundamental logical formalism and for using them in conjunction with the preexisting set of logical operators. The editors of this volume have translated six foundational articles from the original German and French, three of which have never appeared in English before, and have provided a meticulous commentary on the texts, aiding the reader in understanding the theory. Furthermore, they introduce each article with a contextualization of the authors' lives and works, further enriching the collection. The original articles are by Oskar Becker, Mordchaj Wajsberg, Robert Feys, Arnould Bayart, and include the reproduction of an extract from Clarence I. Lewis's A Survey of Symbolic Logic. This book will be of interest to scholars and students interested in the historical origins of modal logic, its later developments and extensions and in deepening their knowledge of the conceptual and technical foundations of this crucial area of the field.
商品描述(中文翻譯)
本書探討了現代模態邏輯的誕生,該邏輯提供了一種精確的形式主義,用於編碼可能性和必要性這些概念,並將其與現有的邏輯運算子集合結合使用。這本書的編輯將六篇來自德文和法文的基礎文章翻譯而成,其中三篇文章在英文中從未出現過,並對文本提供了細緻的註解,幫助讀者理解理論。此外,他們還在每篇文章前引入了作者的生平和作品的背景介紹,進一步豐富了這本書的內容。原始文章的作者包括 Oskar Becker、Mordchaj Wajsberg、Robert Feys 和 Arnould Bayart,並包含了 Clarence I. Lewis 的《符號邏輯概述》中的一段摘錄。這本書將吸引對模態邏輯的歷史起源、其後發展和擴展感興趣的學者和學生,並加深他們對這一重要領域的概念和技術基礎的理解。
作者簡介
Max Cresswell was Emeritus Professor of Philosophy at the Victoria University of Wellington, Wellington, New Zealand. Jacques Riche is a Researcher in Computer Science at the Katholieke Universiteit, Leuven, Belgium.
作者簡介(中文翻譯)
麥克斯·克雷斯威爾是新西蘭威靈頓維多利亞大學的名譽哲學教授。 雅克·里舍是比利時魯汀大學的計算機科學研究員。