41 found
Order:
  1. Categories and foundational ontology: A medieval tutorial.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (1):1-56.
    Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3-34.
    The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Toward a general theory of knowledge.Luis M. Augusto - 2020 - Journal of Knowledge Structures and Systems 1 (1):63-97.
    For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Languages, machines, and classical computation.Luis M. Augusto - 2019 - London, UK: College Publications.
    3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6. 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.
  7. From symbols to knowledge systems: A. Newell and H. A. Simon's contribution to symbolic AI.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):29 - 62.
    A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
    Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  93
    Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):1-2.
    The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Unconscious representations 2: Towards an integrated cognitive architecture.Luis M. Augusto - 2014 - Axiomathes 24 (1):19-43.
    The representational nature of human cognition and thought in general has been a source of controversies. This is particularly so in the context of studies of unconscious cognition, in which representations tend to be ontologically and structurally segregated with regard to their conscious status. However, it appears evolutionarily and developmentally unwarranted to posit such segregations, as,otherwise, artifact structures and ontologies must be concocted to explain them from the viewpoint of the human cognitive architecture. Here, from a by-and-large Classical cognitivist viewpoint, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  13. What of multi- and interdisciplinarity? A (personal) case study.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):1-3.
    An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Unconscious knowledge: A survey.Luis M. Augusto - 2010 - Advances in Cognitive Psychology 6:116-141.
    The concept of unconscious knowledge is fundamental for an understanding of human thought processes and mentation in general; however, the psychological community at large is not familiar with it. This paper offers a survey of the main psychological research currently being carried out into cognitive processes, and examines pathways that can be integrated into a discipline of unconscious knowledge. It shows that the field has already a defined history and discusses some of the features that all kinds of unconscious knowledge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  15. 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Unconscious representations 1: Belying the traditional model of human cognition.Luis M. Augusto - 2013 - Axiomathes 23 (4):1-19.
    The traditional model of human cognition (TMHC) postulates an ontological and/or structural gap between conscious and unconscious mental representations. By and large, it sees higher-level mental processes as commonly conceptual or symbolic in nature and therefore conscious, whereas unconscious, lower-level representations are conceived as non-conceptual or sub-symbolic. However, experimental evidence belies this model, suggesting that higher-level mental processes can be, and often are, carried out in a wholly unconscious way and/or without conceptual representations, and that these can be processed unconsciously. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  87
    Transitions Versus Dissociations: A Paradigm Shift in Unconscious Cognition.Luis M. Augusto - 2018 - Axiomathes (3):269-291.
    Since Freud and his co-author Breuer spoke of dissociation in 1895, a scientific paradigm was painstakingly established in the field of unconscious cognition. This is the dissociation paradigm. However, recent critical analysis of the many and various reported dissociations reveals their blurred, or unveridical, character. Moreover, we remain ignorant with respect to the ways cognitive phenomena transition from consciousness to an unconscious mode. This hinders us from filling in the puzzle of the unified mind. We conclude that we have reached (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. The van Wijngaarden grammars: A syntax primer with decidable restrictions.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (2):1-39.
    Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Albertus Magnus and the emergence of late medieval intellectualism.Luis M. Augusto - 2009 - Mediaevalia: Textos E Estudos 28 (28):27-43.
    On how medieval philosophy is not (only) theology.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. Who's Afraid of Idealism?: Epistemological Idealism From the Kantian and Nietzschean Points of View.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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22. Fuzzy Networks for Modeling Shared Semantic Knowledge.Farshad Badie & Luis M. Augusto - 2023 - Journal of Artificial General Intelligence 14 (1):1-14.
    Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  92
    Putting the horse before the cart: A pragmatist analysis of knowledge.Luís M. Augusto - 2011 - Trans/Form/Ação 34 (2):135-152.
    The definition of knowledge as justified true belief is the best we presently have. However, the canonical tripartite analysis of knowledge does not do justice to it due to a Platonic conception of a priori truth that puts the cart before the horse. Within a pragmatic approach, I argue that by doing away with a priori truth, namely by submitting truth to justification, and by accordingly altering the canonical analysis of knowledge, this is a fruitful definition. So fruitful indeed that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. The competition for knowledge: Shades of gray and rules of thumb.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):50 - 62.
    All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. A Little Idealism Is Idealism Enough: A Study on Idealism In Aristotle’s Epistemology.Luis M. Augusto - 2006 - Idealistic Studies 36 (1):61-73.
    Given the evidence available today, we know that the later Middle Ages knew strong forms of idealism. However, Plato alone will not do to explain some of its features. Aristotle was the most important philosophical authority in the thirteenth and fourteenth centuries, but until now no one dared explore in his thought the roots of this idealism because of the dogma of realism surrounding him. I challenge this dogma, showing that the Stagirite contained in his thought the roots of idealist (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. To be or not to be informed, that is the question of O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):3-49.
    The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking.Farshad Badie & Luis M. Augusto - 2022 - MDPI AI 3:353–370.
    Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. JKSS and Paul Feyerabend.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):1-2.
    In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Accommodating unconscious beliefs.Luis M. Augusto - 2010 - Princípios 17 (28):129-154.
    More often than not, theories of belief and of belief ascription restrict themselves to conscious beliefs, thus obliterating a vast part of our mental life and offering extremely incomplete, unrealistic theories. Indeed, conscious beliefs are the exception, not the rule, as far as human doxastic states are concerned, and a naturalistic, realistic theory of knowledge that aspires to completeness has to take unconscious beliefs into consideration. This paper is the elaboration of such a theory of belief.
     
    Export citation  
     
    Bookmark  
  31. Eckhart's Bilder.Luís M. Augusto - 2008 - Princípios 15 (24):167-186.
    Eckhart’s doctrine of the bilder is highly original not so much for containing new elements as for the conciliation it achieved among sources at first sight incompatible; these sources can be reduced to three main ones: Plato, Aristotle, and Christian thought. In this paper, I show that Eckhart’s doctrine of the bilder is simultaneously a) an Aristotelian epistemic recreation of Plato’s doctrine of ideas, and b) a Christian ontological recreation of Aristotle’s doctrine of cognition. As such, it is a technical (...)
     
    Export citation  
     
    Bookmark  
  32. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new 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 volume, we elaborate on classical deductive computing with classical logic. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  65
    Do unconscious beliefs yield knowledge?Luis M. Augusto - 2009 - Revista Filosófica de Coimbra 18 (35):161-184.
    This paper defends the view that a correct analysis of knowledge must take empirical data into consideration. The data here provided is from experimental psychology, namely from phenomena involving unconscious cognition.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  19
    Eckhart and the ‘unconscious’.Luis M. Augusto - 2008 - Revista Filosófica de Coimbra 17 (33):159-167.
  35. Freud, Jung, Lacan: Sobre o inconsciente.Luís 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. 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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Lógicas multivalentes. Uma introdução matemática e computacional.Luis M. Augusto - 2016 - Dissertation, Universidade Aberta
    This is a mathematical and computational intro to many-valued logics. The approach is mostly mathematical, namely algebraic (via the notion of logical matrix) and computational (via the satisfiability problem). An automated calculus -- the signed resolution calculus for many-valued logics -- is elaborated on.
     
    Export citation  
     
    Bookmark  
  39. 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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  60
    Teodorico de Freiberg: tratado sobre e a origem das coisas categoriais.Luis M. Augusto - 2012 - Revista Filosófica de Coimbra 21 (42):607-648.
    Translation from the Latin into Portuguese, with extensive introduction and notes, of Dietrich of Freiberg's De origine rerum praedicamentalium, Chapter 5. This text, a late medieval treatise on reality and human cognition (or human cognition and reality), is a particularly hard nut to crack; hence my having translated it (O.K., I also enjoyed the Latin part).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  36
    (1 other version)Teodorico de Freiberg: tratado sobre a origem das coisas categoriais.Luis M. Augusto - 2011 - Revista Filosófica de Coimbra 20 (40):507-552.
    Translation from the Latin into Portuguese, with extensive introduction and notes, of Dietrich of Freiberg's De origine rerum praedicamentalium, Chapters 1 and 2. This text, a late medieval treatise on reality and human cognition (or human cognition and reality), is a particularly hard nut to crack; hence my having translated it (O.K., I also enjoyed the Latin part).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation