The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a ……続きを見る
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, developme……続きを見る
Originally published in 1937. A short account of the traditional logic, intended to provide the student with the fundamentals necessary for the specialized study. Suitable for working through indivi……続きを見る
Enterprise Level Security 2: Advanced Topics in an Uncertain World follows on from the authors’ first book on Enterprise Level Security (ELS), which covered the basic concepts of ELS and the discove……続きを見る
著者:William D. Brewer
出版社: Springer International Publishing
発売日: 2024年05月31日
Zu seinen Lebzeiten war Kurt Gödel außerhalb der Fachwelt der Mathematiker, Philosophen und theoretischen Physiker kaum bekannt. Zu Beginn seiner Karriere schuf er beeindruckende Arbeiten zur Vollst……続きを見る
著者:William Lane Craig
出版社: Springer International Publishing
発売日: 2017年10月04日
This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic ……続きを見る
著者:William D. Brewer
出版社: Springer International Publishing
発売日: 2022年10月10日
During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then fo……続きを見る
Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its c……続きを見る