This paper proposes and develops the feelings of goals hypothesis (FGH). It has two aims: first, to describe the evolutionary function of emotional feelings (EFs), and second, to describe the content and the format of EFs. According to FGH, the evolutionary function of EFs is to enable motoric flexibility. Specifically, EFs are a component of a psychological mechanism that permits differential motoric reactions to the same stimulus. Further, according to FGH, EF is a special type of mental representation with the (...) content of an action goal, and with a non-motoric, non-conceptual format. This paper thoroughly clarifies the assumptions underlying FGH and discusses its theoretical implications and empirical predictions. (shrink)

According to the thesis of transparency, subjects can attend only to the representational content of perceptual experience, never to the intrinsic properties of experience that carry this representational content, i.e., to “mental paint.” So far, arguments for and against transparency were conducted from the armchair, relying mainly on introspective observations. In this paper, we argue in favor of transparency, relying on the cognitive neuroscience of attention. We present a trilemma to those who hold that attention can be directed to mental (...) paint. Such attention is either first-order sensory, higher-order cognitive, or higher-order sensory attention. We argue that the notion of first-order sensory attention to mental paint is incompatible with the neuroscience of sensory attention; that higher-order cognitive attention to mental paint is irrelevant to transparency; and that the notion of higher-order sensory attention to mental paint has an apparently incoherent prediction. Via elimination, these considerations support the thesis of transparency. (shrink)

According to an influential philosophical view I call “the relational properties view”, “perspectival” properties, such as the elliptical appearance of a tilted coin, are relational properties of external objects. Philosophers have assessed this view on the basis of phenomenological, epistemological or other purely philosophical considerations. My aim in this paper is to examine whether it is possible to evaluate RPV empirically. In the first, negative part of the paper I consider and reject a certain tempting way of doing so. In (...) the second, positive part of the paper I suggest a novel way of evaluating RPV empirically, relying on the influential object files framework. (shrink)

This article examines whether a functionalist approach to emotion classification is a research program that can feasibly be implemented in an experimental environment. I suggest that this is a promise perhaps impossible to keep. The crux of the argument is that if functional taxonomy is to go the full distance and shape experimental conditions to the new boundaries, then stimuli/experimental manipulations must be selected based on functional principles. But this seems implausible or even impossible. I conclude that emotion taxonomy, and (...) thus the metastructure of emotion theory, is both constrained and determined by human emotional feelings, and suggest that feelings have a special epistemological status in emotion research. (shrink)

A commonly-discussed feature of perceptual experience is that it has ‘assertoric’ or ‘phenomenal’ force. We will start by discussing various descriptions of the assertoricity of perceptual experience. We will then adopt a minimal characterization of assertoricity: a perceptual experience has assertoric force just in case it inclines the perceiver to believe its content. Adducing cases that show that visual experience is not always assertoric, we will argue that what renders these visual experiences non-assertoric is that they are penetrated by belief-like (...) imaginings. Lastly, we will explain why it is that when belief-like imaginings—as opposed to beliefs (and other cognitive states)—penetrate visual experience, they render visual experiences non-assertoric. (shrink)

Perception can’t have disjunctive content. Whereas you can think that a box is blue or red, you can’t see a box as being blue or red. Based on this fact, I develop a new problem for the ambitious predictive processing theory, on which the brain is a machine for minimizing prediction error, which approximately implements Bayesian inference. I describe a simple case of updating a disjunctive belief given perceptual experience of one of the disjuncts, in which Bayesian inference and predictive (...) coding pull in opposite directions, with the former implying that one’s confidence in the belief should increase, and the latter implying that it should decrease. Thus, predictive coding fails to approximately implement Bayesian inference across the interface between belief and perception. (shrink)

According to the influential thesis of attentional transparency, in having or reflecting on an ordinary visual experience, we can attend only outwards, to qualities the experience represents, never to intrinsic qualities of the experience itself, i.e., to “mental paint.” According to the competing view, attentional semitransparency, although we usually attend outwards, to qualities the experience represents, we can also attend inwards, to mental paint. So far, philosophers have debated this topic in strictly armchair means, especially phenomenological reflection. My aim in (...) this paper is to show how to design an experiment, using the change detection paradigm for studying visual working memory that, if yielding positive results, would support AS. The structure of the argument is as follows. In standard change detection tasks, which involve attention to qualities the experience represents, there exists a known object integration effect (Luck and Vogel in Nature 390(6657):279–281, 1997). I formulate a hypothesis I call “the turn-off hypothesis,” according to which this effect does not exist in change detection tasks where subjects are instructed to attend to mental paint. I argue that, given AS, we have some reason to expect the turn-off hypothesis to be true, but given AT, we do not. Consequently, the truth of the turn-off hypothesis would support AS. I further argue that one can straightforwardly test the turn-off hypothesis, taking the standard change detection paradigm and instructing participants to attend inwards. (shrink)

The paper argues that knowledge is not closed under logical inference. The argument proceeds from the openness of evidential support and the dependence of empirical knowledge on evidence, to the conclusion that knowledge is open. Without attempting to provide a full-fledged theory of evidence, we show that on the modest assumption that evidence cannot support both a proposition and its negation, or, alternatively, that information that reduces the probability of a proposition cannot constitute evidence for its truth, the relation of (...) evidential support is not closed under known entailment. Therefore the evidence-for relation is deductively open regardless of whether evidence is probabilistic or not. Given even a weak dependence of empirical knowledge on evidence, we argue that empirical knowledge is also open. On this basis, we also respond to the strongest argument in support of knowledge closure. Finally, we present a number of significant benefits of our position, namely, offering a unified explanation for a range of epistemological puzzles. (shrink)

The history of productivity of the κ-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every regular cardinal κ > א1, the principle □ is equivalent to the existence of a certain strong coloring c : [κ]2 → κ for which the family of fibers T is a nonspecial κ-Aronszajn tree. The theorem follows from an analysis of (...) a new characteristic function for walks on ordinals, and implies in particular that if the κ-chain condition is productive for a given regular cardinal κ > א1, then κ is weakly compact in some inner model of ZFC. This provides a partial converse to the fact that if κ is a weakly compact cardinal, then the κ-chain condition is productive. (shrink)

The idea that knowledge can be extended by inference from what is known seems highly plausible. Yet, as shown by familiar preface paradox and lottery-type cases, the possibility of aggregating uncertainty casts doubt on its tenability. We show that these considerations go much further than previously recognized and significantly restrict the kinds of closure ordinary theories of knowledge can endorse. Meeting the challenge of uncertainty aggregation requires either the restriction of knowledge-extending inferences to single premises, or eliminating epistemic uncertainty in (...) known premises. The first strategy, while effective, retains little of the original idea—conclusions even of modus ponens inferences from known premises are not always known. We then look at the second strategy, inspecting the most elaborate and promising attempt to secure the epistemic role of basic inferences, namely Timothy Williamson’s safety theory of knowledge. We argue that while it indeed has the merit of allowing basic inferences such as modus ponens to extend knowledge, Williamson’s theory faces formidable difficulties. These difficulties, moreover, arise from the very feature responsible for its virtue- the infallibilism of knowledge. (shrink)

Based on two case studies of the design of electronic communication networks developed in the public and private sector, this article explores the barriers within current design cultures to account for the needs and diversity of users. Whereas the constraints on user-centered design are usually described in macrosociological terms, in which the user–technology relation is merely understood as a process of the inclusion or exclusion of users in design, the authors suggest that it is important to adopt a semiotic approach. (...) Moreover, they argue that we need to take into account the gender identity of designers to understand how design practices in ICT prioritize male users. The article shows how configuring the user as “everybody” and the use of the “I-methodology” are important constraints in the development of technologies that aim to reach users in all their diversity. (shrink)

Let λ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square _{\lambda}^{\ast}$ together with 2 λ = λ⁺ implies $\lozenge _{S}$ for every S ⊆ λ⁺ that reflects stationarily often. In this paper, for a set S ⊆ λ⁺, a normal subideal of the weak approachability ideal is introduced, and denoted by I[S; λ]. We say that the ideal is fat if it contains a stationary set. It is proved: 1. if I[S; λ] is fat, (...) then $\text{NS}_{\lambda ^{+}}$ ↾ S is non-saturated; 2. if I[S; λ] is fat and 2 λ = λ⁺, then $\lozenge _{S}$ holds; 3. $\square _{\lambda}^{\ast}$ implies that I[S; λ] is fat for every S ⊆ λ⁺ that reflects stationarily often; 4. it is relatively consistent with the existence of a supercompact cardinal that $\square _{\lambda}^{\ast}$ fails, while I[S; λ] is fat for every stationary S ⊆ λ⁺ that reflects stationarily often. The stronger principle $\lozenge _{\lambda ^{+}}^{\ast}$ is studied as well. (shrink)

Harman and Lewis credit Kripke with having formulated a puzzle that seems to show that knowledge entails dogmatism. The puzzle is widely regarded as having been solved. In this paper we argue that this standard solution, in its various versions, addresses only a limited aspect of the puzzle and holds no promise of fully resolving it. Analyzing this failure and the proper rendering of the puzzle, it is suggested that it poses a significant challenge for the defense of epistemic closure.

There are few indulgences academics can crave more than to have their work considered and addressed by leading researchers in their field. We have been fortunate to have two outstanding philosophers from whose work we have learned a great deal give ours their thoughtful attention. Grappling with Stephen Yablo’s, and Juan Comesaña’s comments and criticisms has helped us gain a better understanding of our ideas as well as their shortcomings. We are extremely grateful to them for the attentiveness and seriousness (...) with which they have considered our arguments and to philosophical studies for giving us this opportunity. Given the substantive difference between the two response papers, there is not much beyond sincere gratitude that we can covey to them jointly. We will therefore address them in turn. (shrink)

This paper provides an economic justification for the exemption from liability for omissions in torts and for the exceptions to this exemption. It interprets the differential treatment of acts and omissions under tort law as a proxy for a more fundamental distinction between harms caused by multiple injurers, where each one can single-handedly prevent the harm, and harms caused by a single injurer. Since the overall cost to which a group of injurers is exposed is constant, attributing liability to many (...) injurers reduces the part each has to pay and, consequently, reduces each one’s incentives to take precautions. Broad exemption from liability for omissions is a way of carving a simple, practical rule to distinguish between the typical cases in which an agent can be easily selected and provided with sufficient incentives and cases in which there is a serious problem of dilution of liability. The exceptions to the rule exempting from liability for omissions are explained in terms of efficiency. The imposition of liability for omissions depends on the ability to identify a salient agent, i.e., to single out one or few liable agents and differentiate their role from that of others. Tort law designs three types of "salience rules." It either creates salience directly, or it can exploit salience created "naturally," or it can induce injurers to create salience voluntarily. (shrink)

In these pages we seek to integrate two claims. First, we argue that, taken to their logical conclusions, the considerations that support a strict form of protection for tangible property rights do not call for a similar form of protection when applied to the case of copyright. More dramatically, these considerations demand, on pain of glaring inconsistency, a substantially weaker protection for copyright. In pursuing this claim, we show that the form of protecting property rights is, to an important extent, (...) a feature of certain normal, though contingent, facts about the human world. Second, the normative question concerning the selection of a desirable protection for creative works is most naturally pursued from a tort law perspective, in part because the normative structure of copyright law simply is that of tort law. (shrink)

It takes courage to characterize feminist writings on tort law as "thin." Indeed, Professor Schwartz in his provocative and challenging article examines feminist writings in a unique and innovative way. In his analysis of a number of such writings, he attempts to demonstrate that they either have not done enough or could have done better. His provocative analysis of many issues invites vigorous discussion. One could write a separate comment on each and every one of the issues he raises; however, (...) I will limit my comment to two: the tension between the "reasonable man" and the "reasonable woman" standard and the duty to rescue rule. It takes courage to characterize feminist writings on tort law as "thin." Indeed, Professor Schwartz in his provocative and challenging article examines feminist writings in a unique and innovative way. In his analysis of a number of such writings, he attempts to demonstrate that they either have not done enough or could have done better. His provocative analysis of many issues invites vigorous discussion. One could write a separate comment on each and every one of the issues he raises; however, I will limit my comment to two: the tension between the "reasonable man" and the "reasonable woman" standard and the duty to rescue rule. (shrink)

Timothy Williamson has famously argued that the principle should be rejected. We analyze Williamson's argument and show that its key premise is ambiguous, and that when it is properly stated this premise no longer supports the argument against. After canvassing possible objections to our argument, we reflect upon some conclusions that suggest significant epistemological ramifications pertaining to the acquisition of knowledge from prior knowledge by deduction.

It is relatively consistent with the existence of two supercompact cardinals that a special Aronszajn tree of height ${\aleph_{\omega_1+1}}$ is introduced by a cofinality-preserving forcing of size ${\aleph_3}$.

We study the behaviour of stable types in rosy theories. The main technical result is that a non-þ-forking extension of an unstable type is unstable. We apply this to show that a rosy group with a þ-generic stable type is stable. In the context of super-rosy theories of finite rank we conclude that non-trivial stable types of U þ -rank 1 must arise from definable stable sets.

European Journal of Philosophy, EarlyView.

This Article tells the story of two legal cooperation projects established by the Israeli Ministry of Justice in the 1950s and 1960s. The Article argues that the history of these projects can suggest a new way of understanding the process of legal transplantation. Much of the literature on legal transplants focuses on the legal norms transplanted. This Article seeks to shift the focus of the debate from a discussion of the legal norms transplanted to a discussion of the social acts (...) involved in the process of transplantation. The Article argues that while transplantation may be motivated by practical considerations, such as the desire to obtain foreign norms which are deemed superior to local law, it is sometimes also a process of signaling. The two legal cooperation projects discussed in the Article, it is argued, were, to a certain extent, signaling devices used to communicate to Israel’s potential allies the fact that Israel was part of the civilized world, and thus a partner worthy of its cooperation, and also the fact that Israel was a state stable and strong enough to survive in the hostile environment into which it was born. (shrink)

Recent histories of American jurisprudence tend to ignore the fact that ideas that appeared in the United States often appeared simultaneously in Europe. Even those works that do not ignore the European context are content with tracing the influence or reception of European thought in America. This article suggests that another possible approach is to compare jurisprudential developments in the United States, Europe, and other places in order to reach more general, sociology-of-knowledge-like insights into the reasons why certain ideas appear (...) at certain times and places. One concrete example is discussed: the rise of an interest in the distinction between formal and "living" law in American and European jurisprudence in the first decade of the twentieth century. This distinction was central to the work of Roscoe Pound in the United States and the work of the Austro-Hungarian legal thinker Eugen Ehrlich. Pound and Ehrlich shared similar personal backgrounds. When they began advocating the study of informal law, both Pound and Ehrlich were teaching law in provincial towns situated on the frontiers of empires. Both towns were marginal places where different cultures clashed and where the legal culture of the center of the empire had only a tenuous hold. Scholars working in such an environment, it is argued, would tend to be more aware of the gap between formal state law and the actual norms governing the daily lives of people than scholars working at the center of an empire. The article offers additional support for this argument by looking at the scholarship of Guido Tedeschi, an Italian-Israeli legal scholar who taught at the Hebrew University of Jerusalem in the 1940s. The article concludes by calling for the study of the history of American jurisprudence from a comparative perspective, taking into account such issues as the interaction between center and periphery and between empire and provinces in more than one national context. (shrink)

Tax law is a technical area of law which does not seem to be culturally specific. It is thus seen as easily transferable between different societies and cultures. However, tax law is also based on definitions and notions which are not universal. So, is tax law universal or particular? Is it indeed easily transferable between different societies? And in what ways does tax law reflect ethnic or cultural rather than economic differences? This Article seeks to answer these questions by analyzing (...) one specific example — the history of income tax legislation in Mandatory Palestine. This history reveals the dual nature of income taxation. On the one hand, the Income Tax Ordinance which was enacted by the British in Palestine in 1941 was based on a one-size-fits-all colonial model, and the lawyers involved in its enactment, in Palestine and in the Colonial Office in London, made relatively little effort to adapt it to local conditions. On the other hand, other actors — the officials, politicians and businessmen involved in the initial debate about the imposition of income taxation in Palestine in the 1930s, and the administrators involved in the application of the specific rules of the Ordinance after it was enacted in the 1940s — were aware of the need to adapt the law to the specific conditions of Palestine. Thus, while on a formal level the Ordinance seems to represent a process in which the tax law of Palestine converged with that of other British colonies, once we expand our framework and examine not just law in the books, but also law in action, and actors such as politicians and administrators, we discover that particular local conditions were an important factor in the enactment and application of the Palestine Income Tax Ordinance. The study of the process of transplantation, the Article concludes, should therefore focus not only on the formal norms being transplanted, but also on the role of the different non-legal actors involved in the process. (shrink)

When viewing a circular coin rotated in depth, it fills an elliptical region of the distal scene. For some, this appears to generate a two-fold experience, in which one sees the coin as simultaneously circular (in light of its 3D shape) and elliptical (in light of its 2D ‘perspectival shape’ or ‘p-shape’). An energetic philosophical debate asks whether the latter p-shapes are genuinely presented in perceptual experience (as ‘perspectivalists’ argue) or if, instead, this appearance is somehow derived or inferred from (...) experience (as ‘anti-perspectivalists’ argue). This debate, however, has largely turned on introspection. In a recent study, Morales, Bax, and Firestone (2020) aim to provide the first empirical test of this question. They asked subjects to find an elliptical coin seen face-on from a search array that also included a circular coin seen either face-on or at an angle. They found that subjects reacted more slowly when the distracting circle was seen at an angle, such that it’s p-shape matched that of the target ellipse. From this, they concluded that the similar p-shape between the ellipse and circle constituted a phenomenal similarity between the two, and thus that perspectivalism is true. We show that these results can also be explained by pre-attentive guidance by unconscious representations (in what follows, just “unconscious pre-attentive guidance”) and that this explanation is at least as plausible as one from phenomenal similarity. Thus, we conclude that the experiment does not support perspectivalism over anti-perspectivalism. (shrink)

When characterizing the content of a subject’s perceptual experience, does their seeing an object entail that their visual experience represents it as being a certain way? If it does, are they thereby in a position to have perceptually-based thoughts about it? On one hand, representationalists are under pressure to answer these questions in the affirmative. On the other hand, it seems they cannot. This paper presents a puzzle to illustrate this tension within orthodox representationalism. We identify several interesting morals which (...) may be drawn in response, each of which teaches us something interesting and important about perceptual experience and its interface with cognition and related phenomena. (shrink)

König, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of a higher Souslin tree from the strong guessing principle.Complementary to the author’s work on the validity of diamond and non-saturation at the successor of singulars, we deal here with a successor of regulars. It is established that even the non-strong guessing principle entails non-saturation, and that, assuming the necessary cardinal arithmetic configuration, entails a diamond-type principle which suffices for the construction of a (...) higher Souslin tree.We also establish the consistency of GCH with the failure of the weakest form of generalized club guessing. This, in particular, settles a question from the original paper. (shrink)

We show that any structure of finite Morley Rank having the definable multiplicity property has a rank and multiplicity preserving interpretation in a strongly minimal set. In particular, every totally categorical theory admits such an interpretation. We also show that a slightly weaker version of the DMP is necessary for a structure of finite rank to have a strongly minimal expansion. We conclude by constructing an almost strongly minimal set which does not have the DMP in any rank preserving expansion, (...) and ask whether this structure is interpretable in a strongly minimal set. (shrink)

Generalising Hrushovski's fusion technique we construct the free fusion of two strongly minimal theories T₁, T₂ intersecting in a totally categorical sub-theory T₀. We show that if, e.g., T₀ is the theory of infinite vector spaces over a finite field then the fusion theory Tω exists, is complete and ω-stable of rank ω. We give a detailed geometrical analysis of Tω, proving that if both T₁, T₂ are 1-based then, Tω can be collapsed into a strongly minimal theory, if some (...) additional technical conditions hold—all trivially satisfied if T₀ is the theory of infinite vector spaces over a finite field Fq. (shrink)

In Part I of this series [A. Poveda, A. Rinot and D. Sinapova, Sigma-Prikry forcing I: The axioms, Canad. J. Math. 73(5) (2021) 1205–1238], we introduced a class of notions of forcing which we call [Formula: see text]-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are [Formula: see text]-Prikry. We showed that given a [Formula: see text]-Prikry poset [Formula: see text] and a [Formula: see text]-name for a non-reflecting (...) stationary set [Formula: see text], there exists a corresponding [Formula: see text]-Prikry poset that projects to [Formula: see text] and kills the stationarity of [Formula: see text]. In this paper, we develop a general scheme for iterating [Formula: see text]-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. In Part I of this series [A. Poveda, A. Rinot and D. Sinapova, Sigma-Prikry forcing I: The axioms, Canad. J. Math. 73(5) (2021) 1205–1238], we introduced a class of notions of forcing which we call [math]-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are [math]-Prikry. We showed that given a [math]-Prikry poset [math] and a [math]-name for a non-reflecting (...) stationary set [math], there exists a corresponding [math]-Prikry poset that projects to [math] and kills the stationarity of [math]. In this paper, we develop a general scheme for iterating [math]-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds. (shrink)

Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of ZFC and independence results about the C-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We then introduce and study the more general C-sequence spectrum and uncover some tight connections between the C-sequence spectrum and the strong (...) coloring principle U(. . .), introduced in Part I of this series. (shrink)

In their paper from 1981, Milner and Sauer conjectured that for any poset P,≤, if , then P must contain an antichain of cardinality κ. The conjecture is consistent and known to follow from GCH-type assumptions. We prove that the conjecture has large cardinals consistency strength in the sense that its negation implies, for example, the existence of a measurable cardinal in an inner model. We also prove that the conjecture follows from Martin’s Maximum and holds for all singular λ (...) above the first strongly compact cardinal. (shrink)

This paper proposes a novel experimental approach that would help to determine whether perspectival shapes, such as the elliptical profile of a tilted plate or coin, are part of perceptual experience. If they are part of perceptual experience, then it should be possible to identify these shapes simply by attending appropriately to them. Otherwise, in order to identify perspectival shapes they must first be constructed in the visual imagination. We propose that these accounts of perspectival identification can be tested by (...) measuring the interference between visual and verbal working memory load, respectively, and the identification of perspectival shapes in the appearance of a 3D object. (shrink)

Given a weakly o-minimal structure${\cal M}$and its o-minimal completion$\bar{{\cal M}}$, we first associate to$\bar{{\cal M}}$a canonical language and then prove thatTh$\left$determines$Th\left$. We then investigate the theory of the pair$\left$in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of${\bar{M}^n}$is already definable in$\bar{{\cal M}}$.We give an example of a weakly o-minimal structure interpreting$\bar{{\cal M}}$and show that it is not elementarily equivalent to any reduct (...) of an o-minimal trace. (shrink)

We study the algebraic implications of the non-independence property and variants thereof on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” :1850007, 2018).