scholarly journals Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition

Author(s):  
Vladimir O. Lobovikov

The paper aims at coping with the difficult problem of rationally uniting astonishingly huge amount of qualitatively different modal logics. For realizing this aim artificial languages of symbolic logic and the axiomatic methodology are used. Therefore, the method of constructing and studying formal logic inferences within the axiom system under investigation is exploited systematically. Inventing and elaborating a hitherto not-considered axiomatic system of epistemology uniting normal and not-normal modal logics is the new nontrivial scientific result of this work. History of philosophy and systematical philosophy, formal ethics and formal aesthetics, philosophical epistemology and analytical theology, philosophy of law and philosophy of science are among the important fields of application of the nontrivial abstract-theoretic principles demonstrated in this paper. Using the above-indicated machinery the author has arrived to the following main conclusion: the famous philosophical principles of utilitarianism, hedonism, optimism, pragmatism, fideism, falsifiability, verifiability, “Hume’s Guillotine”, “naturalistic fallacies” et al have not absolutely indefinite (unlimited) but quite definite (limited) sphere of relevant applicability; the precise formal definition of the border-line of mentioned sphere of relevance is the axiomatic one submitted and discussed in the paper. This general conclusion is instantiated in the text by several particular conclusions concerning explication and clarification of specific philosophical ideas and principles, for example, the one of kalokagathia. The author concludes that constructing and investigating the axiomatic systems of universal philosophical epistemology is indispensable for adequate representing human knowledge in artificial intellectual systems, for instance, in autonomous AI‑robots

Author(s):  
S. M. Mostova

The article deals with the linguistic study of discourse which is based on the material of «Dia- ries» by O. Gonchar. In the focus of this research, diary entries are established as the projection and reflection of the linguistic personality of the writer. The process of keeping a diary is considered as the communicative value of text writing. Therefore, the entries reflect the results and characteristics of Gonchar’s communicative activity. The reflection of the word appears as a writer’s artistic work that absorbs the philosophy of his time, his aspiration and cultural experience. Moreover, the linguistic reading of the diary discourse reveals the axiсological perception of the reality, verbalized in the word. As noted by I. Sirko, in the Ukrainian linguistic culture only in the second half of the 20th century – at the beginning of the XXI century dia- ries became a form of personal expression. Due to the philological achievements, it is known that diary and diary activity form the discourse. If to quote the definition of discourse by N. Arutyunova, then discourse is a text immersed in life. Ac- cording to Y. Stepanov, the phenomenon of discourse is the proof of the thesis «Language is the home of the spirit» and, to some extent, the thesis «Language is the home of being». So keeping a diary is a kind of communicative activity. The concept of the diary accurately reflects the specifics of its keeping – a kind of activity that is implemented every day. Linguistic study of the diary’s discourse involves a variety of approaches, including 1) modeling of diary activity, 2) the selection of typical cases of diary writing and the main tendencies characterizing diary texts; 3) description and characterization of diary texts in the unity of language, psycholinguistic, cultural, extra-linguistic circumstances, which influenced the subject and led to creativity. In the diary discourse, we can trace the activities of the author in the role of «figure», the role of «chronicler», the role of «carrier of the psychological state», the role of «the one who writes». This is due to the wide possibilities of the diary. Naturally, in each case, these roles are individual. For example, O. Gonchar realizes himself in several different roles, which is reflected in the numerous entries. He includes all the information, such as drafts of letters, scenes of works, heard jokes or stories, interesting facts, personal or other observations, thoughts which the author consid- ered to be deserving for certain reasons to save. O. Gonchar is endowed with a degree of freedom in his communicative activity. He is free not only in the choice of lexical and syntactical means but also in the choice of topics (events) for a diary entry, as well as in measures of detail, describing a particular event. Thus, a diary is the prism of the vision of the writer’s world, the history of his experience and the formation of the author as a person. In addition, it is important to notice that the records often cover the entire life of the author, which allows us to trace the evolution of the linguistic personality, reconstruct the content of its worldview. In this way, diaries provide informational and communicative values, appear as a projection of the linguistic personality of the writer and reflection of the author’s language.


Dialogue ◽  
1992 ◽  
Vol 31 (3) ◽  
pp. 509-516 ◽  
Author(s):  
Ludger Kaczmarek

Semiotics, the age-old investigation of signs, is still striving for acknowledgement as a scientific (and academic) discipline. Though the ‘linguistic turn’ in the philosophical disciplines seemed to be followed by a ‘semiotic turn’ in many sciences during the 1970s, efforts were not crowned by great success. When seen from a certain distance, a definition of semiotics as a discipline can only be obtained from its history. Research into the sources of the human pre-occupation with signs, and with concepts or conceptions of signs, is really desirable and even necessary when a field of considerable scientific interest at the brink of being awarded the rank of a discipline runs the risk of getting lost between the unificationism of the Morris-type and the elegance of pseudo-mathematical empty classificationism (such as demonstrated in the late Max Bense's Stuttgart School) on the one side, and profitable exploitation of the sign's popularized design qualities on the other.


2021 ◽  
Vol Volume 17, Issue 3 ◽  
Author(s):  
Carlos Areces ◽  
Raul Fervari

In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the hybrid operator @. Then, we introduce an axiomatic system for HXPath=, and we prove it is strongly complete with respect to the class of abstract data models, i.e., data models in which data values are abstracted as equivalence relations. We prove a general completeness result similar to the one presented in, e.g., [BtC06], that ensures that certain extensions of the axiomatic system we introduce are also complete. The axiomatic systems that can be obtained in this way cover a large family of hybrid XPath languages over different classes of frames, for which we present concrete examples. In addition, we investigate axiomatizations over the class of tree models, structures widely used in practice. We show that a strongly complete, finitary, first-order axiomatization of hybrid XPath over trees does not exist, and we propose two alternatives to deal with this issue. We finally introduce filtrations to investigate the status of decidability of the satisfiability problem for these languages.


Diacronia ◽  
2019 ◽  
Author(s):  
Valentin Dragoș Biro

Language is subjected to a double definition process: by the static reality characteristic of the system, due to inertia to change, and by its permanent character regarding the language acts producing, through speaking. Because it is under the pressure of concrete communicative needs, a language is subjected to a continuous dynamics assuring the language progress or regress, both aspects, together with neutral modifications, actually meaning, in the Darwinist perspective, the language evolution. The article, thus, comes with a necessary conceptual delimitation between the language evolution and progress, on the one hand, but also between causes which determine the evolution and the evolution in itself, as a process. Linguistics has faced radically different approaches on its topic of study, natural human language; the perspectives on language differ from the relationships network which make the elements creating one language or another to get the quality of systems, to a product of man’s will and freedom, because the language cannot be separated from the speakers’ freedom, or to the attention paid to meanings, these being always socially constituted, based on the interactions between a community members. In such a diversity where divergence dominates convergence, this article intends, in subsidiary, to fix, from an diachronic perspective, the definition of linguistics as being, in fact, the history of evolutions the language has met since its beginnings.


Author(s):  
Alison Jones ◽  
Brenda Sufrin ◽  
Niamh Dunne

This chapter discusses the regime for controlling mergers which have an ‘EU dimension’ under the European Union Merger Regulation (EUMR). The chapter examines: the purposes of merger control; the history of the EUMR; the scheme of the EUMR and the concept of the ‘one-stop shop’; jurisdiction under the EUMR, including the definition of a ‘concentration’ and what amounts to an ‘EU dimension’; procedure, including Phase I and Phase II proceedings; the substantive appraisal of horizontal, and non-horizontal mergers under the EUMR and the test of significantly impeding effective competition (SIEC); EUMR statistics; appeals; and international issues.


2001 ◽  
Vol 31 (1) ◽  
pp. 22-38 ◽  
Author(s):  
Renaud Barbaras

AbstractThe course on nature coincides with the re-working of Merleau-Ponty's breakthrough towards an ontology and therefore plays a primordial role. The appearance of an interrogation of nature is inscribed in the movement of thought that comes after the Phenomenology of Perception. What is at issue is to show that the ontological mode of the perceived object - not the unity of a positive sense but the unity of a style that shows through in filigree in the sensible aspects - has a universal meaning, that the description of the perceived world can give way to a philosophy of perception and therefore to a theory of truth. The analysis of linguistic expression to which the philosophy of perception leads opens out onto a definition of meaning as institution, understood as what inaugurates an open series of expressive appropriations. It is this theory of institution that turns the analysis of the perceived in the direction of a reflection on nature: the perceived is no longer the originary in its difference from the derived but the natural in its difference from the instituted. Nature is the "non-constructed, non-instituted," and thereby, the source of expression: "nature is what has a sense without this sense having been posited by thought." The first part of the course, which consists in a historical overview, must not be considered as a mere introduction. In fact, the problem of nature is brought out into the open by means of the history of Western metaphysics, in which Descartes is the emblematic figure. The problem consists in the duality - at once unsatisfactory and unsurpassable - between two approaches to nature: the one which accentuates its determinability and therefore its transparency to the understanding; the other which emphasizes the irreducible facticity of nature and tends therefore to valorize the view-point of the senses. To conceive nature is to constitute a concept of it that allows us to "take possession" of this duality, that is, to found the duality. The second part of the course attempts to develop this concept of nature by drawing upon the results of contemporary science. Thus a philosophy of nature is sketched that can be summarized in four propositions: 1) the totality is no less real than the parts; 2) there is a reality of the negative and therefore no alternative between being and nothingmess; 3) a natural event is not assigned to a unique spatio-temporal localization; and 4) there is generality only as generativity.


2015 ◽  
Vol 9 (1) ◽  
pp. 167-180 ◽  
Author(s):  
DAVID R. GILBERT ◽  
GIORGIO VENTURI

AbstractWe analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem on the basis of a translation between normal modal logics and their reflexive-insensitive counterparts. Lastly, we provide a sufficient semantic condition describing when a similarly general soundness result is also available.


2018 ◽  
Vol 5 (2) ◽  
pp. 91-98 ◽  
Author(s):  
Olena Bevz

The article is devoted to the definition of the legal nature of the Emerald network, as well as to the issues of the formation of the Emerald Network in the context of Ukraine's international obligations. In particular, the history of the appearance of the term “Emerald Network” in international acts, the criteria and the procedure for designating territories of the Emerald Network is investigated. In addition, the article deals with the problems connected with the legal provision of the formation of the Emerald Network in Ukraine. It is emphasized that the adoption of the relevant legislation is foreseen by the international obligations of Ukraine as a Member State of Convention on the Conservation of European Wildlife and Natural Habitats and Association Agreement between the European Union and its Member States, of the one part, and Ukraine, of the other part. The provisions of the draft Law of Ukraine "On the Territories of the Emerald Network” are analyzed.


2019 ◽  
pp. 149-161
Author(s):  
Luciano Floridi

In this chapter, the principle of information closure (PIC) is defined and defended against a sceptical objection similar to the one discussed by Dretske in relation to the principle of epistemic closure. If successful, given that PIC is equivalent to the axiom of distribution and that the latter is one of the conditions that discriminate between normal and non-normal modal logics, one potentially good reason to look for a formalization of the logic of ‘S is informed that p’ among the non-normal modal logics, which reject the axiom, is also removed. This is not to argue that the logic of ‘S is informed that p’ should be a normal modal logic, but that it could still be, insofar as the objection that it could not be, based on the sceptical objection against PIC, has been removed. In other words, this chapter argues that the sceptical objection against PIC fails, so such an objection provides no ground to abandon the normal modal logic B (also known as KTB) as a formalization of ‘S is informed that p’, which remains plausible insofar as this specific obstacle is concerned.


2020 ◽  
Vol 32 (4) ◽  
pp. 543-556
Author(s):  
Jürgen R. Grote

AbstractThis paper adopts the wide definition of civil society, namely the one suggested by the EU. It includes all sorts of private collectives from producer groups, trade unions, care and common cause organizations, NGOs, to social and protest movements. Distinguishing between a structural (governance) and an actor-centred perspective (collective action) and, orthogonally, two levels of territorial complexity (the sub-, and the supranational), the history of the relationship between the EU and civil society is presented for the period of the past 35 years. It turns out that despite enormous efforts invested in the relationship from the part of both sides, and of many heroic declamations aimed at pathbreaking reform, the outcome tends to be relatively meagre and disenchanting both in institutional and organizational terms.


Sign in / Sign up

Export Citation Format

Share Document