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 Special Issue is dedicated to building a bridge between different disciplines concerned in the investigation of the qualitative dimension of experience and reality. The two main objectives of the Issue can be summarized as follows: 1) to elucidate the need for a revision of categories to account for the qualitative dimension in various disciplines (that include, for example, the cognitive sciences, neurosciences, biology, linguistics, informatics, artificial intelligence, robotics, newly emerging computer technologies) in order to develop an ontology that can (...) better account for the qualitative, dynamic and relational aspects of different domains of reality; 2) to explore the implications of the enactivist view for a relational and ecological account of the qualitative dimensions of life and cognition. (shrink)
We give in this paper indications about the dynamical impact coming from the main sources of perturbation in biological regulatory networks. First, we define the boundary of the interaction graph expressing the regulations between the main elements of the network . Then, we search what changes in the state values on the boundary could cause some changes of states in the core of the system . After, we analyse the role of the mode of updating on the asymptotics of the (...) network, essentially on the occurrence of limit cycles . Finally, we show the influence of some topological changes on the dynamical behaviour of the system. (shrink)
The paper analyzes the role of epistemology in contemporary science study. According to the representatives of cultural approach to scientific cognition the latter should be considered regardless of the issues of falsity or truth, which excludes epistemology from the sphere of science investigation. The paper argues, that though the inquiry of science as an aspect of human culture is quite possible, this sort of analysis is insufficient. In order to understand the nature of scientific cognition one has to supplement it (...) by the results of epistemological consideration. (shrink)
Globalization is a natural process. It has a number of advantages & disadvantages, causes many questions and problems, which can hardly sometimes be solved by countries independently. These problems can only be solved by the world community. One of these problems is to maintain the concrete communities identity. Is it possible to keep the unique culture of different ethnos, language, traditions in the globalizing world? Or as some researchers consider, there is a tendency to the formation of the so called (...) super ethnos? In such conditions tolerance takes on special significance as a certain means of activity, as social behavior model, as a norm of behavior for each member of the society. Tolerance as a behavior model on one hand should be worked out by a state legislative body, from the other it should be a norm of behavior for each member of the society. The basis of the tolerant behavior is the principle of mutual understanding.It can be considered to be a moral imperative for the resolution of conflict situations. The relevance & importance of tolerance & creating tolerant relations is a characteristic feature of the democratic personality. (shrink)
800x600 Normal 0 21 false false false RO X-NONE X-NONE MicrosoftInternetExplorer4 Review of Mihaela Frunză, Expertiza etică și bioetica. Studii de caz (Ethical Expertise and Bioethics. Case Studies). Cluj-Napoca, Limes Publishing House, 2010.
Building a meaningful model of biological regulatory network is usually done by specifying the components and their interactions, by guessing the values of parameters, by comparing the predicted behaviors to the observed ones, and by modifying in a trial-error process both architecture and parameters in order to reach an optimal fitness. We propose here a different approach to construct and analyze biological models avoiding the trial-error part, where structure and dynamics are represented as formal constraints. We apply the method to (...) Hopfield-like networks, a formalism often used in both neural and regulatory networks modeling. The aim is to characterize automatically the set of all models consistent with all the available knowledge . The available knowledge is formalized into formal constraints. The latter are compiled into Boolean formula in conjunctive normal form and then submitted to a Boolean satisfiability solver. This approach allows to formulate a wide range of queries, expressed in a high level language, and possibly integrating formalized intuitions. In order to explore its potential, we use it to find cycles for 3-nodes networks and to determine the flower morphogenesis regulatory network of Arabidopsis thaliana. Applications of this technique are numerous and concern the building of models from data as well as the design of biological networks possessing specified behaviors. (shrink)
It can certainly be said that history of science has experienced a large growth in recent decades in Spain. This has occurred despite the generic term ‘history of science’ covering activities of a very varied nature and lacking an intimate relation between each other, in research as well as instruction. At present the number of publications which could fit into the frame of this branch of learning has increased remarkably and commercial publishing houses have opened their editorial lists to the (...) publication of classics as well as to monographs on the history of science. Moreover, new specialized journals on these subjects have become popular and have joined the small number of journals which already had a certain tradition. The number of participants in the periodical congresses of the Sociedad Española de Historia de las Ciencias y de las Técnicas [SEHCYT] has risen and the number of congresses and symposia that have been held in Spain and have assembled Spanish as well as foreign historians has also increased. As another recent promising detail, we could quote the presence of history of science in the curricula of Spanish university programmes, a presence that tends to increase progressively. (shrink)
This book seeks to fill a void in contemporary aesthetics scholarship by considering the cognitive features that make the aesthetic and artistic worthy of philosophical study. Aesthetic cognition has been largely abandoned by analytical philosophy, which instead tends to focus its attention on the ‘non-exhibited’ properties of artwork or issues concerning semantic and syntactic structure. The Cognitive Basis of Aesthetics innovatively seeks to correct the marginalization of aesthetics in analytical philosophy by reinterpreting aesthetic cognition through an integration of Ernst Cassirer’s (...) philosophy of symbolic forms with Paul Crowther’s theory of imagination and philosophy of art. This integration has three important outcomes: 1) it explains why the aesthetic and artistic constitute a unique form of knowledge; 2) it shows the role this plays in the formation of aesthetics as a discipline; and 3) it describes why aesthetic cognition is so deeply engaging. This book’s unique theoretical approach engages with important works of visual, conceptual, and digital art, as well as literature, music, and theatre. (shrink)
Ellen G. Whites writings contribute to clarify the doctrine of sanctification. In her writings sanctification means a submissive acceptance of Gods revealed will and has more to do with integrity and service than with emotions and self-sufficiency. The focus is placed on sanctification as a vit..
Das vorliegende Buch stellt die publizierte Fassung der Dissertation (Köln 2004) Elena Ficaras dar. Wie der Titel bereits zeigt, bewegt sich die Arbeit auf dem Feld transzendentaler Grundlagenarbeit und sucht die Ontologie, so wie Kant diese trotz aller Vorwürfe der Metaphysikfeindlichkeit neu begründet, zu erarbeiten.
El ser en su riqueza se expresa en el lenguaje que emana también del ser. El lenguaje emergió de su olvido en la filosofía griega, gracias a las ideas cristianas de encarnación y trinidad que le hicieron más justicia. El mayor milagro del lenguaje no estriba en que la palabra aparezca en su ser externo, sino en el hecho de que lo que emerge y se manifiesta sea siempre palabra. La vuelta de Gadamer al final de Verdad y método, en (...) torno a la evidencia de que el ser de lo bello consiste en presentarse, ilustra la estructura universal del ser mismo. Apalabrar a lo que es el ser mismo. Lo que determina y hace posible la interpretación es el presentarse del ser de lo que es. Being in its richness expresses itself in language, which itself emanates from Being. Language emerged from its oblivion in Greek philosophy thanks to the Christian ideas of incarnation and trinity, which did it more justice. Language's greatest miracle does not rest on the fact that the word appears in its external being, but on the fact that that which emerges and manifests itself is always word. Gadamer's turn at the end of Truth and Method, regarding the evidence according to which beauty's being consists of presenting itself, illustrates the universal structure of Being itself. Bespeaking what is Being itself. What determines and make possible interpretation is the presentation itself of the being of what is. (shrink)
Each one of the five books authored or co-authored by Frans van Eemeren which have so far been translated into Spanish clearly fulfills a different role. Following the chronological order, we first have Speech Acts in Argumentative Discussions (van Eemeren and Grootendorst 1984; Spanish translation 2013), a book that contains the theoretical spadework in the field of pragmatics on which the whole edifice of pragma-dialectics is erected. Then follows Argumentation, Communication, and Fallacies (van Eemeren and Grootendorst 1992; Spanish translation 2002, (...) 22007), which is the first full presentation of the Standard Theory of Pragma-Dialectics complete with its explanation of fallacies as violations of the rules of critical discussion. In the third place comes my favourite book—Argumentation: Analysis, Evaluation, Presentation (van Eemeren, Grootendorst, and Snoeck Henkemans 2002; Spanish translation, 2006)—a rare combination of sophisticated theory (again, the Standard Theory) tersely an. (shrink)