Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.

Journal of Knowledge Structures and Systems 3 (4):1-37 (2022)
  Copy   BIBTEX


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 of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic and Constructivism: A Model of Terminological Knowledge.Farshad Badie - 2020 - Journal of Knowledge Structures and Systems 1 (1):23-39.
A Formal Ontology for Conception Representation in Terminological Systems.Farshad Badie - 2020 - In Mariusz Urbański, Tomasz Skura & Paweł Łupkowski (eds.), Reasoning: Logic, Cognition, and Games. pp. 137-156.
An Occurrence Description Logic.Farshad Badie & Hans Götzsche - forthcoming - Logical Investigations:142-156.
Formal operations and simulated thought.John-Michael Kuczynski - 2006 - Philosophical Explorations 9 (2):221-234.
A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
What is Formal in Formal Semantics?Jan Woleński - 2004 - Dialectica 58 (3):427-436.
What is formal in formal semantics?Jan Woleński - 2004 - Dialectica 58 (3):427–436.
Towards Contingent World Descriptions in Description Logics.Farshad Badie - 2020 - Logic and Logical Philosophy 29 (1):115-141.
Talking about Trees and Truth-Conditions.Reinhard Muskens - 1991 - Journal of Logic, Language and Information 10 (4):417-455.
Talking about trees and truth-conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.


Added to PP

310 (#57,638)

6 months
172 (#13,253)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Luis M. Augusto
Independent Scientist
Farshad Badie
Aalborg University

Citations of this work

No citations found.

Add more citations

References found in this work

Physical symbol systems.Allen Newell - 1980 - Cognitive Science 4 (2):135-83.
Categories and foundational ontology: A medieval tutorial.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (1):1-56.
Mental models in cognitive science.P. N. Johnson-Laird - 1980 - Cognitive Science 4 (1):71-115.

View all 11 references / Add more references