Truth and Consistency

This paper investigates relations between truth and consistency. The basic intuition is that truth implies consistency, but the reverse dependence fails. However, this simple account leads to some troubles, due to some metalogical results, in particular the Gödel-Malcev completeness theorem. Thus, a more advanced analysis is required. This is done by employing the concept of ω-consistency and ω-inconsistency. Both concepts motivate that the concept of the standard truth should be introduced as well. The results are illustrated by an interpretation of the well-known logical square and its generalization.     

Dedicated to Nation but Against Women? National Narcissism Predicts Support for Anti-Abortion Laws in Poland

The present research examines psychological concomitants of support for anti-abortion laws in Poland in the wake of the Constitutional Tribunal’s 2020 ruling restricting access to abortion in cases of fetal malformations. Results of two cross-sectional studies conducted on representative samples of Poles (Study 1, N?=?994 and Study 2, N?=?432) indicated that support for an almost total abortion ban was associated with national narcissism – a belief in the national in-group’s greatness that is contingent on its external validation. In both studies, the relationship between national narcissism and support for anti-abortion laws was mediated by hostile, but not benevolent, sexism. Study 2 additionally showed that this effect remained significant even when we accounted for other important variables, such as individual narcissism or prejudice towards people with Down syndrome. Overall, our results indicate that national narcissism may play an important role in shaping anti-abortion attitudes.

     

Quality of Life and Optimism in Patients with Morphea

Despite extensive knowledge about quality of life of people suffering from dermatological diseases, data on patients with morphea are scarce. The aim of our study was to compare the quality of life of healthy controls and morphea patients, as well as to determine the correlation of this variable with the level of dispositional optimism. The study included 47 patients with morphea and 47 healthy controls, matched for gender and age. Cantril’s Ladder and Life Orientation Test-Revised were used to assess the levels of life satisfaction and dispositional optimism, respectively. LoSSI was used for the objective assessment. The anticipated level of life quality and the level of dispositional optimism were statistically significantly lower in morphea patients (p?=?0.032 and p?=?0.014, respectively) when compared to controls. There were no differences in the assessment of current (p?=?0.168) and past (p?=?0.318) levels of life quality. Also, we proved that type of morphea did not differentiate the current (p?=?0.175), past (p?=?0.620) and future (p?=?0.356) assessment of the quality of life. In the group of morphea patients there was a statistically significant correlation between the level of dispositional optimism and current (p?=?0.002, r?=?0.43), as well as anticipated (p?r?=?0.57) levels of life quality. Current level of life quality of healthy controls and morphea patients is comparable, whereas the latter anticipate their future life situation to be significantly worse than the former. Higher level of life satisfaction correlates with higher level of optimism.     

On comparison of theories by their contents

Popper's definition of verisimilitude was criticized for its paradoxical consequences in the case of false theories. The aim of this paper is to show that paradoxes disappear if the falsity content of a theory is defined with help of dCn or Cn ^–1.To the memory of Jerzy SupeckiI am grateful to David Pearce, Gerhard Schurz, Peter Simons, Maciej Spasowski and Jan Zygmunt for their helpful discussions on issues analysed in this paper. Particularly, Zygmunt's and Spasowski's comments enabled me to correct several mistakes of the earlier drafts.     

No non-trivial quasivariety of BCK-algebras has decidable first order theory

Using the semantic embedding technique the theorem announced by the title is proved.     

Wprowadzanie implikacji na kursach logiki usługowej

Allatum est die 1 Augusti 1969