Quality is usually considered to be an attribute of an object, its degree of excellence or, more subjectively, fitness for use. Stemming from this point of view, the goal of most ranking systems is to find efficient ways of discovering, or rather uncovering, the quality of specific products or services. However, from a social psychological perspective it seems that the notion of quality belongs predominantly to the realm of social relationships. We argue that quality exists mainly between the users of (...) an object, not within the object itself, and its functions are predominantly social, i.e. promoting interactions, creating a shared reality, or building social relationships. Quality is constructed in social interactions and used as a token therein. In the present paper we outline the social functions of quality, and discuss the implications of this perspective for designing more useful recommendation systems. (shrink)

The skeptical solution is based on two assumptions — the rejection of semantic facts and the denial of semantic nihilism. On the basis of the non-factualist interpretation of this solution, these two assumptions are reconciled by stating that meaning ascriptions possess non-descriptive function. Nonetheless, Alexander Miller argues that this position is self-refuting since, as despite its non-descriptivism, by rejecting any kind of semantic facts, it inevitably leads to semantic nihilism. In this text, I demonstrate that Miller’s argument is not sound. (...) I argue that a coherent non-factualist way of formulating the conditions of correct use of meaning ascriptions may be performed by rejecting the closure principle of assertibility of meaning ascriptions. On this basis, I demonstrate that argument formulated against non-factualist interpretation by Miller may be refuted. What is more, I argue that rejection of the closure principle should be regarded as the central aspect of Kripke’s skeptical solution. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and (...) completeness -- Why is first order logic "First Order"? (shrink)

The purpose of this article is to discuss Kant’s concept of juridical state as the foundation of the contemporary rule of law. Therefore, the article tries to answer two questions: (1) what character can be attributed to Kant’s concept of juridical state taking into account the obligations arising from it; (2) can the analysis of the Kantian juridical state have any impact on the contemporary understanding of the rule of law and if so, what can this impact be. In order (...) to accomplish this task, moral presuppositions of Kant’s juridical state are discussed, according to the commonly accepted view that Kant’s political philosophy is closely linked with his moral and ethical reflection. Then, two interpretations of Kant’s juridical state – the liberal one and the authoritarian one – are analysed. The crucial difference between these interpretations lies in establishing the circumstances in which the duty of obedience to state power should be carried out. Then, Kantian juridical state is compared with two ways of understanding the rule of law – the material one and the formal one – in order to evaluate whether the rule of law should be considered as continuity of or rupture with the Kantian concept. (shrink)

Language not only reflects and cocreates social universes but can also be and is performative regarding the planetary common good, e.g., through international treaties and agreements. This paper investigates the rationale and feasibility of altering the language used by Glasgow Climate Pact to a posthuman mode that addresses the issue of more-than-human inequality by becoming inclusive toward nonhuman actors, and presents a selection of edited excerpts. The main findings state that (1) the language of the Glasgow Climate Pact is inadequate (...) concerning its expected agency, (2) the reasons for this include its anthropocentrism, capitalocentrism and technocentrism, and (3) it is possible to rephrase the Glasgow Climate Pact and similar documents to address the diagnosed problems in a radically inclusive way. This paper represents a starting point for a discussion on the interrelations between climate and language and on the importance of language used by policy documents in the optics of climate action. (shrink)

In a recent series of papers, Jane Friedman argues that suspended judgment is a sui generis first-order attitude, with a question as its content. In this paper, I offer a critique of Friedman’s project. I begin by responding to her arguments against reductive higher-order propositional accounts of suspended judgment, and thus undercut the negative case for her own view. Further, I raise worries about the details of her positive account, and in particular about her claim that one suspends judgment about (...) some matter if and only if one inquires into this matter. Subsequently, I use conclusions drawn from the preceding discussion to offer a tentative account: S suspends judgment about p iff S believes that she neither believes nor disbelieves that p, S neither believes nor disbelieves that p, and S intends to judge that p or not-p. (shrink)

Responding to the increasingly influential role of Hannah Arendt's political philosophy in recent years, Hannah Arendt and the Limits of Total Domination: The Holocaust, Plurality, and Resistance, critically engages with Arendt's understanding of totalitarianism. According to Arendt, the main goal of totalitarianism was total domination; namely, the virtual eradication of human legality, morality, individuality, and plurality. This attempt, in her view, was most fully realized in the concentration camps, which served as the major "laboratories" for the regime. While Arendt focused (...) on the perpetrators' logic and drive, Michal Aharony examines the perspectives and experiences of the victims and their ability to resist such an experiment. The first book-length study to juxtapose Arendt's concept of total domination with actual testimonies of Holocaust survivors, this book calls for methodological pluralism and the integration of the voices and narratives of the actors in the construction of political concepts and theoretical systems. To achieve this, Aharony engages with both well-known and non-canonical intellectuals and writers who survived Auschwitz and Buchenwald concentration camps. Additionally, she analyzes the oral testimonies of survivors who are largely unknown, drawing from interviews conducted in Israel and in the U.S., as well as from videotaped interviews from archives around the world. Revealing various manifestations of unarmed resistance in the camps, this study demonstrates the persistence of morality and free agency even under the most extreme and de-humanizing conditions, while cautiously suggesting that absolute domination is never as absolute as it claims or wishes to be. Scholars of political philosophy, political science, history, and Holocaust studies will find this an original and compelling book. (shrink)

According to the orthodox view, the goodness of a life depends exclusively on the things that actually happened within it, such as its pleasures and pains, the satisfaction of its subject’s preferences, or the presence of various objective goods and bads. In this paper, I argue that the goodness of a life also depends on what could have happened, but didn’t. I then propose that this view helps us resolve ethical puzzles concerning the standards for a life worth living for (...) animals and the significance of a life’s shape. (shrink)

The purpose of this study was to measure professional and personal values among nurses, and to identify the factors affecting these values. The participants were 323 Israeli nurses, who were asked about 36 personal values and 20 professional values. The three fundamental professional nursing values of human dignity, equality among patients, and prevention of suffering, were rated first. The top 10 rated values all concerned nurses' responsibility towards patients. Altruism and confidentiality were not highly rated, and health promotion and nursing (...) research were rated among the last three professional values. For personal (instrumental) values, honesty, responsibility and intelligence were rated first, while ambition and imagination were rated 14th and 16th respectively out of 18. Significant differences (P < 0.05) were found among some personal and professional values rated as functions of culture, education, professional seniority, position and field of expertise. The results may assist in understanding the motives of nurses with different characteristics and help to promote their work according to professional ethical values. (shrink)

This paper critically assesses the possibility of moral enhancement with ambient intelligence technologies and artificial intelligence presented in Savulescu and Maslen (2015). The main problem with their proposal is that it is not robust enough to play a normative role in users’ behavior. A more promising approach, and the one presented in the paper, relies on an artifi-cial moral reasoning engine, which is designed to present its users with moral arguments grounded in first-order normative theories, such as Kantianism or utilitarianism, (...) that reason-responsive people can be persuaded by. This proposal can play a normative role and it is also a more promising avenue towards moral enhancement. It is more promising because such a system can be designed to take advantage of the sometimes undue trust that people put in automated technologies. We could therefore expect a well-designed moral reasoner system to be able to persuade people that may not be persuaded by similar arguments from other people. So, all things considered, there is hope in artificial intelli-gence for moral enhancement, but not in artificial intelligence that relies solely on ambient intelligence technologies. (shrink)

While mainstream CSR research has generally explored and argued for positive ethical, social and environmental performance, critical CSR scholars argue that change has been superficial—at best, and not possible in any substantial way within the current capitalist system. Both views, however, only address the role of business within larger systems. Little attention has been paid to the everyday material CSR practice of individual managers. We go inside the firm to investigate how the micro-level acts of individual managers can aggregate to (...) drive transformation of the macro-level business logic. We draw on the strategy-as-practice approach to organize our research. The study reveals two orientations towards the integration of personal ethics into the workplace: abdication and activism. These orientations are supported by managerial practice such as reproductive and coping tactics and covert and overt tactics ; and, three enabling conditions of activist practice: empowerment and psychological safety, moral shock, and morality praxis. While our findings illustrate the tremendous challenges managers face when attempting to influence organizational practices towards their ethical and environmental aspirations, we also show that under specific conditions, individual managers can become fully engaged advocates and drivers of positive change from the inside. In so doing, our individual-level analysis of intrapreneurship provides a more complex picture of the possibilities for positive change than have been previously put forth by mainstream and critical CSR research. (shrink)

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give (...) its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)

The founding motto of philosophy in science is “tracking down big philosophical problems in contemporary science.” Knowing the basic history of philosophy and the history of science, we more or less know what “big philosophical topics” mean. The most representative topics of this kind include: time, space, causality, matter, life, consciousness, thinking... The tables of contents of philosophy textbooks could be copied to continue this list. These topics are big not only when they remain at a high level of generality, (...) but also when they get down to special cases and particular sub-problems. Sometimes it is only then that they fully reveal their big format. (shrink)

In this article I discuss the thesis put forward by David Gunkel and Mark Coeckelbergh in their essay Facing Animals:A Relational, Other-Oriented Approach to Moral Standing. The authors believe that the question about the status of animals needs to be reconsidered. In their opinion, traditional attempts to justify the practice of ascribing rights to animals have been based on the search for what is common to animals and people. This popular conviction rests on the intuition according to which we tend (...) to treat better those beings that are closer to us and resemble man in one way or the other. The attempts to ascribe a special status to animals are therefore based on the question “What properties does the animal have?”. However, the question is not well formulated because it leads to a number of ontological and epistemological problems. The question should rather be “What are the conditions under which an entity becomes a moral subject?”. Whilst fully subscribing to the suggestion, I cannot agree to the way the question is understood by both authors. I will demonstrate that the question opens up a transcendental dimension of reflections and may provide a clear justification of the need to engage in animal ethics. To do so, I will separate the easy and hard problems of animal ethics and use a different approach from the one suggested by Gunkel and Coeckelbergh to demonstrate how the need to pursue animal ethics may be justified. (shrink)

This essay presents the Aestheticism of the 19th century as the foundational movement of modernist-formalist aesthetics of the 20th century. The main principle of this movement is what I denominate “productive opacity”. Aestheticism has not been recognized as a philosophical aesthetic theory. However, its definition of artwork as an exclusive kind of form—a deep, opaque form—is among the most precise ever given in the discipline. This essay offers an interpretation of aestheticism as a formalist theory, referred to here as “deep (...) formalism”, focusing on the thinking of leading aestheticists, Walter Pater, Oscar Wilde, and James Whistler. These three thinkers defined artwork as a form saturated with an inextricable content, viz. opaque form. (shrink)

Despite their ethical intentions, ethically minded consumers rarely purchase ethical products (Auger and Devinney: 2007, Journal of Business Ethics76, 361–383). This intentions–behaviour gap is important to researchers and industry, yet poorly understood (Belk et al.: 2005, Consumption, Markets and Culture8(3), 275–289). In order to push the understanding of ethical consumption forward, we draw on what is known about the intention–behaviour gap from the social psychology and consumer behaviour literatures and apply these insights to ethical consumerism. We bring together three separate (...) insights – implementation intentions (Gollwitzer: 1999, American Psychologist54(7), 493–503), actual behavioural control (ABC) (Ajzen and Madden: 1986, Journal of Experimental Social Psychology22, 453–474; Sheeran et al.: 2003, Journal of Social Psychology, 42, 393–410) and situational context (SC) (Belk: 1975, Journal of Consumer Research2, 157–164) – to construct an integrated, holistic conceptual model of the intention–behaviour gap of ethically minded consumers. This holistic conceptual model addresses significant limitations within the ethical consumerism literature, and moves the understanding of ethical consumer behaviour forward. Further, the operationalisation of this model offers insight and strategic direction for marketing managers attempting to bridge the intention–behaviour gap of the ethically minded consumer. (shrink)

We analyze the structure of strongly dominating sets of reals introduced in Goldstern et al. (Proc Am Math Soc 123(5):1573–1581, 1995). We prove that for every κ (...) class l of Baire sets for the Laver category base and compare the σ-ideal of sets which are not strongly dominating with the Laver ideal l0. (shrink)

To date, bioethics and health policy scholarship has given little consideration to questions of aging and intergenerational justice in the developing world. Demographic changes are precipitating rapid population aging in developing nations, however, and ethical issues regarding older people’s claim to scarce healthcare resources must be addressed. This paper posits that the traditional arguments about generational justice and age‐based rationing of healthcare resources, which were developed primarily in more industrialized nations, fail to adequately address the unique challenges facing older persons (...) in developing nations. Existing philosophical approaches to age‐based resource allocation underemphasize the importance of older persons for developing countries and fail to adequately consider the rights and interests of older persons in these settings. Ultimately, the paper concludes that the most appropriate framework for thinking about generational justice in developing nations is a rights‐based approach that allows for the interests of all age groups, including the oldest, to be considered in the determination of health resource allocation. (shrink)

To date, bioethics and health policy scholarship has given little consideration to questions of aging and intergenerational justice in the developing world. Demographic changes are precipitating rapid population aging in developing nations, however, and ethical issues regarding older people’s claim to scarce healthcare resources must be addressed. This paper posits that the traditional arguments about generational justice and age-based rationing of healthcare resources, which were developed primarily in more industrialized nations, fail to adequately address the unique challenges facing older persons (...) in developing nations. Existing philosophical approaches to age-based resource allocation underemphasize the importance of older persons for developing countries and fail to adequately consider the rights and interests of older persons in these settings. Ultimately, the paper concludes that the most appropriate framework for thinking about generational justice in developing nations is a rights-based approach that allows for the interests of all age groups, including the oldest, to be considered in the determination of health resource allocation. (shrink)

The discussion about a difference between brain and soul or mind is now at the center of the anthropological debate. It seems that the pioneers in this current polemic have a reductionistic view of human nature, inherited from the Cartesian solution to mind-body problem and the modern materialistic explanation of reality. This view – dualistic or monistic – about the opposition between material and immaterial structure of the person, claims that as a consequence of scientific progress, the human brain in (...) the future could be completely explained in naturalistic terms. On the other hand, according to the new results of scientific research, this situation reveals the possibility to develop a new, more adequate paradigm of man as an incarnated person. This change was called by many researchers “the passage from the mind-body problem to the person-body problem”. It seems that the Aristotelian-Thomistic approach is the most suitable to describe this “paradigm shift”. Aristotelian-Thomistic philosophy undoubtedly encourages lively dialogue between philosophy and contemporary sciences through its dual ontology. Thus, it can give suitable answers for questions about the nature of human reason ; unity of composition of the human brain and the role of causality in natural processes. (shrink)

The War Inside is a groundbreaking history of the contribution of British psychoanalysis to the making of social democracy, childhood, and the family during World War II and the postwar reconstruction. Psychoanalysts informed understandings not only of individuals, but also of broader political questions. By asserting a link between a real 'war outside' and an emotional 'war inside', psychoanalysts contributed to an increased state responsibility for citizens' mental health. They made understanding children and the mother-child relationship key to the successful (...) creation of a democratic citizenry. Using rich archival sources, the book revises the common view of psychoanalysis as an elite discipline by taking it out of the clinic and into the war nursery, the juvenile court, the state welfare committee, and the children's hospital. It traces the work of the second generation of psychoanalysts after Freud in response to total war and explores its broad postwar effects on British society. (shrink)

In this essay, I examine the usage of the term “just-so story.” I attempt to show that just-so storytelling can be seen as an epistemic concept that, in various ways, tackles the epistemological an...

Over the last two decades, social scientists across disciplines have been researching how value is extracted and governed in the reproductive bioeconomy, which broadly refers to the various ways reproductive tissues, bodies, services, customers, workers, and data are inserted into capitalist modes of accumulation. While many of these studies are empirically grounded in single country–based analyses, this paper proposes an integrative political economy framework, structured around the concept of “global fertility chains.” The latter articulates the reproductive bioeconomy as a nexus (...) of intraconnected practices, operations, and transactions between enterprises, states, and households across the globe, through which reproductive services and commodities are produced, distributed, and consumed. Employing a diffractive reading of the literature on commodity chains and care chains, this unified approach scrutinizes the coproduction of value, biology, and technoscience and their governance mechanisms in the accumulation of capital by taking into account the unevenly developed geographies of global fertility chains, their reliance on women’s waged and unwaged reproductive labor, and the networked role of multiple actors at multiple scales without losing sight of the constitutive role of national states in creating demand, organizing supply, and accommodating the distribution of surplus value. We empirically ground this integrative political economy approach of the reproductive bioeconomy through collaborative, multisited fieldwork on transnational reproduction networks in Israel/palestine, Romania, Georgia, and Spain. (shrink)

ABSTRACTFacial mimicry has long been considered a main mechanism underlying emotional contagion. A closer look at the empirical evidence, however, rev...

ABSTRACT Schopenhauer's argument against suicide has served as a punching bag for many modern-day commentators. Dale Jacquette, Sandra Shapshay, and David Hamlyn all argue that the premises of this argument or its conclusion are inconsistent with Schopenhauer's wider metaphysical and ethical project. This paper defends Schopenhauer from these charges. Along the way, it examines the relations between suicide, death by voluntary starvation, negation of the will, compassion, and Schopenhauer's critiques of cynicism and stoicism. The paper concludes that there may be (...) gaps in Schopenhauer's system, but not where the aforementioned commentators tried to locate them. (shrink)

The chapter is devoted to the probability and acceptability of indicative conditionals. Focusing on three influential theses, the Equation, Adams’ thesis, and the qualitative version of Adams’ thesis, Sikorski argues that none of them is well supported by the available empirical evidence. In the most controversial case of the Equation, the results of many studies which support it are, at least to some degree, undermined by some recent experimental findings. Sikorski discusses the Ramsey Test, and Lewis’s triviality proof, with special (...) attention dedicated to the popular ways of blocking it. Sikorski concludes that the role of the three theses in future studies of conditionals should be re-thought, and he presents alternative proposals. (shrink)

Under the continuum hypothesis we prove that for any tall P-ideal Ionω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I} \,{\rm on}\,\, \omega}$$\end{document} and for any ordinal γ≤ω1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\gamma \leq \omega_1}$$\end{document} there is an I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document}-ultrafilter in the sense of Baumgartner, which belongs to the class Pγ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\gamma}}$$\end{document} of the P-hierarchy of ultrafilters. Since the class (...) of P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_2}$$\end{document} ultrafilters coincides with the class of P-points, our result generalizes the theorem of Flašková, which states that there are I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document}-ultrafilters which are not P-points. (shrink)

Epistemic consequentialism has been challenged on the grounds that it is overly demanding. According to the Epistemic Junk Problem, this view implies that we are often required to believe junk propositions such as ‘the Great Bear Lake is the largest lake entirely in Canada’ and long disjunctions of things we already believe. According to the Numerosity Problem, this view implies that we are frequently required to have an enormous number of beliefs. This paper puts forward a novel version of epistemic (...) consequentialism which avoids these twin demandingness problems. The key is to recognise, first, that the final epistemic value of a true belief depends at least in part on the duration for which it is retained by the agent and, second, that our cognitive makeup places important constraints on which beliefs are retained and for how long. (shrink)

This paper offers a theoretical framework that can be used to derive viable engineering strategies for the design and development of robots that can nudge people towards moral improvement. The framework relies on research in developmental psychology and insights from Stoic ethics. Stoicism recommends contemplative practices that over time help one develop dispositions to behave in ways that improve the functioning of mechanisms that are constitutive of moral cognition. Robots can nudge individuals towards these practices and can therefore help develop (...) the dispositions to, for example, extend concern to others, avoid parochialism, etc. (shrink)

One important aspect of biological explanation is detailed causal modeling of particular phenomena in limited experimental background conditions. Recognising this allows one to appreciate that a sufficient condition for a reduction in biology is a molecular model of (1) only the demonstrated causal parameters of a biological model and (2) only within a replicable experimental background. These identities—which are ubiquitous in biology and form the basis of ruthless reductions (Bickle, Philosophy and neuroscience: a ruthlessly reductive account, 2003)—are criticised as merely (...) “local” (Sullivan, Synthese 167:511–539, 2009) or “fragmentary” (Schaffner, Synthese, 151(3):377–402, 2006). However, in an instructive case, a biological model is preserved in molecular terms, demonstrating a complex phenomenon that has been successfully reduced. (shrink)

We generalize the notions of strongly dominating and strongly unbounded subset of the Baire space. We compare the corresponding ideals and tree ideals, in particular we present a condition which implies that some of those ideals are distinct. We also introduce DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property, where I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document} is an ideal on cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, to capture these two (...) generalized notions at once. We use two player game defined in a Kechris’s paper to show that every λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}-Suslin set with DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property contains a perfect subset with DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property, provided that λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} is sufficiently small. (shrink)

Today, scholars employ the label ‘narrative Christology’ with relative frequency, though they mean different things when they do so. In this article, I argue that to date, narrative Christology has not yet fully explored the parameters of what it means to attend closely to the narrative form of the Gospels’ presentations of Jesus. I propose, further, that recent developments in literary theory’s so-called ‘New Formalism’ offer useful tools and concepts for moving in that direction. The first part of the article (...) briefly outlines previous scholarship, identifying similarities and differences between various approaches labelled ‘narrative Christology’. The second section introduces the major concepts of New Formalism and how they might extend narrative Christology’s capacity to take narrative form seriously as an object of analysis. The third section of the article offers a case study of a passage that appears in the triple tradition – the intercalated healing stories of Jairus’ daughter and the haemorrhaging woman in Mark 5.21–43; Luke 8.40–56; and Matthew 9.18–26 – in order to explore narrative structure on the micro-level. My ultimate goal is to show how New Formalism can contribute to a more robust narrative Christology and, in so doing, advance our understanding of the distinctive ways in which the Synoptic Gospels construct the figure of Jesus. (shrink)

We give an equivalent formulation of topological algebras, interpreting S4, as boolean algebras equipped with intuitionistic negation. The intuitionistic substructure—Heyting algebra—of such an algebra can be then seen as an “epistemic subuniverse”, and modalities arise from the interaction between the intuitionistic and classical negations or, we might perhaps say, between the epistemic and the ontological aspects: they are not relations between arbitrary alternatives but between intuitionistic substructures and one common world governed by the classical (propositional) logic. As an example of (...) the generality of the obtained view, we apply it also to S5. We give a sound, complete and decidable sequent calculus, extending a classical system with the rules for handling the intuitionistic negation, in which one can prove all classical, intuitionistic and S4 valid sequents. (shrink)

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones. Direct reasoning with classical resolution is sound and complete for this semantics, when augmented with a specific weakening which, in particular, excludes Ex Falso. Dropping all forms of weakening yields reasoning which also avoids typical fallacies of relevance.