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)

I defend a new position in philosophy of mathematics that I call mathematical inferentialism. It holds that a mathematical sentence can perform the function of facilitating deductive inferences from some concrete sentences to other concrete sentences, that a mathematical sentence is true if and only if all of its concrete consequences are true, that the abstract world does not exist, and that we acquire mathematical knowledge by confirming concrete sentences. Mathematical inferentialism has several advantages over mathematical (...) realism and fictionalism. (shrink)

Some theorists argue that rather than advocating a principle of educational equality as a component of a theory of justice in education, egalitarians should adopt a principle of educational adequacy. This paper looks at two recent attempts to show that adequacy, not equality, constitutes justice in education. It responds to the criticisms of equality by claiming that they are either unsuccessful or merely show that other values are also important, not that equality is not important. It also argues (...) that a principle of educational adequacy cannot be all there is to justice in education. (shrink)

Suppose that scientific realists believe that a successful theory is approximately true, and that constructive empiricists believe that it is empirically adequate. Whose belief is more likely to be false? The problem of underdetermination does not yield an answer to this question one way or the other, but the pessimistic induction does. The pessimistic induction, if correct, indicates that successful theories, both past and current, are empirically inadequate. It is arguable, however, that they are approximately true. Therefore, scientific realists overall (...) take less epistemic risk than constructive empiricists. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section (...) in which I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view (...) falls under a ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

For some reason, participants hold agents more responsible for their actions when a situation is described concretely than when the situation is described abstractly. We present examples of this phenomenon, and survey some attempts to explain it. We divide these attempts into two classes: affective theories and cognitive theories. After criticizing both types of theories we advance our novel hypothesis: that people believe that whenever a norm is violated, someone is responsible for it. This belief, along with the familiar workings (...) of cognitive dissonance theory, is enough to not only explain all of the abstract/concrete paradoxes, but also explains seemingly unrelated effects, like the anthropomorphization of malfunctioning inanimate objects. (shrink)

A central question along which phenomenological approaches to sociality or intersubjectivity have diverged concerns whether concrete interpersonal encounters or sharing a common world is more fundamental in working out an adequate phenomenology of human sociality. On one side we have philosophers such as the early Sartre, Martin Buber, Michael Theunissen, and Emmanuel Levinas, all of whom emphasize, each in his own way, the priority of some mode of interpersonal encounters (broadly construed) in determining the basic character of human coexistence. (...) On the other side, we have philosophers such as the early Heidegger and the early Merleau-Ponty (and here I would also include Gadamer and the later Wittgenstein), who argue that an adequate account of human sociality must begin, in the proper order of understanding and hence explanation, with how we always already exist in a shared or common world. Which side is right in this debate? I argue that once we correctly understand the precise sense (or way) in which the common world is more fundamental than concrete interpersonal encounters, this enables us to understand how there is no real opposition between the phenomenological conception of the common world and the experience of the other, even in its radical otherness. (shrink)

A debate about whether all children are entitled to an “equal” or an “adequate” education has been waged at the forefront of school finance policy for decades. In an era of budget deficits and harsh cuts in public education, I submit that it is time to move on. Equality of educational opportunity has been thought to require equal spending per pupil or spending adjusted to the needs of differently situated children. Adequacy has been understood as a level of spending (...) sufficient to satisfy some absolute, rather than relative, educational threshold. In practice, however, many courts interpreting their state’s constitutional obligations have fused the equality and adequacy theories. Certain federal laws express principles of both doctrines. And gradually, more advocates and scholars have come to endorse hybrid equality-adequacy approaches. Still, the debate persists over seemingly intractable conceptual precepts and their political and legal ramifications. Tracking the philosophical origins and evolution of equality and adequacy as legal doctrines, I explain the significance of their points of convergence and argue that the few points of divergence are untenable in practice. Equality of educational opportunity should not be interpret-ed as pursuing equal chances for educational achievement for all children, because that ideal is infeasible. Nor should educational adequacy be interpreted as completely indifferent to objectionable inequalities that can be feasibly curtailed. Properly conceived, equality and adequacy are not merely congruent but reciprocal. That is, children are owed an education that is adequately equal and equally adequate. (shrink)

This paper pursues Ernan McMullin‘s claim ("Virtues of a Good Theory" and related papers on theory-choice) that talk of theory virtues exposes a fault-line in philosophy of science separating "very different visions" of scientific theorizing. It argues that connections between theory virtues and virtue epistemology are substantive rather than ornamental, since both address underdetermination problems in science, helping us to understand the objectivity of theory choice and more specifically what I term the ampliative adequacy of scientific theories. The paper (...) argues therefore that virtue epistemologies can make substantial contributions to the epistemology and methodology of the sciences, helping to bridge the gulf between realists and anti-realists, and to re-enforce moderation over claims about the implications of underdetermination problems for scientific inquiry. It finally makes and develops the suggestion that virtue epistemologies, at least of the kind developed here, offer support to the position that philosophers of science know as normative naturalism. (shrink)

In this essay, I argue that Sartre's notion of pre-reflective consciousness can be summoned to offer a general challenge to contemporary functionalist accounts of mind, broadly construed. In virtue of the challenge Sartre offers these contemporary functionalist accounts and the richness of his phenomenological analysis, I conclude that his voice needs to be included in ongoing debates over the nature of consciousness. First, I look at some of the basic claims motivating functionalist accounts of mind. Next, I look at Sartre's (...) notion of pre-reflective consciousness and discuss how this notion challenges functionalist accounts of mentality. I conclude by suggesting that Sartre's rendering of pre-reflective consciousness remains overly cognitivist. I show how this notion can be deepened to include the sensory-motor capacities of the situated body—resulting in a pre-reflective bodily self-awareness—and how this deepened formulation offers a further challenge to functionalist accounts of mind. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

The core argument of this article is that Adorno adopts the distinction between an abstract and a concrete universal from Hegel and criticizes Hegel, on that basis, as abstract. The first two parts of the article outline that both thinkers take the abstract universal to be the form of a false type of knowledge and society, and the concrete universal to be a positive aim. However, as the third part argues, Adorno rejects how the concrete universal is (...) understood in Hegel’s philosophy and formulates a different conception of it. The fourth part questions if Adorno manages to overcome the problems he identifies in Hegel or whether they are inherent to the programme of dialectics both endorse. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth (...) for present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

International Journal of Philosophical Studies, Volume 19, Issue 5, Page 753-760, December 2011.

This chapter argues for an interpretation of Kant's psychology of moral evil that accommodates the so-called excluded middle cases and allows for variations in the magnitude of evil. The strategy involves distinguishing Kant's transcendental psychology from his empirical psychology and arguing that Kant's character rigorism is restricted to the transcendental level. The chapter also explains how Kant's theory of moral evil accommodates 'the badass'; someone who does evil for evil's sake.

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment (...) of concrete universals along with a new concept to abstractly model the functions of a brain. (shrink)

We critically engage two traditional views of scientific data and outline a novel philosophical view that we call the pragmatic-representational (PR) view of data. On the PR view, data are representations that are the product of a process of inquiry, and they should be evaluated in terms of their adequacy or fitness for particular purposes. Some important implications of the PR view for data assessment, related to misrepresentation, context-sensitivity, and complementary use, are highlighted. The PR view provides insight into (...) the common but little-discussed practices of iteratively reusing and repurposing data, which result in many datasets' having a phylogeny—an origin and complex evolutionary history—that is relevant to their evaluation and future use. We relate these insights to the open-data and data-rescue movements, and highlight several future avenues of research that build on the PR view of data. (shrink)

Par un procédé d'objections/réponses, nous passons d'abord en revue certains des arguments en faveur ou en défaveur du caractère empirique de la simulation informatique. A l'issue de ce chemin clarificateur, nous proposons des arguments en faveur du caractère concret des objets simulés en science, ce qui légitime le fait que l'on parle à leur sujet d'une expérience, plus spécifiquement d'une expérience concrète du second genre.

In its origins educational neuroscience has started as an endeavor to discuss implications of neuroscience studies for education. However, it is now on its way to become a transdisciplinary field, incorporating findings, theoretical frameworks and methodologies from education, and cognitive and brain sciences. Given the differences and diversity in the originating disciplines, it has been a challenge for educational neuroscience to integrate both theoretical and methodological perspective in education and neuroscience in a coherent way. We present a multi-level framework for (...) educational neuroscience, which argues for integration of multiple levels of analysis, some originating in brain and cognitive sciences, others in education, as a roadmap for the future of educational neuroscience with concrete examples in moral education. (shrink)

Seems plausible to accept the thesis that “it is not objects per se that have a special status in the mind of the child”. I grasp this thesis in the sense that the only stuff that infants can individuate are not objects, but this not implies that objects do not make the core contribution to our (adult) metaphysical conceptual scheme, i.e. to constitute a platform for basic adaptive environmental performances in adult life. Plausibly, any young human cognitive system needs to (...) stabilize capacities to track holes and shadows since these non concrete entities could be indispensable in a world perceived as populated with objects. (shrink)

The interpretive-sensory access theory of self-knowledge claims that we come to know our own minds by turning our capacities for knowing other minds onto ourselves. Peter Carruthers argues that two of the theory’s advantages are empirical adequacy and scientific fruitfulness: it leaves few of the old discoveries unexplained and makes new predictions that provide a framework for new discoveries. A decade has now passed since the theory’s introduction. I review the most important developments during this time period regarding the (...) two criteria: whether the theory’s six main predictions were supported, and whether the theory’s predictions contributed to new empirical studies. I argue that the interpretive-sensory access theory of self-knowledge remains empirically adequate and scientifically fruitful. (shrink)

While I strongly agree with Patrick Grim that abstract relationships are real, and that it is possible to get them right, the danger that we will get them wrong is just as real. The use of visual representation of abstract phenomena, precisely because of our predilection to see patterns in everything and because we don't have to think so hard about visible representations generally, may lead us to see things that aren't there.

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Furthermore, Lewis’s argument against impossible worlds is denied. Then, it is argued that the same methodology as in the case of possible worlds can be used when impossibilia are at issue. Finally, the theory of extended modal realism is formulated.

The characterization of early token-based accounting using a concrete concept of number, later numerical notations an abstract one, has become well entrenched in the literature. After reviewing its history and assumptions, this article challenges the abstract–concrete distinction, presenting an alternative view of change in Ancient Near Eastern number concepts, wherein numbers are abstract from their inception and materially bound when most elaborated. The alternative draws on the chronological sequence of material counting technologies used in the Ancient Near East—fingers, (...) tallies, tokens, and numerical notations—as reconstructed through archaeological and textual evidence and as interpreted through Material Engagement Theory, an extended-mind framework in which materiality plays an active role (Malafouris 2013). (shrink)

This thesis is an argument for the view that there are problems for Modal Reductionism, the thesis that modality can satisfactorily be defined in non-modal terms. -/- I proceed via a case study of David Lewis’s theory of concrete possible worlds. This theory is commonly regarded as the best and most influential candidate reductive theory of modality. Based on a detailed examination of its ontology, analysis and justification, I conclude that it does badly with respect to the following four (...) minimal conditions on a satisfactory reductive theory of modality: that it be (a) genuinely reductive, (b) materially adequate, (c) conceptually adequate and (d) that its justification provides good reason to think it true. -/- These problems for Lewis’s theory are not, I suggest, due to his idiosyncratic conception of possible worlds as concrete entities. Rather, because Lewis’s theory can be seen to represent an important class of structurally similar reductive theories of modality, the problems for Lewis’s theory generalise to problems for these other theories. This suggests that Modal Reductionism is unpromising. In the light of this, the alternative approach to understanding modality, Modal Primitivism, appears more attractive. (shrink)

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant’s view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant’s view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. (shrink)

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...) that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

The aim of this article is to show that the Philosophy of Subjective Spirit in Hegel’s mature Encyclopaedia of Philosophical Sciences contains the outlines of a philosophically rich notion of the constitutive temporality of subjectivity. The temporality of the being of Hegel’s concrete subject is intimately connected with embodiment and sociality, and is thus an essential element of its fully detranscendentalized inner-worldly nature.

Human behavior is frequently described both in abstract, general terms and in concrete, specific terms. We asked whether these two ways of framing equivalent behaviors shift the inferences people make about the biological and psychological bases of those behaviors. In five experiments, we manipulated whether behaviors are presented concretely (i.e. with reference to a specific person, instantiated in the particular context of that person’s life) or abstractly (i.e. with reference to a category of people or behaviors across generalized contexts). (...) People judged concretely framed behaviors to be less biologically based and, on some dimensions, more psychologically based than the same behaviors framed in the abstract. These findings held true for both mental disorders (Experiments 1 and 2) and everyday behaviors (Experiments 4 and 5) and yielded downstream consequences for the perceived efficacy of disorder treatments (Experiment 3). Implications for science educators, students of science, and members of the lay public are discussed. (shrink)

In the present article, I will evaluate the utility of environmental human rights in the light of the global climate conditions prevailing in the beginning of the second decade of the 21st century. Human rights and their tools have proven useful on many occasions. Here I will promote the idea that the ecological situation we are facing now is so urgent that we should exploit their potential to the fullest. To that end, I will argue, there is a clear need (...) to render environmental rights as explicit, precise and thus legally binding as possible. It is tried to adopt a point of view that is informed by both scientific findings and the theory of human rights; the conclusions are definitely intended to be pragmatic. (shrink)

The hypothesis that God supernaturally raised Jesus from the dead is argued by William Lane Craig to be the best explanation for the empty tomb and postmortem appearances of Jesus because it satisfies seven criteria of adequacy better than rival naturalistic hypotheses. We identify problems with Craig’s criteria-based approach and show, most significantly, that the Resurrection hypothesis fails to fulfill any but the first of his criteria—especially explanatory scope and plausibility.

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. (...) As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

In this essay, Johannes Giesinger comments on the current philosophical debate on educational justice. He observes that while authors like Elizabeth Anderson and Debra Satz develop a so-called adequacy view of educational justice, Harry Brighouse and Adam Swift defend an egalitarian principle. Giesinger focuses his analysis on the main objection that is formulated, from an egalitarian perspective, against the adequacy view: that it neglects the problem of securing fair opportunities in the competition for social rewards. Giesinger meets this (...) objection by expressing two basic theses: First, he argues that Brighouse and Swift themselves fail to give an adequate account of fair competition; and, second, he shows that the adequacy view provides the theoretical resources to face this problem. (shrink)

The paper argues for the view advocated by Yolton that Locke's ideas are best viewed as intentional contents. Drawing on Smith and McIntyre's distincition between object- and content-theories of intentionality I seek it show that it belongs to the second category. The argument relies mainly on the analysis of Locke's discussion of meaning, the reality and adequacy of ideas and real essence.

This paper discusses attributively limited concrete objects such as disturbances (holes, folds, scratches etc), tropes, and attitudinal objects, which lack the sort of spatial location or part structures expected of them as concrete objects. The paper proposes an account in terms of (quasi-Fregean) abstraction, which has so far been applied only to abstract objects.

Scientific realists and antirealists believe that a successful scientific theory is true and merely empirically adequate, respectively. In contrast, epistemic reciprocalists believe that realists’ positive theories are true, and that antirealists’ positive theories are merely empirically adequate, treating their target agents as their target agents treat other epistemic agents. Antirealists cannot convince reciprocalists that their positive theories are true, no matter how confident they might be that they are true. In addition, reciprocalists criticize antirealists’ positive theories exactly in the way (...) that antirealists criticize their epistemic colleagues’ theories. Reciprocalism is a better epistemic policy than realism and antirealism in the epistemic battleground in which we strive to be epistemically safe vis-à-vis our epistemic colleagues’ theories and strive to convince our epistemic colleagues that our theories are true. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...) dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs are (...) bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

This paper questions the adequacy of the explicit cancellability test for conversational implicature as it is commonly understood. The standard way of understanding this test relies on two assumptions: first, that that one can test whether a certain content is conversationally implicated, by checking whether that content is cancellable, and second, that a cancellation is successful only if it results in a felicitous utterance. While I accept the first of these assumptions, I reject the second one. I argue that (...) a cancellation can succeed even if it results in an infelicitous utterance, and that unless we take this possibility into account we run the risk of misdiagnosing philosophically significant cases. (shrink)

Confronting persistent and widening inequality in educational opportunity, advocates have regarded the right to education as a linchpin for reform. In the forty years since the Supreme Court relegated that right to the domain of state constitutional law, its power has surged and faded in litigation challenging state school finance systems. Like so many of the students it is meant to protect, however, the right to education has generally underachieved, in part because those wielding it have not always appreciated its (...) distinctive forms and function. Deconstructed, the right to education held by children has been formulated doctrinally as both a claim-right, imposing affirmative duties on the state to act, and an immunity, disabling certain state action. These two strands—oft-manifested as the claim-right to educational “adequacy” and an immunity entailing “equality” of educational opportunity—once considered irreconcilable, are actually interlocked by the right’s core historical function to protect children’s liberty and equality interests. And yet the right to education is ill equipped to fulfill its protection function. Education clauses in state constitutions do not fix the standards for mutually enforcing equality and adequacy. This encumbers already-reluctant courts in addressing educational disparities and emboldens legislative resistance when they do. Appreciating that the right to education has a protection function entailing equality and liberty interests nevertheless suggests that the right can be adjudicated in a way that unifies the demands and guarantees of substantive due process and equal protection. That union holds the potential to ameliorate the enforcement standards thereby reconstituting the right to education as a mainstay of reform. (shrink)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (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)

Concrete particular objects (e.g., living organisms) figure saliently in our everyday experience as well as our in our scientific theorizing about the world. A hylomorphic analysis of concrete particular objects holds that these entities are, in some sense, compounds of matter (hūlē) and form (morphē or eidos). The Grounding Problem asks why an object and its matter (e.g., a statue and the clay that constitutes it) can apparently differ with respect to certain of their properties (e.g., the clay’s (...) ability to survive being squashed, as compared to the statue’s inability to do so), even though they are otherwise so much alike. In this paper, I argue that a hylomorphic analysis of concrete particular objects, in conjunction with a non-modal conception of essence of the type encountered for example in the works of Aristotle and Kit Fine, has the resources to yield a solution to the Grounding Problem. (shrink)

In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to (...) depend on several essential features: parsimony, accuracy, transparency, fertility and reliability. Because there is a partial antinomy between these traits, it is impossible to find a perfectly adequate variant of formalization. However, it is possible and preferable to reach a reasonable compromise by choosing the variant of formalization which satisfies all of these fundamental characteristics. (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)

This paper examines the adequacy of causal graph theory as a tool for modeling biological phenomena and formalizing biological explanations. I point out that the causal graph approach reaches it limits when it comes to modeling biological phenomena that involve complex spatial and structural relations. Using a case study from molecular biology, DNA-binding and -recognition of proteins, I argue that causal graph models fail to adequately represent and explain causal phenomena in this field. The inadequacy of these models is (...) due to their failure to include relevant spatial and structural information in a way that does not render the model non-explanatory, unmanageable, or inconsistent with basic assumptions of causal graph theory. (shrink)