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 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)

While there are good reasons to think that Hegel would not engage with modern scepticism in the Science of Logic, this article argues that he nevertheless does so in a way that informs the text's conception of logic as the latter pertains to metaphysics. Hegel engages with modern scepticism's general concerns that philosophy should begin without unexamined presuppositions and should come to attain not only knowledge of truth, but corresponding second-order knowledge: knowledge of knowing truth. These concerns inform two needs (...) that Hegel formulates for first philosophy, which logic—by unifying with metaphysics, which is traditionally synonymous with first philosophy—is to satisfy. However, logic, for the Logic, is unified with metaphysics as a science of absolute knowing, the form of thinking involved in traditional metaphysics. As such, logic, for the Logic, is neither anti-metaphysical nor reducible to metaphysics, but is rather a science of metaphysical thinking, which, for Hegel, includes metaphysics. The article emphasizes how Hegel's construal of logic as a science of absolute knowing avoids running into the ‘swimming problem’ that Hegel raises against, broadly, epistemological forms of first philosophy. (shrink)

This paper identifies and articulates a historicist turn in theorising the human senses initiated by Feuerbach and Marx. Both philosophers retain their predecessors’ view that human needs determine human senses, but they identify historical contingencies of human needs that they treat as introducing historical contingency into the character of the human senses. In accounting for Feuerbach’s and Marx’s respective historicisations of the human senses, this paper challenges some commonplace ideas expressed by Honneth and Joas about German philosophical anthropology in general (...) as well as, more specifically, Marx’s critique of Feuerbach and the philosophical-anthropological legacy of Marxian thought. (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)

Although retroviral integration requires specific viral DNA sequences, factors which govern the choice of a chromosomal target site within an infected celi are less clear. For example, certain chromosomal regions may be inaccessible to the viral integration machinery, while others may favor integration. A recent paper by Withers‐Ward et al.(1) addresses this issue using a polymerase chain reaction‐based assay capable of identifying single integration events within a large population of infected cells. Their results show that integration can occur into many (...) different chromosomal regions, and that local DNA structure can influence the site of integration within a given region. (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)

This article accounts for how Kant’s understanding of enlightenment gives normative, communicative structure to public reason as a practice. Kantian public reason is argued to be collegial. As public reasoners promoting our enlightenment, we should seek optimal scrutiny from a generally unrestricted, intellectually and epistemically diverse audience. To receive this scrutiny, we should communicate in a way that facilitates this audience’s ability to scrutinise our views – situating others as our colleagues – which in turn facilitates their promotion of their (...) own enlightenment. As a practice in which we help others promote their enlightenment by helping them help us promote ours, Kantian public reason is argued to be cooperative. But intriguingly, Kant offers a sufficient justification for this cooperative communication on first-personal grounds. The article details some of Kant’s more concrete thoughts on how we should communicate as public reasoners, and concludes by appraising his parsimonious justification of collegial communication as a resource for addressing contemporary concerns about public discourse. (shrink)

In this essay, I examine how Cavell's discussion of the challenges and attendant risks faced by artworks to be genuine rather than "fraudulent" informs his discussion of the challenges and attendant risks faced by art critics to offer interpretations rather than misinterpretations of artworks. Moreover, I clarify how this relation between Cavell's philosophy of art and his philosophy of criticism is mediated by his discussion of modernism. For Cavell, modernism does not so much introduce challenges for artworks as exacerbate them. (...) In doing so, modernism also exacerbates the challenges faced by art critics. In exacerbating rather than introducing these challenges, modernism has a revelatory significance for arts criticism. Namely, it reveals that the difference between imposing meaning upon an artwork ("reading into it") and illuminating an artwork ("hearing it out") is non-criterial, such that good arts criticism necessarily resembles bad, even "fraudulent" arts criticism. With this challenge in clear view, Cavell argues the art critic must accept the hermeneutical risk of imposing meaning upon a work in order to illuminate it by embracing rather than discounting or bracketing her subjectivity. Attempting to avoid this risk denies what modernism reveals about arts criticism, and accordingly, Cavell argues, it both fails and introduces new hermeneutical risks. (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)

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)

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)

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)

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.

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2010, Hejnice, the Czech Republic. the articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

This book offers a new definition of metaphor-as an ontological and visual construction, whose roots are external visual forms, and its motivation is our attachment to forms. This definition, which Michalle Gal names “visualist,” challenges the ruling conceptualist theory of metaphors and places a new emphasis on how we experience rather than understand metaphors. In doing so, she responds to the visual turn that is taking place in literature and the media, demanding that the visual become a site of philosophical (...) analysis. This focus on the external visual world allows Gal to employ visual theories to capture the essence of metaphor. She looks beyond conceptual or semantic mechanism, and returns to theories of Arnheim and Gombrich and the current evolution of ideas about the visual or material and embodied cognition. Proposing to see visual metaphors in their basic form, she uses a new externalist terminology of ontology, visuality, composition, affordance, construction, and emergence. Setting out a new theory that takes into account that humans are visual no less than cognitive creatures, Visual Metaphors and Aesthetics lays the foundation for a new vocabulary to talk about metaphors. (shrink)