The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent... knows/beliefs that...’. The second one is to define tableau systemsfor such logics. Firstly, we present the minimal positional logic MR. Then, we change the notion of formulas and semantics in order to consider iterations of the operator of realization and “free” classical formulas. After that, we move on to weaker (...) logics in order to avoid the well known problem of logical omniscience. At the same time, we keep the positional counterparts of modal axioms, and. For all of the considered logics we present sound and complete tableau systems. (shrink)

This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$ -sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$ -sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis of (...) the main theorem and the compactness theorem. We also provide an example of a natural set of generalized Epstein models which is undefinable. Its undefinability is proven by means of an $\textsf {S}$ -set. (shrink)

In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.

We present an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with modal system E that do not admit the local deduction detachment theorem. We also prove that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.

This paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability.

Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.

The aim of the article is to examine differences in the quality of life as well as gratitude, meaning in life and positive orientation to life between diocesan and religious seminarians and secular students. The influence of religiosity on quality of life and subjective well-being is the subject of numerous studies, but seminarians have rarely been included in them. The present research was carried out for the first time with a group of diocesan and religious seminarians in Poland and secular (...) students. The study involved 296 participants—98 diocesan seminarians, 96 religious seminarians and 102 secular students in the control group. Results showed significant differences in the quality of life. Religious and diocesan seminarians scored higher than the control group members in the psychophysical, personal, psychosocial and metaphysical spheres. In addition, in terms of gratitude, and the presence of meaning in life, religious and diocesan seminarians achieved higher scores than the control group but lower scores in searching for the meaning in life. There were no significant differences between diocesan and religious seminarians except that only diocesan seminarians obtained significantly higher scores on positive orientation to life than the control group. Overall, results support the idea that seminarians have higher quality of life and subjective well-being than secular students. Research implications are discussed. (shrink)

We use an algebraic argument to prove that there are exactly two premaximal extensions of \’s consequence. We also show that one of these extensions is the minimal structurally complete extension of the unique maximal paraconsistent extension of \. Precisely, we show that there are exactly two covers of the variety of Boolean algebras in the lattice of quasivarieties of Sugihara algebras and that there is a unique minimal paraconsistent quasivariety in that lattice. We also obtain a corollary stating that (...) the set of paraconsistent extensions of \ forms a complete sublattice of the lattice of all \’s extensions. (shrink)

Epistemicism associates vagueness with ignorance produced by semantic plasticity: the shiftiness of intensions in our language resulting from small changes in usage. The recent literature (Caie 2012; Magidor 2018; Yli-Vakkuri 2016) points to a missing piece in the epistemicist theory of vagueness, namely a clear account of the semantics of the definiteness operator Δ. The fundamentals of the epistemicist theory are well understood. However, the technical work of defining the definiteness operator has proven difficult. There are several desiderata that we (...) would like Δ to satisfy. For instance, we would like the epistemicist notion of ‘definiteness’ to interact well with modal operators and validate intuitive principles like ‘necessarily, if φ is definitely true, then φ is true’. Providing an account that would meet all such desiderata has eluded the epistemicists so far. In this paper, I present a novel version of a multidimensional model inspired by the work of Robert Stalnaker and David Kaplan. Using this model, I provide an account of epistemicist definiteness that meets our desiderata. (shrink)

The epistemicist theory aims to explain ignorance due to vagueness by semantic plasticity: the shiftiness of intensions across close possible worlds resulting from shiftiness in usage. This explanation is challenged by the Omniscient Speaker Puzzle (Sennet in Philos Stud 161(2):273–285, 2012). Suppose that an omniscient speaker, Barney, who knows all the facts about usage and how these facts determine the intensions of expressions, cooks up a scheme to stabilise the intension of a normally semantically plastic term like ‘rich’. It seems (...) that ‘rich’ would display all the phenomena associated with vagueness without being semantically plastic, thus making the epistemicist explanation of ignorance due to vagueness insufficient. In this paper, I present a few choice points for epistemicism that arise as a result of the puzzle. (shrink)

This book offers an original approach to avant-garde art and its transformative force. Presenting an alternative to the approaches to art developed in postmodern theory or cultural studies, Ziarek sees art's significance in its critique of power and the increasing technologization of social relations. Re-examining avant-garde art and literature, from Italian and Russian Futurism and Dadaism, to Language poetry, video and projection art, as well as transgenic and Internet art, this book argues that art's importance today cannot be explained simply (...) in aesthetic or cultural terms but has to take into consideration how artworks question the technological character of modern power. To emphasize the transformative character of art, the book redefines art as a force field, in which forces drawn from historical and social reality come be to formed into an alternative relationality. Through discussions of such key avant-garde figures as Marinetti, Duchamp, Khlebnikov, and Vertov, and innovative contemporary artists like Viola, Wodiczko and Kac, The Force of Art counters the pessimism about art's social function by recovering and redefining art's transformative role in modernity. (shrink)

a This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.a (TM) These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about the nature of the law which emphasises the role of reason in the law and which refuses to limit the role of reason to the application of deductive logic. (...) In 1989, when the first edition of On Law and Reason appeared, this book was ground breaking for several reasons. It provided a rationalistic theory of the law in the language of analytic philosophy and based on a thorough understanding of the results, including technical ones, of analytic philosophy. That was not an obvious combination at the time of the booka (TM)s first appearance and still is not. The result is an analytical rigor that is usually associated with positivist theories of the law, combined with a philosophical position that is not natural law in a strict sense, but which shares with it the emphasis on the role of reason in determining what the law is. If only for this rare combination, On Law and Reason still deserves careful study. On Law and Reason also foreshadowed and influenced a development in the field of Legal Logic that would take place in the nineties of the 20th century, namely the development of non-monotonic (a defeasiblea (TM)) logics for the analysis of legal reasoning. In the new Introduction to this second edition, this aspect is explored in some more detail. (shrink)

In the contemporary philosophy of mathematics there is an ongoing discussion concerning the issue of the justification of mathematical axioms and independent sentences. The works of P. Maddy in which the author focuses on the set theory are extensive studies devoted to that problem. In one of the monographs she deals with the problem of the justification of set theory's sentences in a new way, assuming a different metaphilosophical standpoint. In the paper (which is the first part of the two-part (...) whole) Maddy's conception is faithfully presented. The author makes no comments of his own, except for the first - introductory - chapter and footnotes, in which some additional explanations and comments can be found. (shrink)

This article argues against the concept of integration as the main mechanism allowing various sociocultural groups to live together and instead proposes ‘radical inclusivity’ as a better, less oppressive model of a pluralistic society. Through analytical and reflective research on the non-cohesion-based approach to integration or inclusion, this article is devoted to examining the affordances and limitations of integration through various forms of spatial interventions. As an example, we will discuss the Ellesmere Green Project in Sheffield (UK) as a typical (...) small urban regeneration executed in a highly diverse part of Sheffield. This piece aims to bring forward the significance of moving beyond the community-as-cohesion model in urban politics and planning for integration. (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside of (...) philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

Procrastination as putting off until tomorrow what one had intended to do today is well-known tendency in everyday life. In an attempt to understand the character of procrastination in different life-domains, a large body of research has been accumulated over the last decades. This article was aimed to evaluate a specific decisional procrastination of school-to-work transition that is treated as maturity postponement. Two studies are reported examining SWT procrastination defined as career indecision among Polish students graduating universities. In Study 1, (...) attitudinal and identity statuses were analyzed as correlates of career procrastination. A path analysis conducted for the model, which was aimed to explain the influence of career self-efficacy and occupational commitment on career indecision, revealed its very good fitness. Those two independent variables explain 10% of career indecision variance. Stepwise multiple regression analyses conducted to ascertain relationship of five identity statuses to procrastination measure showed that Commitment Making and Ruminative Exploration are strongest predictor variables. In study 2, the stepwise multiple regression analyses conducted to ascertain the independent relationship of each of Big Five personality factor revealed that Neuroticism and Extraversion accounts of the most of explained variance of school-to-work transition procrastination. (shrink)

Hobson & Friston (2014) outline a synthesis of Hobson's work on dreaming and consciousness with Friston’s work on the free energy principle and predictive coding. Whilst we are sympathetic with their claims about the function of dreaming and its relationship to consciousness, we argue that their endorsement of the Cartesian theatre metaphor is neither necessary nor desirable. Furthermore, if it were necessary then this endorsement would undermine their positive claims, as the Cartesian theatre metaphor is widely regarded as unsustainable. We (...) demonstrate this point and then develop an alternative formulation of their position that does not require the Cartesian theatre metaphor. Our positive goal is to clarify Hobson & Friston’s confusing usage of philosophical terminology, replacing it where possible with the more transparent language of the forward models framework. This will require some modifications to their account, which as it stands is philosophically and empirically unsustainable. (shrink)

Sixteen years ago, Prahalad and Hart introduced the possibility of both profitably serving the poor and alleviating poverty. This first iteration of the Bottom/Base of the Pyramid approach focused on selling to the poor. In 2008, after ethical criticisms leveled at it, the field moved to BoP 2.0, instead emphasizing business co-venturing. Since 2015, we have witnessed some calls for a new iteration, with the focus broadening to a more sustainable development approach to poverty alleviation. In this paper, we seek (...) to answer the question: How has the BoP approach evolved over the past 16 years, and has it delivered on its early promise? We conducted a systematic review of 276 papers published in journals in this period, utilizing a rigorous correspondence analysis method to map key trends, and then further examined the 22 empirical studies conducted on the BoP approach. Our results suggest that the field has evolved, passing through a number of trends and coming full circle—with our analysis pointing to more recent BoP literature emphasizing similar themes to those espoused in the initial BoP iteration, rather than reflecting the principles espoused in either BoP 2.0 or BoP 3.0. Our analysis also points to a lack of clear evidence that the BoP concept has delivered on its promise either to businesses or to BoP participants. (shrink)

Theories of analogical reasoning have viewed relational structure as the dominant determinant of analogical mapping and inference, while assigning lesser importance to similarity between individual objects. An experiment is reported in which these two sources of constraints on analogy are placed in competition under conditions of high relational complexity. Results demonstrate equal importance for relational structure and object similarity, both in analogical mapping and in inference generation. The human data were successfully simulated using a computational analogy model (LISA) that treats (...) both relational correspondences and object similarity as soft constraints that operate within a limited-capacity working memory; but not with a model (SME) that treats relational structure as pre-eminent. (shrink)

Porter and Kramer :78–92, 2006; Harv Bus Rev 89, 62–77, 2011) introduced ‘shared value’ as a ‘new conception of capitalism,’ claiming it is a powerful driver of economic growth and reconciliation between business and society. The idea has generated strong interest in business and academia; however, its theoretical precepts have not been rigorously assessed. In this paper, we provide a systematic and thorough analysis of shared value, focusing on its ontological and epistemological properties. Our review highlights that ‘shared value’ has (...) spread into the language of multiple disciplines, but that its current conceptualization is vague, and it presents important discrepancies in the way it is defined and operationalized, such that it is more of a buzzword than a substantive concept. It also overlaps with many other concepts and lacks empirical grounding. We offer recommendations for defining and measuring the concept, take a step toward disentangling it from related concepts, and identify relevant theories and research methods that would facilitate extending the knowledge frontier on shared value. (shrink)

The aim of this paper is to argue against the claim that the term “belief”, as it functions in philosophical psychology, has natural-kind term semantics; this thesis is central to the famous Lycan–Stich argument against eliminative materialism. I will argue that the current debate concerning the discrepancy between the professed opinions and actions, especially the debate concerning the idea of aliefs, shows that the concept of belief is plastic and amenable to conceptual engineering. The plasticity and amenability to conceptual engineering (...) of the concept of belief give us, in turn, a reason to doubt that “belief” functions in a way that is presupposed in the Lycan–Stich argument. Finally, I point to an alternative to both eliminativism and the natural kind view, namely the idea that we should treat belief as a human kind. (shrink)

Several authors have investigated the question of whether canonical logic-based accounts of belief revision, and especially the theory of AGM revision operators, are compatible with the dynamics of Bayesian conditioning. Here we show that Leitgeb's stability rule for acceptance, which has been offered as a possible solution to the Lottery paradox, allows to bridge AGM revision and Bayesian update: using the stability rule, we prove that AGM revision operators emerge from Bayesian conditioning by an application of the principle of maximum (...) entropy. In situations of information loss, or whenever the agent relies on a qualitative description of her information state - such as a plausibility ranking over hypotheses, or a belief set - the dynamics of AGM belief revision are compatible with Bayesian conditioning; indeed, through the maximum entropy principle, conditioning naturally generated AGM revision operators. This mitigates an impossibility theorem of Lin and Kelly for tracking Bayesian conditioning with AGM revision, and suggests an approach to the compatibility problem that highlights the information loss incurred by acceptance rules in passing from probabilistic to qualitative representations of beliefs. (shrink)

The proposal that probabilistic inference and unconscious hypothesis testing are central to information processing in the brain has been steadily gaining ground in cognitive neuroscience and associated fields. One popular version of this proposal is the new theoretical framework of predictive processing or prediction error minimization, which couples unconscious hypothesis testing with the idea of ‘active inference’ and claims to offer a unified account of perception and action. Here we will consider one outstanding issue that still looms large at the (...) core of the PEM framework: the lack of a clear criterion for distinguishing conscious states from unconscious ones. In order to fulfill the promise of becoming a unifying framework for describing and modeling cognition, PEM needs to be able to differentiate between conscious and unconscious mental states or processes. We will argue that one currently popular view, that the contents of conscious experience are determined by the ‘winning hypothesis’, falls short of fully accounting for conscious experience. It ignores the possibility that some states of a system can control that system’s behavior even though they are apparently not conscious. What follows from this is that the ‘winning hypothesis’ view does not provide a complete account of the difference between conscious and unconscious states in the probabilistic brain. We show how this problem for the received view can be resolved by augmenting PEM with Daniel Dennett’s multiple drafts model of consciousness. This move is warranted by the similar roles that attention and internal competition play in both the PEM framework and the multiple drafts model. (shrink)