Una pandemia ha golpeado a millones de familias en el mundo. Este problema global parecía que cuestionaba todas nuestras formas de vida. No obstante, los malos hábitos y las viejas estructuras corruptas comenzaron a aprovecharse de esta situación. Y la corrupción volvió a la escena, en la sobrevaloración de medicamentos o equipos médicos, en la mala repartición de víveres o de dinero, en el cobro de dinero por ingreso a una unidad de cuidado intensivo, aprovecharse de su posición política para (...) vacunarse antes, etc. ¿Se ha normalizado la corrupción en la vida nacional? (shrink)

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary (...) and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights. (shrink)

We extend Gurevich-Harrington's Restricted Memory Determinacy Theorem), which served in their paper as a tool to give their celebrated “short proof” of Robin's decision method for S2S. We generalize the determinacy problem by attaching to the game two opposing strategies called restraints, and by asking “which player has a strategy which is a refinement of the restraint for the player and such that it wins the game against the restraint of the opponent?” We give a solution for the Determinacy with (...) Restraints Problem in the class of strategies with restricted memory for the GH games. The solution includes a criterion for the winning player and an explicit class of winning strategies. A determinacy result which includes similar information was first discovered by Büchi and Landweber and extended by Büchi . However, these pioneering works do not consider the determinacy with restraints. Also, the explicit presentation of winning strategies in these insightful papers does not emphasize their modular construction as do GH's and our proofs. In our view, this is a source of a difficulty in understanding these papers. Games with restraints and modular construction of winning strategies have applications to the semantics, development and verification of concurrent programs. A concurrent program can be viewed as a strategy in a certain game and a program specification can be regarded as a combination of a winning condition and restraints for the game , A. Yakhnis and V. Yakhnis ). The modularity of a winning strategyfor the game helps to generate a concurrent program from the strategy that satisfies the specification ). It turns out that such program specification requirements as mutual exclusion and an absence of a lockout or a deadlock are naturally represented as Büchi's or Gurevich-Harrington's winning conditions. The present paper can be read independently of the paper by Gurevich and Harrington. (shrink)

El presente trabajo se propone rescatar la resistencia y la crítica al poder imperial romano del libro del Apocalipsis como una fuente fundamental para la teología moral cristiana, que lo convirtieron en un foco de luz que ilumina el camino de la conducta humana hacia un mundo mejor. Al mismo tiempo, ofrece pautas para la defensa de la vida en un entorno donde los totalitarismos políticos, económicos y religiosos atentan contra ella. Además, quiere destacar dicha resistencia y crítica como uno (...) de los factores generadores, y por tanto centrales, de la teología del Apocalipsis. Para ello se utilizarán los principios metodológicos de la lectura contextual que parten de la convicción según la cual el texto es una expresión de las vivencias comunitarias del hagiógrafo y de su actitud ante las circunstancias sociales que lo provocaron. El libro busca afectar el entorno, pero este también configura el contenido de la obra escrita. En un segundo momento, con el método se indaga qué de ese momento histórico puede iluminar el presente del lector. En el caso del Apocalipsis, se elegirán los textos en los que el autor presente los temas y actores principales de la trama, a saber: el ser supremo sentado en el trono, el cordero y el mal —simbolizado específicamente en el tercer jinete—, ya que en ellos se juega el mensaje del libro, la soberanía divina que humaniza o la soberanía diabólica deshumanizante. (shrink)

We consider games over a finite alphabet with Gurevich-Harrington's winning conditions and restraints as in Yakhnis-Yakhnis . The game tree, the Gurevich-Harrington's kernels of the winning condition and the restraints are defined by finite automata. We give an effective criterion to determine the winning player and an effective presentation of a class of finite automata defined winning strategies.Our approach yields an alternative solution to the games considered by Büchi and Landweber . The BL algorithm is an important tool for solving (...) effectively presented games. The differences between the BL and our algorithms are as follows. Our algorithm is uniformly applicable to winning sets that correspond to boolean combinations of BL winning conditions, while the BL algorithm requires a transformation of such boolean combinations into a single BL condition. Our algorithm directly applies to a larger class of game trees for a given game alphabet than does the BL one. We describe Büchi-Landweber's class of winning conditions in a more transparent way by using finite automata and Gurevich-Harrington's form of winning conditions. Our algorithms that determine the winner of the game and find a winning strategy, are based on a translation of the events in the game in terms of the transition table of the automaton representing the game. This automaton differs from the ones that represent BL winning conditions. Both algorithms need further investigation.The algorithm determining the winner in the game, can be used as a verifier of concurrent programs. This is because programs can be viewed as strategies in Gurevich-Harrington's games and program specifications could be regarded as winning conditions for such games. The algorithm which finds a winning strategy could be used as a basis for automated concurrent program design.The present paper is a sequel to Annals of Pure and Applied Logic 48 277–297. (shrink)

The article focuses on process management in public administration using the specific case study of the statutory city of Ostrava. Based on the selected part of the PAPRIS methodology, the process management is verified, and conclusions from the application of information system e-SMO are generalized. Ostrava is third the biggest city in Czech Republic with approximately 320 thousand citizen. Article describes experiences with SW implements, which are used for model of process in public administration. Particulary at local authority of Ostrava (...) town. Model of process is a basis for reengineering of process in state administration and preparation for implementation of big information systems. Mapping of process is providing implement and confirmation methodology to identify existing processes. Problem with its using consist in that, senior manager don’t informs, what organization is determination by processes. If are not described in given to organization current processes, or how would have had look new optimum processes, will not endeavour about reengineering successful. Procedural analysis namely offer tool and check methodology to identification current suit and it is possible him use either as instruction for reengineering function handling administrative and self-rule activities. Purpose of the article: The PAPRIS methodology was used when defining the objectives for implementation of the information system for public administration. This methodology has been elaborated by one of the authors and published in a very general scheme when solving many case studies,,. We assume that the PAPRIS is primarily a methodology with incorporated elements of procedural approach for project management in public administration information systems. The specific supporting process of communication between the client and the e-SMO system has been chosen for verification. The model of supporting communication process, created by ARIS tools, is crucial, and the structure of scripts is subsequently made. The aim of this article is to verify that the methodology is sufficient and appropriate to manage such a large project such, undoubtedly, is the e-SMO. Methodology/methods: Defined productive and non-productive processes with their defined process cuts represent a crucial category for the process structure of IS projects. This is fully accepted by the PAPRIS methodology. Process cuts are understood, in the logic modelling according to the PAPRIS methodology, as clearly defined logic directional cuts in three-dimensional space of all project processes. The process set is systemically categorized, in a given logic directional cut, into mutually disjoint process subsets, which are characterized by this particular directional operator. The directional operator always has a clear logical allocation that is based on the construction of a process view. Theoretically, an infinite number of process views can be used. One of the important issues in a methodology for the case studies includes the size of the research sample. It is usually assumed that there is no ideal number of cases and that the number between four and ten usually provides good results. Other authors defining against any quantitative standards for any determination of the sample size of the case studies, since such an approach denies the internal logic of this methodology and the richness of the information obtained from participants in the research. Research which is carried out using case studies does not aspire on compliance with the requirement the representativeness of the sample.. Methodology of case studies is among the established guidelines of qualitative research. Research on using case studies in the last 30 years has seen an extraordinary increase in social-scientific research, including research on business and management. Scientific aim: The essential aim of this study is to describe the way the process cut defines a productive process and non-productive process, in accordance with the PAPRIS methodology using the specific example. While the triggering mechanism of the project production process is an event causing its own production - i.e. the specific output with added value for the customer, the project of non-productive process is caused by the project management event. Therefore, it is caused by the need to control, monitor, track, inspect, evaluate outputs, decide and regulate the project implementation. Findings: Within the support of the communication process, two examples were used to verify the methodology. The global perspective on the process was created in ARIS tools and the communication between the call centre and the client was made in Visio tools. The PAPRIS methodology is based on the concept of process variability, which has been clearly formulated. The fundamental direction of the process development, anticipated changes and the opportunity to react to them in accordance with defined objectives of the PAIS project are guaranteed. (shrink)

The travelling salesman problem (TSP) belongs to the class of NP-hard problems, in which an optimal solution to the problem cannot be obtained within a reasonable computational time for large-sized problems. To address TSP, we propose a hybrid algorithm, called GA-TCTIA-LBSA, in which a genetic algorithm (GA), tour construction and tour improvement algorithms (TCTIAs) and a list-based simulated annealing (LBSA) algorithm are used. The TCTIAs are introduced to generate a first population, and after that, a search is continued with the (...) GA. The problem of premature convergence of the GA to local optimum is tackled by a method called social disaster technique. Afterwards, the LBSA is applied to generate a new population based on one of two proposed operators called packing and judgement day. The proposed algorithm is implemented in the MATLAB environment, and its two variants, called GA-TCTIA-LBSA packing and GA-TCTIA-LBSA judgement day, are tested on symmetric and asymmetric instances from TSPLIB. The overall results demonstrate that the proposed GA-TCTIA-LBSAs offer promising results, particularly for small-sized instances. (shrink)

Od grčkog pojma sophia do Potterovih pojmova mudrosti i biološkog znanja, autor analizira različite filozofske i znanstvene koncepte znanja. Autor se slaže s Jaspersom u stavu da ono što je »iz filozofije prevodivo u zajedničko mišljenje, to na koncu odlučuje o njezinoj vrijednosti «. Autor zaključuje da novoj epohi i bioetičkoj perspektivi odgovara zahtjev za orijentacijskim znanjem, te ga nastoji definirati ne samo iz povijesti filozofije, nego i u suprotnosti s tradicionalnim stajalištima , te iz zahtjeva nove epohe.From the Greek (...) term sophia to the Potter’s terms wisdom and biological knowledge, author analyses different philosophical and scientific concepts of knowledge. The author agrees with Jaspers on the notion that what is “transferable from philosophy into the common reasoning is what at the end decides on its worthiness”. The author concludes that the demand for an orientational knowledge corresponds with the new epoch and bioethical perspective, and is trying to define this demand not only from the history of philosophy, but in its contrast to the traditional views represented by Descartes and Bacon, and also from the demands of the new epoch itself. (shrink)

A la différence du concept chrétien de la justice en tant que vertu morale, tel que l’avait énoncé Thomas d’Aquin en la définissant comme une attitude par la force de laquelle quelqu’un dont la volonté est forte reconnaît à autrui son droit, Nietzsche trouve l’origine de la justice dans la négociation de forces dont la puissance est approximativement égale ou bien dans la contrainte des moins forts à un accord. Pour présenter un tel point de vue fondé sur l’assertion que (...) pour la vie-même l’appropriation est essentielle, en d’autres mots que la volonté de puissance est en fait le vouloir vivre, Nietzsche s’est servi de la description des Athéniens et des Méliens par Thucydide. Cependant, l’auteur aboutit à la conclusion que Nietzsche n’est pas seulement un penseur de la puissance mais qu’il cherche aussi un nouvel entendement de la justice qu’il veut expliquer par la totalité de sa pensée. (shrink)

Im Unterschied zum christlichen Begriff der Gerechtigkeit als einer sittlichen Tugend, wie es Thomas von Aquin zusammenfasste, als einer Einstellung, kraft deren ein Mensch festen und steten Willens jedem sein Recht zukommen lässt, erkennt Nietzsche die Herkunft der Gerechtigkeit im Ausgleich oder Kompromiss zwischen ungefähr gleich Mächtigen sowie im Zwang der weniger Mächtigen zu einem Ausgleich. Zur Untermauerung dieser Einstellung, die sich auf der Behauptung gründet, dass das Leben seinem innersten Wesen nach eine Aneignung sei bzw. dass der Wille zur (...) Macht den Lebenswillen schlechthin ausmache, griff Nietzsche auf den von Thukydides geschilderten Dialog der Athener und Melier zurück. Der Autor kommt jedoch zu dem Schluss, dass Nietzsche nicht nur ein Denker der Macht war, sondern nach einem neuen Verständnis der Gerechtigkeit trachtete, das aus der Gesamtheit seines Denkens zu deuten sei. (shrink)

In contrast to the Christian concept of justice as moral virtue, defined by St. Thomas Aquinas as “an attitude with the power of which one is fortified and acknowledges the rights of others of one’s own accord”, Nietzsche identifies the origin of justice in equalisation or an agreement between forces of approximately equal powers, as well as in the compulsion of the less powerful to agree. In support of this standpoint, founded on the claim that life itself is essentially appropriation, (...) i.e. that the will to power is the will of life itself, Nietzsche made use of Thucydides’s imagery of the Athenians and Melians. The author, however, concludes that what Nietzsche does is not only think about power, but that he also seeks a novel understanding of justice, which he strives to expound from the totality of his thought. (shrink)

This article discusses the connection between the ideas of Fyodor M. Dostoevsky and Vladimir S. Solovyov on the need for cultural and moral transformation of those who would claim to participate in...

The article draws a conceptual distinction the (French) structuralism of the 50’s–60’s and the post-structuralism of the 70’s, which are discussed as overlapping in their intellectual paths; their mutual dynamics is defined as a reaction of the intelligence to the pressure of depersonalized unified schemes within the logic of structuralism against free improvisation and loose interpretation instead of total explanations in the post-structuralism interpretation. The article establishes a conceptual identity of the paradoxical nature between post-structuralism (and deconstructionism, which is homogeneous (...) and identical thereto in a number of aspects), on the one hand, and constructionism with its specific process of language dismantling – social/ideological languages, social group dialects, on the other hand, which naturally leads the authors to the analysis of the paradoxicality principles, defined by post-structuralism (five principles of paradoxicality of Gilles Deleuze – paradox of regress, paradox of sterile reiteration, paradox of neutrality, paradox of absurd, paradox of Levi-Strauss); poststructuralists’ paralogisms are examined through paradoxical denotation; the late Roland Barthes’ phenomenon of paradoxicality, becoming a plot-forming principle of narration, is analyzed. Poststructuralism is conceptualized in the article as the first decisive step of post-modernism; the affinity of post-structuralist and postmodernist commitment to parody, game and irony is stated; the theory of language games in post-modern interpretation is explored; one of those games – a game of carnival – is explored within the diachronic retrospective; the affinity of parody and carnival tradition of post-structuralism and post-modernism to the romantic irony of the XIXth century and its inconsistency with the popular culture of laugh is established. The genesis of poststructuralism and post-modernism is connected with the ideological restart of the Western society before the “very end” of the Resistance ideas and the disappointment of the left European intellectuals in the “great legends” and illusions of Marxism. The blurred concepts of relativism are connected with the mutual disproportion of different layers of historical experience. (shrink)

Recently, psychologists have explored moral concepts including obligation, blame, and ability. While little empirical work has studied the relationships among these concepts, philosophers have widely assumed such a relationship in the principle that “ought” implies “can,” which states that if someone ought to do something, then they must be able to do it. The cognitive underpinnings of these concepts are tested in the three experiments reported here. In Experiment 1, most participants judge that an agent ought to keep a promise (...) that he is unable to keep, but only when he is to blame for the inability. Experiment 2 shows that such “ought” judgments correlate with judgments of blame, rather than with judgments of the agent’s ability. Experiment 3 replicates these findings for moral “ought” judgments and finds that they do not hold for nonmoral “ought” judgments, such as what someone ought to do to fulfill their desires. These results together show that folk moral judgments do not conform to a widely assumed philosophical principle that “ought” implies “can.” Instead, judgments of blame play a modulatory role in some judgments of obligation. (shrink)

Nul besoin de caution pour s'intéresser à l'oeuvre monumentale de Vladimir Jankélévitch qui traverse de bout en bout le XXe siècle. Philosophe, écrivain, pianiste, musicologue, résistant, témoin et victime d'une guerre qui a "coupé sa vie en deux", infatigable marcheur de la gauche, professeur en Sorbonne... C'est tout cela que fut Vladimir Jankélévitch. Les visages de l'homme sont multiples et ce Cahier, à partir de conférences et d'articles désormais introuvables (sur la musique, la religion et son judaïsme), de (...) documents historiques (un CV corrigé de la main de Jankélévitch, une attestation de Résistance), d'engagements publics (sur l'enseignement de la philosophie, sur l'Université française, sur la Shoah, sur l'Allemagne d'après-guerre), mais aussi, d'articles critiques et de témoignages de ses collègues, disciples et fidèles amis, permet d'en dessiner tous les contours. Toutes les pages de ce Cahier démontreront sans peine l'actualité d'une pensée qui lie tous les champs du savoir classique à l'exigence quasiment existentielle de la morale."--taken from publisher website. (shrink)

My dear Aleksandr!I have finally found some quiet time for a slow and attentive read of your article “The Beginning of the Black Notebooks.”1 I very much liked the article, especially for your trul...