New trends in the economic systems management in the context of modern global challenges: collective monograph / scientific edited by M. Bezpartochnyi, in 2 Vol. // VUZF University of Finance, Business and Entrepreneurship. – Sofia: VUZF Publishing House “St. Grigorii Bogoslov”, 2020. – Vol. 1. – 309 p.

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

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.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

Structuralism took part in the efforts to revive intellectual development in the former Czecho-Slovakia in the 1960s as an efficient methodological instrument, a scientific meta-theory, as well as an inovation in the field of philosophical theory . Open discussions were focused on the questions such as the relation between methodology and philosophy, system and structure, system and development, problem of the connection of synchronicity and diachronicity, the role of the subject, etc. Czecho-Slovak school applied the dynamic aspect of the structure (...) as a dynamic whole. This school came up with its own concept of dialectical structuralism, specific and different from French conceptual-instrumental model of structuralism. (shrink)

1. The characterization of Hegel's teaching as dialectical is usually associated with a critique of the logic that preceded his and that was dominant in his time: that of the Wolffians and, in particular, of Kant and the Kantians. All in all, to characterize Hegel's teaching in this way is entirely in accord with the facts. However, when stated in so general a form, it leaves much unclarified and undoubtedly demands further concreteness. The article we offer here for the reader's (...) consideration is an attempt at a concretization of this order. Central to this matter is the question of formal thinking: did Hegel accept the rights of formal thinking, and, if so, to what degree? (shrink)

Chastʹ I. Ėsteticheskie uchenii︠a︡ filosofov antichnogo mira -- Chastʹ II. Iskusstvo v suzhdenni︠a︡kh pisateleĭ antichnogo mira.

The Stoics, who advocated the extirpation of the passions, the sufficiency of virtue for happiness, and the equality of sins, embodied their radical doctrines in the figure of the sage, provoking both ancient and modern critics of Stoicism to dismiss this exemplar as an impracticable and unappealing ideal. This paper attempts to add depth and richness to an understanding of the sage by highlighting the sage's more human qualities and by examining how the Stoics’ idealized paradigm derives from, or maps (...) onto, the figure of Socrates, with special attention paid to the iconic philosopher's characteristic irony and erotic playfulness. (shrink)

The Italian parliament passed the law on assisted reproduction after a heated debate. The promulgation of this law (Law 40/2004) is the end point of a long and troubled journey that has seen many bills come and go, all of which have failed. The law consists of a whole set of regulations that will have a great impact on health and on society in general. The law is against many of the technical practices of assisted reproduction; several such practices are (...) banned. This paper outlines ethical and medicolegal issues arising in connection with the law. The law states that no more than three embryos must be created at any one time and all the embryos created must be transferred together even if the couple does not need all the embryos. Embryo cryopreservation is also forbidden, as is assisted reproductive technology (ART), which uses a third party in any way, and the screening of embryos for genetic defects. (shrink)

Over the last twenty years, literary theory has become peculiarly fascinated with what language cannot do, and with the impossibility of language meaning what the individual intends it to mean. In Interprive Acts, rather than ask whether communication is possible, Professor Harris explores the issues that arise from the question: how does communication occur?

Mont Publishing House and Valery Vino deliver the first volume of an eclectic collection in aesthetic education. Aesthetic Literacy is an experiment in philosophy of culture, and this volume features cross-genre contributions by: Theodore Gracyk (Minnesota), Babette Babich (Fordham), David Konstan (NYU), Katya Mandoki (UNAM), Arnold Berleant (Long Island), Jale Erzen (Middle East Tech), Curtis Carter (Marquette), Clive Cazeaux (Cardiff), Fabrizio Desideri (Florence), Ken-ichi Sasaki (Tokyo), and many others... -/- .

The author presents a version of the ontological scheme of Newton’s mechanistic worldview based on both the study of previous versions of its understanding and the text of the “Mathematical Principles of Natural Philosophy”. Newton developed a model of new universality or a homogeneous and isotropic world in which uniform laws operate. This model is based on several ontological postulates Newton introduced, which can be isolated from several provisions of his classic work. The new mechanistic worldview is based on the (...) imputation of the world of universal simplicity. The quantitative “unit” of a simple, homogeneous, physical-geometric universe is an ambivalent corpuscle-point. The main constants of the “mechanistic universe” are the diversity of the numbers of masses, motions, and forces connected by clear reciprocal relationships. Newton also introduced theoretical space and time as a privileged, absolute reference system. Finally, in the Newtonian version of the mechanistic worldview, there are compelled metaphysical ingredients or inexplicable and transcendental qualities. They are gravity, ether, and God. Thus, the ontological scheme of Newton’s mechanistic worldview is a construction based on the sequential mental experiment of presenting the universe exclusively from the side of its “objectivity” and “sensory certification”. (shrink)

It is a strange fact that people's opinions of psychoanalysis are only rarely tentative or unemphatic. It seems that one must either love it or hate it. Professor Cioffi, in a recent paper, has shown that he is no lover of psychoanalysis, and he makes what appears to be a devastating attack on Freud's theories and methods and on the credibility of the whole psychoanalytic discipline. Without wanting to ally myself wholeheartedly with the opposite camp, I want to show that (...) many of the main contentions of his paper are wrong. I shall argue that the objections he makes which, if valid, would be the most serious for Freudian theory, are unfounded. (shrink)

The revolution in science and technology exercises an enormous influence on the processes of socialization of the human being under the conditions of an advanced socialist society, thereby becoming one of its significant objective factors. Significant changes in the conditions of the functioning both of the individual and of socialist society as a whole are occurring under the influence of the revolution in science and technology.

Although philosophising about given languages had been going on ever since the time of Plato's Kratylos , the idea of an artificial philosophical language or system of signs began to take shape in the seventeenth century. Both Descartes and Mersenne explored the ground for the foundations of a system of expressions which could meet all the requirements of logical thought; but the merit of presenting the first elaborate plans goes to the British authors George Dalgarno and John Wilkins. 1 Leibniz (...) followed soon after with his characteristica universalis. (shrink)

It has been widely held that presentism cannot easily accommodate Einstein’s Special Theory of Relativity account of the relativity of simultaneity because presentism privileges successively unique times ontologically. Recently Brogaard and Marlow argued that presentism does not deserve the attribution of this defect because it may well be that Einstein’s account of the relativity of simultaneity is defective, leaving it open to establishing a view of absolutist simultaneity friendlier to presentism. Specifically Brogaard and Marlow present an argument against one of (...) Einstein’s most famous accounts of the relativity of simultaneity, and moreover raise doubts about whether Einstein availed himself of absolutist frames in some of his explanations of relativity. I will dismiss both of these charges, and thus argue that the complaint against presentism from SR stands. (shrink)

In recent years, the phenomena of hormonal control, embryonic determination and pattern formation have been receiving intensive scrutiny from molecular biologists. In the following «Roots» contribution, Professor Sir Vincent B. Wigglesworth reviews some of the seminal work that he did on these subjects in the insect Rhodnius prolixus.