The author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

The building of a developed socialist society is a process of shaping a highly advanced system of intellectual life and forming a new human being. Simultaneous with the creation and perfection of a new basis in material technology and social relationships, a process of comprehensive and harmonious development of the socialist personality takes place. On the level of development of the personality we face the task of creating a scientifically valid system of forms and methods of education and training, which (...) requires the implementation of interdisciplinary sociological, pedagogical, ethical, and psychological studies of the process of molding the new human being. (shrink)

Crosslinguistically, the same modal words can be used to express a wide range of interpretations. This crosslinguistic trend supports a Kratzerian analysis, where each modal has a core lexical entry and where the difference between an epistemic and a root interpretation is contextually determined. A long-standing problem for such a unified account is the equally robust crosslinguistic correlation between a modal’s interpretation and its syntactic behavior: epistemics scope high (in particular higher than tense and aspect) and roots low, a fact (...) which has led to proposals that hardwire different syntactic positions for epistemics and roots (cf. Cinque’s hierarchy). This paper argues that the range of interpretations a modal receives is even more restricted: a modal must be keyed to certain time-individual pairs, but not others. I show that this can be captured straightforwardly by minimally modifying the Kratzerian account: modals are relative to an event—rather than a world—of evaluation, which readily provides a time (the event’s running time) and (an) individual(s) (the event’s participants). I propose that this event relativity of modals can in turn explain the correlation between type of interpretation and syntactic position, without stipulation of an interpretation-specific height for modals. (shrink)

In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...) only with a miserable freedom, consisting of the possibility to choose between different evils. Perpetually sinful and eternally constrained to remain so, they are condemned to wretchedness, to complacency in evil, and to the unremitting torments of hell. (shrink)

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

In my presentation I understand anger as an emotion that, in addition to its relationship to time, is also subject to cultural rules and is therefore related to probability and predictability. With the use of selected references from the theory of emotions (ranging from antiquity to the present day) I identify several consistent fundamental assumptions about this emotion and reconstruct a discourse of “just” anger. Viewed from the perspective of such extra-literary concepts of anger (particularly Thomas Aquinas' ‘De passionibus animae’) (...) Willehalm's outbursts of anger at the French court can be seen not only as an “illegitimate”, universally condemned act, through which the margrave unnecessarily puts at risk his legitimate claim to the king's support; equally, the very forbearance and expressions of solidarity which he is successively shown after his intemperate behaviour in Munleun can also be reinterpreted in light of the Aristotelian-Thomistic model of anger. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...) base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

How do children learn the meanings of propositional attitude verbs? We argue that children use information contained in both syntactic distribution and pragmatic function to zero in on the appropriate meanings. Specifically, we identify a potentially universal link between semantic subclasses of attitude verbs, their syntactic distribution and the kinds of indirect speech acts they can be used to perform. As a result, children can use the syntax as evidence about the meaning, which in turn constrains the kinds of pragmatic (...) enrichments they do and do not make in understanding these verbs in conversation. (shrink)

Principles of Philosophy was written in Latin by Rene Descartes. Published in 1644, it was intended to replace Aristotle's philosophy and traditional Scholastic Philosophy. This volume contains a letter of the author to the French translator of the Principles of Philosophy serving for a Preface and a letter to the most serene princess, Elizabeth, eldest daughter of Frederick, King of Bohemia, Count Palatine, and Elector of the Sacred Roman Empire. Principes de philosophie, by Claude Picot, under the supervision of Descartes, (...) appeared in 1647 with a letter-preface to Queen Christina of Sweden. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...) seen and is still seen today as a supporter of this view. The present paper aims to reconsider this interpretation. (shrink)

The cause of contemporary education is a subject-object relation of the society to man. There are two possible types of education constructed on the basis of this relation: cultural-oriented and social-oriented. None of this two types can solve the problem of a man as a subject of own history. Creative type of education based оn a subject-subject relation can solve this problem.

Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I (...) show soundness and completeness for both deductions and refutations. (shrink)

This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyse the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue (...) that L_D and L_I naturally resolve a range of interpretational problems that arise in D and I.We also obtain sound and complete axiomatizations for L_D and L_I . (shrink)

This is an introduction to proofs book for the course offering a transition to more advanced mathematics. It contains logic, sets, functions, relations, the construction of rational, real and complex numbers and their properties. It also has a chapter on cardinality and a chapter on counting techniques. The book explains various proof techniques and has many examples which help with the transition to more advanced classes like real analysis, groups, rings and fields or topology.

We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...) equivalence results for their semantics, as well as interpretation of the alternating-time temporal epistemic logic into ATL. The focus in this paper is on models: alternating transition systems, multi-player game models (alias concurrent game structures) and coalition effectivity models turn out to be intimately related, while alternating epistemic transition systems share much of their philosophical and formal apparatus. Our approach is constructive: we present ways to transform between different types of models and languages. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

This special issue is a result of The Bucharest Colloquium in Analytic Philosophy dedicated to Frege's philosophy of mathematics and language. It was held at the Research Center for Logic, H...

Cet article propose une réflexion sur l’approche biographique en sociologie, centrée sur le concept de « bifurcation » étudié ici dans le registre des interdépendances et des interactions entre parcours professionnels et histoires de santé. Après avoir brièvement rappelé les principales caractéristiques du matériau biographique et, simultanément, les principaux problèmes qu’il pose à l’analyse, le texte souligne certaines spécificités de l’articulation sociale et biographique entre santé et travail. Il propose ensuite une définition opératoire de la notion de « bifurcation » (...) et la met à l’épreuve de quelques exemples issus d’un corpus d’entretiens. Cette analyse permet de montrer en quoi l’approche sous l’angle des bifurcations se révèle fructueuse pour mieux comprendre certaines formes de changements à l’échelle des parcours de vie et leurs mises en intrigue par les acteurs concernés.This paper proposes a contribution to the reflexion about biographical approach in sociology. It is focused on the concept of « turning point » , applied to the interdependences and interactions between work and health in the biographical course. The paper describes the main characteristics of the biographical material and, at the same time, the difficulties of its analysis. Then it underlines the specificities of the social and biographical interweaving between work and health, and proposes to confront the concept of « bifurcation » with several cases drawn from a corpus of interviews. This analysis shows that the concept of « bifurcation » can be useful to describe some kinds of changes in the biographical courses, and to understand their meanings for the actors. (shrink)

On essaye d’interroger dans cet article, le messianique à partir de l’entente de la lettre chez trois penseurs juifs : Derrida, Levinas et Jabès. De là nous sera-t-il possible, peut-être, de généraliser l’entente de cette lettre juive, jusqu’à l’archi-écriture au sens de Derrida, et de penser ainsi le messianique comme la venue de l’autre dans l’être ou avant l’être. Mais une question reste en suspens : si la lettre juive engage la venue de l’autre et de l’être, nous est-il encore (...) possible d’identifier le commencement de l’être – comme Heidegger le fait –, à son éclosion grecque? Ou doit-on se rendre, en amont, au Mont Sinaï où le tétragramme imprononçable, sous la forme de quatre lettres, annonçait déjà la promessianicité de l’être comme lettre? (shrink)

n m : se suivant dans l’alphabet, m est un double n, la mise en contact de deux n, et n, un m séparé de lui-même, ayant perdu avec le n le contact avec l’autre même. De ce continuum, donc, son double. Prothèse. Ou plutôt orthèse. Soutenir ici une thèse de Mehdi, en supplément de quoi, qui sait, seulement une lettre. M, comme son initiale et l’initiale d’un ami souffrant de l’amour, lettre nasale bilabiale produite par le desserrement des deux (...) lèvres, homophone encore de « aime » et des initia... (shrink)

Until 1977, Monsignor Romero was a traditional Catholic bishop trained in traditional Roman theology with a penchant for order and non-involvement in 'politics'. He was also a product of the 1968 Medellin Conference which fashioned a pastoral model for the Latin American church: 'A fundamental option for the poor' on the thrust of the Second Vatican Council. This article seeks to present Oscar Romero within a historical context and proposes him as a servant-leader model for African church leaders, especially Catholic (...) bishops. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)