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. (shrink)

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 (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

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 (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

al-juzʼ al-awwal. Muḥāwalāt ʻulūm al-insān wa-manahajuhā fī fahm al-insān -- al-juzʼ al-thānī. Madākhil al-fikr wa-al-thaqāfah fī fahm al-insān -- al-juzʼ al-thālith. Muqārabāt ʻilm al-insān al-mutakhaṣṣiṣ fī fahm al-insān wa-maʻālim taʼsīs al-badīl, qirāʼah fī ʻilm al-Anthrūbūlūjiyā al-ḥadīth.

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

Authoritative and comprehensive interpretation of the Scottish philosopher's writings on religion.

Ce livre montre comment Levinas thématise la rencontre de la pensée juive et de la philosophie grecque. Étant donné que sa philosophie s'intéresse à des thèmes touchant aussi bien la sensibilité du judaïsme que du christianisme, ce livre voudrait reconsidérer les enjeux et les conséquences de la pensée de Levinas dans le dialogue judéo-chrétien d'aujourd'hui.

The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ‘functional possibility’ and ‘functional necessity’ in DL world descriptions and (ii) logically and terminologically annotate DL world descriptions based on functional contingents. The most significant contributions of this research are the logical characterisation (...) and terminological analysis of functional contingents in DL world descriptions. The ultimate goal is to investigate how modal operators can – logically and terminologically – be expressed within DL world descriptions. (shrink)

Ang kolektibong sanaysay na ito ay nagtatasa sa kalagayan at estado ng edukasyong pansining biswal sa mga piling pamantasan sa Pilipinas. Sakop ng papel ang mga sumusunod na paaralan: Politeknikong Unibersidad ng Pilipinas, De La Salle-Lipa, Mindanao State UniversityIligan Institute of Technology, at Notre Dame of Marbel University. Dalawang tanong ang tinangkang sagutin ng papel: Una, ano ang estado ng edukasyong pansining biswal sa mga piling pamantasan sa Pilipinas? Pangalawa, ano-ano ang mga posibleng solusyon sa mga suliranin na nakahahadlang sa (...) patuloy na pag-unlad ng edukasyong pansining biswal? Isinagawa ang panunuring dokumentaryo at pakikipanayam sa mga tagapangasiwa ng sining kultural at pangakademiko. Upang masagot at matalakay nang lubos ang katanungan, ang mga may-akda ay nagkaroon ng tuon sa dalawang parametro: panloob (pamamahalang pang-akademiko tulad ng pagtatalaga ng guro, paghahanda sa mga kagamitan at kasanayan,at kawalan ng tuon sa edukasyong pansining) at panlabas (suporta mula sa mga institusyong nasa labas ng pamantasan). Sa dulo ng papel, natuklasan ang mga karaniwang suliranin na kinahaharap ng mga pamantasang sakop ng papel-pananaliksik na ito; may mga payak na rekomendasyon ding pinanukala ang papel. (shrink)

Ceci n’a rien d’un texte référencé, documenté par de multiples citations et connaissances littéraires ou mythologiques accumulées : ce n’est que l’expression de relations humaines, pathétiques ou tragiques dérivant au gré du besoin de l’enfant... à tout prix.Fabriquer une vie, transmettre un peu de soi – en duplication de deux unités – dépasse toutes les..

I have supposed that we need a formal system to represent and explain humans' conceptions of the world. According to this research, such a formal system is representable based on a Conception Language (CL) that is a terminological knowledge representation formalism. In this research, I will offer a formal ontology for conception representation in terminological systems. Such a CL-based ontology will specify the conceptualization of humans' conceptions as well as of the effects of their conceptions on the world.

Providing more human-like concept learning in machines has always been one of the most significant goals of machine learning paradigms and of human-machine interaction techniques. This article attempts to provide a logical specification of conceptual mappings from humans’ minds into machines’ knowledge bases. We will focus on the representation of the mappings (transformations) relying on First-Order Predicate Logic. Additionally, the structure of concepts in the common ground between humans and machines will be analysed. It seems quite necessary to pay attention (...) to the philosophy of constructivism and constructivist models of knowing. This research constructs a conceptual ground for expressing and analysing concepts in the common ground between humanistic and informatics sciences and in the context of human-machine interplays. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception expressions (...) based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

In this research constructivist epistemology provides a ground for conceptual analysis of concept construction, conception production, and concept learning processes. Relying on a constructivist model of knowing, this research will make an epistemological and logical linkage between concepts and predicates.

This article attempts to make a conceptual and epistemological junction between human learning and machine learning. I will be concerned with specifying and analysing the structure of concepts in the common ground between a concept-based human learning theory and a concept-based machine learning paradigm. I will focus on (i) humans’ conceptual representations in the framework of constructivism (as an educational theory of learning and model of knowing) and constructionism (as a theory for conceptualising learning) and (ii) concept representations in the (...) framework of inductive concept learning (as an inductive machine learning paradigm). The results will support figuring out the most significant key points for constructing a conceptual linkage between a human learning theory and a machine learning paradigm. Accordingly, I will construct a conceptual ground for expressing and analysing concepts in the common ground of human and informatics sciences and in the context of human-machine interplays. (shrink)

This research works within the framework of constructivist learning (based on constructivist epistemology) and examines learning as an activity of construction, and it posits that knowledge acquisition (and learning) are transformative through self-involvement in some subject matter. Thus it leads, through this constructivism to a pedagogical theory of learning. I will mainly focus on conceptual and epistemological analysis of humans’ conceptualisations based on their own mental objects (schemata). Subsequently, I will propose an analytical specification of humans’ conceptualisations and understandings over (...) their mental structures in the framework of constructivism, and I will clarify my logical [and semantic] conceptions of humans’ concept understandings. This research focuses on the philosophy of education and on logics of human learning. It connects with the topics ‘Cognition in Education’ and ‘Mental Models’. (shrink)

The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Taking into account quantified and qualified informative data, (...) I speak here of quantified and qualified knowledge structures. (shrink)

The multilevel conversational exchanges between a mentor and a learner could be seen as a radical constructivist account of their comprehensions. The process of knowledge construction could be realised to have significant importance in the context of mentor-learner interactions. The most important fundamental is that ‘the conversational exchanges between mentors and learners ask questions and give answers concerning their individual conceptions, comprehensions and reasonings’. These questions and answers are the main building blocks of the ‘Relations’ between mentors and learners. In (...) this article, I will employ Predicate Logic in order to focus on the relationships between learners and mentors. This research will—conceptually and logically—be concerned with [formal] semantic analysis of mentoring-learning relationships in the context of constructivist interactions. The conclusions will shed light on how a [formal] semantics for constructivist interactions is established. (shrink)

This research provides a contextual description concerning an existential and structural analysis of ‘Relations’ between human beings and machines. Subsequently, it will focus on the conceptual and epistemological analysis of (i) my own semantics-based framework [for human meaning construction] and of (ii) a well-structured machine concept learning framework. Accordingly, I will, semantically and epistemologically, focus on linking those two frameworks for logical analysis of concept learning in the context of human-machine interrelationships. It will be demonstrated that the proposed framework provides (...) a supportive structure over the described contextualisation of ‘relations’ between human beings and machines within concept learning processes. (shrink)

Regarding constructivism as a learning philosophy and/or a model of knowing, a person (learner or mentor) based on her/ his preconceptions and on personal knowings could actively participate in an interaction with another person (learner or mentor) in order to construct her/his personal knowledge. In this research I will analyse 'meaning construction' within constructivism. I will focus on a semantic loop that the learner and mentor as intentional participants move through and organise their personal constructed conceptions in order to construct (...) meanings and produce their individual meaningful comprehensions. Subsequently, I will provide a semantic framework for analysing the meaning construction based on personal knowings and personal conceptions within constructivist interactions. This research could propose a new scheme for interpretation based on semantics and on interaction. (shrink)

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations between symbolic (...) logic and Occurrence Logic. There will be a special need to focus on arguments based on symbolic occurrence logic. The interrelationships and dependencies between symbolic logic and Occ Log could be conducive to an approach that can express and analyse ‘the occurrences of the world’s descriptions based on various logical principles at different moments’. Symbolic Occ Log checks the occurrence conditioning and the priority of occurrences by employing occurrence values. I shall conclude that the desired approach could gradually support me in providing a truth-functional independent first-order predicate calculus that could work on semantic analysis of different propositions within world descriptions. (shrink)

Logical analysis of the applicability of nominals (which are introduced by hybrid logic) in the formal descriptions of the world (within modern knowledge representation and semantics-based systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific [temporal and/or spacial] states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in description logic (DL) and a nominal can be related to each other?’. Based (...) on my assumption that nominals can support more adequate identification of the world in DL, this paper will deal with the concept of ‘world identification’. Accordingly, based on a logical-terminological analysis of nominals, the paper will analyse hybridised fundamental world descriptions. The research will finally reach the idea that we can have a hybrid description logic based on the analysed concepts. (shrink)

Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expressions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form of (...) their symbols). I attempt to logically (and using ????LSYM) analyse symbolic conceptions in terminological systems. ????LSYM is an assertional fragment of my developed Conception Language (????L), which is utilised as a formal-logical system for representing and explicating agents’ conceptions of the world. Keywords: assertional logic; cognitive agent; knowledge agent; conception language; conception; symbol; symbolic conception. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, OccL is (...) a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

This research employs Description Logics in order to focus on logical description and analysis of the phenomenon of ‘concept understanding’. The article will deal with a formal-semantic model for figuring out the underlying logical assumptions of ‘concept understanding’ in knowledge representation systems. In other words, it attempts to describe a theoretical model for concept understanding and to reflect the phenomenon of ‘concept understanding’ in terminological knowledge representation systems. Finally, it will design an ontology that schemes the structure of concept understanding (...) based on the proposed semantic model. (shrink)

The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Taking into account quantified and qualified informative data, (...) I speak here of quantified and qualified knowledge structures. (shrink)

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

In this research, Description Logics (DLs) will be employed for logical description, logical characterisation, logical modelling and ontological description of concept understanding in terminological systems. It’s strongly believed that using a formal descriptive logic could support us in revealing logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing complexity of humans’ understanding has supported the formal analysis.

Description Logics (DLs) are a family of formal knowledge representation formalisms and the most well-known formalisms in semantics-based systems. The central focus of this research is on logical-terminological characterisation/analysis of possibilistic and probabilistic descriptions of events in DLs. Based on a logical characterisation of the concept of `being', this paper conceptualises events within DLs world descriptions. Accordingly, it deals with the concepts of `possibility of events' and `probability of events'. The main goal of this research is to investigate how possible (...) and probable notations can, terminologically and logically, be interpreted and analysed within DLs world descriptions. In other words, the research logically-terminologically investigates how possibilistic and probabilistic descriptions of events can be expressed in DLs. (shrink)

t. 1. La vision subjective du monde.--t. 2. Vers une connaissance objective.

De todas las antiguas potencias coloniales europeas en África, Francia es la única que cree que su prestigio internacional es inseparable de su influencia y presencia en este continente. El resultado es la adopción de una política africana basada en contradicciones y las redes clientelares y opacas a favor de sus intereses y empresas, en contra del desarrollo de los países africanos, y de su falta de preparación para hacer frente a los desafíos de la globalización. Ha multiplicado, en las (...) cinco últimas décadas, en este continente, las intervenciones militares y ha apoyado a las dictaduras afines. Ha llegado la hora de la segunda independencia para los países del África francófona. (shrink)

The central focus of this article is the epistemological assumption that knowledge could be generated based on human beings’ experiences and over their conceptions of the world. Logical characterisation of human inductive learning over their produced conceptions within terminological systems and providing a logical background for theorising over the Human Concept Learning Problem (HCLP) in terminological systems are the main contributions of this research. In order to make a linkage between ‘Logic’ and ‘Cognition’, Description Logics (DLs) will be employed to (...) provide a logical description and analysis of actual human inductive reasoning (and learning). This research connects with the topics ‘logic & learning’, ‘cognitive modelling’, and ‘terminological knowledge representation’. (shrink)

Contrary to Vaesen's argument that humans are unique with respect to nine cognitive capacities essential for tool use, we suggest that although such cognitive processes contribute to variation in tool use, it does not follow that these capacities arenecessaryfor tool use, nor that tool use shaped cognition per se, given the available data in cognitive neuroscience and behavioral biology.