An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic \ and its extensions \ and \. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...) authors knowledge, this is the first account of resolution for \. Last but not least, as the method is grounded in \, it constitutes an important tool for the so-called question-processing. (shrink)

Using “big data” from sensors worn continuously outside the lab, researchers have observed patterns of objective physiology that challenge some of the long-standing theoretical concepts of emotion and its measurement. One challenge is that emotional arousal, when measured as sympathetic nervous system activation through electrodermal activity, can sometimes differ significantly across the two halves of the upper body. We show that traditional measures on only one side may lead to misjudgment of arousal. This article presents daily life and controlled study (...) data, as well as existing evidence from neuroscience, supporting the influence of multiple emotional substrates in the brain causing innervation on different sides of the body. We describe how a theory of multiple arousals explains the asymmetric EDA findings. (shrink)

Assume that there is no quasi-measurable cardinal not greater than 2ω. We show that for a c. c. c. σ -ideal [MATHEMATICAL DOUBLE-STRUCK CAPITAL I] with a Borel base of subsets of an uncountable Polish space, if [MATHEMATICAL SCRIPT CAPITAL A] is a point-finite family of subsets from [MATHEMATICAL DOUBLE-STRUCK CAPITAL I], then there is a subfamily of [MATHEMATICAL SCRIPT CAPITAL A] whose union is completely nonmeasurable, i.e. its intersection with every non-small Borel set does not belong to the σ (...) -field generated by Borel sets and the ideal [MATHEMATICAL DOUBLE-STRUCK CAPITAL I]. This result is a generalization of the Four Poles Theorem and a result from [3]. (shrink)

An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic. In this paper, a new erotetic calculus for Classical Propositional Logic, dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic $${\mathsf{CLuN}}$$ CLuN and its extensions $${\mathsf{CLuNs}}$$ CLuNs and $${\mathsf{mbC}}$$ mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to (...) the authors knowledge, this is the first account of resolution for $${\mathsf{mbC}}$$ mbC. Last but not least, as the method is grounded in $${\mathsf{IEL}}$$ IEL, it constitutes an important tool for the so-called question-processing. (shrink)

The purpose of the text is to engage in a well thought critique of the Enlightenment project carried out by Nicholas Maxwell and to reflect upon the proposal of its reconstruction. Maxwell’s intellectual position is not at all obvious: he is neither a radical rationalist, nor a defender of scientific rationality, nor a postmodern and social constructivist. Postmodernists and social constructivists opposed the very idea of reason and rational inquiry, and have been thoroughly critical of what knowledge-inquiry represents. Indeed, such (...) criticisms could not be further from Maxwell’s position. According to Maxwell, what is wrong with knowledge-inquiry is not its embodiment of reason but, to the contrary, its gross and damaging irrationality. From Maxwell’s point of view we suffer not that much from the excess of rationality, but its deficit. Maxwell does not share open criticism of anti-Enlightenment thinkers from Nietzsche to Foucault, but more so he escapes the beliefs of a scientifically focused group of philosophers who see the main force of emancipation of humanity in a narrowly understood science followed by physics, the methodology of verification, and naturalism as a basic ideology. The author of the text thus poses the question: what can save our culture if it is neither sciencenor the rejection of science? Does the replacement of the category of knowledgeinquiry with wisdom-inquiry—which Maxwell converts us to—bring us any closer to a solution in our consideration of knowledge and life, science and politics, facts and values, nature and society? In Western culture wisdom has always been an object of desire, and it was so, inter alia, because unlike knowledge it has never been precisely defined and further specified. Philosophers developed a warm feeling towards wisdom and sought for wisdom, but had they lived by wisdom? Finally, the author challenges the most difficult question: can we rationally excuse our hopes for wisdom and hope that it may one day be embodied in the work of institutions and the actions of individuals? (shrink)

The aim of this paper is to present two arguments against the dialectical interpretation of Nagarjuna's philosophy. This interpretation understands Nagarjuna's philosophy as a method of deconstruction, abstracting from Nagarjuna's own standpoint. The first argument refers to the metaphysical presuppositions of this method. The second argument refers to the positive statements asserted by Nagarjuna and focuses mainly on those concerning Buddhist practice. Furthermore, the conception of 'skillful means' and 'the two truths' will be discussed. The conclusion of this paper is (...) that Nagarjuna's philosophy is based upon determining the conditions of the possibility of the Buddhist practice rather than on a dialectic without any metaphysical assumptions. (shrink)

We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity. We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.

In this paper we are applying certain strategy described by Negri and Von Plato :418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.

In this paper we are applying certain strategy described by Negri and Von Plato :418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.

E. T. A. Hoffmann is one of the most famous representatives of early German horror literature. He has been both, inspired by its predecessors, as well as having influenced the work of many of his successors, and hence the development of the whole genre. The present article examines a story by E. T. A. Hoffmann, “Vampirismus” from the collection of short stories “Serapions Brüder”. Emphases are, on the one hand, on the mechanisms that cause readers’ fear and uncertainty and, on (...) the other hand, the peculiarity of the vampire or Nachzehrer figure and their function in the story. Firstly, it will be shown that the vampire depicted in the work is not actually a vampire. We find here a ghoul; that is a demon from Arab culture. However, the ghoul has more to do with the monster outlined by Antoine Galland in his translation of the “One Thousand and One Nights” than with traditional folk beliefs. Secondly, the author comes to the conclusion that Hoffmann has functionalized the Horrible. This element does not work by itself, but serves the author as the background of the action. And he is using this background to let the characters reveal all their weaknesses and dark sides. The violation of the order ruling in the world as it is represented engages the reader and at the same time raises his fear. The resulting excited feelings and general alienation are further reinforced for the figure of the Nachzehrer that occurs instead of a formerly innocent, graceful girl. The emergence of the supernatural – the final confirmation of the breach of order – is responsible for the effect just described. (shrink)

Stereotype accuracy is a contentious topic. Part of the problem is that typically stereotypes are generic statements whose truth status is unclear due to the fact that they are ill-defined quantitatively. The article focuses on the epistemic aspect of stereotypical beliefs. In the ongoing debate, I side with those who argue against stereotypes being wrong or inaccurate by virtue of definition alone. I propose that, when possible, stereotype accuracy should be assessed in probabilistic terms by inspecting how likely a generic (...) statement is to be true when applied to individual representative of the relevant group. This approach applies equally well to investigating the actual and the perceived accuracy of stereotypes. (shrink)