Inicio > Humanidades > Filosofía > Filosofía: lógica > Logical Consequences
Logical Consequences

Logical Consequences

Logical Consequences

Luis M Augusto

21,85 €
IVA incluido
Disponible
Editorial:
College Publications
Año de edición:
2017
Materia
Filosofía: lógica
ISBN:
9781848902367
21,85 €
IVA incluido
Disponible
Añadir a favoritos
Sobre IBD

The 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.Both 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.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.

Artículos relacionados

  • Logic Made Easy
    Samuel James
    Have you ever found yourself struggling to make a clear decision, unsure whether an argument is valid, or baffled by a tricky puzzle? If so, then you’ve encountered the power of logic - the art of clear and structured thinking. While logic may seem abstract or intimidating at first, it’s a skill that anyone can develop, and the benefits are immense.This book is designed for any...
  • Master Logical Analysis with ChatGPT
    GPT Guru
    In a world increasingly driven by data and technology, the ability to think logically and make sound decisions is more crucial than ever. Logical analysis forms the bedrock of rational thinking, guiding us through complex problems and helping us arrive at reasoned conclusions. With the advent of Artificial Intelligence (AI), particularly models like ChatGPT, we now have unprece...
  • Argument, Sex and Logic
    Dov Gabbay / Gadi Rozenberg / Lydia Rivlin
    This book is intended for the formal argumentation community and for the sex offender therapist community.Both communities use logic.The message of this book is that the argumentation logic models are applicable for modelling and improving the practices of the sex offender therapist community and in parallel stimulate new logic models of argumentationDov Gabbay is a Professor a...
    Disponible

    30,70 €

  • Experience and the Ultimate Structure of Reality on Husserl’s Pursuit of Truth
    Claire Hill / Claire Ortiz Hill
    Experience and the Ultimate Structure of Reality, Husserl’s Pursuit of Truth follows the evolution of Edmund Husserl’s thought through those crucial years at the end of the nineteenth century and the beginning of the twentieth century when reason compelled the young doctor of mathematics to forsake empirical psychology and to strive to find the theories respecting the central t...
    Disponible

    24,14 €

  • Memorabilia (Royal Collector’s Edition) (Case Laminate Hardcover with Jacket)
    Henry Graham Dakyns / Xenophon
    The lengthiest and most famous of Xenophon’s Socratic writings, the Memorabilia is a defense of Socrates, offering edifying examples of Socrates’ conversations and activities. Xenophon argues that Socrates was innocent of the formal charges against him: failure to recognize the gods of Athens, introduction of new gods, and corruption of youth. He demonstrates through recounted ...
    Disponible

    47,81 €

  • You Are Your Thoughts
    Bernard Benson Sarfo
    Human beings are identifying by the way we act or think and move. Thinking makes us normal beings and differentiates us from other creatures. Without thinking there can be no movement and performance.So, thinking identifies our movement and our effort. In every movement shows the thought and the action. Our characters and behaviour are the keys which open the doors of identitie...
    Disponible

    12,75 €

Otros libros del autor

  • Formal Logic
    Luis M Augusto
    Logic 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 Entscheid...
    Disponible

    23,39 €

  • Languages, Machines, and Classical Computation
    Luis M Augusto
    Languages, machines, and classical computation is a new undergraduate course book on the conjoined subjects of Formal Languages and Automata & Computability and Complexity. By new, we mean more than its recency: It is (more) clearly structured around the Chomsky hierarchy, which acts as its backbone; It has an overall algorithmic approach, with many central algorithms thorou...
    Disponible

    19,19 €

  • Computational Logic
    Luis M Augusto
    Although 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 classical deductive computing with classical logic. The objective of the main text is to provide the reader with a t...
    Disponible

    33,65 €

  • Many-Valued Logics
    Luis M Augusto
    Many-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 moti...
    Disponible

    25,33 €