We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

This essay aims to reconstruct and defend Pascal’s account of divine hiddenness. In the first section I explain Pascal’s view that divine hiddenness is primarily a function of human volitional aversion and only secondarily a result of God’s intentional action. In the following section I evaluate the primary sense of hiddenness by considering Pascal’s response to the objection that divine goodness requires and divine power makes possible God’s provision of evidence sufficient to overcome human volitional indisposition. While Pascal does think (...) it possible for God to provide such evidence, he argues that this would unjustly harm human freedom and endanger human intellectual understanding. I conclude by addressing a weaker form of the objection through consideration of the second sense of divine hiddenness and Pascal’s surprising view that God’s intentional “hiding” is in fact a progressively deeper entry into the particulars of human history. (shrink)

Despite the so-called ‘paradigm wars’ in many social sciences disciplines in recent decades, debate as to the appropriate philosophical basis for research in business ethics has been comparatively non-existent. Any consideration of paradigm issues in the theoretical business ethics literature is rare and only very occasional references to relevant issues have been made in the empirical journal literature. This is very much the case in the growing fields of cross-cultural business ethics and undergraduate student attitudes, and examples from these fields (...) are used in this article. No typology of the major paradigms available for, or relied upon in, business ethics has been undertaken in the wider journal literature, and this article addresses that gap. It contributes a synthesis of three models of paradigms and a tabulated comparison of ontological, epistemological and methodological assumptions in the context of empirical business ethics research. The author also suggests the likely (and usually unidentified) positivist paradigm assumptions underlying the vast majority of empirical business ethics research published in academic journals and also argues for an increased reliance on less positivist assumptions moving forward. (shrink)

SummaryThis article proposes to clarify the problem of interpreting Lesniewski's ontology. A distinction is made between two kinds of interpretation: substitutional and “natural”. Substitutional interpretation is shown to involve difficulties and limitations. A “natural” ontology, the major principles of which are presented here, is shown to be of considerable interest.

The issues related to the multilingual situation in modern Bashkiria are discussed in the article, configuration of multilingualism is given on the basis of extensive and representative data of the latest census. Multilingual issues are discussed in the context of the social functions of philology, as well as a set of measures of a regulatory nature undertaken by the government and society to ensure social, ethno-cultural and inter-ethnic stability. The author believes that the language situation with multilingualism depends on a (...) number of sociolinguistic variables, but the invariant feature of all modifications of multilingualism in Bashkiria should be considered as a factor of the maximum level of language loyalty towards the Russian language. This factor provides a comprehensive and decisive impact on the conditions and status of multilingualism in the republic. (shrink)

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

The Concept of Humanitarian Development of Ukraine till 2020: Religious Proposals to Plan-Prospectus.

For the current, turning point in the history of Ukraine characterized by the desire of ideologues of different confessions to speak from the standpoint of the global vision of the world, the inclusion in the public consciousness of the ideological function of religion, through which the religious interpretation of the relationship "man - the world" is revealed. To achieve this they seek, in particular, through the involvement in theological outlook of theological interpretations of the achievements of the combined science, which (...) supposedly only in such a way acquire perfection and true meaning. (shrink)

The Ukrainian Democratic-Radical Party was formed as a result of the unification of the Ukrainian Democratic and Ukrainian radical party in 1905. Regarding religious affairs, the UDRP program required the separation of the Church from the state and the election of the clergy that was traditional for Ukraine. The party's foundations were local communities that existed autonomously and often raised and resolved on their own. In January, 1905, the Odessa community asked the Russian government to ensure the freedom to use (...) the Ukrainian language in the church. (shrink)

In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral reasoning capabilities challenges our understanding of morality and moral reasoning to its utmost. It also helps philosophers dealing with the inherent complexity of modern organizations. Modern society with large multi-national organizations and extensive information infrastructures provides a backdrop for moral theories that is hard to encompass through mere theorising. Computerized support for theorising is needed to (...) be able to fully grasp and address the inherent complexity. Using moral reasoning capacity will help us addressing the challenges that technological artefacts pose. They do not only contain information about us, they start to act on our behalves.With the increasing autonomy comes an increased need to ensure that their behaviour is in line with what we expect from them. To investigate and address these issues a laboratoy for philosophy is outlined: SophoLab. It consists of a methodology; a framework of modal logic, DEAL; and multi-agent software systems. SophoLab provides the basis for an experimental, computational philosophy. Its viability and usefulness are demonstrated through several experiments. (shrink)

A guide to self-improvement from the great thinkers of Judaism.

In applied problems mathematics is used as language or as a metalanguage on which metatheories are built, E.G., Mathematical theory of experiment. The structure of pure mathematics is grammar of the language. As opposed to pure mathematics, In applied problems we must keep in mind what underlies the sign system. Optimality criteria-Axioms of applied mathematics-Prove mutually incompatible, They form a mosaic and not mathematical structures which, According to bourbaki, Make mathematics a unified science. One of the peculiarities of applied mathematical (...) language is a variety of dialects: a problem can be presented in terms of various mathematical notions. Another peculiarity is polysemy: a problem can be presented in the framework of one dialect by a set of various models with equal right to exist. The pragmatic sense of distinction between applied and pure mathematics must lead to specific training in each case. (shrink)

The target articles on sleep and dreaming are discussed in terms of the concept of search activity integrating different types of behavior, body resistance, REM sleep/dream functions, and the brain catecholamine system. REM sleep may be functionally sufficient or insufficient, depending on the dream scenario, the latter being more important than the physiological manifestation of REM sleep. REM sleep contributes to memory consolidation in the indirect way. [Nielsen; Revonsuo; Solms; Vertes & Eastman].

Teyyar eschatology, as a doctrine of the ultimate destiny of mankind, is deeply rooted in the concept of the ultimate goal, which is regarded as a true result, though it emerges as a tool designed to fill some of the emptiness created by humanity in the course of natural science practice. Teillard felt that the deplorable state of modern mankind was the result of his neglect of eschatology, his inability to adapt to the needs of his activities, and his lack (...) of courage in further design. "A lighter skyscraper of hope is being constructed," G. Grespi notes. The belief that the Earth is exhausting its limited resources necessarily leads to the thought of the destruction of the Earth. (shrink)

Along with other definitions, the XX century is also called a century of domination of ideologies, which almost always considered a person as a means to establish one or another type of domination: either national, or class, or bureaucratic. Any but mandatory one that would resist human freedom, and therefore - justice. Ideology exits a person to think freely and make informed decisions. She wants to accustom her to adapt humbly to the existing political and economic conditions, to form a (...) superficial perception of the propagandized reality of the best and the unchangeable. The ideology of totalitarianism seeks to turn a person into a "social dream," self-sacrificed, and a satisfied citizen of every kind, indifferent to spiritual demands. (shrink)

(1990). Ethology, power, possession: A system theoretical study of the Hungarian transition. World Futures: Vol. 29, Transition in Eastern Europe, pp. 107-122.

Synchronizing oscillations may be just one case of integration and/or coding, one which explains associations by concurrence. Understanding the sequencing of neural/behavioral events requires a clock mechanism that imposes structure behind mere associations, and may be best served by dissociating oscillations and synchronization in terms of physiologic and computational mechanisms.

Goodman’s book is neither a survey, nor a comprehensive history of American philosophy before pragmatism emerged in the late nineteenth century in the works of Charles S. Peirce and William James, nor does it explore undiscovered depths of American thought possibly overlooked or lost to time. Rather, Goodman’s treatment of five men—-Jonathan Edwards, Benjamin Franklin, Thomas Jefferson, Ralph Waldo Emerson, and Henry David Thoreau—attempts to follow James’s understanding of what philosophies are and to “convey each writer’s feel for the ‘whole (...) push’ of things”. In that regard, Goodman succeeds and gives the reader a sense of each man’s motivations. Each is given his own chapter, including an interlude and an... (shrink)

The author points to the power of traditionalism in Slovak cultural – spiritual milieu and to the rise of the intellectual modernity in the Slovak thought in 17th – 20th centuries . There is a continuity of alternating between tradition and modernity. The problem of this philosophy remains “idolatrism”. Regarding the problem of receptivness, the author points to the theoretical and methodological standpoints of structuralism with its principle of immanence. In conclusion the author examines the problem of the marginality of (...) “national” philosophy. (shrink)