{"title":"Luis M Augusto","description":null,"products":[{"product_id":"logical-consequences-book-luis-m-augusto-9781848902367","title":"Logical Consequences","description":"\u003cp\u003eThe theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.\u003c\/p\u003e\u003cp\u003eBoth deductive and non-deductive consequences are here discussed. The starting point is classical deductive consequence: Classical logic is the reference system, and the non-classical deductive systems are seen as extensions, deviations, or variations thereof. The discussion of non-classical deductive consequence focuses on many-valued, intuitionistic, modal, paraconsistent, and substructural consequences. The topic of non-deductive consequence is elaborated on from the viewpoints of abductive, inductive, and probabilistic logics. All in all, the major contemporary (classes of) logical systems are here discussed.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e The approach is mathematical in essence, and the mathematical background, mainly founded on order relations, is elaborated on thoroughly and in an accessible way for the non-mathematician.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51052636537105,"sku":"NIN9781848902367","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425518088465,"sku":"NLS9781848902367","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53020111601937,"sku":"GOR014698871","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53033342828817,"sku":"GOR014707906","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848902360.jpg?v=1751412433"},{"product_id":"many-valued-logics-book-luis-m-augusto-9781848902503","title":"Many-Valued Logics","description":"\u003cp\u003eMany-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic--as well as other non-classical logics--is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. \u003c\/p\u003e\u003cp\u003eThe main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize--which also means automate--decisions (i.e. reasoning) in many-valued logics. This, in turn, requires a mathematical foundation for these logics. This book provides both this mathematical foundation and this practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem(s) and automated deduction.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003eThe main text is complemented with a large selection of exercises, a plus for the reader wishing not only to learn about, but also to \u003cem\u003edo\u003c\/em\u003e something with, many-valued logics. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51052684968209,"sku":"NIN9781848902503","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52479411618065,"sku":"NLS9781848902503","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848902506.jpg?v=1750803280"},{"product_id":"formal-logic-book-luis-m-augusto-9781848903173","title":"Formal Logic","description":"\u003cp\u003eLogic is--arguably--all about proving, but proofs can be costly, often impossibly so, and today most are delegated to (partly) automatic provers, namely by so-called SAT solvers, software based on the (Boolean) satisfiability problem, or SAT. This is the dual of the (Boolean) validity problem, or VAL, at the core of the conception of the digital computer via Hilbert's \u003cem\u003eEntscheidungsproblem \u003c\/em\u003eand the Universal Turing Machine. While these problems--VAL significantly less so than SAT--feature in introductory logic textbooks aimed at computer science students, they are largely or wholly absent from textbooks targeting a mathematical or philosophical studentship. \u003c\/p\u003e\u003cp\u003e\u003cem\u003eFormal logic: Classic problems and proofs\u003c\/em\u003e corrects this--in our view--misguided state of affairs by providing the basics of formal classical logic from the central viewpoint of a formal, or computer, language that distinguishes itself from the other formal or computer languages by its ability to preserve truth, thus potentially providing solutions to decision problems formulated in terms of VAL and\/or SAT. This fundamental aspect of classical logic, truth-preservation, is elaborated on from three main formal semantics, to wit, Tarskian, Herbrand, and algebraic (Boolean) semantics, which, in turn, via the adequateness results for the standard first-order logic, underlie the main proof systems of direct and indirect, or refutation, proofs, associated to VAL and SAT, respectively.\u003c\/p\u003e\u003cp\u003eNot focusing on the history of classical logic, this book nevertheless provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is thus an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51052910641425,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51052912541969,"sku":"NIN9781848903173","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52089409995025,"sku":"NLS9781848903173","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848903170.jpg?v=1750899492"},{"product_id":"who-s-afraid-of-idealism-book-luis-m-augusto-9780761832973","title":"Who's Afraid of Idealism?","description":"In Who's Afraid of Idealism the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis Augusto explores epistemological idealism, which is at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel's, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128564478225,"sku":"NLS9780761832973","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780761832973.jpg?v=1757492049"},{"product_id":"computational-logic-book-luis-m-augusto-9781848902800","title":"Computational Logic","description":"\u003cp\u003eAlthough a number of recent technological applications require classical deductive computation with non-classical logics, many key technologies still do well-or exclusively, for that matter-with classical logic. In this first of a two-volume work, we elaborate on \u003cem\u003eclassical deductive computing with classical logic\u003c\/em\u003e. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing-a.k.a. formal languages and automata theory-and classical deduction with the classical first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eAs a complement to the mathematical-based exposition of the topics we offer the reader a very large selection of exercises. This selection aims at not only practice of discussed material, but also creative approaches to problems, for both discussed and novel contents, as well as at research into further relevant topics.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52537190318353,"sku":"NLS9781848902800","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53333823684881,"sku":"NIN9781848902800","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781848902800.jpg?v=1760677402"},{"product_id":"languages-machines-and-classical-computation-book-luis-m-augusto-9781848903005","title":"Languages, Machines, and Classical Computation","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52657811292433,"sku":"NLS9781848903005","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52756035633425,"sku":"NIN9781848903005","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781848903005.jpg?v=1762230645"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-luis-m-augusto.oembed","provider":"World of Books ","version":"1.0","type":"link"}