Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative (...) class='Hi'>categoricity. In this paper, we show that most other abstraction principles are not naturally relatively categorical, so that there is in fact a large amount of incompatibility between these two recent trends in contemporary philosophy of mathematics. To better understand the precise demands of relative categoricity in the context of abstraction principles, we compare and contrast these constraints to stability-like acceptability criteria on abstraction principles, the Tarski-Sher logicality requirements on abstraction principles studied by Antonelli and Fine, and supervaluational ideas coming out of Hodes' work. (shrink)

We consider structures A consisting of an abelian group with a subgroup AP distinguished by a 1-ary relation symbol P, and complete theories T of such structures. Such a theory T is -categorical if T has models A of cardinality λ with AP=κ, and given any two such models A,B with AP=BP, there is an isomorphism from A to B which is the identity on AP. We classify all complete theories of such structures A in terms of the cardinal pairs (...) in which they are categorical. We classify algebraically the A of finite order λ with AP of order κ which are -categorical. (shrink)

The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves that the (...) EPT agrees with SR. -/- Edit: this preprint differs significantly from the published chapter. (shrink)

We investigate effective categoricity of computable equivalence structures . We show that is computably categorical if and only if has only finitely many finite equivalence classes, or has only finitely many infinite classes, bounded character, and at most one finite k such that there are infinitely many classes of size k. We also prove that all computably categorical structures are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. Since all computable equivalence structures are relatively (...) categorical, we further investigate when they are categorical. We also obtain results on the index sets of computable equivalence structures. (shrink)

We investigate effective categoricity of computable Abelian p-groups . We prove that all computably categorical Abelian p-groups are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. We investigate which computable Abelian p-groups are categorical and relatively categorical.

Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem of imaginary numbers, raising objections to both positions. Then, I suggest an interpretation of "absolute definiteness" as semantic completeness and (...) argue that this notion does not suffice to explain Husserl's solution to the problem of imaginary numbers. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Russellian physicalism is a view on the nature of consciousness which promises to satisfy the demands of both traditional physicalists and non-physicalists. It does so by identifying subjective experience with physically acceptable categorical properties underlying structural and dispositional properties described by science. Though promising, the view faces at least two serious challenges: (i) it has been argued that science deals in both categorical and non-categorical properties, which would undercut the motivation behind Russellian physicalism, and (ii) it has been argued that (...) only nonphysicalist Russellian views—like panpsychism—are useful when it comes to explaining consciousness. I address these criticisms, arguing that there is no viable reason for maintaining that science deals in categorical properties of the sort which a Russellian physicalist is interested in, and that features of fully-physical categorical properties can be described which provide useful explanations for various essential features of subjective experience. These projects are connected: it turns out that when the explanatory relevance of Russellian physicalism is explained in detail, constraints are put the sort of categorical properties that Russellian physicalists can say are left out of science. Specifically, Russellian physicalists are forced to subscribe to the view that science leaves out any categorical properties whatsoever, as opposed to the view that some scientifically scrutable properties are categorical, but not the ones which Russellian physicalists are interested in. I hope that by addressing these criticisms of Russellian physicalism, and drawing logical connections between the responses, further appeal is added to a promising, but so far relatively unexplored, view. (shrink)

The dispute between Kantians and Humeans over whether practical reason can justify moral reasons for all agents is often characterized as a debate over whether reasons are hypothetical or categorical. Instead, this debate must be understood in terms of the distinction between agent-neutral and agent-relative reasons. This paper considers Alan Gewirth’s Reason and Morality as a case study of a Kantian justification of morality focused on deriving categorical reasons from hypothetical reasons. The case study demonstrates first, the possibility of (...) categorical agent-relative reasons, and second, that inattention to this possibility has caused considerable confusion in the debate between Kantians and Humeans. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute to (...) experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

Cook (1995) criticized Kosslyn, Chabris, Marsolek & Koenig's (1992) network simulation models of spatial relations encoding in part because the absolute position of a stimulus in the input array was correlated with its spatial relation to a landmark; thus, on at least some trials, the networks did not need to compute spatial relations. The network models reported here include larger input arrays, which allow stimuli to appear in a large range of locations with an equal probability of being above or (...) below a “bar,” thus eliminating the confound present in earlier models. The results confirm the original hypothesis that as the size of the network's receptive fields increases, performance on a coordinate spatial relations task (which requires computing precise, metric distance) will be relatively better than on a categorical spatial relations task (which requires computing above/below relative to a landmark). (shrink)

A classic result in the foundations of Yang-Mills theory, due to J. W. Barrett ["Holonomy and Path Structures in General Relativity and Yang-Mills Theory." Int. J. Th. Phys. 30, ], establishes that given a "generalized" holonomy map from the space of piece-wise smooth, closed curves based at some point of a manifold to a Lie group, there exists a principal bundle with that group as structure group and a principal connection on that bundle such that the holonomy map corresponds to (...) the holonomies of that connection. Barrett also provided one sense in which this "recovery theorem" yields a unique bundle, up to isomorphism. Here we show that something stronger is true: with an appropriate definition of isomorphism between generalized holonomy maps, there is an equivalence of categories between the category whose objects are generalized holonomy maps on a smooth, connected manifold and whose arrows are holonomy isomorphisms, and the category whose objects are principal connections on principal bundles over a smooth, connected manifold. This result clarifies, and somewhat improves upon, the sense of "unique recovery" in Barrett's theorems; it also makes precise a sense in which there is no loss of structure involved in moving from a principal bundle formulation of Yang-Mills theory to a holonomy, or "loop", formulation. (shrink)

I aim to show that standard theories of counterfactuals are mistaken, not in detail, but in principle, and I aim to say what form a tenable theory must take. Standard theories entail a categorical interpretation of counterfactuals, on which to state that, if it were that A, it would be that C is to state something, not relative to any supposition or hypothesis, but categorically. On the rival suppositional interpretation, to state that, if it were that A, it would (...) be that C is to state that it would be that C relative to the supposition that it were that A. The two interpretations make incompatible predictions concerning the correct evaluation of counterfactuals. I argue that the suppositional interpretation makes the correct prediction. (shrink)

We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, \ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of \ bi-embeddable categoricity and relative \ bi-embeddable categoricity coincide for equivalence structures for \. We also prove that computable equivalence structures have degree of bi-embeddable categoricity (...) \, or \. We furthermore obtain results on the index set complexity of computable equivalence structure with respect to bi-embeddability. (shrink)

Music impacting on speech processing is vividly evidenced in most reports involving professional musicians, while the question of whether the facilitative effects of music are limited to experts or may extend to amateurs remains to be resolved. Previous research has suggested that analogous to language experience, musicianship also modulates lexical tone perception but the influence of amateur musical experience in adulthood is poorly understood. Furthermore, little is known about how acoustic information and phonological information of lexical tones are processed by (...) amateur musicians. This study aimed to provide neural evidence of cortical plasticity by examining categorical perception of lexical tones in Chinese adults with amateur musical experience relative to the non-musician counterparts. Fifteen adult Chinese amateur musicians and an equal number of non-musicians participated in an event-related potential (ERP) experiment. Their mismatch negativities (MMNs) to lexical tones from Mandarin Tone 2–Tone 4 continuum and non-speech tone analogs were measured. It was hypothesized that amateur musicians would exhibit different MMNs to their non-musician counterparts in processing two aspects of information in lexical tones. Results showed that the MMN mean amplitude evoked by within-category deviants was significantly larger for amateur musicians than non-musicians regardless of speech or non-speech condition. This implies the strengthened processing of acoustic information by adult amateur musicians without the need of focused attention, as the detection of subtle acoustic nuances of pitch was measurably improved. In addition, the MMN peak latency elicited by across-category deviants was significantly shorter than that by within-category deviants for both groups, indicative of the earlier processing of phonological information than acoustic information of lexical tones at the pre-attentive stage. The results mentioned above suggest that cortical plasticity can still be induced in adulthood, hence non-musicians should be defined more strictly than before. Besides, the current study enlarges the population demonstrating the beneficial effects of musical experience on perceptual and cognitive functions, namely, the effects of enhanced speech processing from music are not confined to a small group of experts but extend to a large population of amateurs. (shrink)

A computable structure $\mathcal {A}$ is $\mathbf {x}$-computably categorical for some Turing degree $\mathbf {x}$ if for every computable structure $\mathcal {B}\cong\mathcal {A}$ there is an isomorphism $f:\mathcal {B}\to\mathcal {A}$ with $f\leq_{T}\mathbf {x}$. A degree $\mathbf {x}$ is a degree of categoricity if there is a computable structure $\mathcal {A}$ such that $\mathcal {A}$ is $\mathbf {x}$-computably categorical, and for all $\mathbf {y}$, if $\mathcal {A}$ is $\mathbf {y}$-computably categorical, then $\mathbf {x}\leq_{T}\mathbf {y}$. We construct a $\Sigma^{0}_{2}$ set whose (...) degree is not a degree of categoricity. We also demonstrate a large class of degrees that are not degrees of categoricity by showing that every degree of a set which is 2-generic relative to some perfect tree is not a degree of categoricity. Finally, we prove that every noncomputable hyperimmune-free degree is not a degree of categoricity. (shrink)

This paper provides an algebraic reconstruction of Einstein’s argument for the incompleteness of quantum mechanics, in order to clarify the assumptions that underlie an understanding of Einstein completeness as categoricity.

Categorical loudness scaling (CLS) measures provide useful information about an individual’s loudness perception across the dynamic range of hearing. A probability model of CLS categories has previously been described as a multi-category psychometric function (MCPF). In the study, a representative “catalog” of potential listener MCPFs was used in conjunction with maximum-likelihood estimation to derive CLS functions for participants with normal hearing and with hearing loss. The approach of estimating MCPFs for each listener has the potential to improve the accuracy of (...) the CLS measurements, particularly when a relatively low number of data points are available. The present study extends the MCPF approach by using Bayesian inference to select stimulus parameters that are predicted to yield maximum expected information (MEI) during data collection. The accuracy and reliability of the MCPF-MEI approach were compared to the standardized CLS measurement procedure (ISO16832:2006). A non-adaptive, fixed-level, paradigm served as a “gold-standard” for this comparison. The test time required to obtain measurements in the standard procedure is a major barrier to its clinical uptake. Test time was reduced from approximately 15 minutes to approximately 3 minutes with the MEI-adaptive procedure. Results indicated that the test-retest reliability and accuracy of the MCPF-MEI adaptive procedures were similar to the standardized CLS procedure. Computer simulations suggest that the reliability and accuracy of the MEI procedure were limited by intrinsic uncertainty of the listeners represented in the MCPF catalog. In other words, the MCPF provided insufficient predictive power to significantly improve adaptive-tracking efficiency under practical conditions. Concurrent optimization of both the MCPF catalog and the MEI-adaptive procedure have the potential to produce better results. Regardless of the adaptive-tracking method used in the CLS procedure, the MCPF catalog remains clinically useful for enabling maximum-likelihood determination of loudness categories. (shrink)

Previous research has demonstrated that individuals from Western cultures exhibit categorical perception (CP) in their judgments of emotional faces. However, the extent to which this phenomenon characterises the judgments of facial expressions among East Asians remains relatively unexplored. Building upon recent findings showing that East Asians are more likely than Westerners to see a mixture of emotions in facial expressions of anger and disgust, the present research aimed to investigate whether East Asians also display CP for angry and disgusted faces. (...) To address this question, participants from Canada and China were recruited to discriminate pairs of faces along the anger-disgust continuum. The results revealed the presence of CP in both cultural groups, as participants consistently exhibited higher accuracy and faster response latencies when discriminating between-category pairs of expressions compared to within-category pairs. Moreover, the magnitude of CP did not vary significantly across cultures. These findings provide novel evidence supporting the existence of CP for facial expressions in both East Asian and Western cultures, suggesting that CP is a perceptual phenomenon that transcends cultural boundaries. This research contributes to the growing literature on cross-cultural perceptions of facial expressions by deepening our understanding of how facial expressions are perceived categorically across cultures. (shrink)

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, (...) or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is inherent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical implications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

Studies of the conceptual abilities of nonhuman primates demonstrate the substantial range of these abilities as well as their limitations. Such abilities range from categorization on the basis of shared physical attributes, associative relations and functions to abstract concepts as reflected in analogical reasoning about relations between relations. The pattern of results from these studies point to a fundamental distinction between monkeys and apes in both their implicit and explicit conceptual capacities. Monkeys, but not apes, might be best regarded as (...) “paleo‐logicans” in the sense that they form common class concepts of identity on the basis of identical predicates (i.e., shared features). The discrimination of presumably more abstract relations commonly involves relatively simple procedural strategies mediated by associative processes likely shared by all mammals. There is no evidence that monkeys can perceive, let alone judge, relations‐between‐relations. This analogical conceptual capacity is found only in chimpanzees and humans. Interestingly, the “analogical ape,” like the child, can make its analogical knowledge explicit only if it is first provided with a symbol system by which propositional representations can be encoded and manipulated. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X;*,0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian ℓ-groups whose objects are pairs (G, G 0), where G is an Abelian ℓ-group, G 0 is a subset of the positive cone generating G (...) + such that if u, v ∈ G 0, then 0 ∨ (u - v) ∈ G 0, and morphisms are ℓ-group homomorphisms h: (G, G 0) → (G′,G′0) with f(G 0) ⫅ G′0. Our methods in particular cases give known categorical equivalences of Cornish for conical BCK-algebras and of Mundici for bounded commutative BCK-algebras (= MV-algebras). (shrink)

In recent years, philosophers of science have explored categorical equivalence as a promising criterion for when two theories are equivalent. On the one hand, philosophers have presented several examples of theories whose relationships seem to be clarified using these categorical methods. On the other hand, philosophers and logicians have studied the relationships, particularly in the first order case, between categorical equivalence and other notions of equivalence of theories, including definitional equivalence and generalized definitional equivalence. In this article, I will express (...) some skepticism about categorical equivalence as a criterion of physical equivalence, both on technical grounds and conceptual ones. I will argue that “category structure” likely does not capture the structure of a theory, and discuss some recent work in light of this claim. (shrink)

The ethics of Kant and the ethics of Crusius are strikingly similar. This is manifested in a whole range of principles and concepts. Crusius’ moral teaching hinges on the rigorous moral law which has to be obeyed absolutely, and which makes it different from other prescriptions that are binding only to a relative degree. This is very close to the Kantian distinction between hypothetical and categorical imperatives. Another salient feature of Crusius’ moral teaching is the stress laid on the (...) sphere of internal motives. It is the inner motive that determines the morality of an act, rather than the external form of the act. These and some other features of Crusius’ ethics suggest a possible influence of Crusius on Kant. The possibility of such influence has repeatedly come under close scrutiny. The first works devoted to this problem date to the turn of the nineteenth and twentieth centuries. Pointers to the possibility of such influence are semantic and structural similarities of the two thinkers’ systems. Besides, it is an unchallengeable fact that Kant was fairly familiar with the main theses of Crusian philosophy. Some scholars proceed from the study of Kantian vocabulary. Some of the terms Kant uses, especially in his early works which later formed the basis of his ethical teaching in the critical period, can be traced to the terms of Crusian philosophy. However, an alternative view is that Kant was primarily influenced by Wolffian philosophy (mainly through Baumgarten), while the direct influence of Crusius remains unproven. I examine both points of view and propose my own solution to the problem. (shrink)

This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only three profiles. The improvements to Fine’s theorem allow for an analysis of (...) the well-behaved models had by an abstraction principle, and this in turn leads to an improvement of Walsh and Ebels-Duggan’s relative categoricity theorem. (shrink)

We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...) categorical if for all computable isomorphic copies of , there is an isomorphism from onto , which is . We prove that for every computable successor ordinal α, there is a computable, categorical structure, which is not relatively categorical. This generalizes the result of Goncharov that there is a computable, computably categorical structure, which is not relatively computably categorical.An additional relation R on the domain of a computable structure is intrinsically on if in all computable isomorphic copies of , the image of R is . We prove that for every computable successor ordinal α, there is an intrinsically relation on a computable structure, which not relatively intrinsically . This generalizes the result of Manasse that there is an intrinsically computably enumerable relation on a computable structure, which is not relatively intrinsically computably enumerable.The dimension of a structure is the number of computable isomorphic copies, up to isomorphisms. We prove that for every computable successor ordinal α and every n≥1, there is a computable structure with dimension n. This generalizes the result of Goncharov that there is a structure of computable dimension n for every n≥1.Finally, we prove that for every computable successor ordinal α, there is a countable structure with isomorphic copies in just the Turing degrees of sets X such that relative to X is not . In particular, for every finite n, there is a structure with isomorphic copies in exactly the non- Turing degrees. This generalizes the result obtained by Wehner, and independently by Slaman, that there is a structure with isomorphic copies in exactly the nonzero Turing degrees. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called 'sorites fallacy (SF)'. One commits the SF when claiming that because a continuum exists between two distinct categories or states of affairs, then those categories cannot truly be asserted as distinct. In addition, the SF helps us to distinguish between vagueness and relativity. Recognizing the SF is helpful in highlighting the vagueness of linguistic constructs and categorical thinking. But it serves to remind that simply because of the (...) vagueness of categories, we shouldn't render these categories as non‐existent or vacuous. While it can apply to more real‐ world issues than heaps of sand, the fallacy is best understood in its original conception. Imagine seeing a collection of sand grains upon which we claim it to not constitute a heap of sand. (shrink)

Wikipedia is an important instance of “Big Data,” both because it shapes people's frames of reference and because it is a window into the construction—including via crowd-sourcing—of new bodies of knowledge. Based on our own research as well as others' critical and ethnographic work, we take as an instance Wikipedia's evolving representation of the field of sociology and sociologists, including such gendered aspects as male and female scholars and topics associated with masculinity and femininity. Both the gender-specific dynamics surrounding what (...) counts as “notability” on the online encyclopedia and Wikipedia's relative categorical incoherence are discussed. If “Big Data” can be said to construct its own object, it is, in this instance, a curious and lop-sided one, exemplifying pitfalls as well as promise with respect to more accurate and democratic forms of knowledge. (shrink)

This volume develops a fundamentally different categorical framework for conceptualizing time and reality. The actual taking place of reality is conceived as a “constellatory self-unfolding” characterized by strong self-referentiality and occurring in the primordial form of time, the not yet sequentially structured “time-space of the present.” Concomitantly, both the sequentially ordered aspect of time and the factual aspect of reality appear as emergent phenomena that come into being only after reality has actually taken place. In this new framework, time functions (...) as an ontophainetic [H1] platform, i.e., as the stage on which reality can first occur. Events are merely the “tracks” that the actual taking place of reality leaves behind on the co-emergent “canvas’’ of local spacetime. -/- The view of time proposed here is particularly relevant to the recent debate over the “ER=EPR” conjecture targeting the relation between quantum physics and general relativity theory. The novelty of this radically different framework is that it allows quantum reduction and singularities to be addressed as inverse transitions into and out of the factual layer of reality: In quantum physical state reduction, reality “gains” the chrono-ontological format of facticity, and the sequential aspect of time becomes applicable. In singularities, by contrast, the opposite happens: Reality loses its local spacetime formation and reverts back to its primordial, pre-local shape – making the use of causality relations, Boolean logic and the dichotomization of subject and object obsolete in the process. -/- For our understanding of the relation between quantum and relativistic physics, this new view opens up fundamentally new perspectives: Both are legitimate views of time and reality; they simply address very different chrono-ontological portraits, and thus should not lead us to erroneously prefer one view over the other. -/- The task of the book is to provide a formal framework in which this radically different view of time and reality can be suitably addressed. The mathematical approach is based on the logical and topological features of the Borromean Rings, and draws upon concepts and methods from algebraic and geometric topology – especially the theory of sheaves and links, group theory, logic and information theory in relation to the standard constructions employed in quantum mechanics and general relativity, shedding new light on the problems of their compatibility. The intended audience includes physicists, mathematicians and philosophers with an interest in the conceptual and mathematical foundations of modern physics. (shrink)

Perceptual learning involves an improvement in perceptual judgment with practice, which is often specific to stimulus or task factors. Perceptual learning has been shown on a range of visual tasks but very little research has explored chromatic perceptual learning. Here, we use two low level perceptual threshold tasks and a supra-threshold target detection task to assess chromatic perceptual learning and category effects. Experiment 1 investigates whether chromatic thresholds reduce as a result of training and at what level of analysis learning (...) effects occur. Experiment 2 explores the effect of category training on chromatic thresholds, whether training of this nature is category specific and whether it can induce categorical responding. Experiment 3 investigates the effect of category training on a higher level, lateralized target detection task, previously found to be sensitive to category effects. The findings indicate that performance on a perceptual threshold task improves following training but improvements do not transfer across retinal location or hue. Therefore, chromatic perceptual learning is category specific and can occur at relatively early stages of visual analysis. Additionally, category training does not induce category effects on a low level perceptual threshold task, as indicated by comparable discrimination thresholds at the newly learned hue boundary and adjacent test points. However, category training does induce category effects on a supra-threshold target detection task. Whilst chromatic perceptual learning is possible, learnt category effects appear to be a product of left hemisphere processing, and may require the input of higher level linguistic coding processes in order to manifest. (shrink)

What is the relationship between language, emotion concepts, and perceptual categories? Here I compare the strong Whorfian view of linguistic relativity, which argues that language plays a necessary role in the perception of emotions, to the alternative view that different levels of processing are relatively independent and thus, that language does not play a foundational role in emotion perception. I examine neuropsychological studies that have tested strong claims of linguistic relativity, and discuss research on categorical perception of emotional expressions, where (...) the two accounts have been directly tested against each other. As in other perceptual domains, there is little evidence that language plays a foundational role in the perception of emotion. (shrink)

This book is about the processing of information in face-to-face communication when a speaker makes both audible and visible information available to a perceiver. Both auditory and visual sources of information are evaluated and integrated to achieve speech perception. The evaluation of the information source provides information about the strength of alternative interpretations, rather than just all-or-none categorical information, as claimed by “categorical perception” theory. Information sources are evaluated independently; the integration process insures that the least ambiguous sources have the (...) most influences on the judgment. Similar processes occur in a variety of other behaviors, ranging from personality judgments and categorization to sentence interpretation and decision making. The experimental results are consistent with a fuzzy logical model of perception, positing three operations in perceptual (primary) recognition: feature evaluation, feature integration, and pattern classification. Continuously valued features are first evaluated, then integrated and matched against prototype descriptions in memory; finally, an identification decision is made on the basis of the relative goodness-of-match of the stimulus information with the relevant prototype descriptions. (shrink)

What has the dispositional analysis of properties and laws (e.g. Molnar, Powers, Oxford University Press, Oxford, 2003; Mumford, Laws in nature, Routledge London, 2004; Bird, Nature’s metaphysics, Clarendon Press, Oxford, 2007) to offer to the scientific understanding of physical properties?—The article provides an answer to this question for the case of spacetime points and their metrical properties in General Relativity. The analysis shows that metrical properties are not ‘powers’, i.e. they cannot be understood as producing the effects of spacetime on (...) matter with metaphysical necessity. Instead they possess categorical characteristics which, in connection with specific laws, explain those effects. Thus, the properties of spacetime do not favor the metaphysics of powers with respect to properties and laws. (shrink)

Neuropsychological studies suggest the existence of lateralized networks that represent categorical and coordinate types of spatial information. In addition, studies with neural networks have shown that they encode more effectively categorical spatial judgments or coordinate spatial judgments, if their input is based, respectively, on units with relatively small, nonoverlapping receptive fields, as opposed to units with relatively large, overlapping receptive fields. These findings leave open the question of whether interactive processes between spatial detectors and types of spatial relations can be (...) modulated by spatial attention. We hypothesized that spreading the attention window to encompass an area that includes two objects promotes coordinate spatial relations, based on coarse coding by large, overlapping, receptive fields. In contrast, narrowing attention to encompass an area that includes only one of the objects benefits categorical spatial relations, by effectively parsing space. By use of a cueing procedure, the spatial attention window was manipulated to select regions of differing areas. As predicted, when the attention window was large, coordinate spatial transformations were noticed faster than categorical transformations; in contrast, when the attention window was relatively smaller, categorical spatial transformations were noticed faster than coordinate transformations. Another novel finding was that coordinate changes were noticed faster when cueing an area that included both objects as well as the empty space between them than when simultaneously cueing both areas including the objects while leaving the gap between them uncued. (shrink)

Failings of a categorical systemFor decades, standardized classification systems have attempted to define psychiatric disorders in our mental health care system, with the Diagnostic and Statistical Manual of Mental Disorders (5th ed.; DSM-5; American Psychiatric Association (APA), 2013) and International Statistical Classification of Diseases and Related Health Problems 10th revision (ICD-10; World Health Organization, 2010) being internationally best-known. One of the major advantages of the DSM must be that it has seriously diminished the international linguistic confusion regarding psychiatric disorders. Since (...) its introduction, it contributed extensively towards one common international language for defining and conceptualizing psychiatric disorders. Strikingly, within the field of psychological testing a similar step forward seems to have not yet been taken. At present, there exists no international standard for the use of psychological tests that takes the definition of a specific symptom as listed in DSM-5 as its starting point, and reliably and validly measures this symptom. Rather, the majority of tests are measuring constructs consisting of a multitude of symptoms. For example, the Beck’s Depression Inventory (Beck et al., 1996) measures core symptoms of depression summing up to a depression score. Accordingly, we believe it is time for a change. The diagnostics of psychiatric disorders, where disorders are defined as nosological units with a single cause, a single organic substrate, and a single time course, has been problematic for centuries. The field of psychiatry has always been ambivalent about its desire to follow a medical model (Blaney, 2015), but afflicted due to its definitions of pathology. The definition of a psychiatric disorder in DSM-5 offers little room for a clear cut pathogenesis and harsh demarcation of syndromes. This is reflected in the DSM-5, where it states: “A mental disorder is a syndrome characterized by clinically significant disturbance in an individual’s cognition, emotion regulation, or behavior that reflects a dysfunction in the psychological, biological, or developmental processes underlying mental functioning” (APA, 2013, p.20). An unfortunate and recognized consequence of this definition within the current system is that many symptoms overlap within categories of psychiatric disorders and patients end up diagnosed with many co-morbid disorders.Two fundamental problemsRegardless of new attempts to improve the diagnostics of psychiatric disorders, the DSM-5 represents the status quo. Consequently, the distinction between diagnosis and classification remains substantial and more than a discussion on semantics. We identify two fundamental problems within the current framework. Generally, a psychiatric diagnosis is considered to be descriptive (Hengeveld and Schudel, 2003). The clinician will describe a syndrome (its nature, timespan, and severity) within the framework of a disorder, and often include a differential diagnosis, predisposing protective or vulnerability factors, and provoking or maintaining factors. Within the DSM-5 framework, a similar ‘approach to clinical case formulation’ is taken (APA, 2013, p. 19). Evidently, a descriptive diagnosis has a hypothetical character. It consists of the clinician’s hypothesis and is based on his or hers professional considerations according to the abovementioned factors. Once the clinician has formulated a descriptive diagnosis, it is then complementary ‘translated’ into a DSM-5 classification. Herein lies the problem. For the layman, the existence of this distinction between diagnosis and classification is usually unknown. Preceding treatment, the clinician will give the client a classification of the existing psychiatric problems and the client may attribute more meaning to it than appropriate, thereby fostering the risk of reification. Second, the DSM-5 is a categorical system. Thus, individual disorders are regarded as discrete units – ‘you either have it, or you don’t’. DSM-5 states about this: “(…) scientific evidence places many, if not most, disorders on a spectrum with closely related disorders that have shared symptoms, shared genetic and environmental risk factors (…)”. And “(…) we have come to recognize that the boundaries between disorders are more porous than originally perceived.” (APA, 2013, p. 6). This leads to a fundamental problem. Because the overwhelming majority of psychiatric disorders examined thus far using taxometric methods appear to be dimensional in nature (Haslam, 2003; Widiger and Samuel, 2005), consequently all of their categorizations become artificial and debatable. Even though DSM-5 took a modest step towards a more dimensional approach, its core remains categorical. To illustrate, consider the Borderline Personality Disorder (BPD). This classification consists of nine diagnostic criteria of which a minimum of five need to be present for the diagnosis of BPD. A simple numerical combination algorithm leads to a staggering number of 256 distinct presentations of BPD (Albion et al., 2013). Due to this chameleon-like nature, the disorder’s diagnostic validity becomes questionable. Strikingly, this number is relatively small when compared to other conditions, e.g., there are 636,120 ways to have posttraumatic stress disorder (Galatzer-Levy and Bryant, 2013).DSM-5 does propose an alternative model for personality disorders based on personality functioning and traits (APA, 2013, p. 761), as a possible answer to the problem that most patients fit with multiple co-morbid personality disorders or to the category of personality disorder not otherwise specified. In November 2012, the chair committee of APA decided to move this alternative model to section III of DSM-5 and to sustain the categorical system in section II. A potential solutionDSM-5 and its predecessors have brought about an invaluable improvement regarding the formulation of a common international language for psychiatric disorders. However, the individual disorders fit poorly with its starting point of discrete units and strict boundaries. Van Os (2014) has argued for a better balance between the categorical and personalized aspects of psychiatric disorders. We argue for a two-step approach.Particularly due to the ‘weak boundaries’ between disorders, it might be beneficial to limit ourselves by merely categorizing clients into the main categories of the DSM-5 according to their most prominent symptoms (Van Os, 2014), i.e. their main complaint. In other words, clinicians could first ask themselves whether the symptomatology is concerning a neurodevelopmental disorder, or a bipolar and related disorder, or a depressive disorder, and so on. It will drastically reduce the over 400 classifications in DSM-5 down to 20 categories. Van Os (2014) even argues to combine some of the main categories, reducing this number even further to 15 categories. The advantages of reducing the over 400 classifications are fivefold: 1) a syndrome, being an aggregation of symptoms, creates a false relation between symptoms that are that are already heterogeneous themselves; 2) 15 broad categories are functional: it results into a very heterogeneous group of clients within a category and thus prevents stereotypes and invites further personalizing of complaints; and 3) a dimensional measure of a symptom rather than a syndrome will correspond better with the client regardless of it not providing the complete picture. Focusing on the main complaint will indicate where there is an immediate need for care (Van Os, 2014); 4) it will allow clinicians to recognise subthreshold conditions more easily (Magruder and Calderone, 2000); and 5) it might facilitate the development of clear demarcations between normal and abnormal functioning (Kessler, 2002; Widiger and Samuel, 2005). Please, see also Table 1.This also fits well within scientific advances, as thus far strongest evidence has been found for a distinction between internalizing and externalizing disorders, even superseding these 15 main categories (DSM-5; APA, 2013, p.13, but see Weiss et al., 1998). The second step would concern the personalized aspect, which we argue to define on a level of core symptoms of the specific main category, to be agreed upon later. To assess these core symptoms, the field of psychological testing could develop an internationally applicable instrument to reliably and validly measure each (core) symptom on a dimensional scale. Many of these instruments are readily available and have proven its psychometric properties within scientific research. Elements from these instruments could be easily transformed to work within the new system. Within the field of psychology, this approach could aid development of a common international language to define symptoms, analogous to the field of psychiatry. Importantly, current psychological testing mainly implies the use of self-report measures. This leads to an abundance of auto-amnestic information. To increase the reliability and validity of psychological tests to assess DSM-5 symptoms, it may be important to add two additional information resources. This would entail psychological tests where a next of kin answers questions about the symptom of the client, and psychological tests that include the clinicians’ judgment, such as structured clinician-based interviews. Conversely, we also need to acknowledge the well-known limitations of clinical judgment (e.g., Faust, 1986; Garb, 1998). Advantages of a new frameworkThe changes we suggest have big implications and are not easily implemented in the current framework. Clients may prefer the comfort of a single clear label, similar to what they are used to in other areas of medicine. Health insurance providers and policy makers may argue for single labels as well. Therefore, it would require a lot of explanation from our clinicians to promote a change. Our suggestions for broader categories may not disambiguate the current situation better than the existing approach, but it will promote personalisation of health care. Difficulties in diagnostic reliability will remain in disorders that fall on the boundaries of the taxons, e.g., schizoaffective disorder versus bipolar disorder with psychotic characteristics, which may benefit from further study. There are also some politically tinged questions to keep in mind: How will we finance our health care, and how will we ensure a gradual transition from the current financing system, including clients who already have their labels? What about visitations from insurers and health inspection? How can they control for a good standard of quality in health care when considering the increasing heterogeneity? Nevertheless, we argue that the benefits outweigh the disadvantages. We will see a shift from a categorical to a personalized approach, which will lead to less (self) stigmatizing, less estrangement, and it will challenge reification thinking. DSM-V states that “a reformulation of research goals should also keep DSM-5 central to the development of dimensional approaches to diagnosis that will likely supplement or supersede current categorical approaches to diagnosis in coming years” (APA, 2013, p. 13). Our proposition for psychological testing on symptom level could contribute to this development. Furthermore, this new approach will do more justice to the heterogeneity of symptoms within and outside of classification categories, see also Table 1. Moreover, in this new approach we join forces of expert knowledge from the fields of psychiatry and psychological science. Finally, it offers new and potentially better opportunities to map health care needs. This in turn will lead to a better interface for allocation of appropriate treatment. It will present a clearer picture of when preventative care is preferred over treatment and vice versa. Importantly, health care needs will be more closely attuned to the ‘own story’ of the client.We argue for the national and international psychological associations in Europe and the United States of America to support the idea of a collective approach to develop an internationally standardized psychological testing battery to reliably assess all the core symptoms of the main categories in DSM-5. (shrink)

This book investigates the argument from queerness against moral realism, famously put forward by J. L. Mackie in Ethics: Inventing Right and Wrong (1977). The book can be divided into two parts. The first part, roughly comprising chapters 1 and 2, gives a critical overview of Mackie’s metaethics. In chapter 1 it is suggested that the argument from queerness is the only argument that poses a serious threat to moral realism. A partial defense of this idea is offered in chapter (...) 2 via a discussion of Mackie’s argument from relativity, which is concluded to fail for reasons that generalize to other influential arguments against moral realism. Chapter 2 also explores Mackie’s moral semantics at length. The key notion of authoritative prescriptivity is analyzed, and a new interpretation of Mackie’s error theory is defended. In the second part, consisting roughly of chapters 3 and 4, the argument from queerness is taken apart and put back together, resulting in several different versions. Chapter 3 discusses three different supervenience-related arguments, all of which are found to be unpersuasive. Chapter 4 develops two different versions of the core argument from queerness, focusing on authoritative prescriptivity. A total of thirteen objections are discussed and rejected. It is concluded that the two arguments do indeed refute the targeted versions of moral realism. Finally, in chapter 5 the entire discussion is briefly summarized. (shrink)

Debates over the relative priority of experience and language have been among some of the most vexed, but also generative, disputes in pragmatist philosophy over the past few decades. These debates have, however, run into the ground such that both positions find themselves at a definitive standstill. I argue for a rejuvenation of pragmatism by way of moving beyond both the experience option (here represented by Dewey) and the linguistic turn in pragmatism (here represented by Brandom). We can move (...) beyond these two categories, I argue, by resuscitating the categorical conception that has always been at the heart of pragmatism all along: action or, as I prefer to put it, conduct. In this paper, I develop an argument for “conduct pragmatism” on the basis of a return to William James’s earliest statements of pragmatism, statements that indeed occur prior to the official announcement of “pragmatism” in 1898. I draw on a dispute with Charles Sanders Peirce over the best interpretation of pragmatism as well as on a number of James’s early psychological writings from the 1880s leading up to the Principles of Psychology of 1890. These texts definitively establish that the early James was what I call a “conduct pragmatist” well before his radical empiricism facilitated what was only a late turn toward the “experience pragmatism” that would come to impress Dewey and later scholars of classicopragmatism. The early James thus represents, I argue, a promising seed for a new third generation of pragmatism that may find its way beyond the endings of both experientialism and lingualism, as well as their impasses with one another. (shrink)

Though not categorically opposed to the idea, Finnish parents tended to resist rather than endorse the view of parents as tax payers who can make demands for the efficacy of schooling and expected teacher performance. However, parents with vocational training tended to resist this view less than parents from higher educational groups. Additionally, dissatisfaction with a child?s primary schooling and support for a selective educational policy were both associated with a tendency to view this role in a relatively positive light.

We study punctual categoricity on a cone and intrinsically punctual functions and obtain complete structural characterizations in terms of model-theoretic notions. As a corollary, we answer a question of Bazhenov, Downey, Kalimullin, and Melnikov by showing that relational structures are not punctually universal. We will also apply this characterisation to derive an algebraic characterisation of relatively punctually categorical mono-unary structures.

Incapacitated adult patients are commonly divided into two groups for purposes of decision making; those with a surrogate and those without. Respectively, these groups are often referred to as represented and unrepresented, and the relative ethics of decision making between them raises two particular issues. The first issue involves the differential application of the best interests standard between groups. Second is the prevailing notion that representedness and unrepresentedness are categorical phenomena, though it is more aptly understood as a multidimensional (...) and continuous variable based on relational moral authority. This paper examines the nature of representedness as it relates to ethical norms of surrogate decision making. (shrink)

The paper presents an accommodation problem for extant semantic accounts of fiction. Some accounts of fiction are designed to accommodate one or another form of fictive statement exclusively, what I shall call in-fiction and out-fiction. Thus, typically, the accounts fail to do justice to their respective excluded form. A natural response, entertained by Kripke and in a different fashion by latter-day Meinongians, is to let the two different kinds of fiction have their respective accounts. It is very easy, however, to (...) mix in and out predicates, which amounts to a species of copredication, where a single nominal receives simultaneous distinct interpretations relative to distinct predicates without creating ambiguity. Copredication is a perfectly general phenomenon that arises for any nominal. The simple problem now is that copredication appears to render all extant accounts of fiction either essentially partial, in dealing with one kind of simple form of fiction but not another, or merely wrong in imagining that fiction comes in categorically distinct forms, for the coherence of copredication is enough to show that this is not so. The aim of the paper is to show to resolve this accommodation problem by the radical expedient of suggesting that the fiction/non-fiction distinction is not really a semantic one, but more one between different ways in which sentences are made true or false. (shrink)

Applies the semantic relativism developed in the previous chapters to key terms in several philosophical debates in order to establish philosophical relativity. In all of these cases, invariantism forces the skeptical position whilst contextualism resonates with our common sense views. These philosophical debates and their relevant terms are the problem of epistemic skepticism via “know,” the problem of freewill and determinism as instanced by compatibilism and incompatibilism via “can” and “freewill,” the problem of specifying causal conditions via “cause,” and the (...) problem of explanation via “explanation.”,, and are straightforward categorical problems in that the skeptic's success will simply mean that the terms involved fail to apply. by contrast is a conditional problem such that it is contingent on the truth of determinism itself, which few assent to. (shrink)

Toril Moi has argued that recent deconstructive challenges to the concept of gender and to the viability of the sex/gender distinction have brought feminist and queer theory to a place of increasing theoretical abstraction. She suggests that we should abandon the category of gender once and for all, because it is founded on a nature–culture distinction and it tends incorrigibly to essentialize women’s lives. Moi argues that feminist and queer theories should replace the concept of gender with a concept of (...) the lived body derived from existential phenomenology. In this essay I take up and develop this suggestion, and argue that there are several advantages that a category of the lived body has over a category of gender for feminist and queer theories: (1) no nature–culture distinction is necessary but the body can be described as historically and socially specific; (2) it is not necessary to break out a gendered and “raced” part of identity with this category; (3) differences of sexual desire can be described without recourse to an “inner core” of identity or “sexual orientation.” I go on to argue, however, that it is important to retain a concept of gender for a theoretical purpose beyond that which Moi and those she criticizes conceive. In recent years feminist and queer theories have tended to conceive their theorizing as restricted to identity and subjectivity. How large scale social structures differentially position people in relations of privilege and disadvantage has been ignored, relatively. This essay argues then that theorizing structural processes and inequalities is crucial, and that a concept of gender is important for such theorizing. I propose three aspects of gendered social structure that are irreducible to one another: (1) a sexual division of labor (2) normative heterosexuality, and (3) hierarchies of power. In each case I illustrate the social theoretical work these categorizations of gendered structure can and should do. (shrink)

This article reviews empirical research on social security and social welfare law. It identifies the efforts needs to be carried out to promote empirical research in this area of law and outlines an empirical research agenda of topics that should be given priority. The UK defines social security as based on five key benefits viz. social/contributory, categorical/universal, tax-based, and occupational/means-tested. This article focuses on the primary model of administrative justice. It is a three-fold: bureaucratic rationality/accuracy and efficiency; professional treatment/service; and (...) moral judgment/fairness, each pair in the order of a model and its corresponding legitimizing values, respectively. Research on social security fraud identifies a two-fold basis—reflexivity: reflection/introspection on fraudulent acts, anxiety: the extent of guilt and insecurity, post-action, and anticipation of conviction. Accordingly, based on a relative synthesis of both elements, there is a four-fold categorization which goes as follows: subversive, desperate, fatalistic, and unprincipled. (shrink)

One frequently used argument in the discussion on human enhancement is that enhancement is a form of cheating. This argument is well-known in relation to doping in sports, but recently it has also been used with regard to cognitive enhancement in the context of education and exams. This paper analyses the enhancement-is-cheating argument by comparing sports and education, and by evaluating how the argument can be interpreted in both contexts. If cheating is understood as breaking the rules in order to (...) gain an unfair advantage over others, it can be argued that some enhancements are a form of cheating. This problem of cheating is, however, relatively easy to remedy by either changing the rules, or by instituting controls and sanctions. This does not, therefore, constitute a categorical objection to enhancement. A further analysis of the intuitions behind the enhancement-is-cheating argument, however, shows that if sports and education are understood as “practices”, with their own internal goods and standards of excellence, some potential problems of enhancement can be articulated. These concern the internal goods and standards of excellence that are characteristic of specific practices. Seen from this perspective, the important question is how enhancement technologies might be embedded in specific practices—or how they might corrode them. (shrink)

We explore different ways in which the human visual system can adapt for perceiving and categorizing the environment. There are various accounts of supervised (categorical) and unsupervised perceptual learning, and different perspectives on the functional relationship between perception and categorization. We suggest that common experimental designs are insufficient to differentiate between hypothesized perceptual learning mechanisms and reveal their possible interplay. We propose a relatively underutilized way of studying potential categorical effects on perception, and we test the predictions of different perceptual (...) learning models using a two‐dimensional, interleaved categorization‐plus‐reconstruction task. We find evidence that the human visual system adapts its encodings to the feature structure of the environment, uses categorical expectations for robust reconstruction, allocates encoding resources with respect to categorization utility, and adapts to prevent miscategorizations. (shrink)