12 found
Order:
See also
Luis M. Augusto
Independent Scientist
  1. Lost in Dissociation: The Main Paradigms in Unconscious Cognition.Luis M. Augusto - 2016 - Consciousness and Cognition 42:293-310.
    Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  88
    Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto - 2018 - London: College Publications.
    This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in computability and complexity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic. 2nd Ed.Luis M. Augusto - 2020 - London: College Publications.
    This is the 2nd edition of Computational logic. Vol. 1: Classical deductive computing with classical logic. This edition has a wholly new chapter on Datalog, a hard nut to crack from the viewpoint of semantics when negation is included.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Freud, Jung, Lacan: Sobre o inconsciente.Luis M. Augusto - 2013 - Universidade do Porto.
    Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Formal Logic: Classical Problems and Proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book 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 an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark  
  6.  36
    Knowledge & Logic: Towards a Science of Knowledge.Luis M. Augusto - manuscript
    Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  42
    Logic in Knowledge Representation and Reasoning: Central Topics Via Readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Languages, Machines, and Classical Computation.Luis M. Augusto - 2019 - London, UK: College Publications.
    2nd ed. A circumscription of the classical theory of computation building up from the Chomsky hierarchy.
    Download  
     
    Export citation  
     
    Bookmark  
  9.  18
    Medieval idealism: The epistemological idealism of the 13th-14th centuries.Luis M. Augusto - 2006 - Dissertation, Université Paris 4 - Sorbonne
    In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Many-Valued Logics. A Mathematical and Computational Introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. 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 motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  68
    Who's Afraid of Idealism?Luis M. Augusto - 2005 - University Press of America.
    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 M. Augusto explores epistemological idealism, 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Logical Consequences. Theory and Applications: An Introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. 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.
    Download  
     
    Export citation  
     
    Bookmark