Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular (...) and property, replacing it with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided (...) into 5 sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based (...) definitions can be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

Anyone who tries to understand categories soon runs into the problem of giving an account of the unity of a category. Call this the “unity problem.” In this essay, I describe a distinctive and under-studied version of the unity problem and discuss how it might be solved. First, I describe various versions of the unity problem. Second, I focus on one version and argue that it is best dealt with by thinking of at least some categories as “norm-constituted,” in (...) a sense that I try to make clear. Third, I discuss some objections to my proposal. Fourth, I compare norm -constituted categories to categories that are normative in a different sense. Fifth, I briefly discuss the possibility of grounding the normativity of norm-constituted categories. Finally, I raise a few questions for further research. (shrink)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...) on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

In this paper, I present a categorial theory of meaning which asserts that the meaning of a sentence is the function from the actualization of some potentiality or the potentiality of some actuality to the truth of the sentence. I argue that it builds on the virtues of David Lewis’s Possible World Semantics but advances beyond problems that Lewis’s theory faces with its distinctly Aristotelian turn toward actuality and potentiality.

After a short sketch of Lowe’s account of his four basic categories, I discuss his theory of formal ontological relations and how Lowe wants to account for dispositional predications. I argue that on the ontic level Lowe is a pan-categoricalist, while he is a language dualist and an exemplification dualist with regard to the dispositional/categorical distinction. I argue that Lowe does not present an adequate account of disposition. From an Aristotelian point of view, Lowe conflates dispositional predication with hôs epi (...) to poly statements about what is normally or mostly the case. (shrink)

Sophist 255c14 distinguishes καθ’ αὑτά and πρὸς ἄλλα (in relation to others). Many commentators identify this with the ‘absolute’ and ‘relative’ category distinction. However, terms such as ‘same’ cannot fit into either category. Several reliable manuscripts read πρὸς ἄλληλα (in relation to each other) for πρὸς ἄλλα. I show that πρὸς ἄλληλα is a palaeographically plausible reading which accommodates the problematic terms. I then defend my reading against objections.

The importance of the pure concepts of the understanding (i.e. the categories) within Kant’s system of philosophy is undeniable. As I hope to make clear in this essay, however, the categories are also an essential part of Kant’s critique of Christian Wolff. In particular, I argue that Kant’s development of the categories represents a decisive break with the Wolffian conception of the understanding and that this break is central to understanding the task of the Transcendental Analytic. This break, however, is (...) not merely that Kant affirms while Wolff and his followers deny a sharp distinction between sensibility and the understanding, which is the aspect of Kant’s rejection of Wolff that scholars most frequently note. Rather, this break concerns differences in their views about the understanding itself. For while Wolff conceives of the understanding as a mental capacity to extract and make distinct content already present in the senses, Kant conceives of the understanding in its “real use” as a capacity to produce purely intellectual content. (shrink)

In this article, I reply to a critical notice of my book, Meaning in Life: An Analytic Study, that Stephen Kershnar has published elsewhere in this issue of Science, Religion & Culture. Beyond expounding the central conclusions of the book, Kershnar advances two major criticisms of it, namely, first, that I did not provide enough evidence that meaning in life is a genuine value-theoretic category as something distinct from and competing with, say, objective well-being, and, second, that, even if (...) there were a value of meaning in life, my fundamentality theory of it would not capture it well. Here I respond to both of these criticisms, aiming to probe these underexplored issues still more deeply. I also contend that these two criticisms are in tension with each other; in order to contend that my theory of meaning is incorrect, Kershnar must draw on intuitions about the existence of meaning that undercut his suggestion that there is no such thing. (shrink)

This paper addresses the question of how human science categories yield projectable inferences by critically examining Ron Mallon’s ‘social role’ account of human kinds. Mallon contends that human categories are projectable when a social role produces a homeostatic property cluster (HPC) kind. On this account, human categories are projectable when various social mechanisms stabilize and entrench those categories. Mallon’s analysis obscures a distinction between transitory and robust projectable inferences. I argue that the social kinds discussed by Mallon yield the former, (...) while classifications of biological kinds yield the latter. Classifications from psychiatry (‘schizophrenia,’ ‘hysteria’) are discussed as examples. (shrink)

John Hick’s theory concerning plurality of religions is an ontologic pluralism according to which all religions are authentic ways for man to attain the "real an sich". Gods of religions are real as perceived and veridical hallucinations; while the “real an sich” has ineffable substantial and trans-categorical properties. Hick’s view suffers from several problems. As a second order analysis of religions, Hick’s view is not a correct one. To reject naturalism, it falls into an epistemological circle, where distinction between formal (...) and substantial properties fades away. It seems that Hick is captured by a category mistake in the presentation of his own theory concerning authenticity of all religions to attain the "real an sich". (shrink)

For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...) question about the pure forms of the understanding. Does Kant leave open the possibility of discursive cognizers who have different categories? Even if other discursive cognizers might not sense like us, must they at least think like us? We argue that textual and systematic considerations do not determine the answers to these questions and examine whether Kant thinks that the issue cannot be decided. Consideration of his wider views on the nature and limits of our knowledge of mind shows that Kant could indeed remain neutral on the issue but that the exact form his neutrality can take is subject to unexpected constraints. The result would be an important difference between what Kant says about discursive cognizers with other forms of sensibility and what he is in a position to say about discursive cognizers with other forms of understanding. Kantian humility here takes on a distinctive character. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

I argue there are two ways predication relations can hold according to the Categories: they can hold directly or they can hold mediately. The distinction between direct and mediated predication is a distinction between whether or not a given prediction fact holds in virtue of another predication fact’s holding. We can tell Aristotle endorses this distinction from multiple places in the text where he licenses an inference from one predication fact’s holding to another predication fact’s holding. The best explanation for (...) each such inference is that he takes some predication facts to be mediated by others. Once the distinction between direct and mediated predication has been explained and argued for, I show how it can help solve a persistent problem for the traditional view of non-substantial particulars in the Categories—that is, the view that non-substantial particulars are particular in the sense of being non-recurrent. Along with vindicating the traditional view, the direct/mediated predication distinction gives us a distinctive way of understanding what it is for something to be recurrent (or non-recurrent) as well as a better understanding of Aristotle’s broader commitments in the Categories as a whole. (shrink)

This article focuses on the distinction between psychosocial types and conceptual personae advanced by Gilles Deleuze and Félix Guattari in What is Philosophy? The conceptual persona is the tool that a philosopher invents in order to create new concepts with which to bring forth new events. Although they present it as one of the three elements of philosophy, its nature and function and, above all, its conjunctions with psychosocial types have been overlooked by scholars. What is Philosophy? contains a list (...) of character traits of which each conceptual persona is composed. The central argument of this article is that this list can well be regarded as a table of categories that enable the exercise and experience of philosophy’s creative thinking. Since the character traits of a conceptual persona match the characteristics of the given psychosocial types, it is necessary to keep inventing new conceptual personae always starting from the historical presuppositions. The philosopher requires the conceptual persona to transfer his or her movements of thought to philosophy’s plane of immanence and thereby transform them in such a manner that philosophy can unfold as a creative power. It emerges as the subject of creative thinking at the same time as the concepts that subject creates, with which it coincides in the moment of creation. With the conceptual persona in What is Philosophy?, Deleuze and Guattari determine the one element of philosophy that makes the transcendental empiricism a method of creation that appears as a precise operation with all its convincing and transparent results. (shrink)

ABSTRACT: I argue that Sellars’s metaconceptual theory of the categories exemplifies and extends a long line of nominalistic thinking about the nature of the categories from Ockham and Kant to the Tractatus and Carnap, and that this theory is far more central than has generally been realized to each of Sellars’s most famous and enduring philosophical conceptions: the myth of the given, the logical space of reasons, and resolving the ostensible clash between the manifest and scientific images of the human (...) being in the world. Sellars’s distinctive contribution to this longstanding (if currently on the defensive) metaconceptual approach to the nature of ontological categories was to interpret and reconstruct it in terms of his own ‘meaning as use’ or norm-governed inferential role semantics. With these resources Sellars sought to preserve the genuine insights in the ‘realist’ or broadly platonic traditions while simultaneously defending the idea that in the end, as he puts it, “a naturalistic ontology must be a nominalistic ontology” (1980a NAO IV §129). (shrink)

Aristotle, in Chapter 7 of his Categories, classifies habits and dispositions, as well as knowledge, among relatives. However, in Chapter 8 of the Categories, he affirms that habits, including knowledge, and dispositions, including unstable knowledge, are qualities. Thus, habits and dispositions in general, and knowledge in particular, seem to be subject to a ‘dual categorization’. At the end of Chapter 8 of the treatise, the issue of the dual categorization is explicitly raised. How can one and the same thing be (...) a quality and a relative? Aristotle gives two distinct solutions to this problem. Both have been criticized by some modern commentators : these solutions would amount to a rejection of the basic principles of the categorial system and, as such, to a sort of philosophical suicide. However, Aristotle’s early commentators, notably the Greek Neoplatonists and Boethius, made attempts to render both solutions plausible and compatible with the rest of the doctrine. Their attempts are not only of exegetical interest, they also contain some significant philosophical analyses concerning the categories. In what follows, I will present the abovementioned problem of dual categorization in Aristotle and the two solutions offered to it in Categories, 8, 11a20-38. I will then turn to the early reception of this text, and focus on the way the Greek Neoplatonists and Boethius tried to make Aristotle’s solutions more plausible. Throughout, I will try to establish in what sense habits and dispositions in general, and knowledge in particular, are relative. I will conclude with some remarks on the later reception of Categories, 8, 11a20-38 and on the problem of the ontological status of mental acts and states. (shrink)

Current debate and policy surrounding the use of genetic editing in humans often relies on a binary distinction between therapy and human enhancement. In this paper, we argue that this dichotomy fails to take into account perhaps the most significant potential uses of CRISPR-Cas9 gene editing in humans. We argue that genetic treatment of sporadic Alzheimer’s disease, breast- and ovarian-cancer causing BRCA1/2 mutations and the introduction of HIV resistance in humans should be considered within a new category of genetic (...) protection treatments. We find that if this category is not introduced, life-altering research might be unnecessarily limited by current or future policy. Otherwise ad hoc decisions might be made, which introduce a risk of unforeseen moral costs, and might overlook or fail to address some important opportunities. (shrink)

Genes are thought to have evolved from long-lived and multiply-interactive molecules in the early stages of the origins of life. However, at that stage there were no replicators, and the distinction between interactors and replicators did not yet apply. Nevertheless, the process of evolution that proceeded from initial autocatalytic hypercycles to full organisms was a Darwinian process of selection of favourable variants. We distinguish therefore between Neo-Darwinian evolution and the related Weismannian and Central Dogma divisions, on the one hand, and (...) the more generic category of Darwinian evolution on the other. We argue that Hull’s and Dawkins’ replicator/interactor distinction of entities is a sufficient, but not necessary, condition for Darwinian evolution to take place. We conceive the origin of genes as a separation between different types of molecules in a thermodynamic state space, and employ a notion of reproducers. (shrink)

Essentialism is often criticized for producing biased behavior. Because it is a view through which people attempt to grasp the essence of things, it appears contradictory that essentialism might result in distortions of reality. Somewhere within essentialist cognitive processes there must be mistakes or omissions that fail to capture reality correctly. In this paper, I treat essentialization as an abductive reasoning process, as a hypothesis, that explains particular characteristics of people on the basis of category membership alone. Besides essentialization, (...) essentialist reasoning can also include deductive and inductive processes that aim at elaborating and testing initial hypotheses. Therefore, essentialist beliefs can be built by essentialization and hypotheses alone or they can be the product of more elaborate reasoning. The relationship of essentialization and general essentialist reasoning to truth and knowledge is discussed. (shrink)

G.W.F. Hegel argues that a philosophy of history should engender comprehension of evil in the world. And yet some commentators have charged his philosophy with transcending mere explication by justifying the existence of these evils. In defense of his words, Hegel famously characterizes evil as a modal mismatch; namely, as the incompatibility between what is given and what ought to be the case. Unfortunately, some readers of Hegel’s grand narrative either continue to struggle with or overlook this fine distinction. Against (...) such readings, I organize my paper into three sections that speak directly to these concerns. In §1, against the concern that Hegel’s view of the “actual world” justifies suffering, it is shown that his philosophy does not endorse the merely extant world, which is a whole world apart from the actual world. In §2, I articulate the premises of Hegel’s Doppelsatz to argue that the famous slogan is not, as some commentators take it, an endorsement of “things as they are.” And in §3, I expose a category error that mistakes an epistemological claim made by Hegel about contingency as a metaphysical assertion in support of evil. Ultimately, I argue that Hegel views evil as neither actual nor necessary nor justified. (shrink)

Reconstructs the original Greek version of the confatalia-argument that Cicero attributes to Chrysippus in De fato and misrepresent in crucial ways. Compares this argument with Seneca's discussion of determinism in the Naturales quaestiones. Clarifies that Seneca makes a different distinction from that attested in Cicero's De fato. Argues that problems with interpreting both accounts derive from disregarding terminological distinctions harder to spot in the Latin versions and, related to this, insufficient attention to the ontological distinction between bodies (such as (...) Fate) and predicates (e.g. "what is fated"), which unfortunately does not square well with the modern ontological category "event." Contains some corrections to the author's earlier discussion of the topic in Seneca und die Stoa: Der Platz des Menschen in der Welt, De Gruyter 2006, ch. 3.3.4. (shrink)

The purpose of this book is to address the controversial issues of whether we have a fixed set of ontological categories and if they have some epistemic value at all. Which are our ontological categories? What determines them? Do they play a role in cognition? If so, which? What do they force to presuppose regarding our world-view? If they constitute a limit to possible knowledge, up to what point is science possible? Does their study make of philosophy a science? Departing (...) from the novelty –but no exclusively- of considering distinctions to be the subject matter of thought and language -that is, of reference and meaning- the author arrives at a radical novel conception of the ontological categories. The observations and arguments presented in it constitute a strong case against established and well-rooted tenets, if not paradigms, of contemporary philosophy, beyond ontology and epistemology. The entailing conclusions, open the door to a revival of the discipline and the importance of its studies, as the science of the constitutive elements of knowledge of a non-empirical nature. (shrink)

Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test phrases involving geographic, responses were predominantly natural features such as mountain, river, lake, (...) ocean, hill. Artificial geographic features such as town and city were listed hardly at all for geographic categories, an outcome that contrasts sharply with the disciplinary self-understanding of academic geography. However, geographic artifacts and fiat objects, such as roads, cities, boundaries, countries, and states, were frequently listed by the subjects responding to the phrase something that could be portrayed on a map. In this paper, we present the results of these experiments in visual form, and provide interpretations and implications for further research. (shrink)

I argue that Frege's so-called "concept 'horse' problem" is not one problem but many. When these different sub-problems are distinguished, some emerge as more tractable than others. I argue that, contrary to a widespread scholarly assumption originating with Peter Geach, there is scant evidence that Frege engaged with the general problem of the inexpressibility of logical category distinctions in writings available to Wittgenstein. In consequence, Geach is mistaken in his claim that in the Tractatus Wittgenstein simply accepts from (...) Frege certain lessons about the inexpressibility of logical category distinctions and the say-show distinction. In truth, Wittgenstein drew his own morals about these matters, quite possibly as the result of reflecting on how the general problem of the inexpressibility of logical category distinctions arises in Frege's writings , but also, quite possibly, by discerning certain glimmerings of these doctrines in the writings of Russell. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

The Habermas–Foucault debate, despite the excellent commentary it has generated, has the standing of an ‘unfinished project’ precisely because it occasions the interrogation of the fundamental categories of modernity, and because the lingering sense of anxiety, which continues to remain after arguments and counter-arguments, demands new interpretations. Here, I advance the claim that what gives Habermas’s criticisms of Foucault’s histories and theoretical formulations their bite is the categorial distinction he maintains between facts and rights, and by extension, between causes and (...) reasons. The Kantian distinction between de jure validity and de facto effectivity underwrites the categorial distinction between both ‘norms/facts’ and ‘reasons/causes’ conceptual pairs, which distinction, in turn, is reinforced by a picture of the natural world as matter in motion and human agency as self-determination. I want to claim that Foucault’s work enacts a critique of Habermas not by evading the problem of justification but by undermining the very distinctions Habermas needs to maintain the universal and necessary status of communicative rationality. Drawing on Jonathan Lear’s discussion of reasons and causes in relation to the unconscious, I claim that psychoanalytic discourse helps us make intelligible a type of reflection—such as one finds in Foucault’s historiography—that is at once “critical and empirical.” Moreover, the realization that the distinction between causes and reasons may not be categorial and exhaustive shows how Habermas’s insistence on the contrary leads to one particular kind of misrecognition of our practices. (shrink)

First, given criteria for identifying universals and particulars, it is shown that stuffs appear to qualify as neither. Second, the standard solutions to the logico-linguistic problem of mass terms are examined and evidence is presented in favor of the view that mass terms are straightforward singular terms and, relatedly, that stuffs indeed belong to a metaphysical category distinct from the categories of universal and particular. Finally, a new theory of the copula is offered: 'The cue is cold', 'The cube (...) is ice', and 'Ice is water' all have the form 'A is B'. On the basis of the logical behavior of stuff-names with respect to this univocal copula, definitions are suggested for 'X is a stuff', 'X composes Y', 'X is a material object', and even 'Matter'. Hence an expanded form of logicism. (shrink)

The current paper investigates two productive morphological processes, namely compounds and portmanteau words (or blends). While compounds, a productive, regular and predicable morphological process, have received much attention in the literature, little attention was paid to portmanteau words, a creative, irregular and unpredictable word formation process. The present paper aims to find the commonalities and differences between these morphological devices, using Rosch et al.’s (1975; 1976) theory of prototypes and basic-level categories to achieve this goal. This theory will also be (...) employed to discuss the literature on the word formation mechanisms under investigation and propose a new categorization approach to these neologisms. The analysis suggests that compounds and blends compare and contrast and that the distinctions between them are blurry. The analysis confirms that a prototypical approach is well suited to compounds and blends in English. This has implications for future research into English word-formation processes in general and compounds and blends precisely. (shrink)

In this paper I offer an interpretation of Kant’s theory of perceptual error based on his remarks in the Anthropology. Both hallucination and illusion, I argue, are for Kant species of experience and therefore require the standard co-operation of sensibility and understanding. I develop my account in a conceptualist framework according to which the two canonical classes of non-veridical experience involve error in the basic sense that how they represent the world as being is not how the world is. In (...) hallucination this is due to the misapplication of categories and in illusion to the misapplication of empirical concepts. Yet there is also room in this framework for a distinction in terms of cognitive functionality between the level of experience, which is merely judgementally structured, and that of judgement proper, which involves the free action of a conscious agent. This distinction enables Kant to allow for the otherwise problematic phenomenon of self-aware non-veridicality. (shrink)

We distinguish between two categories of belief—thin belief and thick belief—and provide evidence that they approximate genuinely distinct categories within folk psychology. We use the distinction to make informative predictions about how laypeople view the relationship between knowledge and belief. More specifically, we show that if the distinction is genuine, then we can make sense of otherwise extremely puzzling recent experimental findings on the entailment thesis (i.e. the widely held philosophical thesis that knowledge entails belief). We also suggest that the (...) distinction can be applied to debates in the philosophy of mind and metaethics. (shrink)

The Stoics are famously committed to the thesis that only bodies are, and for this reason they are rightly called “corporealists.” They are also famously compared to Plato’s earthborn Giants in the Sophist, and rightly so given their steadfast commitment to body as being. But the Stoics also notoriously turn the tables on Plato and coopt his “dunamis proposal” that being is whatever can act or be acted upon to underwrite their commitment to body rather than shrink from it as (...) the Giants do. The substance of Stoic corporealism, however, has not been fully appreciated. This paper argues that Stoic corporealism goes beyond the dunamis proposal, which is simply an ontological criterion for being, to the metaphysics of body. This involves, first, an account of body as metaphysically simple and hence fundamental; second, an account of body as malleable and continuous, hence fit for blending (krasis di’ holou) and composition. In addition, the metaphysics of body involves a distinction between this composition relation seen in the cosmology, and the constitution relation by which the four-fold schema called the Stoic Categories proceeds, e.g. the relation between a statue and its clay, or a fist and its underlying hand. It has not been appreciated that the cosmology and the Categories are distinct — and complementary — explanatory enterprises, the one accounting for generation and unity, the other taking those individuals once generated, and giving a mereological analysis of their identity and persistence conditions, kinds, and qualities. The result is an elegant division of Plato’s labor from the Battle of Gods and Giants. On the one hand, the Stoics rehabilitate the crude cosmology of the Presocratics to deliver generation and unity in completely corporeal terms, and that work is found in their Physics. On the other hand, they reform the Giants and “dare to corporealize,” delivering all manner of predication (from identity to the virtues), and that work is found in Stoic Logic. Recognizing the distinctness of these explanatory enterprises helps dissolve scholarly puzzles, and harmonizes the Stoics with themselves. (shrink)

An important moral category—dishonest speech—has been overlooked in theoretical ethics despite its importance in legal, political, and everyday social exchanges. Discussion in this area has instead been fixated on a binary debate over the contrast between lying and ‘merely misleading’. Some see lying as a distinctive wrong; others see it as morally equivalent to deliberately omitting relevant truths, falsely insinuating, or any other species of attempted verbal deception. Parties to this debate have missed the relevance to their disagreement of (...) the notion of communicative dishonesty. Communicative dishonesty need not take the form of a lie, yet its wrongness does not reduce to the wrongness of seeking to deceive. This paper therefore proposes a major shift of attention away from the lying/misleading debate and towards the topic of communicative dishonesty. Dishonesty is not a simple notion to define, however. It presupposes a difficult distinction between what is and is not expressed in a given utterance. This differs from the more familiar distinction between what is and is not said, the distinction at the heart of the lying/misleading debate. This paper uses an idea central to speech act theory to characterize dishonesty in terms of the utterer’s communicative intentions, and applies the resulting definition to a variety of contexts. (shrink)

This paper offers an interpretation of Aristotle’s concepts of dynamis and energeia (commonly translated as potentiality and actuality), and of the thematic progression of Metaphysics IX. I first raise the question of where motion fits in Aristotle’s categories and argue that the locus of motion in the system of categories are the categories of doing and suffering, in which case dynamis and energeia in respect of motion can also be understood as the dynamis and energeia of doing and suffering. Next, (...) I argue that the analogy that Aristotle draws in IX.6 is an analogy between the dynamis and energeia of doing and suffering and the dynamis and energeia of substance. Finally, I try to show that it is this analogy between the kinetic and non-kinetic variants of dynamis and energeia—and not the distinction between end-inclusive and end-exclusive activities—that provides the key to understanding the structure of Metaphysics IX. (shrink)

The category of metaphysical evil introduced by Leibniz appears to cast a sinister shadow over the goodness of creation. It seems to imply that creatures, simply in virtue of not being gods, are to some degree intrinsically and inescapably evil. After briefly unpacking this difficulty and outlining a recent attempt to deal with it, this paper returns to the texts to propose a novel and multilayered understanding of Leibniz’s category of metaphysical evil by reading it against the backdrop (...) of the traditional typologies of evil with which he was unquestionably familiar. It comes to the conclusion that metaphysical evil plays two key roles for Leibniz. First, it captures what Aquinas and especially Suarez meant by ‘natural evil’. Contrary to the common assumption that it is Leibniz’s category of physical evil that holds the place of natural evil, the paper shows that Leibniz’s physical evil corresponds to Augustine’s category of evil of punishment for sin whereas natural evil – intended as a kind of evil which is not related to moral responsibility -- is subsumed under metaphysical evil. Secondly, the category of metaphysical evil covers also the notion of original creaturely imperfection. In classifying creaturely limitation as a kind of evil Leibniz breaks from the Augustinian-Thomist-Scholastic tradition and its distinction between negatio and privatio. On the other hand, notwithstanding this important break, Leibniz’s notion of metaphysical evil is intended to account for something which is firmly within the broadly Augustinian-Scholastic tradition, namely the ascription to all creatures of a limitation that stems from their being created ex nihilo. Finally, the paper returns a verdict of non-guilty to the charge that Leibniz’s metaphysical evil implies that creatures qua creatures are to some extent necessarily intrinsically evil. More generally, in typical Leibnizian fashion, the notion of metaphysical evil will appear to be a complex mix of indebtedness to tradition and bending of received doctrines into something significantly different. (shrink)

The distinction between propositional and doxastic justification is normally applied to belief. The goal of this paper is to apply the distinction to faith and hope. Before doing so, I discuss the nature of faith and hope, and how they contrast with belief—belief has no essential conative component, whereas faith and hope essentially involve the conative. I discuss implications this has for evaluating faith and hope, and apply this to the propositional/doxastic distinction. There are two key upshots. One, bringing in (...) faith and hope makes salient additional normative categories, including the way the distinction between epistemic and practical justification interacts with the distinction between propositional and doxastic justification. Two, a paradigm example of propositional without doxastic justification is a belief that is evidentially supported but based on wishful thinking. Surprisingly, parallel cases of faith and hope may actually enjoy both propositional and doxastic justification. I conclude by exploring what it might look like for faith and hope to have propositional justification without doxastic justification. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction of (...) the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

The answer of Lowe to Ramsey’s argument against the distinction universal vs. indivi- dual: At the beginning of this article Ramsey’s argumentation against universal‐particular distinction is presented. It is based on the assumption that this division requires another one: namely, subject‐predicate distinction. This argumentation was a starting point for Lowe, who does not respect the aforementioned assumption. In his theory, there are not two but four categories, namely: substantial universals, non‐substantial universals, substantial particulars, and non‐substantial particulars. Two of these categories (...) are categories of universals; the other two are categories of particulars. Lowe tries to de ne categories in an ontological way, that is, with essential use of ontological notions. These notions are rigid and non‐rigid existential de‐ pendence, which are themselves de ned in terms of necessity and existence. The contribution of this paper is an analysis of Lowe’s solution. In the rst place, it is con onted with Ramsey remarks. Then other objections are considered. Some of them do not respect the very idea of autonomous ‘ontological way’ in philosophy. Others concern Lowe’s particular version of it. Possible answers to all of these objections are presented, such that Lowe’s theory is defended. However, there is no ultimate conclusion here. In the author’s opinion autonomy and the value of ontology cannot be shown om a purely external position. We should rst assume that this discipline does make sense and then explore its virtues by using its notions. (shrink)

Natural Categories and Human Kinds is a recent and timely contribution to current debate on natural kinds. Because of the growing sophistication of this debate, it is necessary to make careful distinctions in order to appreciate the originality of Khalidi’s position. Khalidi’s view on natural kinds is naturalistic: if we want to know what Nature’s joints really are, we should look at the actual carving job carried out by our best scientific practices. Like LaPorte, Khalidi is a fallibilist: our (...) best scientific theories may be revised or abandoned and so can our current classifications of natural kinds. Unlike LaPorte, however, Khalidi is an anti-essentialist: he argues against the idea that membership in a natural kind is a matter of possessing an essential set of necessary and sufficient properties. Like Dupré, Khalidi is a pluralist and anti-reductionist: he does not believe that there is only one true classification system and that there are natural kinds only at the so-called "fundamental level" of microphysics. Khalidi develops his pluralistic and anti-reductionistic position on the basis of a deep appreciation for the special sciences but, unlike Dupré, he thinks that only the scientific inquiry, which is driven by epistemic purposes, discover natural kinds and that, therefore, there are important differences between scientific and folk classifications. Khalidi’s conception of natural kinds has both an epistemic and a metaphysical component. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such (...) as the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

(Also titled "A Place for Peirce's Categories?"in Meaning without Analyticity.) This book arose from the author’s recent dissertation written under the Gerhard Schönrich at Munich. It focuses on Peirce’s theory of categories and his epistemology. According to Baltzer, what is distinctive in Peirce’s theory of knowledge is that he reconstrues objects as “knots in networks of relations.” The phrase may ring a bell. It suggests a structuralist interpretation of Peirce, influenced by the Munich environs. The study aims to shows how (...) Peirce’s theory of categories supports his theory of knowledge and how “question concerning a priori structures of knowledge” are transformed within this relational framework. A chief critical target is David Savan’s semiotics, specifically the idea that “the multiplicity of development of the categories” is “conditioned by nothing but the indefiniteness of the categories.” But in contrast with this, if there is any indefiniteness in the categories, they cannot fully direct their own application, and this is to say regarding them “that our knowledge is never absolute but always swims, as it were, in a continuum...” If the doctrine of continuity applies to the categories, they also have a continuum to swim in. (shrink)

Few of Kant’s distinctions have generated as much puzzlement and criticism as the one he draws in the Prolegomena between judgments of experience, which he describes as objectively and universally valid, and judgments of perception, which he says are merely subjectively valid. Yet the distinction between objective and subjective validity is central to Kant’s account of experience and plays a key role in his Transcendental Deduction of the categories. In this paper, I reject a standard interpretation of the distinction, (...) according to which judgments of perception are merely subjectively valid because they are made without sufficient investigation. In its place, I argue that for Kant, judgments of perception are merely subjectively valid because they merely report sequences of perceptions had by a subject without claiming that what is represented by the perceptions is connected in the objects the perceptions are of. Whereas the interpretation I criticize undercuts Kant’s strategy in the Deduction, I argue, my interpretation illuminates it. (shrink)

This book arose from the author’s recent dissertation written under the Gerhard Schonrich at Munich. It focuses on Peirce’s theory of categories and his epistemology. According to Baltzer, what is distinctive in Peirce’s theory of knowledge is that he reconstrues objects as “knots in networks of relations.” The phrase may ring a bell. It suggests a structuralist interpretation of Peirce, influenced by the Munich environs. The study aims to shows how Peirce’s theory of categories supports his theory of knowledge and (...) how “question concerning a priori structures of knowledge” are transformed within this relational framework. A chief critical target is David Savan’s semiotics, specifically the idea that “the multiplicity of development of the categories” is “conditioned by nothing but the indefiniteness of the categories.”1 But in contrast with this, if there is any indefiniteness in the categories, they cannot fully direct their own application, and this is to say regarding them “that our knowledge is never absolute but always swims, as it were, in a continuum...”2 If the doctrine of continuity applies to the categories, they also have a continuum to swim in. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

From the comparison of the Grundrisse (1857-58) manuscripts with Marx's subsequent writings, it is clear that the so-called « deduction » of fundamental economic categories follows two distinctive patterns, one of which is close to ordinary logical analysis, the other being inspired by Hegel's dialectics of essence. This duality is reflected in the double meaning of the concept of « presupposition » (Voraussetzung) and, finally, in the simultaneous endorsement by the Grundrisse of two labour-value theories, one of which is Smithian-like, (...) the other is Ricardian. Marx's reinterpretation of economic value as an « immanent measure », i.e., his claim that commodities are measured by each other when exchange takes place, should help to bridge the gap between the two theories. However, such reinterpretation is shown to be inadequate ; as a result, Marx's account of value should be seen as internally inconsistent. (shrink)

The work of Thomas White represents a systematic attempt to combine the best of the new science of the seventeenth century with the best of Aristotelian tradition. This attempt earned him the criticism of Hobbes and the praise of Leibniz, but today, most of his attempts to navigate between traditions remain to be explored in detail. This paper does so for his ontology of accidents. It argues that his criticism of accidents in the category of location as entities over (...) and above substances was likely aimed at Francisco Suárez, and shows how White’s worries about the analysis of location were linked with his broader cosmological views. White rejects real qualities, but holds that the quantity of a substance is somehow distinct from its bearer. This reveals a common ground with some of his scholastic interlocutors, but lays bare a deep disagreement with thinkers like Descartes on the nature of matter. (shrink)

Are women (simply) adult human females? Dictionaries suggest that they are. However, philosophers who have explicitly considered the question invariably answer no. This paper argues that they are wrong. The orthodox view is that the category *woman* is a social category, like the categories *widow* and *police officer*, although exactly what this social category consists in is a matter of considerable disagreement. In any event, orthodoxy has it that *woman* is definitely not a biological category, like (...) the categories *amphibian* or *adult human female*. -/- In the first part, a number of arguments are given for the view that women are adult human females; the second part turns to rebutting the main objections. Finally, a couple of morals are briefly noted: one for activist sloganeering, and one for ameliorative projects that seek to change the meaning of ‘woman’. (shrink)