Exemplification can be found in ontologies from the ancient world, such as those of Plato and Aristotle, and more recent ontologies, in particular those that take what exists to be determined by the empiricist’s Principle of Acquaintance. This study examines some of the ways in which exemplification takes different forms in these different ontologies. Exemplification has also been criticized as an ontological category. This paper examines a number of these criticisms, to see the extent to which they are viable.

ABSTRACT:For over a century there has been a protracted effort in American philosophy to use Darwinian explanatory resources in order to make certain leading ideas in German idealism naturalistically intelligible. I trace some of the nineteenth and twentieth century contours of this effort. In doing so I outline an understanding of ourselves as norm-laden persons in a natural world. As a consequence, philosophical inquiry—understood in C. S. Peirce's sense as the practice of the ‘normative sciences’ of aesthetics, logic, and ethics—can (...) be understood as the self-conscious and rational exercise of natural and socially conditioned capacities to sense, think, and act. This leaves us with a project, by no means completed, to frame categories through which to understand thesociohistorical developmentof the notions of beauty, truth, and goodness as a process continuous with thenatural evolutionof the nervous system in its sensory, central, and motor moments. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...) a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.1. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in (...) terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)

Sellars [1960, ‘Grammar and existence: A preface to ontology’] argues that the truth of a second-order sentence does not incur commitment to there being any sort of abstract entity. This paper begins by exploring the arguments that Sellars offers for the above claim. It then develops those arguments by pointing out places where Sellars has been unclear or ought to have said more. In particular, Sellars's arguments rely on there being a means by which language users could come to understand (...) sentences of a second-order language wherein the truth of second-order existential sentences do not require there to be abstract entities. In addition to this, as Sellars [1979, Naturalism and Ontology] notes, a formal account of quantification is required that does not make use of the apparatus of sequences. Both such a translation of and a formal account of quantification are provided in this article. (shrink)

This paper focuses on a central aspect of the “picture theory” in the Tractatus – the “identity requirement” – namely the idea that a proposition represents elements in reality as combined in the same way as its elements are combined. After introducing the Tractatus' views on the nature of the proposition, I engage with a “nominalist” interpretation, according to which the Tractatus holds that relations are not named in propositions. I claim that the nominalist account can only be maintained by (...) rejecting the “identity requirement.” I then consider an opposite – “realist” – interpretation, according to which Tractarian names include names of properties and relations. I argue that, although it can accommodate the “identity requirement,” the realist interpretation falls short of providing a correct interpretation of the Tractatus' conception of a name. I conclude by presenting an alternative account (to both nominalism and realism) of the Tractatus' conception of a name. (shrink)

I here discuss Hegel's rule-following considerations as they are found in the first four chapters of his Phenomenology of Spirit. I begin by outlining a number of key premises in Hegel's argument that he adopts fairly straightforwardly from Kant's Transcendental Deduction. The most important of these is that the correctness or incorrectness of one's application of a rule must be recognizable as such to the rule-follower. Supplementing Hegel's text as needed, I then argue that it is possible for an experiencing (...) subject to follow a rule only where there is a community of individuals whose agreement can provide a standard for the correctness and incorrectness of his use. I further argue that a community must consist of members that are compresent, and thus that a collection of time-slices of an individual will not serve this purpose. I conclude by raising a potential problem for Hegel's account of rule-following concerning the correctness and incorrectness of the judgments of a community, and pointing to a possible line of response to this problem. (shrink)

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a (...) formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

The paper undertakes three interdisciplinary tasks. The first one consists in constructing a formal model of the basic arithmetic competence, that is, the competence sufficient for solving simple arithmetic story-tasks which do not require any mathematical mastery knowledge about laws, definitions and theorems. The second task is to present a generalized arithmetic theory, called the arithmetic of indexed numbers (INA). All models of the development of counting abilities presuppose the common assumption that our simple, folk arithmetic encoded linguistically in the (...) mind is based on the linear number representation. This classical conception is rejected and a competitive hypothesis is formulated according to which the basic mature representational system of cognitive arithmetic is a structure composed of many numerical axes which possess a common constituent, namely, the numeral zero. Arithmetic of indexed numbers is just a formal tool for modelling the basic mature arithmetic competence. The third task is to develop a standpoint called temporal pluralism, which is motivated by neo-Kantian philosophy of arithmetic. (shrink)

Argues that Sellars' theories can be seen as an elaborate argument for scientific realism as an almost-transcendental condition for the meaningfulness of language.

It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to (...) give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to (...) give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

A propositional logic with modal operators for logical necessity and possibility is formulated as a formal ontology for logical atomism (with negative facts). It is shown that such modal operators represent purely formal, Internal 'properties' of propositions if and only if the notion of 'all possible worlds' has its standard and not the secondary interpretation which it is usually given (as, E.G., In kripke model-Structures). Allowing arbitrary restrictions on the notion of 'all possible worlds', At least in such a framework (...) as logical atomism, Generates internal 'properties' of propositions with material instead of purely formal content. (shrink)

While operators for logical necessity and possibility represent "internal" conditions of propositions (or of their corresponding states of affairs), These conditions will be "formal", As is required by logical atomism, And not "material" in content if from the (pseudo) semantical point of view the modal operators range over "all the possible worlds" of a logical space rather than over arbitrary non-Empty sets of worlds (as is usually done in modal logic). Some of the implications of this requirement are noted and (...) though several variants of realist logical atomism are distinguished and discussed, The theory of logical form developed is nominalist. Many of nominalism's difficulties and inadequacies become transparent in the context of logical atomism and are so noted. (shrink)

The purpose of this article is to examine Sellars’s envisaged stereoscopic fusion between the manifest and the scientific image in regard to the central issue of the being of the normative. I shall propose that the best way to make sense of the notion of the Sellarsian ‘stereoscopic fusion’ is to hold both that (a) the core function of normative discourse is to point toward something that does not exist, but ought to exist, namely a regulative ideal and (b) that (...) the raison d’être of normatively infused items is for them to be materially realized at the level of non-normative objects and processes. On this view, the effected elimination (denormativization) of the normative level itself in the Sellarsian ‘synoptic vision’ can be best understood in terms of the concrete realization of what I call ‘generalized absorbed skillful coping,’ that is, our ability for absorbed skillful coping within our—and indeed, in any possible—environment. (shrink)

In this article, it is argued that Sellars’ view of normativity is the key for a proper resolution of the debate between normativism and anti-normativism, as the latter is described in Turner’s recent book Explaining the Normative. Drawing on an early Sellarsian article , I suggest that both normativism and anti-normativism are ultimately unsatisfactory positions and for the same reason: due to their failure to draw a distinction between causal or explanatory reducibility and logical or conceptual reducibility of the normative (...) to the non-normative. (shrink)

The Buddhist no-self and no-person revisionary metaphysics aims to produce a better structure that is motivated by the normative goal of eliminating, or at least reducing, suffering. The revised structure, in turn, entails a major reconsideration of our ordinary everyday person-related concerns and practices and interpersonal attitudes, such as moral responsibility, praise and blame, compensation, and social treatment. This essay explores the extent to which we must alter and perhaps discard some of our practical commitments in light of the Buddhist (...) revisionism. I do not argue here that we should change our ordinary practices, concerns, and attitudes, or that the Buddhist metaphysics does succeed in presenting a better structure. Rather, I offer it as an alternative structure that should be considered seriously. (shrink)

Many commentators have attempted to say, more clearly than Wittgenstein did in his Tractatus logico-philosophicus, what sort of things the ‘simple objects’ spoken of in that book are. A minority approach, but in my view the correct one, is to reject all such attempts as misplaced. The Tractarian notion of an object is categorially indeterminate: in contrast with both Frege's and Russell's practice, it is not the logician's task to give a specific categorial account of the internal structure of elementary (...) propositions or atomic facts, nor, correlatively, to give an account of the forms of simple objects. The few commentators who have hitherto maintained this view have mainly devoted themselves to establishing that this was Wittgenstein's intention, and do not much address the question why Wittgenstein held that it is not the logician's business to say what the objects are. The present paper means to fill this lacuna by placing this view in the context of the Tractatus's treatment of logic generally, and in particular by connecting it with Wittgenstein's treatment of generality and with his reaction to Russell's approach to logical form. (shrink)

My aim in this paper is to discuss the logical form of exemplification. In order to achieve this goal, I analyze three views on the logical form of exemplification, namely, Gustav Bergmann's logical realism, Wilfrid Sellars's meta-linguistic expressivism, and Javier Cumpa's logical eliminativism. I start by examining the account advanced by Bergmann in his 1960 essay "Ineffability, Ontology, and Method," according to which the logical form of exemplification is represented by the juxtaposition of logical signs in a sentence. Then I (...) consider two alternatives to Bergmann's realism, namely, Sellars's meta-linguistic expressivism, according to which exemplification is a quasi-semantical relation that is accounted for at a meta-linguistic level; and Cumpa's molecular theory of exemplification—which I will call logical eliminativism—according to which exemplification is an eliminable constituent of facts. I conclude that neither the account advanced by Sellars nor the one provided by Cumpa is preferable to Bergmann's account of the logical form of exemplification, while offering a defense of the latter. (shrink)

Different interpretations of Bradley’s regress argument are considered. On the basis of textual evidences, it is argued that the most persuasive is the one that sees the argument as primarily addressing the general issue of unity or connectedness.

I draw attention to an ambiguity of the expression ‘phenomenal consciousness’ that is an avoidable yet persistent source of conceptual confusion among consciousness scientists. The ambiguity is between what I call phenomenality and what I call conscious states, where the former denotes an abstract property and the latter denotes a phenomenon or class of its instances. Since sentences featuring these two terms have different semantic properties, it is possible to equivocate over the term ‘consciousness’. It is also possible to fail (...) to distinguish between statements that are true about conscious states in virtue of their phenomenality, and statements that are true in virtue of other properties of conscious states. I review empirically informed arguments by scientists Bernard Balleine and Anthony Dickinson, Stevan Harnad, and Jeffrey Alan Gray, arguing that each of them makes errors based on the ambiguity. I conclude with some tentative suggestions for avoiding further confusion about the ambiguity. (shrink)

On the one hand, logic has (or ought to have) nothing to do with metaphysics; it ought to have nothing to do with questions concerning what there is, or whether there is anything at all. On the other hand, metaphysics can hardly get off the ground without the help of logical analysis; to be is to be a truth-maker, and the search for truth-makers requires that we lay open the logical structure of our language. So something’s gotta give: either logical (...) analysis is metaphysically biased, or metaphysicians must make up their mind before resorting to logical analysis. Or both. (shrink)

Wilfrid Sellars’ philosophical system joins issues that have often been regarded as incompatible or at least in mutual tension. Two of these are his holistic approach to language and knowledge on the one hand and his realism on the other hand. In my paper I first outline this tension and then present a number of steps, including the rejection of semantic relations, picturing and the defense of realism, which can help us to accommodate it. I highlight the payoff of these (...) steps for the question to be solved. In the last part of the paper I detect new and more refined tensions revealed by Sellars’ solution. I identify possible dissonances between his Kantian and his naturalist treatment of causality as well as between his two ways of conceiving of language arguing that these new questions furnish a more interesting approach to our initial problem. (shrink)