Basic properties of the equivalence

In this paper we investigate some basic semantic and syntactic conditions characterizing the equivalence connective. In particular we define three basic classes of algebras: the class of weak equivalential algebras, the class of equivalential algebras and the class of regular equivalential algebras (see [12]).Weak equivalential algebras can be used to study purely equivalential fragments of relevant logics and strict equivalential fragments of some modal logics (for investigations of strict implicational fragments of modal logics see [20]). Equivalential algebras are suitable to study purely equivalential fragment of BCI and BCK logic (see [21], p. 316). A subclass of the class of regular equivalential algebras is suitable to study equivalential fragments of ukasiewicz logics. Some subvarieties of the class of regular equivalential algebras provide natural semantics for equivalential fragments of the intuitionistic prepositional logic and various intermediate logics (see [13]).The last chapter is a selection of research problems which in the author's opinion are worth to be solved.     

Increasingly cautious sampling,not the black colouration of unpalatable prey,is used by fish in avoidance learning

Animal Cognition - The efficiency of aposematic colouration of prey is based on the innate bias or facilitation of avoidance learning of predators. In many toxic bufonids, larvae are uniformly...     

Emotion regulation and emotional information processing: The moderating effect of emotional awareness

The aim of this study was to examine the moderating role of emotional awareness in the relationship between emotion regulation strategies and emotional information processing. A total of 120 female students regulated emotions while watching an unpleasant film. Before and after emotion induction, participants completed a set of tasks that required matching facial expressions. The results demonstrated that participants who were high in emotional awareness showed a significantly smaller increase in error responses (i.e., incorrect matches) than participants who were low in emotional awareness. However, this effect was observed only in suppression (i.e., inhibition of an emotionally expressive behavior), masking (i.e., emotion experienced with a happy expression) and control (i.e., no regulation) conditions. Among reappraisers, who were instructed to adopt a neutral attitude toward the film, regardless of whether they were high or low in emotional awareness, there was not a significant increase in error responses. This study shows that the potentially damaging impact of negative emotions on the processing of emotional information can be prevented by a high emotional awareness or with the implementation of reappraisal as an emotion regulation strategy.     

Schellenberg’s Hiddenness Argument and its Reversal

The article discusses a response to Schellenberg’s atheistic ‘hiddenness argument’ (A-argument) that neither objects to its premises nor formulates a new inductive argument in favour of the existence of God. According to the proposed response, it is sufficient for the task of defending theism to reverse Schellenberg’s reasoning and present a theistic meta-argument (T-argument) that takes as its assumption the fact that there are resistant believers in the world. The paper defends the claim that both arguments (A- as well as T-argument) have similar persuasive power. However, because of their contradictory conclusions both cannot be sound. It is argued that the way to decide the dilemma is to compare the demographics of theism and atheism and to compare accommodation strategies of both arguments. The first comparison favours theism, but it does not exclude the possibility that quantitative proportions between theists and atheists can change in the future. The second comparison refers to accommodation strategies of proponents of A-argument who have to give an account of how it is possible that in an atheistic world there exist resistant believers and of proponents of T-argument who have to give an account of how it is possible that in the world governed by an all-powerful and all-loving God there exist nonresistant nonbelievers. The conclusion of the considerations is the claim that the theistic accommodation strategy compares favourably to the atheistic one.

     

The Set of Fear Inducing Pictures (SFIP): Development and validation in fearful and nonfearful individuals

Emotionally charged pictorial materials are frequently used in phobia research, but no existing standardized picture database is dedicated to the study of different phobias. The present work describes the results of two independent studies through which we sought to develop and validate this type of database—a Set of Fear Inducing Pictures (SFIP). In Study 1, 270 fear-relevant and 130 neutral stimuli were rated for fear, arousal, and valence by four groups of participants; small-animal (N = 34), blood/injection (N = 26), social-fearful (N = 35), and nonfearful participants (N = 22). The results from Study 1 were employed to develop the final version of the SFIP, which includes fear-relevant images of social exposure (N = 40), blood/injection (N = 80), spiders/bugs (N = 80), and angry faces (N = 30), as well as 726 neutral photographs. In Study 2, we aimed to validate the SFIP in a sample of spider, blood/injection, social-fearful, and control individuals (N = 66). The fear-relevant images were rated as being more unpleasant and led to greater fear and arousal in fearful than in nonfearful individuals. The fear images differentiated between the three fear groups in the expected directions. Overall, the present findings provide evidence for the high validity of the SFIP and confirm that the set may be successfully used in phobia research.     

Inferential Intensionality

The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its rules lead from the non-rejected assumptions to the accepted conclusions.First, we focus on the syntactic features of the framework and present the q-consequence as related to the notion of proof. Such a presentation uncovers the reasons for which the adjective inferential is used to characterize the approach and, possibly, the term inference operation replaces q-consequence. It also shows that the inferential approach is a generalisation of the Tarski setting and, therefore, it may potentially absorb several concepts from the theory of sentential calculi, cf. [10]. However, as some concrete applications show, see e.g.[4], the new approach opens perspectives for further exploration.The main part of the paper is devoted to some notions absent, in Tarski approach. We show that for a given q-consequence operation W instead of one W-equivalence established by the properties of W we may consider two congruence relations. For one of them the current name is kept preserved and for the other the term W-equality is adopted. While the two relations coincide for any W which is a consequence operation, for an arbitrary W the inferential equality and the inferential equivalence may differ. Further to this we introduce the concepts of inferential extensionality and intensionality for q-consequence operations and connectives. Some general results obtained in Section 2 sufficiently confirm the importance of these notions. To complete a view, in Section 4 we apply the new intensionality-extensionality distinction to inferential extensions of a version of the ukasiewicz four valued modal logic.     

Enduring Simples and the Stages They Compose

In this article I introduce a hybrid view of persistence whereby simple objects persist by enduring while composite objects persist by being stage‐related. I first show how, by sharing certain features and not others with the standard (non‐hybrid) views of persistence, this hybrid view navigates two metaphysical problems that have been raised against such standard (non‐hybrid) views. I then consider some implications of the view by addressing a couple of worries that may be raised against it. I conclude that this hybrid view provides an attractive theory, one that deserves further investigation in the debate on persistence.     

The effect of familiarity on visual-search performance: evidence for learned basic features.

In this study, the effects of familiarity on visual search were investigated. To avoid any confounding between familiarity and visual-feature differences between item pairs, Ns and mirror-Ns were presented as target and as distractors to a group of German participants and to a group of Slavic participants. For the Germans only N was familiar, whereas for the Slavs both N and mirror-N were familiar. The results show that search was difficult only when the Germans had to find an N among mirror-Ns. In any other case, search was efficient. Therefore, our results demonstrate that, contrary to earlier suggestions, search for a familiar item among familiar distractors can be easy. This supports the hypothesis that familiarity improves distractor grouping. However, the data are also compatible with the idea that letters are standard or basic features, which implies that basic features can be learned.     

Logic, Formal Methodology and Semantics in Works of Ryszard W��jcicki

For decades Ryszard Wójcicki has been a highly influential scholar in the community of logicians and philosophers. Our aim is to outline and comment on some essential issues on logic, methodology of science and semantics as seen from the perspective of distinguished contributions of Wójcicki to these areas of philosophical investigations.