The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and (...) we prove that our fragment is complete and decidable. (shrink)

This paper is basically a presentation of the tenets of Pierre Bourdieu’s philosophy in a language and level that can be easily understood by Filipino students and scholars of philosophy, cultural studies and Philippine studies. The discussion of Bourdieu’s philosophy revolves around 1) his concepts of habitus, field and symbolic violence; 2) his critique of television; 3) his theory of capitals; 4) some implications of his theory of capitals; and 5) his being public intellectual. The ultimate aim of this paper (...) is to suggest some aspects and dimensions of Philippine society and culture that can be analyzed using some of bourdieu’s thoughts as interpretive frameworks, as well as to challenge the said Filipino students and scholars of philosophy, cultural studies and Philippine studies to creatively and effectively appropriate such theories for the enrichment of the theoretical corpus of Philippine studies. This paper is part of a series of similar works done by one of the co-authors that dealt with Adorno, Schleiermacher and Dilthey, Heidegger, Gadamer and Bultmann, and Lyotard. (shrink)

In the eighties of the nineteenth century Ubu comes into the world. Thanks to Alfred Jarry, in around ten years this imaginary tyrant with unrestrained longings will rise to an outstanding position in the Parisian theatrical arena. Ubu, anyway, is not a mere culture phenomenon: he is also – better, he is first of all – the outcome of an unprecedented and primitive reflection on power. So Ubu, from the beginning, is the embodiment of the excess, the expression of tyranny (...) as the childish power par excellence, driven by a bulimic imagination and dragged by overwhelming yearnings, always associated with the denial of any decorum and mediation. Ubu is, to a certain extent, one of the most prophetic and accurate anticipations of that imbalance between the autocrat’s longings and the endurance degree of the environment around him: a political pathology which will be the eminent and dramatic feature of the terrible catastrophes of the 20th century. Jarry’s work is even more significant when, in the last of its plays, describes an institutional system protected by a brittle glass bell, unbreakable only by those who hesitate to strike it, and an administrative apparatus so much subject to arbitrary power that it seems built «by the tyrant himself». (shrink)

Answering a question raised by Shavrukov and Visser :569–582, 2014), we show that the lattice of \-sentences ) over any computable enumerable consistent extension T of \ is uniformly dense. We also show that for every \ and \ refer to the known hierarchies of arithmetical formulas introduced by Burr for intuitionistic arithmetic) the lattices of \-sentences over any c.e. consistent extension T of the intuitionistic version of Robinson Arithmetic \ are uniformly dense. As an immediate consequence of the proof, (...) all these lattices are also locally universal. (shrink)

It is universally recognized that in the fragments of Hipponax there are many references to Homer, in both language and content. In this paper I analyse the relationship between Hipponax’ poetic persona and the character of Odysseus.

Vocal bursts are non-linguistic affectively-laden sounds with a crucial function in human communication, yet their affective structure is still debated. Studies showed that ratings of valence and arousal follow a V-shaped relationship in several kinds of stimuli: high arousal ratings are more likely to go on a par with very negative or very positive valence. Across two studies, we asked participants to listen to 1,008 vocal bursts and judge both how they felt when listening to the sound (i.e. core affect (...) condition), and how the speaker felt when producing it (i.e. perception of affective quality condition). We show that a V-shaped fit outperforms a linear model in explaining the valence-arousal relationship across conditions and studies, even after equating the number of exemplars across emotion categories. Also, although subjective experience can be significantly predicted using affective quality ratings, core affect scores are significantly lower in arousal, less extreme in valence, more variable between individuals, and less reproducible between studies. Nonetheless, stimuli rated with opposite valence between conditions range from 11% (study 1) to 17% (study 2). Lastly, we demonstrate that ambiguity in valence (i.e. high between-participants variability) explains violations of the V-shape and relates to higher arousal. (shrink)

Journal Name: Philologus Issue: Ahead of print.

In this paper I analyze the rhetorical function of compositional neologisms in Cercidas’ versification, in order to provide a new semantical and/or syntactical explanation for single words that have not been correctly interpreted before. In particular I analyze the fragments 1.41–50 Lom., 2.25–7 Lom. and 60 Lom., focusing especially on the correct interpretation of τεθνακοχαλκίδης, συοπλουτοσύνη and μεταμελλοδύνη. At the end of the paper, final considerations on the rhetorical function of neologism in Cercidas’ text are offered.

This article critiques the theological and moral foundations that undergird the approach of the document For the Life of the World: Toward a Social Ethos of the Orthodox Church to the question of the Church's role in the public sphere. The article's focus is essentially two-fold. First, it strives to clarify For the Life of the World's hermeneutical method through a consideration of its frequent appeals to the authority of the Orthodox tradition. Second, the article seeks to understand the document's (...) tacit reliance upon a Eucharistic model of ecclesiology and its connection to the recurring theme of the ‘transfiguring of the world’. (shrink)

La pobreza tiene una base material, la penuria de recursos. Pero su naturaleza es moral, consiste en el reconocimiento de que ciertas situaciones son acreedoras de acciones preventivas o remediadoras. Las sociedades vienen colocando tradicionalmente el umbral de pobreza en el punto por debajo del cual esta en peligro la subsistencia. Pero la conciencia reformista del mundo occidental ha llegado a servirse de la idea de pobreza para señalar los fallos de su compromiso de igualdad social. No se trata tanto (...) de una benévola elevación del baremo, como de una reconceptualización acorde con la ideología política dominante. (shrink)

This article is an investigation into the field of neurotheology, a controversial field which has attracted criticism from both the scientific and religious community and which is often quite divided among its own practitioners. Regretfully, but not too unexpectedly, science has gotten entangled with ideology, as we shall see, with proponents on all sides of the spectrum using findings from the laboratory in support of their own philosophical positions. We will begin by exploring some definitions of the field and then (...) move on to examine the claims made by the different scientists working in this area, before examining what conclusions we can draw for spirituality. (shrink)

Over the past few years, several proposals aimed at procuring human pluripotent (embryonic-like) stem cells without involving the destruction of a human embryo have been proposed and widely discussed. This article focuses on a basic aspect of the debate, namely the plausibility of one or more of these new proposals being able to meet the ethical requirements that those who regard the human embryo as sacred have tried to impose on stem cells research in the last ten years. The thesis (...) of the article is that focusing the discussion only on the sources of stem cells has prevented a full understanding of the foundation, meaning and scope of these ethical requirements. To substantiate this thesis, the article takes into consideration two issues: the first has to do with the potential of the cells obtained through some of the new approaches (iPS included), the second (and decisive) with the argument of the ‘indirect complicity’, applied to the use of ‘contaminated’ knowledge. (shrink)

Different summarized shape indices, like mean shape index (MSI) and area weighted mean shape index (AWMSI) can change over multiple size scales. This variation is important to describe scale heterogeneity of landscapes, but the exact mathematical form of the dependence is rarely known. In this paper, the use of fractal geometry (by the perimeter and area Hausdorff dimensions) made us able to describe the scale dependence of these indices. Moreover, we showed how fractal dimensions can be deducted from existing MSI (...) and AWMSI data. In this way, the equality of a multiscale tabulated MSI and AWMSI dataset and two scale-invariant fractal dimensions has been demonstrated. (shrink)

Guaspari (J Symb Logic 48:777–789, 1983) conjectured that a modal formula is it essentially Σ1 (i.e., it is Σ1 under any arithmetical interpretation), if and only if it is provably equivalent to a disjunction of formulas of the form ${\square{B}}$ . This conjecture was proved first by A. Visser. Then, in (de Jongh and Pianigiani, Logic at Work: In Memory of Helena Rasiowa, Springer-Physica Verlag, Heidelberg-New York, pp. 246–255, 1999), the authors characterized essentially Σ1 formulas of languages including witness comparisons (...) using the interpretability logic ILM. In this note we give a similar characterization for formulas with a binary operator interpreted as interpretability in a finitely axiomatizable extension of IΔ 0 + Supexp and we address a similar problem for IΔ 0 + Exp. (shrink)

This paper discusses the relationship between obesity, law, and public health preparedness as well as the relevant roles of public health practitioners, policymakers, and lawyers. Each group believes they have a unique role in this relationship although there can be overlap and/or lack of clarity as to what that role may be.The role of the lawyer in the public policy process is to identify relevant legal issues, to analyze them and give advice on the risks of taking a given action, (...) and to communicate legal advice in a clear manner. Simply put, the lawyer’s role is to dive deep into the law surrounding the topic at hand and to offer advice regarding the permissible limits of policymakers’ options and the associated risks. (shrink)

This paper discusses the relationship between obesity, law, and public health preparedness as well as the relevant roles of public health practitioners, policymakers, and lawyers. Each group believes they have a unique role in this relationship although there can be overlap and/or lack of clarity as to what that role may be.The role of the lawyer in the public policy process is to identify relevant legal issues, to analyze them and give advice on the risks of taking a given action, (...) and to communicate legal advice in a clear manner. Simply put, the lawyer’s role is to dive deep into the law surrounding the topic at hand and to offer advice regarding the permissible limits of policymakers’ options and the associated risks. (shrink)