Shahāb ad-Dīn" Yahya ibn Habash ibn Amirak as-Suhrawardī, (also Shaikh al-Ishraq, Shaikh al-Maqtul) was founder of the illuminationist school (Ar. Hikmat al-ishraq; Pers. falsafaye ešrāqi ). Derived from “illumination,” a conventional translation of the Arabic term ishraq (lit. radiance, shining of the rising sun), “illuminationism” refers to the doctrine of the Ishraqiyyun, a school of philosophical and mystical thought of various Graeco-Oriental roots whose principles were propounded as an ancient “science of lights” (‘ilm al-anwar) . He chose this title to (...) distinguish his philosophical theory from mashshaī's philosophy; and he is one of the first philosophers to elaborate on an old tradition. His approach Adopted from Zoroastrian and Platonic ideas. In fact, he associates his science of lights principally with the names of Plato, Hermes, Empedokles, Pythagoras, and the ‘Oriental principle concerning light and darkness’ of the sages of ancient Iran. (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)

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)

Publication date: 26 January 2017 Source: Author: Abolfazl Mohammadi, Javad Momeni Angela Carter in her famous short story, The Bloody Chamber, depicts a protagonist whose identity seems to be a predetermined sign in a signifying loop from which she can make no escape. In the first part of our paper, we attempt to show how The protagonist’s ensuing psychological tension is aggravated by the conflict which she feels between her ideal ego and her ego-ideal and which leads her to (...) unrelenting introspection and interior dialogue with her existential states. Such interior dialogue provides the protagonist with an existential ground on which she empties all her life events of their presence by signifying them through Derridean Differance. Therefore, her interior dialogue results in non-identity in her subjectivization both in the realm of signs and of events. Then, we focus on the protaganist’s paradoxical urges spontaneously outflowed from within which, by resisting symbolization, provide her with the possibility of becoming what she thinks she has never been and allow for her moments of self-determination. Finally, we illustrate how such psychological odyssey takes shape in the Gothic setting which arouses, in Lacanian terminology, pre-symbolic tendencies and which involves the coincidence of Gothic horror with the horrors of social reality. (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)

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)

The aim of this paper is, firstly to explain Crispin Wright’s quandary view of vagueness, his intuitionistic response to sorites and the relation of borderline cases and bivalence, and, secondly assess the objections to his ideas.

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)

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)

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.

The sixteenth-century Cossacks became the favourite topic of Ukrainian authors of the nineteenth century who dealt with national and individual identity issues. Nikolai Gogol, the celebrated Russian author who had Ukrainian origin and was born in a Cossack village, wrote the epic romance of Taras Bulba, which narrated the story of Cossacks and their struggle for preserving their independence. While the work has been previously studied under the light of postcolonial theoretical framework, using the concepts developed by Homi Bhabha to (...) scrutinize the situation and the destiny of the two main hybrid characters, Taras Bulba’s sons, takes a step further and reveals the deeply ingrained anxiety and ambivalence in the Cossack mentality. The article focuses on the two main hybrid characters who choose divergent paths upon encountering the conflict brought to them by the imperial power. (shrink)

The exploration of laughter’s philosophical significance within the realm of performing arts, particularly the French classical theatre of the seventeenth century, reveals a profound connection to the comedic genre. This literary form, characterized by its gentle yet satirical nature, aims to critique and amend the behavioral and societal flaws of individuals. It often portrays a protagonist whose moral attributes and actions defy societal norms, depicted on stage in an exaggerated manner, amplified and interwoven with theatrical techniques such as verbal wit, (...) comedic behavior, and the humorous repetition of scenarios. Through this lens, comedic dialogue not only elicits laughter but also conveys an ethical message, emerging from the critique of society’s distasteful customs and pervasive misconceptions. The comic and humorous approach offers a fresh, conciliatory perspective on life, contrasting the somber, oppressive reality presented in tragedy, thus serving as a potent vehicle for engaging diverse social groups. This study briefly touches upon the history and evolution of the laughter element, or the comedic genre, within French literature of the sixteenth and seventeenth centuries. It delves into the critical issue and examines the techniques and performances that induce laughter in The Miser, extending the discussion to encompass the philosophy of laughter. (shrink)

The central idea upon which plays of Micheal Frayn are established is that a text or event is reborn and reconstructed every time it is recited or recalled. He sublimated history, physics, and various dramatic techniques into splendid drama to reflect upon the dilemmas thrown to the human in today’s world of indeterminacy. It will be explored how Frayn has plied the ‘uncertainty principle’ to drama with a distance from Becket and Brecht by analyzing three plays. Furthermore, his expressed perspective (...) on the Brechtian notion of the ‘alienation effect’ is discussed. The plays chosen for this article are Noises Off (1982), Audience (1991), and Copenhagen (1998). (shrink)

In this paper, we have tried to prove the lack of discretion by providing a logical and philosophical connection between the fundamental concept of a function in mathematics and one of Einstein's most exceptional relativity results, namely, the relativity of simultaneity. Then, by providing real examples of social experiences and philosophical interpretations of them, we propose another proof for lack of discretion.

Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a (...) fellow of Balliol College, Oxford, in 1966. Prior died on 6 October 1969 in Trondheim, Norway. After Prior’s death, many logicians and philosophers have analysed and discussed his approach to formal and philosophical logic. In particular, his contributions to modal logic, tense-logic and deontic logic have been studied. -/- In 1957, A.N. Prior proposed the three-valued modal logic Q as a ‘correct’ modal logic from his philosophical motivations, see Prior (1957). Prior developed Q in order to offer a logic for contingent beings, in which one could intelligibly and rationally state that some beings are contingent and some are necessary, see Akama & Nagata (2005). According to Akama & Nagata (2005), Q has a natural semantics. In other words, from the philosophical point of view, Q can be regarded as an ‘actualist’ modal logic. -/- This review article is a developed description of, and discussion on, ‘The System Q’ that is the fifth chapter of Prior (1957). In addition, in his logical analysis of ‘Time & Existence’ (that is the eights chapter of Prior (1967)), Prior has worked on system Q. Thus, Prior (1967) has also been very useful for this article. This article analyses the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions as well as semantic analysis. (shrink)

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)

Along with environmental pollutions, urban planning has been connected to public health. The research indicates that the quality of built environments plays an important role in reducing mental disorders and overall health. The structure and shape of the city are considered as one of the factors influencing happiness and health in urban communities and the type of the daily activities of citizens. The aim of this study was to promote physical activity in the main structure of the city via urban (...) design in a way that the main form and morphology of the city can encourage citizens to move around and have physical activity within the city. Functional, physical, cultural- social, and perceptual-visual features are regarded as the most important and effective criteria in increasing physical activities in urban spaces based on literature review. The environmental quality of urban spaces and their role in the physical activities of citizens in urban spaces were assessed by using the questionnaire tool and analytical network process (ANP) of structural equation modeling. Further, the space syntax method was utilized to evaluate the role of the spatial integration of urban spaces on improving physical activities. Based on the results, the consideration of functional diversity, spatial flexibility and integration, security, and the aesthetic and visual quality of urban spaces plays an important role in improving the physical health of citizens in urban spaces. Further, more physical activities, including motivation for walking and consequently, the sense of public health and happiness, were observed in the streets having higher linkage and space syntax indexes with their surrounding texture. (shrink)

Inspired by Farshad Zahedi’s audiovisual essay The Petrified Object and the Poetics of Time in Cinema, this article briefly presents three philosophical approaches to cinema’s ways of expressing time – as articulated by Bergson, Tarkovsky, and Deleuze – and questions how absolute time and chronological time are brought to a state of crisis by this modern form of art.