forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Jerry Fodor, by common agreement, is one of the world’s leading philosophers. At the forefront of the cognitive revolution since the 1960s, his work has determined much of the research agenda in the philosophy of mind and the philosophy of psychology for well over 40 years. This special issue dedicated to his work is intended both as a tribute to Fodor and as a contribution to the fruitful debates that his work has generated. One philosophical thesis that has dominated Fodor’s (...) work since the 1960s is realism about the mental. Are there really mental states, events and processes? From his first book, Psychological Explanation (1968), onwards, Fodor has always answered this question with a resolute yes. From his early rejection of Wittgensteinian and behaviourist conceptions of the mind, to his later disputes with philosophers of mind of the elminativist ilk, he has always been opposed to views that try to explain away mental phenomena. On his view, there are minds, and minds can change the world. (shrink)

We argue that S is in a position to know that p iff S can know that p. Thus, what makes position-to-know-ascriptions true is just a special case of what makes ability-ascriptions true: compossibility. The novelty of our compossibility theory of epistemic modality lies in its subsuming epistemic modality under agentive modality, the modality characterizing what agents can do.

Some have claimed that people with very different beliefs literally see the world differently. Thus Thomas Kuhn: ‘what a man sees depends both upon what he looks at and also upon what his previous visual—conceptual experience has taught him to see’ (Kuhn 1970, p. ll3). This view — call it ‘Perceptual Relativism’ — entails that a scientist and a child may look at a cathode ray tube and, in a sense, the first will see it while the second won’t. The (...) claim is not, of course, that the child’s experience is ‘empty’; but that, unlike the scientist, it does not see the tube as a cathode ray tube. One way of supporting this claim is to say that one cannot see something as an F unless one has the concept F. Since the child plainly lacks the concept of a cathode ray tube, it cannot see it as a cathode ray tube. Although Perceptual Relativism is hard to believe, this supporting suggestion is not so implausible. After all, when we see (and more generally, perceive) the world, the world is presented to us in a particular way; so how can we see it as being that way unless we have some idea or conception of the way it is presented? We need not be committed to a representative theory of perception to think that perceptions in some sense represent the world. We can express this by saying that perceptions have content. Now it is a commonplace that the contents of beliefs and the other propositional attitudes involve concepts. The belief that this thing is a cathode ray tube involves, in some sense, the concept cathode ray tube. So the line of thought behind Perceptual Relativism may be expressed thus: seeing an F as an F is a state with content. (shrink)

The sensitivity condition on knowledge says that one knows that P only if one would not believe that P if P were false. Difficulties for this condition are now well documented. Keith DeRose has recently suggested a revised sensitivity condition that is designed to avoid some of these difficulties. We argue, however, that there are decisive objections to DeRose’s revised condition. Yet rather than simply abandoning his proposed condition, we uncover a rationale for its adoption, a rationale which suggests a (...) further revision that avoids our objections as well as others. The payoff is considerable: along the way to our revision, we learn lessons about the epistemic significance of certain explanatory relations, about how we ought to envisage epistemic closure principles, and about the epistemic significance of methods of belief formation. (shrink)

Franz Brentano’s attempt to distinguish mental from physical phenomena by employing the scholastic concept of intentional inexistence is often cited as reintroducing the concept of intentionality into mainstream philosophical discussion. But Brentano’s own claims about intentional inexistence are much misunderstood. In the second half of the 20th century, analytical philosophers in particular have misread Brentano’s views in misleading ways.1 It is important to correct these misunderstandings if we are to come to a proper assessment of Brentano’s worth as a philosopher (...) and his position in the history of philosophy. Good corrections have been made in the recent analytic literature by David Bell (1990), Dermot Moran (1996), and Barry Smith (1994) among others. But there is also another, more purely philosophical lesson to be learned from the proper understanding of Brentano’s views on this matter. This is that Brentano’s struggles with the concept of intentionality reveal a fundamental division between different ways of thinking about intentionality, an division which Brentano himself does not make fully clear. Making the nature of this division explicit is the aim of this paper. (shrink)

The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and the (...) quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

Ted Honderich's theory of consciousness as existence, which he here calls Radical Externalism, starts with a good phenomenological observation: that perceptual experience appears to involve external things being immediately present to us. As P.F. Strawson once observed, when asked to describe my current perceptual state, it is normally enough simply to describe the things around me (Strawson, 1979, p. 97). But in my view that does not make the whole theory plausible.

When are you in a position to rely on p in practical reasoning? Existing accounts say that you must know that p, or be in a position to know that p, or be justified in believing that p, or be in a position to justifiably believe it, and so on. This paper argues that all of these proposals face important problems, which I call the Problems of Negative Bootstrapping and of Level Confusions. I offer a diagnosis of these problems, and (...) I argue that an adequate epistemic norm must be transparent in the following sense: According to the correct epistemic norm, a consideration counts in favor of (or against) relying on p in practical reasoning iff, and to the extent that, this consideration also counts in favor of (or against) p being true. I introduce a candidate epistemic norm that satisfies this condition. According to this norm, one should rely on p in practical reasoning only if it must be that p. If we adopt a non-factualist account of “must”, this amounts to a novel and attractive proposal, a proposal that satisfies the transparency condition. (shrink)

Frege introduced the distinction between sense and reference to account for the information conveyed by identity statements. We can put the point like this: if the meaning of a term is exhausted by what it stands for, then how can 'a =a' and 'a =b' differ in meaning? Yet it seems they do, for someone who understands all the terms involved would not necessarily judge that a =b even though they judged that a =a. It seems that 'a =b' just (...) says something more than the trivial ’a = a' - it seems to contain more information, in some sense of 'information'. So either we have to add something to explain this extra information, or sever the very plausible links between meaning and understanding. This is what some writers have called 'Frege's Puzzle' It is undeniable that there is a phenomenon here to be explained, and it was Frege's insight to see the need for its explanation. But how should we explain it? Frege's idea was to add another semantic notion - Sinn, or Sense -— to account for the information conveyed. Sense is part of the meaning of an expression: it is the 'cognitive value' of the expression, or that ’wherein the mode of presentation is contained' (Frege 1957 p.57). Sense has a role to play in systematically determining the meanings of complex expressions, and ultimately in fixing the contents of judgements. It is the senses of whole sentences — Gedanken or Thoughts - which are candidates for truth and falsehood, and which are thus the objects of our propositional attitudes. Of course, introducing the notion of sense in this way does not, by itself, tell us what sense is. It only imposes a condition on a theory of meaning (and ultimately) belief: that it must account for distinctions in cognitive value or 'mode of presentation' (this is not a trivial thesis —- some philosophers today would deny that an explanation of Frege's Puzzle must occur within semantics or the theory of meaning: see Salmon 1985). In this paper I want to explore one way of meeting this condition for the theory of names in natural language, by examining Kripke's well-known 'Puzzle about Belief' (Kripke 1979).. (shrink)

Epistemological contextualists maintain that the truth-conditions of sentences of the form 'S knows that P' vary according to the context in which they're uttered, where this variation is due to the semantics of 'knows'. Among the linguistic data that have been offered in support of contextualism are several everyday cases. We argue that these cases fail to support contextualism and that they instead support epistemological invariantism—the thesis that the truth-conditions of 'S knows that P' do not vary according to the (...) context of their utterance. (shrink)

Intentionality (‘directedness’, ‘aboutness’) is both a central topic in contemporary philosophy of mind, phenomenology and the cognitive sciences, and one of the themes with which both analytic and Continental philosophers have separately engaged starting from Brentano and Edmund Husserl’s ground-breaking Logical Investigations (1901) through Roderick M. Chisholm, Daniel C. Dennett’s The Intentional Stance, John Searle’s Intentionality, to the recent work of Tim Crane, Robert Brandom, Shaun Gallagher and Dan Zahavi, among many others. In this paper, I shall review recent discussions (...) of intentionality, including some recent explorations of the history of the concept (paying particular attention to Anselm), and suggest some ways the phenomenological approach of Husserl and Heidegger can still offer insights for contemporary philosophy of mind and consciousness. (shrink)

Among the many things minds can do, two general kinds of thing have inspired much of the debate in recent philosophy of mind. The first is minds’ power to represent the world, their intentionality. The second is their power to generate action. The first power has seemed problematic to physicalist or naturalist philosophers, since it is hard to understand how a mere physical object—which is what a mind is—can ‘direct’ itself on things in the way characteristic of intentionality. The second (...) power has seemed problematic not least because it is hard to understand how intentional states can bring about changes in the physical world without adding new mysterious forces into the world. (shrink)

Putnam’s most famous contribution to mathematical logic was his role in investigating Hilbert’s Tenth Problem; Putnam is the ‘P’ in the MRDP Theorem. This volume, though, focusses mostly on Putnam’s work on the philosophy of logic and mathematics. It is a somewhat bumpy ride. Of the twelve papers, two scarcely mention Putnam. Three others focus primarily on Putnam’s ‘Mathematics without foundations’ (1967), but with no interplay between them. The remaining seven papers apparently tackle unrelated themes. Some of this disjointedness would (...) doubtless have been addressed, if Putnam had been able to compose his replies to these papers; sadly, he died before this was possible. In this review, I do my best to tease out some connections between the paper; and there are some really interesting connections to be made. (shrink)

Laurence BonJour divides approaches to a priori justification into three kinds. Quine’s radical empiricism denies the existence of any special category of a priori justification; moderate empiricism attempts to explain a priori justification in terms of something like knowledge of meaning or grasp of concepts; and rationalism postulates an irreducible ‘rational insight’ into the nature of reality. The positions therefore form a familiar trio of eliminativism, reductionism and anti-reductionism concerning a priori justification. BonJour’s interesting and (in the present philosophical climate) (...) unusual project is to defend rationalism, the anti-reductionist position. Rationalism says that we have an ability to ‘directly or intuitively see or grasp or apprehend … a necessary fact about the nature or structure of reality’ (pp. 15-16). ‘An apparent rational insight,’ he says, ‘purports to be nothing less than a direct insight into the necessary character of reality’ (p. 107). Two clarifications will help to mark out the distinctive character of this view: first, that rational insight is fallible; and second, that although BonJour carefully distinguishes the concepts of necessity and apriority, he none the less claims that rational insight yields a priori knowledge of necessary truths only. On his view, the contingent a priori does not exist, although empirical necessities do... (shrink)

No False Lemmas (NFL) says: necessarily, S’s belief that p is knowledge only if it is not inferred from any falsehood. Its proponents argue that alleged counterexamples to NFL are really cases of knowledge despite falsehood, wherein the false premise is inessential to the inference; perhaps some nearby truth does the justificatory heavy-lifting. We argue that there can be cases of inferential knowledge from a blindspot premise. Given that in such cases the relevant falsehood is essential to the inference, one (...) cannot employ the knowledge despite falsehood strategy to defend NFL. We conclude by discussing how cases of knowledge from blindspots exemplify one way in which we can gain inferential knowledge defectively or non-ideally. (shrink)

Tim Crane maintains that beliefs cannot be conscious because they persist in the absence of consciousness. Conscious judgments can share their contents with beliefs, and their occurrence can be evidence for what one believes; but they cannot be beliefs, because they don’t persist. I challenge Crane’s premise that belief attributions to the temporarily unconscious are literally true. To say of an unconscious agent that she believes that p is like saying that she sings well. To say she sings well is (...) to say that when she sings, her singing is good. To say that she believes that p is to say that when she consciously considers the content that p she consciously affirms it. I also argue that the phenomenal view of intentional content Crane appears to endorse prima facie commits him to the view, at least controversial, perhaps incoherent, that there is unconscious phenomenology. Keywords : Belief; Consciousness; Unconscious; Intentional Content; Judgment. Credenze coscienti Riassunto: Tim Crane sostiene che le credenze non possano essere coscienti, dal momento che perdurano anche in assenza di coscienza. I giudizi formulati consapevolmente possono condividere i loro contenuti con le credenze e il loro verificarsi può essere una forma di evidenza a supporto di quanto uno crede. E tuttavia essi non possono essere credenze, dal momento che non perdurano. Nel commento metto in discussione la premessa di Crane secondo cui porre l’attribuzione di credenze su un piano temporaneamente inconscio sia vero in senso letterale. Dire di un agente non cosciente che esso creda che p è come dire che canti bene. Dire che canti bene è dire che quando canta, il suo canto è buono. Dire che crede che p è dire che quando considera consapevolmente il contenuto p costui lo afferma consapevolmente. Inoltre intendo affermare che la visione fenomenica del contenuto intenzionale che Crane sembra abbracciare lo impegni prima facie nei confronti della prospettiva, quantomeno controversa e probabilmente incoerente, secondo cui esisterebbe una dimensione fenomenica inconscia. Parole chiave: Credenza; Coscienza; Inconscio; Contenuto intenzionale; Giudizio. (shrink)

This paper discusses Richard Moran’s account of testimony. Moran argues for the idea that a person who testifies should be considered as giving assurance rather than providing evidence for her assertion. For Moran, it is the fact that the speaker stands by her assertion P that should be the hearer’s reason for believing P. I argue that, even if this claim is true, the speaker’s assurance should be considered as weak and untenable by itself. I draw my (...) argument from the role of sincerity in testimony. Moran views sincerity as giving access to what the speaker assumes responsibility for, but I contend that the view is too optimistic. Sincerity does not guarantee access to the speaker’s commitment to her own words, and for this reason, it is unclear whether the assurance from sincere testimony is a good reason for belief. (shrink)

There is an apparent tension in current accounts of the relationship between reason giving and self knowledge. On the one hand, philosophers like Richard Moran (2001) claim that deliberation and justification can give rise to first-person authority over the attitudes that subjects form or defend on the basis of what they take to be their best reasons. On the other hand, the psychological evidence on the introspection effects and the literature on elusive reasons suggest that engaging in explicit deliberation (...) or justification leads subjects to report attitudes that are not consistent with their previous attitudes or with their future behavior. On the basis of these findings, Tim Wilson (2002) argues that analyzing reasons compromises self knowledge. I shall defend a realistic account of the effects of reason giving which is compatible with the empirical findings on introspection and also with the claim that deliberation and justification have epistemic benefits. (shrink)

In Authority and Estrangement, Richard Moran provides a fascinating account of how we know what we believe that he calls the “transparency account.” This account relies on the transparency relation between the question of whether we believe that p and the question of whether p is true. That is, we can consider the former by considering the grounds for the latter. But Moran’s account has been criticized by David Finkelstein, who argues that it fails to explain how we (...) know our attitudes and emotions more generally. The aim of this paper is to show how Moran’s transparency account can be extended to meet this criticism by modifying it, using insights from Davidson’s view on attitudes and emotions. (shrink)

Nghiên cứu nhằm tìm hiểu mối quan hệ giữa Chánh niệm tiêu dùng, Trải nghiệm thương hiệu, Gắn kết thương hiệu và Niềm tin thương hiệu ngành công nghệ thông tin tại TP. Hồ Chí Minh. Kết quả nghiên cứu cho thấy, Trải nghiệm thương hiệu tác động lên Niềm tin thương hiệu; Niềm tin thương hiệu tác động lên Gắn kết thương hiệu; Chánh niệm tiêu dùng tác động lên Gắn kết thương hiệu. Kết quả nghiên cứu cũng đóng (...) góp vào dòng các nghiên cứu về Trải nghiệm thương hiệu và đặc biệt là khái niệm Chánh niệm tiêu dùng, góp phần phát triển và ổn định thang đo kế thừa cho thị trường nghiên cứu Việt Nam. Nghiên cứu còn là bằng chứng thực nghiệm cho khái niệm nghiên cứu tương đối mới trong thị trường nghiên cứu về Chánh niệm trong tiêu dùng. (shrink)

In this аrtiсlе, thе аuthоr fосusеs оn еluсidаting sоmе philоsоphiсаl аspесts оf intеrсulturаl соmmuniсаtiоn in thе соntеxt оf glоbаlizаtiоn оn thе bаsis оf rесоgnizing thе соntributiоns аnd limitаtiоns оf Wittgеnstеin tо thе birth оf philоsоphy. сulturе study. Thоsе philоsоphiсаl issuеs аrе: thе similаrity in thinking аnd асting оf pеоplе асrоss сulturеs; divеrsity оf сulturеs, wоrldviеws аnd wаys оf lifе. Frоm thе Mаrxist pоint оf viеw, thе аuthоr pоintеd оut аnd сritiсizеd thе limitаtiоns оf Wittgеnstеin's philоsоphiсаl соnсеptiоn; аnd аt thе sаmе (...) timе оffеr аnd еxplаin sоlutiоns tо implеmеnt intеrсulturаl соmmuniсаtiоn in thе соntеxt оf сurrеnt glоbаlizаtiоn. (shrink)

이 책자는 형식 논리의 일종인 양상논리에 입문하고 싶으신 분들을 위한 짧은 교재입니다. “양상논리 맛보기” 라는 말마따나, 이 책자는 양상논리에 관심은 있지만 아직 본격적으로 공부를 시작하진 않은 분들께서 ‘맛보기’를 하기에 적합한 안내 책자입니다. 아무쪼록 이 책자가 양상논리를 공부해나가시는데 유용한 첫 발판이 될 수 있기를 바랍니다. / This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's (...) A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

This paper presents a novel challenge for the panpsychist solution to the problem of consciousness. It advances three main claims. First, that the problem of consciousness is really an instance of a more general problem: that of grounding the qualitative. Second, that we should want a general solution to this problem. Third, that panpsychism cannot provide it. I also suggest two further things: (1) that alternative kinds of Russellian monism may avoid the problem in ways panpsychists cannot, and (2) that (...) a kind of neo-Aristotelian or ground-theoretical physicalism fares just as well here if not better. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

A substantial proportion of human embryos spontaneously abort soon after conception, and ethicists have argued this is problematic for the pro-life view that a human embryo has the same moral status as an adult from conception. Firstly, if human embryos are our moral equals, this entails spontaneous abortion is one of humanity’s most important problems, and it is claimed this is absurd, and a reductio of the moral status claim. Secondly, it is claimed that pro-life advocates do not act as (...) if spontaneous abortion is important, implying they are failing to fulfill their moral obligations. We report that the primary cause of spontaneous abortion is chromosomal defects, which are currently unpreventable, and show that as the other major cause of prenatal death is induced abortion, pro-life advocates can legitimately continue efforts to oppose it. We also defend the relevance of the killing and letting die distinction, which provides further justification for pro-life priorities. (shrink)

This chapter explores Edmund Husserl’s ground-breaking discussion of the “natural attitude” (die natürliche Einstellung) in Ideen I (1913) in relation to his conception of the “life-world” (Lebenswelt), a term that emerges in his writings around 1917 and becomes perhaps the most prominent theme of Krisis (1936 and 1954). I contend that the parallels between the “natural surrounding world” (natürliche Umwelt) of Ideen I and the “life-world” of Krisis have not been sufficiently explored by commentators. It also examines the relation between (...) Husserl’s critique of the scientific world-view and the Vienna Circle’s advocacy of the scientific world-view in the late 1920s. (shrink)

On one popular view, the general covariance of gravity implies that change is relational in a strong sense, such that all it is for a physical degree of freedom to change is for it to vary with regard to a second physical degree of freedom. At a quantum level, this view of change as relative variation leads to a fundamentally timeless formalism for quantum gravity. Here, we will show how one may avoid this acute ‘problem of time’. Under our view, (...) duration is still regarded as relative, but temporal succession is taken to be absolute. Following our approach, which is presented in more formal terms in, it is possible to conceive of a genuinely dynamical theory of quantum gravity within which time, in a substantive sense, remains. 1 Introduction1.1 The problem of time1.2 Our solution2 Understanding Symmetry2.1 Mechanics and representation2.2 Freedom by degrees2.3 Voluntary redundancy3 Understanding Time3.1 Change and order3.2 Quantization and succession4 Time and Gravitation4.1 The two faces of classical gravity4.2 Retaining succession in quantum gravity5 Discussion5.1 Related arguments5.2 Concluding remarks. (shrink)

According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of belief revision (...) in psychotherapy is very limited. This is the case, I argue, because the cognitive model wrongly assumes that our body of beliefs is unified, while it is in fact fragmented. (shrink)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...) external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Christiaens argues that digital technologies are fundamentally undermining workers’ autonomy by enacting systems of surveillance that lead to exploitation, alienation, and exhaustion. For a more sustainable future of work, digital technologies should support human development instead of subordinating it to algorithmic control.

The principle of alternate possibilities (PAP), making the ability to do otherwise a necessary condition for moral responsibility, is supposed by Harry Frankfurt, John Fischer, and others to succumb to a peculiar kind of counterexample. The paper reviews the main problems with the counterexample that have surfaced over the years, and shows how most can be addressed within the terms of the current debate. But one problem seems ineliminable: because Frankfurt''s example relies on a counterfactual intervener to preclude alternatives to (...) the person''s action, it is not possible for it to preclude all alternatives (intervention that is contingent upon a trigger cannot bring it about that the trigger never occurred). This makes it possible for the determined PAPist to maintain that some pre-intervention deviation is always available to ground moral responsibility. In reply, the critic of PAP can examine all the candidate deviations and argue their irrelevance to moral responsibility (a daunting prospect); or the critic can dispense with counterfactual intervention altogether. The paper pursues the second of these strategies, developing three examples of noncounterfactual intervention in which (i) the agent has no alternatives (and a fortiori no morally relevant alternatives), yet (ii) there is just as much reason to think that the agent is morally responsible as there was in Frankfurt''s original example. The new counterexamples do suffer from one liability, but this is insufficient in the end to repair PAP''s conceptual connection between moral responsibility and alternate possibilities. (shrink)

It is widely agreed that possession of consciousness contributes to an entity’s moral status, even if it is not necessary for moral status (Levy and Savulescu 2009). An entity is considered to have...

According to Streeck and Vogl, the neoliberalization of the state has been the result of political-economic developments that render the state dependent on financial markets. However, they do not explain the discursive shifts that would have been required for demoting the state to the role of an agent to bondholders. I propose to explain this shift via the performative effect of neoliberal agency theory. In 1976, Michael Jensen and William Meckling claimed that corporate managers are agents to shareholding principals, which (...) implied that their main task was the procurement of shareholder value. Agency theory subsequently prescribes a series of measures to ensure the alignment of principal and agent interests in corporations. The diffusion of agency theory, however, moved beyond corporate governance to reconfigure the state. Due to its reliance on capital markets, the state supposedly likewise becomes an agent of the investment public and should procure bondholder value. (shrink)

This article proposes a term structure model for dual-currency interest rate markets. The model assumes that volatility is a deterministic function of time alone. This volatility structure can reduce the dimension of the required state variables. An important special case is presented, which corresponds essentially to a Vasicek/Hull-White yield curve model in each currency. The model is very useful for pricing cross-currency derivatives.

In The Mind and the World Order, C.I. Lewis made a famous distinction between the immediate data ‘which are presented or given to the mind’ and the ‘construction or interpretation’ which the mind brings to those data (1929: 52). What the mind receives is the datum – literally, the given – and the interpretation is what happens when we being it ‘under some category or other, select from it, emphasise aspects of it, and relate it in particular and unavoidable ways’ (...) (1929: 52). So although any attempt to describe the given will inevitably be an interpretation of it, this should not give us reason to deny its existence: ‘no-one but a philosopher could for a moment deny this immediate presence in consciousness of that which no activity of thought can create or alter’ (1929: 53). Whatever those outside philosophy might think, Lewis was certainly right about what philosophers were prepared to deny. His conception of the ‘given’ is without question one of the targets of Wilfrid Sellars’s influential critique of the notion of the ‘whole framework of givenness’ (1957).1 One of the things Sellars was attacking was the idea that something that was merely given by the senses could put one in a position to be justified in making a judgement about the empirical world. The.. (shrink)

Rob Lovering has developed an interesting new critique of views that regard embryos as equally valuable as other human beings: the moral argument for frozen human embryo adoption. The argument is aimed at those who believe that the death of a frozen embryo is a very bad thing, and Lovering concludes that some who hold this view ought to prevent one of these deaths by adopting and gestating a frozen embryo. Contra Lovering, we show that there are far more effective (...) strategies for preserving the lives of frozen embryos than adoption. Moreover, we point out that those who regard the deaths of frozen embryos as a very bad thing will generally regard the deaths of all embryos as a very bad thing, whether they are discarded embryos, aborted embryos or embryos that spontaneously abort. This entails these other embryos must be taken into account when considering moral obligations, as well as other human lives at risk from preventable causes. (shrink)

Psychiatric and neurological disorders have historically provided key insights into the structure-function rela- tionships that subserve human social cognition and behavior, informing the concept of the ‘social brain’. In this review, we take stock of the current status of this concept, retaining a focus on disorders that impact social behavior. We discuss how the social brain, social cognition, and social behavior are interdependent, and emphasize the important role of development and com- pensation. We suggest that the social brain, and its (...) dysfunction and recovery, must be understood not in terms of specific structures, but rather in terms of their interaction in large-scale networks. (shrink)

Prolife theorists typically hold to the claim that all human beings possess equal moral status from conception and consequently possess a right to life. This, they believe, entails that abortion is impermissible in all circumstances. Critics characterize this as an extreme anti-abortion position, as it prima facie allows no exceptions, even in cases of rape. Here, I examine whether the prolife claim regarding equal moral status is compatible with a more attractive moderate stance that permits an exception in the case (...) of rape. I show that Judith Jarvis Thomson's analysis of rights can be used to modify the prolife position in this way, but that doing so involves concessions that prolife theorists are unlikely to find acceptable. (shrink)

It is often suggested that we are equipped with a set of cognitive tools that help us to filter out unreliable testimony. But are these tools effective? I answer this question in two steps. Firstly, I argue that they are not real-time effective. The process of filtering, which takes place simultaneously with or right after language comprehension, does not prevent a particular hearer on a particular occasion from forming beliefs based on false testimony. Secondly, I argue that they are long-term (...) effective. Some hearers sometimes detect false testimony, which increases speakers’ incentives for honesty and stabilizes the practice of human communication in which deception is risky and costly. In short, filtering prevents us from forming a large number of beliefs based on false testimony, not by turning each of us into a high-functioning polygraph but by turning the social environment of human communication into one in which such polygraphs are not required. Finally, I argue that these considerations support strong anti-reductionism about testimonial entitlement. (shrink)

Non-well-founded set theories allow set-theoretic exotica that standard ZFC will not allow, such as a set that has itself as its sole member. We can distinguish plenitudinous non-well-founded set theories, such as Boffa set theory, that allow infinitely many such sets, from restrictive theories, such as Finsler-Aczel or AFA, that allow exactly one. Plenitudinous non-well-founded set theories face a puzzle: nothing seems to explain the identity or distinctness of various of the sets they countenance. In this paper I aim to (...) sharpen this puzzle, make clear who it does and does not apply to and, ultimately, to argue in favor of a plenitudinous theory like Boffa. (shrink)

Opponents of abortion are commonly said to be inconsistent in their beliefs or actions, and to fail in their obligations to prevent the deaths of embryos and fetuses from causes other than induced...