Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.

The Oxford Handbook of Epistemology contains 19 previously unpublished chapters by today's leading figures in the field. These chapters function not only as a survey of key areas, but as original scholarship on a range of vital topics. Written accessibly for advanced undergraduates, graduate students, and professional philosophers, the Handbook explains the main ideas and problems of contemporary epistemology while avoiding overly technical detail.

Most philosophers believe that a person can have an obligation only insofar as she is able to fulfil it, a principle generally referred to as “Ought Implies Can”. Arguably, this principle reflects something basic about the ordinary concept of obligation. However, in a paper published recently in this journal, Wesley Buckwalter and John Turri presented evidence for the conclusion that ordinary people in fact reject that principle. With a series of studies, they claimed to have demonstrated that, in people’s judgements, (...) obligations persist irrespective of whether those who hold them have the ability to fulfil them. We argue in this paper that due to some problems in their design, Buckwalter & Turri’s conclusions may not be war- ranted. We present the results of a series of studies demonstrating the problems with their design and showing that, with an improved design, people judge that obligation depends on ability after all. (shrink)

Cognitive control is a set of mechanisms that help us process conflicting stimuli and maintain goal-relevant behaviour. According to the Affective Signalling Hypothesis, conflicting stimuli are aversive and thus elicit (negative) affect, moreover – to avoid aversive signals – affective and cognitive systems work together by increasing control and thus, drive conflict adaptation. Several studies have found that affective stimuli can indeed modulate conflict adaptation, however, there is currently no evidence that phasic affective states not triggered by conflict also trigger (...) improved cognitive control. To investigate this possibility, we intermixed trials of a conflict task and trials involving the passive viewing of emotional words. We tested whether affective states induced by affective words in a given trial trigger improved cognitive control in a subsequent conflict trial. Applying Bayesian analysis, the results of four experiments supported the lack of adaptation to aversive signals, both in terms of valence and arousal. These results suggest that phasic affective states by themselves are not sufficient to elicit an increase in control. (shrink)

In this paper, I critically analyze Andrea Sangiovanni’s approach to international justice in the EU that he labels Reciprocity-based Internationalism (RBI). I aim to show that the type of reciprocity RBI operates with is not a morally attractive ground for distributive justice because it cannot cope with the case of member states’ inability to reciprocate the production of collective goods at the EU level. I illustrate this with the case of disability. I contrast RBI’s understanding of reciprocity with Christie Hartley’s (...) ‘relationship model’. I argue that the relationship model of reciprocity should characterize the EU, whose two core normative features are fraternity and equal status. The advantage of the relationship model is that it calls for a stronger type of solidarity than RBI does. That not only entails the willingness to support those worse-off members that cannot productively reciprocate other member states’ efforts at the EU level but also calls for a higher redistribution rate within the EU. In the paper, I make three comparisons between RBI’s ‘productive reciprocity’ and the relationship model. The first concerns non-EU-integration-related disadvantages; the second concerns membership cases, such as accession to federations and supranational unions, while the third comparison examines EU-integration-related disadvantages. I argue that the relationship model is a better alternative to RBI in both integration-related and non-integration-related disadvantages. Also, the relationship model can justify accession cases where previous historical ties are relevant, which are outside of the purview of RBI. (shrink)

This chapter describes how philosophical theorizing about justice can be connected with empirical research in the social sciences. We begin by drawing on some received distinctions between ideal and non-ideal approaches to theorizing justice along several different dimensions, showing how non-ideal approaches are needed to address normative aspects of real-world problems and to provide practical guidance. We argue that there are advantages to a transitional approach to justice focusing on manifest injustices, including the fact that it enables us to set (...) aside some reasonable disagreements about justice. The ‘bottom-up’ approach we advocate, for which we borrow Wolff’s term ‘real-world political philosophy’, is an empirically-informed normative analysis that attends to specific, identifiable injustices, and thus is partial, though not isolationist. We illustrate our approach by considering how different models of the nature of disability suggest different kinds of remedy for injustices faced by persons living with disabilities. We reflect on the nature and significance of vulnerabilities, and we assess the role of public opinion in normative theorizing, suggesting a particular significance for the opinions and experiences of marginalized groups. We finally reflect on the relevance of European legal and institutional frameworks for theorizing justice in Europe. (shrink)

Rorty on Politics, Culture, and Philosophy: A Defence of his Romanticism Rorty's historicist romanticism is a peculiar and oft criticized feature of his neopragmatism. I attempt to show that it should be regarded not so much as a more or less exceptionable philosophical approach, but rather, as a practice in ‘cultural politics’—which is his ultimate definition for philosophy—prompted by his acute political concerns and his views on the nature of moral progress.

This paper argues for a reappraisal of extant scholarship on delegation in the domain of financial regulation. Through an examination of Japan's experience with financial regulation between 1992 and 2003, it is demonstrated that crisis-induced institutional development entails a shift toward a more flexible, trustee-type bureaucratic structure. While the logic presented in this paper is far from a universally applicable theory of institutional change, it calls into question the relevance of more conventional approaches to the origins of delegation of authority, (...) notably the approach that uses unified and divided government as a key variable. A renewed emphasis on the role of extra-political sources of transfers of authority inside the executive, and also between the legislature and the executive, therefore, is in order. (shrink)

Moti Mizrahi provides experimental evidence according to which subjects judge that a person ought to ? even when she cannot ?. He takes his results to constitute a falsification of the alleged intuitiveness of the ‘Ought Implies Can’ principle. We point out that in the light of the fact that (a) ‘ought’ is multiply ambiguous, that (b) only a restricted set of readings of ‘ought’ will be relevant to the principle, and that (c) he did not instruct his subjects appropriately (...) – or otherwise ensure that in their ‘ought’ judgements they applied the relevant concept(s) – Mizrahi’s conclusions appear premature. We suggest two ways in which the experimental design could be adjusted or supplemented. First, Mizrahi could instruct (or prime) subjects to read the ‘ought’ question in a particular way. Second, he could complement his experiment by asking follow-up questions aimed at uncovering the implications for blame of subjects’ judgements. Once these adjustments are applied, an experiment with a similar outcome would be more significant. (shrink)

Sibylle Moser untersucht am Beispiel des Handlungsbegriffs die argumentative Komplexität der Empirischen Theorie der Literatur (ETL) und stellt den Entwurf einer konstruktivistischen Methodologie vor.

Offering a unique and wide-ranging examination of the theory of knowledge, the new edition of this comprehensive collection deftly blends readings from the foremost classical sources with the work of important contemporary philosophical thinkers. Human Knowledge: Classical and Contemporary Approaches, 3/e, offers philosophical examinations of epistemology from ancient Greek and Roman philosophy (Plato, Aristotle, Sextus Empiricus); medieval philosophy (Augustine, Aquinas); early modern philosophy (Descartes, Locke, Leibniz, Berkeley, Hume, Reid, Kant); classical pragmatism and Anglo-American empiricism (James, Russell, Ayer, Lewis, Carnap, Quine, (...) Rorty); and other influential Anglo-American philosophers (Chisholm, Kripke, Moore, Wittgenstein, Strawson, Putnam). Organized chronologically and thematically, Human Knowledge, 3/e, features exceptionally broad coverage and nontechnical selections that are easily accessible to students. An ideal text for both undergraduate and graduate courses in epistemology, it is enhanced by the editors' substantial general introduction, section overviews, and up-to-date bibliographies. The third edition offers expanded selections on contemporary epistemology and adds selections by Thomas Reid, Richard Rorty, David B. Annis, Richard Feldman and Earl Conee, Ernest Sosa, Barry Stroud, and Louise M. Antony. Human Knowledge, 3/e, offers an unparalleled introduction to our ancient struggle to understand our own intellectual experience. (shrink)

In diesem Aufsatz erläutere ich Leibniz' Versuche, seinen Infinitesimalkalkül zu rechtfertigen. Die Untersuchung zielt ab auf ein klareres Verständnis, wie tief Leibniz die Begriffe, Ziele und Methoden im Hinblick auf das fragliche Problem faßte. Mein Überblick ist in zwei Teile gegliedert. Der erste stellt die Definition und den Gebrauch einiger Leibnizscher Begriffe dar, die bei der Rechtfertigung des Calculus eine wichtige Rolle spielen. Im zweiten skizziere ich, auf welche Weise Leibniz die Infinitesimalrechnung zu rechtfertigen versuchte.

This article contains criticisms of various interpretations of Mill's argument for Utilitarianism. An attempt is made to explain how Mill conceived the rationality of his proof, and how his justification of the Principle of Utility differs from a justification of fundamental moral principles on the basis of the logic of ethical discourse.

Three classes are introduced which are closely related to the class included in the title. It is proven that the class obtained from by replacing axiom C4 by the commutativity of single substitutions can be considered as the abstract class in the Resek–Thompson theorem, thus it is representable by set algebras. Then the class is defined and it is shown that the necessary and sufficient condition for neat embeddability of an algebra in CAα into is the validity of the merry-go-round (...) properties. Finally, the class is introduced which class is a counterpart of among the polyadic like algebras. (shrink)

This article shows that we can identify a subset of religious and cultural accommodation cases that follow the structure of a particular disability model: the Human Variation Model. According to this model, disadvantageous disability arises because most social arrangements are tailored to the needs of individuals with typical characteristics; people with atypical features are frequently left out from these arrangements. Hence, the latter need personalised resources tailored to them, or their social and/or material environment ought to change according to their (...) atypical characteristics. I argue, however, that not everyone's claim stemming from an atypical characteristic merits accommodation – it would be simply unreasonable to provide personalised resources to everyone or modify the environment to accommodate everyone's needs. In other words, these human variation claimants must be ‘reasonably accommodated’. Nevertheless, members of certain social groups have a justifiable claim to receive such accommodation and those in religious and cultural groups could be among them for two specific sociological reasons. (shrink)

Our paper consists of three parts. In the first part we explain the concept of mental fictionalism. In the second part, we present the various versions of fictionalism and their main sources of motivation.We do this because in the third part we argue that mental fictionalism, as opposed to other versions of fictionalism, is a highly undermotivated theory.

ABSTRACT As is well-known, a classical representation theorem of the theory of cylindric algebras is: A ε IGwsa if and only if A ε SNrαCAα+ε. The part “only if” is trivial. Regarding to the other part “A ε SNrαCAα+ε then A ε IGwsα“ the following question arises: is it possible to replace the class CA in the hypothesis A ε SNrαCAα+ε by a larger class so that the theorem still holds. Such a larger class Kα β is defined. The class (...) Kα β is the best possible, in a sense to be made precise. Representability of set algebras is investigated, too. (shrink)

An open question in the semantics of modality is what relations there are among different modal flavours. In this article, we consider the thorny issue of whether ascribing to an agent the obligation to φ implies that it is possible for the agent to φ. Traditionally, this issue has been interpreted as whether ‘ought’ implies ‘can’. But another linguistic interpretation is available as well, namely, whether ‘must’ implies ‘can’ (MIC). We show that ‘must’ does imply ‘can’ via a convergent argument. (...) The first strand of the argument is theoretical: it consists in proving MIC from a well-established theory of modality in natural language, i.e., that proposed by Kratzer. The second strand is empirical: we present novel acceptability judgment studies showing that MIC predicts and explains the linguistic behaviour of native English speakers. (shrink)

Mutually beneficial exchanges in markets can be exploitative because one party takes advantage of an underlying injustice. For instance, employers of sweatshop workers are often accused of exploiting the desperate conditions of their employees, although the latter accept the terms of their employment voluntarily. A weakness of this account of exploitation is its tendency for over-inclusiveness. Certainly, given the prevalence of global and domestic socioeconomic inequalities, not all exchanges that take place against background injustices should be considered exploitative. This paper (...) offers a framework to identify exploitation in mutually beneficial exchange, focusing on the case of sweatshop labor. It argues that an employer can be viewed as taking unfair advantage of an underlying injustice if and only if the employer’s surplus from the exchange in the unjust state of affairs exceeds the surplus it could maximally obtain in a just state of affairs. The paper illustrates the applicability of this framework using three different conceptions of justice and argues that it is superior to microlevel accounts of exploitation that regard background justice as irrelevant. The paper concludes by describing some normative implications that follow from judging an exchange exploitative. (shrink)

The purpose of this research was to describe attitudes of nursing students (and paramedic officers) towards marginalized clients. Convenience quota sampling in a major health faculty was employed. Students participated on a voluntary basis. A 58-item Likert scale, developed by the authors, assessed the student nurses’ attitudes. In general, attitudes towards homeless clients were neutral; detailed analyses, however, revealed that student nurses would decline to care for homeless clients in various situations. Personal experience with homeless patients and positive attitudes of (...) nurses significantly contributed to increased quality of care and equality of treatment for homeless clients. Certain student nurse behaviors warrant immediate attention to prevent marginalized patients from being exposed to unfair, inaccessible and biased nursing care. Based on our results, we recommend that further research attention be paid to the role of ethics education and faculty behaviors, as faculty members serve as role models for professionalization. (shrink)

It is known that every α-dimensional quasi polyadic equality algebra (QPEA α ) can be considered as an α-dimensional cylindric algebra satisfying the merrygo- round properties . The converse of this proposition fails to be true. It is investigated in the paper how to get algebras in QPEA from algebras in CA. Instead of QPEA the class of the finitary polyadic equality algebras (FPEA) is investigated, this class is definitionally equivalent to QPEA. It is shown, among others, that from every (...) algebra in a β-dimensional algebra can be obtained in QPEA β where , moreover the algebra obtained is representable in a sense. (shrink)

In this paper, we defend the main claims of our earlier paper “Mental Fictionalism as an Undermotivated Theory” (in The Monist) from Gábor Bács’s criticism, which appeared in his “Mental fictionalism and epiphenomenal qualia” (in Dialectica). In our earlier paper, we tried to show that mental fictionalism is an undermotivated the-ory, so there is no good reason to give up the realist approach to the folk psychological discourse. The core of Bács’s criticism consists in that our argumentation rests on an (...) equivocation concerning the folk psychological concepts of conscious experiences. In our present argumentation, at first, we shortly recapitulate our earlier argumentation and Bács’s main objection to it. After that, we argue against the case of equivocation, claiming that it rests on a highly implausible and unsupported verificationist approach. Lastly, in answering another remark of Bács’s, we discuss the possibility of a realist mental fic-tionalism and conclude that it is an incoherent standpoint. (shrink)

In this paper, I argue that the first and the third premises of the zombie argument cannot be jointly true: zombies are either inconceivable beings or the possible existence of them does not threaten the physicalist standpoint. The tenability of the premises in question depends on how we understand the concept of a zombie. In the paper, I examine three popular candidates to this concept, namely zombies are creatures who lack consciousness, but are identical to us in their (a) functional (...) organization, (b) entire physical makeup, and (c) microphysical structure. The main aim of the paper is to argue that none of these conceptions conveys a consistent zombie-concept to us, which, at the same time, would be dangerous for physicalism. In the conclusion, I argue that the source of this failure can be found in the logical fallaciousness of the argument, namely the premises simply presuppose the truth of the conclusion. (shrink)

This paper develops an account of how economic and political institutions can limit the applicability of principles of justice even in non-relational cosmopolitan conceptions. It shows that fundamental principles of justice underdetermine fair distributive shares as well as justice -based requirements. It argues that institutions partially constitute the content of justice by determining distributive shares and by resolving indeterminacies about justice -based requirements resulting from strategic interaction and disagreement. In the absence of existing institutions principles of justice might not be (...) applicable for assessing distributions or guiding individual action and institutional design. Hence, accepting a specific cosmopolitan conception of justice is insufficient to settle global distributive questions. (shrink)

Let be a finite collection of finite algebras of finite signature such that SP( ) has meet semi-distributive congruence lattices. We prove that there exists a finite collection 1 of finite algebras of the same signature, , such that SP( 1) is finitely axiomatizable.We show also that if , then SP( 1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract (...) indicates. (shrink)

Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document} be a finite collection of finite algebras of finite signature such that SP(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}) has meet semi-distributive congruence lattices. We prove that there exists a finite collection \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}1 of finite algebras of the same signature, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}_1 \supseteq (...) \mathcal{K}$$ \end{document}, such that SP(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}1) is finitely axiomatizable.We show also that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$HS(\mathcal{K}) \subseteq SP(\mathcal{K})$$ \end{document}, then SP(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract indicates. (shrink)

In this paper we analyze and discuss Jennifer Saul’s account of the famous Gricean notions of ‘what is said’ and ‘what is implicated’ and the alleged conflict between them and the so- called Speaker- Meaning Exhaustiveness Thesis (SMET), which is standardly attributed to Grice in the literature. SMET declares that speaker- meaning divides exhaustively into what is said and what is (conventionally or nonconventionally) implicated by the speaker. After a detailed interpretation of Saul’s position, we argue that her analysis partly (...) misconstrues the relation between Grice’s theory of speaker- meaning and his normative account of conversational implicature. First of all, because SMET is not a genuine part of the Gricean theory of language and meaning – Grice was never committed to it. Secondly, Saul’s interpretation of the Gricean account of conversational implicature does not reflect accurately his original ideas. Although we agree with Saul that conversational implicature has an essential normative aspect, her account cannot capture well the real nature of this normativity, since it does not identify its source and does not delineate its scope. Finally, we present an alternative, speaker- oriented normative interpretation of Grice’s account of conversational implicatures, and argue that it fits better with the Gricean picture of communication and handles better the various problematic cases of conversational implicature than Saul’s mainly audience- oriented interpretation. (shrink)

Arguments from fairness as described in Aristotle’s _Rhetoric_ are usually taken to aim at mitigating the strictness of the law or, in terms of procedure, to favour the defendant. This paper considers a more inclusive interpretation, that is, that arguments from fairness can work both ways. In the example given in the _Rhetoric,_ arguments from fairness are directed at a restrictive interpretation of the text. That may not be necessary however. Likewise, fairness may speak for the claimant. Two examples may (...) support this conclusion: a judicial speech by Hyperides, and the doctrine of issues appearing in Hellenistic school rhetoric. (shrink)

Offering a unique and wide-ranging examination of the theory of knowledge, the new edition of this comprehensive collection deftly blends readings from the foremost classical sources with the work of important contemporary philosophical thinkers. Human Knowledge: Classical and Contemporary Approaches, 3/e, offers philosophical examinations of epistemology from ancient Greek and Roman philosophy ; medieval philosophy ; early modern philosophy ; classical pragmatism and Anglo-American empiricism ; and other influential Anglo-American philosophers. Organized chronologically and thematically, Human Knowledge, 3/e, features exceptionally broad (...) coverage and nontechnical selections that are easily accessible to students. An ideal text for both undergraduate and graduate courses in epistemology, it is enhanced by the editors' substantial general introduction, section overviews, and up-to-date bibliographies. The third edition offers expanded selections on contemporary epistemology and adds selections by Thomas Reid, Richard Rorty, David B. Annis, Richard Feldman and Earl Conee, Ernest Sosa, Barry Stroud, and Louise M. Antony. Human Knowledge, 3/e, offers an unparalleled introduction to our ancient struggle to understand our own intellectual experience. (shrink)

The Theory of Knowledge: A Thematic Introduction explains the main ideas and problems of contemporary epistemology while avoiding technical detail. Comprehensive and rich in illustrations and examples, it highlights contemporary debates over the definition, sources, and limits of human knowledge, and covers major topics including the nature of belief, theories of truth, epistemic justification, the Gettier problem, skepticism, and epistemic rationality. Its discussions identify important connections between traditional epistemological questions and cognitive science, the history of science, the sociology of knowledge, (...) and cross-cultural studies. The book culminates with a focus on questions regarding epistemological method and an examination of the roots of contemporary analytic approaches to epistemology. The authors defend a distinctive position regarding epistemological method, called broad explanationism, that incorporates some insights from naturalism in epistemology. The volume is enhanced by a glossary of important epistemological terms and suggestions for further reading. Easily accessible to beginning students in philosophy, The Theory of Knowledge serves as an ideal text for courses in the theory of knowledge and will also appeal to general readers interested in philosophy. (shrink)

By quoting extensively from unpublished letters written by John von Neumann to Garret Birkhoff during the preparatory phase (in 1935) of their ground-breaking 1936 paper that established quantum logic, the main steps in the thought process leading to the 1936 Birkhoff–von Neumann paper are reconstructed. The reconstruction makes it clear why Birkhoff and von Neumann rejected the notion of quantum logic as the projection lattice of an infinite dimensional complex Hilbert space and why they postulated in their 1936 paper that (...) the quantum propositional system should be isomorphic to an abstract projective geometry. Looking at the paper now I see, that I forgot to say this, which should be said somewhere in the first §: That while common logics did apply to quantum mechanics, if the notion of simultaneous measurability is introduced as an auxiliary notion, we wished to construct a logical system, which applies directly to quantum mechanics – without any extraneous secondary notions like simultaneous measurability. And in order to have such a consequent, one-piece system of logics, we must change the classical class calculus of logics. (J. von Neumann to G. Birkhoff, November 21, 1935). (shrink)