. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. It (...) is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos. (shrink)

Only during a brief period in the aftermath of the revolution was a portion of the Soviet intelligentsia eager sincerely to cooperate with the Soviet system. Soon, with Stalin''s repressions, the intelligentsia, and especially its elite — the intellectuals, or those involved in creative activities such as science, literature and the arts, became locked in permanent conflict with the government.Once mass terror disappeared after Stalin''s death in 1953, intellectuals faced the possibility of confronting the regime without fear of instant arrest (...) and eventual death in the Gulag. (shrink)

There is given the proof of strict embedding of Leniewski's elementary ontology into monadic second-order calculus of predicates providing a formalization of the class of all formulas valid in all domains (including the empty one). The elementary ontology with the axiom S (S S) is strictly embeddable into monadic second-order calculus of predicates which provides a formalization of the classes of all formulas valid in all non-empty domains.

We prove, in ZFC,the existence of a definable, countably saturated elementary extension of the reals.

We prove that in the Solovay model, every OD equivalence relation, E, over the reals, either admits an OD reduction to the equality relation on the set of all countable (of length $ ) binary sequences, or continuously embeds E 0 , the Vitali equivalence. If E is a Σ 1 1 (resp. Σ 1 2 ) relation then the reduction above can be chosen in the class of all ▵ 1 (resp. ▵ 2 ) functions. The proofs are based (...) on a topology generated by OD sets. (shrink)

Russian Orthodoxy during the twentieth century presented a rich and varied body of thought about the nature of humanity and the human condition. This article surveys the major thinkers within this tradition, beginning with its background in the Slavophile movement and culminating in the work of more recent Orthodox thinkers such as Sergei Bulgakov, Georges Florovsky, Vladimir Lossky, and Alexander Schmemann.

The author examines the key philosophical problem of theodicy and freedom as it was first formulated by Fyodor Dostoevsky and later developed by Nikolai Berdyaev.

As variants of the Christian tradition have emerged through the centuries they have given rise to distinct versions of Christian metaphysics with divergent cosmological commitments. In the early Church, the Cappodocian fathers constructed a theological framework which focuses on the “personal” nature of reality. The personal nature of reality is central not only to understanding key theological doctrines, such as the Trinity, but also the cosmos itself. This essay explores the Cappodocian conception of the cosmos as personal both in its (...) origin and as a medium for an interpersonal relationship between God and creatures. (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)

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 consider QED processes in the presence of an infinitely thin and infinitely long straight string with a magnetic flux inside it. The bremsstrahlung from an electron passing by the magnetic string and the electron-positron pair production by a single photon are reviewed. Based on the exact electron and positron solutions of the Dirac equation in the external Aharonov-Bohm potential we present matrix elements for these processes. The dependence of the resulting cross sections on energies, directions, and polarizations of the (...) involved particles is discussed for low energies. (shrink)

If we want to think about Michael Novak’s contribution to the development of democracy and the progress of society in the countries of Central and Eastern Europe, it will be necessary to look at several authors from whom he drew his ideas. With the help of the Italian moralist, Giuseppe Angelini, we will try to explain the historical and contemporary development of the concept of development as understood in the Social Doctrine of the Church and Novak’s commentaries on John Paul (...) II’s encyclicals on progress and development. Novak cites “Aquinas’s forgotten conclusion that social order is based on civil dialogue”. With these reflections, he seeks to build on the work of other prominent American philosophers and political scientists, such as John Courtney Murray, Paul Steidl-Meier, and others, while presenting his vision of economic and social progress for the countries living under the totalitarian regime of the Soviet bloc. The most important ideas here are directed towards notions such as the right to economic initiative and especially a notion of genuine individual freedom in society. (shrink)

As variants of the Christian tradition have emerged through the centuries they have given rise to distinct versions of Christian metaphysics with divergent cosmological commitments. In the early Church, the Cappodocian fathers constructed a theological framework which focuses on the “personal” nature of reality. The personal nature of reality is central not only to understanding key theological doctrines, such as the Trinity, but also the cosmos itself. This essay explores the Cappodocian conception of the cosmos as personal both in its (...) origin and as a medium for an interpersonal relationship between God and creatures. (shrink)

Rassemble, pour l'essentiel, les textes moraux du philosophe.

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)

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...

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)

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...

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...) attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)

"This personification of wisdom with golden hair and a radiant aura echoes both the eternal feminine and the world soul. Rooted in Christian and Jewish mysticism, Eastern Orthodox iconography, Greek philosophy, and European romanticism, the Sophiology that suffuses Solovyov's philosophical and artistic works is both intellectually sophisticated and profoundly inspiring. Judith Deutsch Kornblatt brings together key texts from Solovyov's writings about Sophia: poetry, fiction, drama, and philosophy, all extensively annotated and some available in English for the first time (with assistance (...) from the translators Boris Jakim and Laury Magnus)."--Amazon website. (shrink)

An algorithm recognizing admissibility of inference rules in generalized form (rules of inference with parameters or metavariables) in the intuitionistic calculus H and, in particular, also in the usual form without parameters, is presented. This algorithm is obtained by means of special intuitionistic Kripke models, which are constructed for a given inference rule. Thus, in particular, the direct solution by intuitionistic techniques of Friedman's problem is found. As a corollary an algorithm for the recognition of the solvability of logical equations (...) in H and for constructing some solutions for solvable equations is obtained. A semantic criterion for admissibility in H is constructed. (shrink)

Philosopher Vladimir Jankélévitch has only recently begun to receive his due from the English-speaking world, thanks in part to discussions of his thought by Jacques Derrida, Emmanuel Lévinas, and Paul Ricoeur. His international readers have long valued his unique, interdisciplinary approach to philosophy’s greatest questions and his highly readable writing style. Originally published in 1967, Le Pardon, or Forgiveness, is one of Jankélévitch’s most influential works. In it, he characterizes the ultimate ethical act of forgiving as behaving toward the (...) perpetrator as if he or she had never committed the action, rather than merely forgetting or rationalizing it—a controversial notion when considering events as heinous as the Holocaust. Like so many of Jankélévitch’s works, Forgiveness transcends standard treatments of moral problems, not simply generating a treatise on one subject but incorporating discussions of topics such as free will, giving, creativity, and temporality. Translator Andrew Kelley masterfully captures Jankélévitch’s melodic prose and, in a substantive introduction, reviews his life and intellectual contributions. Forgiveness is an essential part of that legacy, and this indispensable English translation provides key tools for understanding one of the great Western philosophers of the twentieth century. (shrink)

ABSTRACTThe psychological and philosophical literature exploring the role of social influence in moral judgments suggests that conformity in moral judgments is common and, in many cases, seems to b...

People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dynamic environments. Much of this knowledge requires concepts and this study focuses on how people acquire concepts. It is argued that conceptual development progresses from simple perceptual grouping to highly abstract scientific concepts. This proposal of conceptual development has four parts. First, it is argued that categories in the world have different structure. Second, there might (...) be different learning systems that evolved to learn categories of differing structures. Third, these systems exhibit differential maturational course, which affects how categories of different structures are learned in the course of development. And finally, an interaction of these components may result in the developmental transition from perceptual groupings to more abstract concepts. This study reviews a large body of empirical evidence supporting this proposal. (shrink)