Filter by
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only relat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-74772-9
- Collation
- XXXIII, 454
- Series Title
- Outstanding Contributions to Logic
- Call Number
- -
A Course on Set Theory
Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. Beginning with the theoretical fundamentals, the author proceeds to illustrate applications to topology, analysis and combinatorics, as well as to…
- Edition
- -
- ISBN/ISSN
- 9780511996351
- Collation
- -
- Series Title
- -
- Call Number
- -
A Combinatorial Theory of Possibility
David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach champion…
- Edition
- -
- ISBN/ISSN
- 9781139172226
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic in the Theory and Practice of Lawmaking
This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, soc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19575-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Toward Predicate Approaches to Modality
In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicate…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22556-2
- Collation
- VIII, 190
- Series Title
- Trends in Logic
- Call Number
- -
Modern Logic 1850-1950, East and West
“Modern Logic, 1850–1950, East and West is a memorial volume for the respected historian of logic Irving H. Anellis … . an excellent job identifying the distinctive features of this work in accessible terms and is able to reflect on its historical importance and broader social context from firsthand experience. … an excellent starting point for any historical study of this avenue of mat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24754-0
- Collation
- XIII, 258
- Series Title
- Studies in Universal Logic
- Call Number
- -
Modality, Semantics and Interpretations
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The cont…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-47196-8
- Collation
- VI, 188
- Series Title
- Logic in Asia: Studia Logica Library
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography