The logic of algebraic rules as a generalization of equational logic

In this paper we start an investigation of a logic called the logic of algebraic rules. The relation of derivability of this logic is defined on universal closures of special disjunctions of equations extending the relation of derivability of the usual equational logic. The paper contains some simple theorems and examples given in justification for the introduction of our logic. A number of open questions is posed.     

Indeterminism is a modal notion: branching spacetimes and Earman’s pruning

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against criticism by Earman??s (2008) based on a model-theoretic characterization of indeterminism. It delineates BST branching against the background provided by Earman??s (2008) distinction between individual versus ensemble branching. Partly in order to motivate our responses to Earman, it describes a construction of physically motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to Earman??s criticisms leveled against BST by addressing a topological issue, the question of an actual future, the past/future asymmetry, and some semantical questions.     

The Power of a Propositional Constant

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4.     

How to evaluate counterfactuals in the quantum world

In the article I discuss possible amendments and corrections to Lewis’s semantics for counterfactuals that are necessary in order to account for the indeterministic and non-local character of the quantum world. I argue that Lewis’s criteria of similarity between possible worlds produce incorrect valuations for alternate-outcome counterfactuals in the EPR case. Later I discuss an alternative semantics which rejects the notion of miraculous events and relies entirely on the comparison of the agreement with respect to individual facts. However, a controversy exists whether to include future indeterministic events in the criteria of similarity. J. Bennett has suggested that an indeterministic event count toward similarity only if it is a result of the same causal chain as in the actual world. I claim that a much better agreement with the demands of the quantum-mechanical indeterminism can be achieved when we stipulate that possible worlds which differ only with respect to indeterministic facts that take place after the antecedent-event should always be treated as equally similar to the actual world. In the article I analyze and dismiss some common-sense counterexamples to this claim. Finally, I critically evaluate Bennett’s proposal regarding the truth-conditions for true-antecedent counterfactuals.     

Sandman,Lars, A Good Death,On the Value of Death and Dying

Theoretical Medicine and Bioethics -     

The question‐behaviour effect in intergroup attitudes research: When do attitudes towards a minority predict a relevant behaviour?

We hypothesised that the question‐behaviour effect, referred to as the influence of questioning about a given behaviour on its subsequent performance, is a relevant issue when exploring the external validity of intergroup attitudes. In a pair of studies, we have corroborated that merely expressing attitudes towards the Jewish minority affects people's relevant behaviour towards this group. In an Internet study, participants who first completed verbal attitude measures were more likely to donate to a Jewish organisation compared to those who completed the measures after making the decision to donate. Moreover, responses to attitude measures of various types and donating to the Jewish organisation were correlated when attitudes had been expressed in the first step. When attitudes were measured after the decision to donate, only the responses to the traditional anti‐Semitic scale were correlated with this behaviour. In the field study, in which the time interval between attitude and behaviour measures was introduced, no question‐behaviour effect was observed. We explain the results with reference to cognitive dissonance and attitude accessibility mechanisms and discuss them in a broader context of attitude‐behaviour research.     

Cross‐cultural invariance of NPI‐13: Entitlement as culturally specific,leadership and grandiosity as culturally universal

The current study explores the problem with the lack of measurement invariance for the Narcissistic Personality Inventory (NPI) by addressing two issues: conceptual heterogeneity of narcissism and methodological issues related to the binary character of data. We examine the measurement invariance of the 13‐item version of the NPI in three populations in Japan, Poland and the UK. Analyses revealed that leadership/authority and grandiose exhibitionism dimensions of the NPI were cross‐culturally invariant, while entitlement/exploitativeness was culturally specific. Therefore, we proposed NPI‐9 as indicating scalar invariance, and we examined the pattern of correlations between NPI‐9 and other variables across three countries. The results suggest that NPI‐9 is valid brief scale measuring general levels of narcissism in cross‐cultural studies, while the NPI‐13 remains suitable for research within specific countries.     

Refutations,Proofs, and Models in the Modal Logic K4

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.     

Changes in Body Mass Index and Quality of Life—Population-Based Follow-up Study COURAGE and COURAGE-POLFUS,Poland

Applied Research in Quality of Life - The study aimed to verify an association between changes in body mass index (BMI) and quality of life (QoL) in a 4-year follow-up in a population-based study...