This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only on which of thefollowing formulas are theses of all logics from this group:,,, ⌜∨ ☐q⌝,and for any n > 0 a formula ⌜ ∨ ⌝, where has not the atom ‘q’, and and have no common atom. We generalize Pollack’s result from [12],where (...) he proved that all modal logics between S1 and S5 have the same theseswhich does not involve iterated modalities. (shrink)

The equivalence connective in ukasiewicz logic has its algebraic counterpart which is the distance function d(x,y) =|x–y| of a positive cone of a commutative -group. We make some observations on logically motivated algebraic structures involving the distance function.

Academic dishonesty has serious consequences for human lives, social values, and economy. The main aim of the study was to explore a model of relations between personal and cultural variables and academic dishonesty. The participants in the study were N = 2,586 individuals from nine countries (Pakistan, Israel, Italy, India, the USA, Peru, Romania, Ghana, and Poland). The authors administered the Academic Dishonesty Scale to measure academic dishonesty, the Kessler Psychological Distress Scale to measure distress, the Almost Perfect Scale – (...) Revised to measure perfectionism, the Brief Self-Control Scale to measure self-control, and the Singelis Scale to measure independent self-construal. The results showed that the theoretical model was well fitted to the dataset in six countries: Pakistan, the United States, Romania, Ghana, Israel, and Poland. However, it was not well fitted in Italy, India, and Peru. Our results also showed that perfectionism significantly predicted academic dishonesty, but not in all countries. Self-control significantly predicted cheating, falsification, and plagiarism in the USA. Moreover, we found that distress was related to cheating o0nly in Ghana. Finally, independent self-construal predicted academic dishonesty. Our findings provide a cross-cultural contribution to the debate on academic dishonesty by highlighting its significant predictors and may inform interventions aimed at eliminating it. Our results can be used in preventing and curbing academic dishonesty. Knowledge on cross-cultural differences can be useful in international education for example, as an indicator accepting or relaxing attitude toward academic dishonesty in students from different countries. (shrink)

The aim of this essay is to create a coherent theistic model of a solution to the problem of evil. To this end, it is shown that the differences in Kierkegaard’s and Plantinga’s accounts of the problem of evil can be reconciled if looked at from a broader theistic perspective. This requires, on the one hand, that Plantinga’s immanent and logical vision be extended to include Kierkegaard’s spiritual and existential view of evil, and, on the other hand, that a correction (...) be made to Kierkegaard’s view thereof, as a result of the way in which Plantinga presents the relationship between good and moral evil in the world. Consequently, in Plantinga’s Free Will Defense the existence of God is consistent with the existence of evil, not because God has a reason to permit evil in the world, but because evil as a real element of the temporal world does not come from God. In Kierkegaard’s Free Spirit Offense, in turn, the interpretative model applied demonstrates that the existence of moral good must be independent of the existence of spiritual evil, for otherwise the moral evil of immanence would not be able to be forgiven by the spiritual good of transcendence. (shrink)

Unitary, irreducible representations of the proper, orthochronous Lorentz group comprise the main series and the supplementary series. The main series is spanned by the complete set of eigenstates of the self-adjoint Casimir operator C 1=−(1/2)M μν M μν , where M μν are generators of Lorentz transformations. The supplementary series has no such interpretation; moreover it is spurious from the point of view of functional analysis as it does not enter into the integral representation of an arbitrary test function. The (...) author describes the physical context within which the supplementary series arises, nevertheless, in a natural way: it arises if we exponentiate a massless scalar quantum field living in three-dimensional de Sitter space-time and if the appropriate coupling constant is small enough. (shrink)

In introductory logic courses the authors often limit their considerations to the truth-value operators. Then they write that conditionals and biconditionals of natural language ("if" and "if and only if") may be represented as material implications and equivalences ("⊃" and "≡"), respectively. Yet material implications are not suitable for conditionals. Lewis' strict implications are much better for this purpose. Similarly, strict equivalences are better for representing biconditionals (than material equivalences). In this paper we prove that the methods from standard first (...) courses in logic can be used for testing arguments with strict implications, strict equivalences and other operators which may represent connectives from natural language. (shrink)

The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.

The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trzęsicki at the 1980s. The second, called Multiple Sequent Calculus (MSC), was proposed in the beginning of the present century. Both approaches are examples of the family of multisequent calculi.

In his text, the author develops the notion of trust as a condition for the possibility of any relational anthropology. Referring to the root associated with trust as the foundation of the relationship, he takes a position in the dispute about the primal nature of trust or perfidy; believes that in the abusive practices of credit and debt there is a reversal of the meaning of what is a necessary element of human life, relationships based on trust. Perfidy is possible (...) precisely because there is trust. On the basis of such concepts, he develops an analysis of events in the global economy at the turn of the 20th and 21th century, especially the financialization, based on the ideas of such authors as Arrighi, Bourdieu, Eichegreen, Pobłocki and Stiegler but also Lacan. (shrink)

The article presents the philosophical thought of Rudolf Zocher, Wolfgang Cramer and Hans Wagner, whose theoretical stance can be dubbed Neoneo-Kantianism. The article investigates their philosophical output and argues that they developed a transcendental reflection of a different kind than that of Baden Neo-Kantianism. The transcendental reflection of Neoneo-Kantianism, especially in the work of Hans Wagner, takes on the topic of phenomenological inquiry and treats consciousness as a source of subject- object distinction, unlike Rickert and Windelband, who were developing transcendental (...) reflection focused on aprioristic forms of cognition, much in the post-Fichtean vein, thus giving primacy to the subjective conditions of possible experience. (shrink)

Bronisław Kasper Malinowski was a Polish anthropologist, ethnographer, and sociologist. Malinowski is often considered as a pioneer in the ethnographic field research methods, such as participant observation, interviews, and statistics. His studies focused on beliefs and forms of social organization. Malinowski is often recognized as one of the founders of modern social anthropology and functionalism.

Referat wygłoszony w ramach Koła Antropologii Obrazu przy Instytucie Socjologii Uniwersytetu w Białymstoku, Białystok, 03.2007. // Paper presented at the Koło Antropologii Obrazu at the Institute of Sociology, University of Bialystok, Bialystok, 03.2007.

Old age is often described from the perspective of losses, deficits, and risks. This chapter rejects such a way of thinking. It focuses on the potentials of older adults. The main aim of this chapter is to describe different resources that can be interpreted as positive contributions of older people and the ageing population in society and the economy. Notions of the human capital, the social capital, the cultural capital, and the symbolic capital of older people will be briefly discussed (...) and compared. (shrink)

This Research Topic addresses the first Sustainable Development Goal, which is to “end poverty in all its forms everywhere.” Progress toward this goal is measured by a number of individual targets and indicators. As highlighted in the UN’s most recent SDG progress report, the slowdown in poverty reduction since 2015 has been greatly exacerbated by the coronavirus pandemic. In 2020, for example, around 120 million people were pushed back into extreme poverty, representing the first increase in extreme poverty in over (...) 20 years. Along with workers in the informal economy, the pandemic has also disproportionately impacted young and female workers. At present, the goal of eradicating poverty by 2030 is not on course to be met, with around 600 million people expected to be living in extreme poverty in 2030. Against the backdrop of the growing climate crisis, significant efforts are therefore needed to bring the 2030 target within reach. * This Research Topic will address the first Sustainable Development Goal from a sociology-specific perspective. It will enquire about the framing and elaboration of the goal, its adaptation to particular geographical contexts, stakeholder involvement in it, and influence and impact of social mobility and social stratification studies on it. Given the setbacks to poverty reduction across the world resulting from the coronavirus pandemic, this year’s edition of the Research Topic will focus particularly on the challenges and complexities of poverty reduction in the wake of the COVID-19 crisis. (shrink)

The aim of the study is to contribute to a better understanding of some aspects of the structure of biological knowledge and to make clearer to what extent the methods of reasoning may be useful in this field when only qualitative information is available. A fragment of biological knowledge (theory of cell motility) is analysed from the logico-methodological point of view as a coherent system and the possibility of its formal representation is investigated. The analysis is based on distinguishing the (...) main objects and their features (attributes) of which a given piece of knowledge is composed and on the values which these features may display. The features are interconnected by relations (in which various number of arguments appear) and these relations constitute the main (general, higher level) laws of a given fragment of knowledge (theory). Values of attributes are also mutually connected and these relations correspond to the detailed (lower level) laws. A computer system (in which Prolog language was used) enables to perform inference operations of progressive as well as regressive type. The main categories of reasoning procedures are described and illustrated by examples, namely a) search for conclusions which may be confronted with the actual knowledge in order to verify the system as a whole, b) formation of working hypotheses in the process of their empirical verification and explanation of facts and laws. The problem of development and modification of the system is also discussed. (shrink)