登入
選單
返回
Google圖書搜尋
Logic
H. C. M. de Swart
其他書名
Mathematics, Language, Computer Science, and Philosophy
出版
P. Lang
, 1993
主題
Computers / General
Computers / Information Theory
Language Arts & Disciplines / General
Mathematics / General
Philosophy / Logic
ISBN
3631454341
9783631454343
URL
http://books.google.com.hk/books?id=N0wdAQAAMAAJ&hl=&source=gbs_api
註釋
Depending on what one means by the main connective of logic, the «if ..., then ... », several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Gödel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.