Logic category: 1296 books

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly...

This book contains 20 essays tracing the work of David Zarefsky, a leading North American scholar of argumentation from a rhetorical perspective. The essays cohere around 4 general themes: objectives for studying argumentation rhetorically, approaches to rhetorical study of argumentation, patterns...

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems...

Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics. This concise, original text for a one-semester course on the subject is derived from courses that author Emily Riehl taught at Harvard and Johns Hopkins Universities. The treatment...

Edited under the auspices of the Association of Logic, Language and Information (FoLLI), this book constitutes the refereed proceedings of the 20th anniversary of the International Conference on Logical Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy, France,...

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty...

This book aims to provide a solution to the semantic paradoxes. It argues for a unified solution to the paradoxes generated by our concepts of denotation, predicate extension, and truth. The solution makes two main claims. The first is that our semantic expressions 'denotes', 'extension' and 'true'...

In real management situations, uncertainty is inherently present in decision making. As such, it is increasingly imperative to research and develop new theories and methods of fuzzy sets. Theoretical and Practical Advancements for Fuzzy System Integration is a pivotal reference source for the latest...

das Denken) to provide a new analysis of a largely unexplored area of the philosopher's work. Confronting Frege's deeply seated and widely emphasized anti-psychologism, Frege on Thinking and Its Epistemic Significance claims that the objective human science that Frege proposed can only be possible...

"The text is well written and easy to read. A great tool for any person interested in learning relations between functional analysis and model theory." — MathSciNet During the last two decades, methods that originated within mathematical logic have exhibited powerful applications to Banach...

The subject of the book is a reconsideration of the internalistic model of composition of the Platonic type, more radical than traditional, post-Aristotelian externalistic compositionism, and its application in the field of the ontology of quantum theory. At the centre of quantum ontology is nonseparability....

These two volumes contain all of my articles published between 1956 and 1975 which might be of interest to readers in the English-speaking world. The first three essays in Vol. 1 deal with historical themes. In each case I as far as possible, meets con­ have attempted a rational reconstruction which,...

“Hi, Joan. What’s the book you’re reading?”“A mathematics popularization. Do you want to download it?”“Mathematics! Forget it! I hated it in school. Couldn’t understand all those symbols.”“No, no, there are no formulas. This is about sets and logic....”“Oh, that. I know those....

To clarify and facilitate our inquiries we need to define a disquotational truth predicate that we are directly licensed to apply not only to our own sentences as we use them now, but also to other speakers' sentences and our own sentences as we used them in the past. The conventional wisdom is that...