In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

In our paper, we distinguish between two forms of memory knowledge: experiential memory knowledge and stored memory knowledge. We argue that, mutatis mutandis, the case that Pritchard makes for epistemological disjunctivism regarding perceptual knowledge can be made for epistemological disjunctivism regarding experiential memory knowledge. At the same time, we argue against a disjunctivist account of stored memory knowledge.

There is a famous puzzle in Rorty scholarship: Did or did Rorty not subscribe to a form of realism and truth when he made concessions regarding objectivity to Bjørn Ramberg in 2000? Relatedly, why did Rorty agree with Ramberg but nevertheless insist upon disagreeing with Brandom, though large parts of the research community hold their two respective requests for shifts in Rorty’s stance to be congruous? The present article takes up the discussion and tries, for the first time, to make (...) sense of Rorty’s insistence that there is a difference between Brandom’s notion of “made true by facts” and Ramberg’s notion of “getting things right” by showing that Ramberg’s appropriateness-conditions are fully compatible with Rorty’s revised interpretation of Davidson’s concept of “triangulation,” whereas Brandom’s inferential “made-true-by-facts”-language game is not. The reason why Rorty agrees with Ramberg but not with Brandom, I argue, is that Brandom’s contemporary concept of objectivity, as developed in his contribution to the debate and in his Making It Explicit, works with a scheme-content distinction, whereas Ramberg’s Davidson-based version does not. As many of his critics suppose, Rorty’s concession to Ramberg entails a substantive revision of Rorty’s position, not just a clarification. However, this new position is not in conflict with Rorty’s most important commitment, namely his anti-authoritarianism. The revised account still does not bind him to the forms of realism and truth that his critics favor. The article explains to which forms of realism and truth Rorty’s concessions to Ramberg commit him instead. (shrink)

My aim in this article is twofold. First, I will illuminate the triangular conceptual connections between responsibility, authority, and power as they are exposed in the organizational realm; second, I will show how the three concepts are distinct. Relying on the work of Peter Strawson and his followers on responsibility for my point of departure, I will show that the connection between the inner corporational authority and its inner matching responsibility is different from the connection between the outer corporational forces (...) and influences and the CSR that they develop in reaction to these. This will expose another important distinction between two kinds of responsibility: the organizational kind, as instantiated in organizations, and the social kind, which constitutes the outer aspect of the CSR. Though many thinkers address different kinds of responsibility, a comparative perspective of these different concepts is missing. I attempt to bring three of these separate discourses together to examine them alongside one another, evaluating them in the light of their differences and similarities. This will expose a new typology of ‘responsibility’ that penetrates and illuminates the relations between corporations and society and as such enhance our understanding of organizational responsibility. (shrink)

Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims to clarify (...) the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

Recently, there has been some discussion of how Dutch Book arguments might be used to demonstrate the rational incoherence of certain hidden variable models of quantum theory. In this paper, we argue that the 'form of inconsistency' underlying this alleged irrationality is deeply and comprehensively related to the more familiar 'inconsistency' phenomenon of contextuality. Our main result is that the hierarchy of contextuality due to Abramsky and Brandenburger corresponds to a hierarchy of additivity/convexity-violations which yields formal Dutch Books of different (...) strengths. We then use this result to provide a partial assessment of whether these formal Dutch Books can be interpreted normatively. (shrink)

This paper contrasts two relatively independent forms of human development: waking up, the process and practices of psychospiritual awakening , and growing up, the process of moving from lesser narcissistic and ethnocentric self-identities towards mature postconventional self-identities with greater degrees of inclusion, perspective-taking, caring, and compassion. Each is a unique type of growth, contemplative and transformative, with different ways of engaging and differing goals and results. The former is about transcending or deconstructing the ego and the latter about building, (...) strengthening, and diversifying the ego. Whereas the Buddhist tradition and contemplative practices aim at awakening and transcending samsara (worldly conditions) by cultivating compassion and taming the mind, the Western tradition cultivates greater degrees of care and compassion by developing a mature ego within samsara that is both social-justice and eco-justice informed. The project of transcending the ego should not be confused with growing and maturing the ego. Self-transcendence and self-development must inform each other, and both are necessary for realizing our full human potential. (shrink)

This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. (...) The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

The new evil demon problem is often considered to be a serious obstacle for externalist theories of epistemic justification. In this paper, I aim to show that the new evil demon problem also afflicts the two most prominent forms of internalism: moderate internalism and historical internalism. Since virtually all internalists accept at least one of these two forms, it follows that virtually all internalists face the NEDP. My secondary thesis is that many epistemologists – including both internalists and (...) externalists – face a dilemma. The only form of internalism that is immune to the NEDP, strong internalism, is a very radical and revisionary view – a large number of epistemologists would have to significantly revise their views about justification in order to accept it. Hence, either epistemologists must accept a theory that is susceptible to the NEDP or accept a very radical and revisionary view. (shrink)

How to distinguish emotions such as envy, disgust, and shame from sentiments such as love, hate, and adoration? While the standard approach argues that emotions and sentiments differ in terms of their temporal structures (e.g., Ben-ze’ev, 2000; Deonna & Teroni, 2012; Frijda et al., 1991), this paper sketches an alternative approach according to which each of these states exhibits a distinctive intentional structure. More precisely, this paper argues that emotions and sentiments exhibit distinct forms of affective intentionality. The paper (...) begins by examining the temporal criteria of duration, etiology, and phenomenology widely employed to distinguish between both states. It demonstrates that none of them provides a clear-cut distinction between emotions and sentiments. Next, it presents the intentional approach as an alternative. To this end, it discusses what I call the axiological account (De Monticelli’s 2006; 2020), before introducing my version of the intentional approach according to which emotions and sentiments exhibit different forms of affective intentionality. The main findings are summarized in the conclusion. (shrink)

Contemporary platonism has been conditioned in large part by two dogmas. One is the belief in a fundamental cleavage between intelligible but invisible Platonic forms that are real and eternal, and perceptible objects whose confinement to spacetime constitutes an inferior existence and about which knowledge is impossible. The other dogma involves a kind of reductionism: the belief that Plato’s unhypothetical first principle of the all is identical to the form of the good. Both dogmas, I argue, are ill-founded.

This paper is a critical evaluation of Holger Thesleff’s thinking on Plato’s Forms, especially of his “rethinking” of the matter, as he puts it in the title of his most recent contribution. It lays out a broadly sympathetic perspective through dialectical engagement with the main lines of his interpretation and reconstruction of Plato’s world. The aim is to launch the formal academic reception of that reconstruction (rethinking), which Thesleff cautiously and modestly presents as a “proposal” — his teaser to (...) elicit a reaction, positive or negative. The exegetical focus is on tracing the inspiration and reasoning behind his “two-level” model of Plato’s ontology, which, in turn, supports his tripartite classification of Forms. The critical focus is on identifying potential areas of misunderstanding and supplying any explanations, analyses, or arguments that may enhance the clarity of the respective positions. (shrink)

The concept of white ignorance refers to phenomena of not-knowing that are produced by and reinforce systems of white supremacist domination and exploitation. I distinguish two varieties of white ignorance, belief-based white ignorance and practice-based white ignorance. Belief-based white ignorance consists in an information deficit about systems of racist oppression. Practice-based white ignorance consists in unresponsiveness to the political agency of persons and groups subject to racist oppression. Drawing on the antebellum political thought of Black abolitionists Frederick Douglass and Harriet (...) Jacobs, I contend that an anti-racist politics that conceives of its epistemic task in terms of combating practice-based white ignorance offers a more promising frame for liberatory struggle. A focus on practice-based white ignorance calls for a distinctive form of humility that involves recognition of the limits of one’s own political agency in relation to others, which is integral to democratic relations between free, equal, yet mutually dependent persons. (shrink)

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. On the other (...) hand, Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

Many philosophers and psychologists have sought to explain experiences of auditory verbal hallucinations and “inserted thoughts” in schizophrenia in terms of a failure on the part of patients to appropriately monitor their own inner speech. These self-monitoring accounts have recently been challenged by some who argue that AVHs are better explained in terms of the spontaneous activation of auditory-verbal representations. This paper defends two kinds of self-monitoring approach against the spontaneous activation account. The defense requires first making some important clarifications (...) concerning what is at issue in the dispute between the two forms of theory. A popular but problematic self-monitoring theory is then contrasted with two more plausible conceptions of what the relevant self-monitoring deficits involve. The first appeals to deficits in the neural mechanisms that normally filter or attenuate sensory signals that are the result of one’s own actions. The second, less familiar, form of self-monitoring approach draws an important analogy between Wernicke’s aphasia and AVHs in schizophrenia. This style of self-monitoring theory pursues possible connections among AVHs, inserted thoughts, and the disorganized speech characteristic formal thought disorder. (shrink)

This chapter has two aims. First, I distinguish between two forms of testimonial injustice: identity-based testimonial injustice and content-based testimonial injustice. Second, I utilize this distinction to develop a partial explanation for the persistent lack of diverse practitioners in academic philosophy. Specifically, I argue that both identity-based and content-based testimonial injustice are prevalent in philosophical discourse and that this prevalence introduces barriers to participation for those targeted. As I show, the dual and compounding effects of identity-based and content-based testimonial (...) injustice in philosophy plausibly contribute to a lack of diversity in the social identities of practitioners and the discourses in which practitioners are engaged. (shrink)

In Aristotle’s account of change, lacking a form is called privation (Physics I.7 191a14). For example, someone takes on the form of being musical only from previously having the privation of being unmusical. However, he also states that “shape and nature are spoken of in two ways, for the privation too is in a way form” (Physics II.1 193b19). I will demonstrate that these seemingly contradictory statements are not actually in tension. Since all perceptible matter must be enformed, we would (...) have trouble discussing things that have yet to undergo generation, like menstrual fluid, and things that have undergone corruption, like corpses, if we did not cite the privation as a sort of form. I will argue that, given his commitment to hylomorphism, Aristotle is committed to privation being a form in a qualified sense. It cannot be a form in an unqualified sense because privation often spoils the matter such that it can no longer be reformed. The fact of the matter is we cannot draw a bright line between privation and form because the two are contraries and can be said to hold to different degrees at different points on a spectrum. (shrink)

An artwork in one culture and form, say European classical music, cannot be evaluated in the context of another, say Hindustani music. While a person educated in the traditions of European music can rationally evaluate and discuss her response to a string quartet by Beethoven, her response to music in a foreign culture is merely subjective. She might "like" the latter, but her response is merely subjective. In this paper, I discuss the role of artforms: why response can be "objectively" (...) discussed within artforms, but is nonetheless subjective across them. My discussion falls into two parts. First, I offer a psychological account of aesthetic response to art: cultural learning stabilizes this response across individuals who are educated in an artform. Second, I offer a cultural-evolutionary account of the diversity of artforms, adapting Darwin's Principle of the Divergence of Character to explain the multiplicity of art forms. (shrink)

Two hundred years after Darwin’s birth, the evolution of living systems is an accepted fact but there is scope for controversy on the mechanisms involved in such a process. Mainstream neo-Darwinism champions the role of natural selection (NS) as the fundamental cause of the evolutionary process as well as of random, contingent events at the genetic level as the main source of variation upon which NS performs its causal role. Thus, according to neo-Darwinism the course of biological evolution is quite (...) unpredictable and the past can only be partially reconstructed by means of a historical narrative.This second-class status for biology within the natural sciences as a merely descriptive, historical science results from the chronic neglect of biological form in the neo-Darwinian discourse. Hereunder I discuss the need for reintroducing form as the central object of biology, aiming at the identification of the general and fundamental principles of biological form. Such a formal biology may go beyond simple historical description achieving a complete, rational explanation of how previous and current morphologies corresponding to identifiable species were established, and so providing a rational foundation for predicting the possible outcomes of future biological evolution on earth and perhaps elsewhere in the universe. (shrink)

Following Freud’s analysis of the fragile line between the uncanny double and its comic redoubling, I identify the doubling of the double found in critical moments of Hegelian dialectic as producing a kind of comic effect. It almost goes without saying that two provides greater pleasure than one, the loneliest number. Many also find two to be preferable to three, the tired trope of dialectic as a teleological waltz. Two seems to offer lightness, relieving one from her loneliness and lacking (...) the complications of a third who comes in between. And yet, we learn through Marx and Freud that the double (even the double of tragedy and farce) borders on something closer to horror than comedy. -/- In the following, I would like to explore why four is funnier than two in my staging of dialectic as the doubling of the double or, to borrow a movie title from Laurel and Hardy, “Twice Two” (Roach et al. 1933a). I will begin by exploring the formulations of the double in the form of a pair of opposites and in the form of a pair of twins. The literary tropes of the double as the odd couple, on one side, and the twins, on the other, appear to serve very different narrative functions, which incite different kinds of affective responses from the audience. However, the form of the opposed double sometimes conceals the realization that the empty or fragmented content of the first is only reduplicated in the second. The “straight man” of the odd couple cannot see himself in his counterpart “the comic.” The redoubling of the double, however, forces not only the audience, but the original double on stage to confront what was already present, but unrealized, from the beginning. To illustrate this redoubling of the double within the opening of Hegel’s Science of Logic, I consider two short films by Laurel and Hardy in which the comic duo redoubles itself. The formula (2 x 2) produces a comic excess through the dialectical redoubling of there uncanny double. (shrink)

1. The no form action theory is a novel philosophical theory that transcends traditional dualisms such as matter and spirit, form and substance. It establishes a two-dimensional theoretical framework composed of form and no form, and uses this two-dimensional theory to understand various aspects of the world. 2. The three key actions of no form are: isolation action (e.g., distinguishing between different things), motive force action (e.g., driving changes in things), and manifestation action (e.g., allowing us to perceive things). These (...) three actions have strong "self-reflexivity". For example, the relationships between these three actions can be divided into: isolation relationship, motive force relationship, and manifestation relationship. These three relationships, in turn, belong to isolation action, motive force action, and manifestation action respectively. 3. The no form action theory have strong universality, capable of providing unified theoretical explanations across various disciplines. For example, it can be used to explain quantum entanglement phenomena in physics, as well as the mechanism of consciousness generation in psychology; it can explain ontology, as well as time and space; it can explain emotions, as well as logic. It can explain language, as well as the macroscopic world. 4. The completion of the core ideas of the no form action theory marks the beginning of a new historical stage in philosophical research. It provides a completely new set of methods and perspectives to understand the world, and has achieved a series of important results: (1) It offers new interpretations of the most fundamental philosophical concepts such as "being", "existence", "is", "freedom", "consciousness", "beauty", "space", "time", "basis", "cause", "self", "identity", etc., and introduces many new concepts. It binds these concepts technically within the framework of the no form action theory. This establishes a highly logical and explanatory philosophical system. As a result, philosophical research now has clearer, more rigorous, and more reliable technical operational methods. (2) It derives and explains the three basic laws of formal logic, and demonstrates that they are interdependent and form an inseparable whole. (3) It provides a new solution to Descartes' "mind-body problem" and also explains difficult issues in physics such as quantum entanglement. (4) It discovers a third dimension in the world besides time and space: "now". This discovery provides a completely new perspective for understanding reality, consciousness, and the nature of the universe. (shrink)

I argue that Kant’s distinction between the cognitive roles of sensibility and understanding raises a question concerning the conditions necessary for objective representation. I distinguish two opposing interpretive positions—viz. Intellectualism and Sensibilism. According to Intellectualism all objective representation depends, at least in part, on the unifying synthetic activity of the mind. In contrast, Sensibilism argues that at least some forms of objective representation, specifically intuitions, do not require synthesis. I argue that there are deep reasons for thinking that Intellectualism (...) is incompatible with Kant's view as expressed in the Transcendental Aesthetic. We can better see how Kant’s arguments in the first Critique may be integrated, I suggest, by examining his notion of the 'unity' [Einheit] of a representation. I articulate two distinct ways in which a representation may possess unity and claim that we can use these notions to integrate Kant’s arguments in the Aesthetic and the Transcendental Deduction without compromising the core claims of either Sensibilism or Intellectualism—that intuition is a form of objective representation independent of synthesis, and that the kind of objective representations that ground scientific knowledge of the world require synthesis by the categories. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The (...) paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

Are games essentially a form of make-believe, or essentially an act of struggling against obstacles? There have been several attempts to reduce one of these accounts to the other. Kendall Walton has argued for the primacy of the make-believe account of games. Even when we are struggling against obstacles in games, says Walton, we are engaged in a form of make-believe: we are making believe that these lines are real obstacles, that these points really matter. Bernard Suits has argued for (...) the primacy of the account of games as struggling against obstacles. Even when we are making believe in games, says Suits, we are still engaged in act act of struggling against obstacles. Usually we are struggling to keep the narrative going. I argue that Walton's and Suits' reductive attempts are both wrong: that there are two distinct activities, of making-believe and struggling against obstacles, neither of which is wholly reducible to a subset of the other. Importantly, in many games we are engaged in both making-believe and struggling against obstacles. But there are some games that are pure struggle with no make-believe (like games of real survival in the real wilderness). And there are games of pure make-believe, in which there are no obstacles or struggle. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...) in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

The object of study is consciousness. The activity of consciousness is called knowing. The study of a subject may only begin with immediacy, because a beginning implies that there is no prior mediation, i.e. no explicit differences or determinations. Such a beginning is mere being — what immediately is. Being as such is pure generality. Since consciousness is not a physical object that appears before the eyes like a tree, it has to be treated as an object of thought or, (...) as it is said, “before the mind’s eye.” When consciousness apprehends itself as an object, then the objective consciousness must be in the form of something immediate. Thus apprehension is in a purely receptive mode without intervention of explicit thinking or comprehension. So the first passive observation of immediate consciousness as an object reveals a consciousness that simply is. The knowing activity of this immediate consciousness is also immediate so that what it knows is immediate knowledge. Because of this immediacy (non-differentiation) there is no distinction made between consciousness and what it knows. A consciousness thus absorbed in the wealth of the world, i.e. in what it sees, hears, smells, touches and tastes, is sensuous consciousness or sense-certainty. The word ‘certainty’ implies immediate knowledge that something is. Thus sensuous certainty of something means that it is, and no further thought determination interrupts that immediate knowledge. “That” refers only to indeterminate being, whereas “what” refers to the determination of that being — these are two distinct indexicals. So here in sense-certainty only that is implied. Consciousness itself is just another immediate ‘this’ opposed to all the other immediate individual ‘thises’ that are encountered by the senses. This immediate consciousness is called “I.” Certainty is the connection between “I” and its object, but this connection or mediation is transparent (invisible) to or not known by sense-certainty in its immediacy. (shrink)

Few notions are more central to Aquinas’s thought than those of matter and form. Although he invokes these notions in a number of different contexts, and puts them to a number of different uses, he always assumes that in their primary or basic sense they are correlative both with each other and with the notion of a “hylomorphic compound”—that is, a compound of matter (hyle) and form (morphe). Thus, matter is an entity that can have form, form is an entity (...) that can be had by matter, and a hylomorphic compound is an entity that exists when the potentiality of some matter to have form is actualized.1 What is more, Aquinas assumes that the matter of a hylomorphic compound explains certain of its general characteristics, whereas its form explains certain of its more specific characteristics. Thus, the matter of a bronze statue explains the fact that it is bronze, whereas its form explains the fact that it is a statue. Again, the matter of a human being explains the fact that it is a material object, whereas its form explains the specific type of material object it is (namely, human). My aim in this chapter is to provide a systematic introduction to Aquinas’s primary or basic notions of matter and form. To accomplish this aim, I focus on the two main theoretical contexts in which he deploys them—namely, his theory of change and his theory of individuation. In both contexts, as we shall see, Aquinas appeals to matter and form to account for relations of sameness and difference holding between distinct individuals. (shrink)

For more than 200 years scholars have proceeded on the assumption that there was a controversy (in the sense of an argumentative exchange) between the bishop of Cork and Ross, Peter Browne (c. 1665–1735), and his nowadays more famous contemporary, the bishop of Cloyne, George Berkeley (1685–1753) about what we might call ‘the problem of divine attributes’. This problem concerns one of the most vexing issues for 17th /18th century Irish intellectuals. Simply put, it turns on two interconnected questions, namely (...) (1) an ontological question regarding God’s attributes and (2) a semantical question regarding the proper conception of analogy: -/- (1) Do God’s attributes only differ in degree or also in kind from their human counterparts? -/- (2) Is “analogical attribution” only concerned with the structure or the modus of the attribution? That is, is it a separate mode of speech (apart from the metaphorical and literal) or does it just mean we have to use analogies for our divine attributions? -/- In regard to the first question Berkeley argues the attributes of God and humans only differ in degree but not in kind (Alc. 4.22). Browne, on the other hand, is convinced that human and divine attributes differ in kind: “What Knowledge and Goodness are in the Nature of Man, that some inconceivable but correspondent Perfections are in the Nature of God […] which tho’ totally different in Kind from those Properties in us bearing the same Name” (Procedure, 138). Furthermore, Berkeley rejects the notion that analogical attribution is a separate mode of speech in addition to the literal and the metaphorical. Rather, it is an attribution made in the form of an analogy in which the words can be used literally or metaphorically (Alc. 4.21). By contrast, Browne repeatedly insists analogical attribution is more than just using analogies for attributing something to God. He thinks it is a separate mode of speech that ought to be distinguished from literal and metaphorical language (Procedure, 12, 23–29, 123–46). -/- Hence, there can be no doubt that Browne and Berkeley advance conflicting solutions to the problem of divine attributes. Yet, advancing disagreeing positions is not the same as having a (heated) argumentative exchange, i.e., a controversy. In contrast to the controversy-reading, I will defend the following view: Browne surely felt attacked by Berkeley’s elaborations in Alciphron (1732) and reacted to them in his Divine Analogy (1732/3). However, there was no argumentative exchange because Browne’s Procedure (1728) had virtually no influence on Berkeley when he was writing Alciphron. Furthermore, the available evidence suggests that Berkeley was indifferent to the (elaborate) criticisms of Alciphron found in Browne’s Divine Analogy. Thus, while the two bishops have differing positions and Browne reacted to Berkeley there is no reaction on Berkeley’s part and hence there is no argumentative exchange between the two at all, which is why their differing opinions are best described as such and not as a controversy. (shrink)

This paper examines the standard view of realization operative incontemporary philosophy of mind, and proposes an alternative, generalperspective on realization. The standard view can be expressed, insummary form, as the conjunction of two theses, the sufficiency thesis andthe constitutivity thesis. Physicalists of both reductionist and anti-reductionist persuasions share a conception of realization wherebyrealizations are determinative of the properties they realize and physically constitutive of the individuals with those properties. Centralto the alternative view that I explore here is the idea that (...) the requisite,metaphysically robust notion of realization is ineliminably context-sensitive. I shall argue that the sufficiency and constitutivity theses aretypically not jointly satisfied by any one candidate realizer, and that goingcontext-sensitive in one's metaphysics is preferable to the standard view.The context-sensitive views developed here are implicit in a range ofcommon views in both the philosophy of mind and the philosophy of biology,even if they have not been explicitly articulated, and even though theyundermine other views that are commonly endorsed. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at (...) all what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

Recently, some authors have begun to raise questions about the potential unity of 4E (enactive, embedded, embodied, extended) cognition as a distinct research programme within cognitive science. Two tensions, in particular, have been raised:(i) that the body-centric claims embodied cognition militate against the distributed tendencies of extended cognition and (ii) that the body/environment distinction emphasized by enactivism stands in tension with the world-spanning claims of extended cognition. The goal of this paper is to resolve tensions (i) and (ii). The proposal (...) is that a form of ‘wide computationalism’can be used to reconcile the two tensions and, in so doing, articulate a common theoretical core for 4E cognition. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed by (...) a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that (...) this under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

Moral realism faces two worries: How can we have knowledge of moral norms if they are independent of us, and why should we care about them if they are independent of rational activities they govern? Kantian constitutivism tackles both worries simultaneously by claiming that practical norms are constitutive principles of practical reason. In particular, on Stephen Engstrom’s account, willing involves making a practical judgment. To will well, and thus to have practical knowledge (i.e., knowledge of what is good), the content (...) of one’s will needs to conform to the formal presuppositions of practical knowledge. Practical norms are thus constitutive of practical knowledge. However, I will argue that the universality principles from which Engstrom derives the formal presuppositions of practical knowledge are reflectively and psychologically unavailable. As a result, they cannot help Kantian constitutivism provide an answer to moral realism's worries. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy and theory (...) inherits all the difficulties inherent in the general metatheory but has also significantly contributed to its advancement. In particular, the discussion on its mixed normative-descriptive character and complex composition has remained an important part of research in educational philosophy and theory. The two points seem to be indisputable. First, the content of educational philosophy and theory is a complex one, connecting different disciplines. Second, these disciplines are integrated within the logical form of practical inference or means-end reasoning. On the other hand, the character of consequence relation in this field, although generally recognized as specific, represents an unresolved prob- lem, a solution of which requires a sophisticated logical theory and promises to influence the self- understanding of educational philosophy and theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In this essay, I propose a reading of two contrasting passions, two kinds of erōs, in the "Symposium." On the one hand, there is the imperialistic desire for conquering and possessing that Alcibiades represents; and on the other hand, there is the productive love of immortal wisdom that Diotima represents. It’s not just what Alcibiades says in the Symposium, but also what he symbolizes. Alcibiades gives a speech in honor of Socrates and of his unrequited love for him, but even (...) here Alcibiades recounts his attempted seduction of Socrates as a failed conquest, as an unsuccessful attempt to violently take possession of something that Socrates has within him. Even more importantly, in 416 BCE (the dramatic date of Agathon’s symposium) Alcibiades was soon to encourage his fellow countrymen to set off on the ruinous Sicilian expedition. Alcibiades’s actions behind-the-scenes of the "Symposium" reveal the clearest manifestation of his imperialistic erōs (for political power in Athens). They also constitute some necessary background to the dialogue, which Plato’s Athenian readers would have had in mind. Where else can we catch a glimpse of this disastrous desire? It is best illustrated in Thucydides’s "History." I show that the beginnings of this political passion can already be seen in Pericles’s funeral oration (2.35-46, specifically 2.43.1) and that after Pericles’s death, Alcibiades stokes this erōs to such a fevered pitch that the Athenians agree to launch the tragic venture against Sicily. Opposed to this political passion, is Diotima’s. She tries to reorient this misguided erōs and presents an alternative form of desire for everlasting wisdom (philosophia). (shrink)

The expressions ‘form’, ‘structure’, ‘schema’, ‘shape’, ‘pattern’, ‘figure’, ‘mold’, and related locutions are used in logic both as technical terms and in metaphors. This paper juxtaposes, distinguishes, and analyses uses of [FOR these PUT such] expressions by logicians. No [FOR such PUT similar] project has been attempted previously. After establishing general terminology, we present a variant of traditional usage of the expression ‘logical form’ followed by a discussion of the usage found in the two-volume Chateaubriand book Logical Forms (2001 (...) and 2005)—the most comprehensive work on the subject ever written and in many ways the focus of this paper. Key Words: morphology, character, sense, sentence, proposition, form, structure, schema, alternative constituent, type, token . (shrink)

Freedom is generated in at least two distinct ways: as the ability to avoid perceived dangers and pursue perceived goods, and even to pursue complicated plans in those directions, freedom evolves. But as a social and political matter, freedom seems more subject to human will. The best social institutions -- the kind that serve to encourage or constrain freedom of choice -- also appear to be evolutionary products in some sense. Can there be too much freedom? Of course there can. (...) No constraint at all would guarantee personal and social disaster. Individual activity can pose serious dangers to nature and to culture. But how may we ensure that the constraints we may chose to impose our ones that are good for us? What we need to do is to find, as consistently as possible with the necessity that human individuals be able to use their local perception of local opportunity in pursuit of their own interests, a framework that emerges out of human practice; we should take advantage of lessons learned about evolution: those strategies work that are in tune with the forces at work within the niche. In our attempts to solve social problems, we can't afford to take our eyes off the characteristics of the individuals that make up the social world we hope to change. And in my view, here as elsewhere, the smallest intervention is likely to be the best. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

The dominant route to nondescriptivist views of normative and evaluative language is through the expressivist idea that normative terms have distinctive expressive roles in conveying our attitudes. This paper explores an alternative route based on two ideas. First, a core normative term ‘ought’ is a modal operator; and second, modal operators play a distinctive nonrepresentational role in generating meanings for the statements in which they figure. I argue that this provides for an attractive alternative to expressivist forms of nondescriptivism (...) about normative language. In the final section of the paper, I explore ways it might be extended to evaluative language. (shrink)

The purpose of this paper is to introduce a two level account of moral thinking that, unlike other accounts, does justice to three very plausible propositions that seem to form an inconsistent triad: (1) People can be morally virtuous without the aid of philosophy. (2) Morally virtuous people non-accidentally act for good reasons, and work out what it is that they ought to do on the basis of considering such reasons. (3) Philosophers engaged in the project of normative ethics are (...) not wasting their time when they search after highly general moral principles which could not be discovered or be justifiably accepted through non-philosophical thinking, and which specify the good reasons that virtuous people act on, as well as provide a criterion or criteria for determining what it is that people ought to do. (shrink)

For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different functions of truthmaking. (...) I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (shrink)

In a recent paper, Tristan Haze offers two examples that, he claims, are counterexamples to Nozick's Theory of Knowledge. Haze claims his examples work against Nozick's theory understood as relativized to belief forming methods M. We believe that they fail to be counterexamples to Nozick's theory. Since he aims the examples at tracking theories generally, we will also explain why they are not counterexamples to Dretske's Conclusive Reasons Theory of Knowledge.

SummaryIn this paper, two different theoretical problems of induction are delineated. The first problem is addressed; the second problem is deferred to the sequel to this paper. The first problem of induction is taken to be the seemingly unformalizable nature of traditional inductive arguments. It is shown that the problem does not arise out of some particularly dubious argument form , but rather from the presupposition that inductive “logic” is, like deductive logic, assertoric. Rather , inductive logic is dialectical in (...) nature.RésuméDans cet article, deux problèmes théoriques de l'induction sont formulés. Le premier est traité, le second le sera dans une suite à cet article. Le premier problème de l'induction est ici la nature apparemment non formalisable des arguments inductifs traditionnels. L'auteur montre que le problème ne provient pas d'une forme d'argumentation particulièrement douteuse , mais au contraire de la présupposition que la «logique» inductive est, comme la logique déductive, assertorique. Il soutient au contraire qu'elle est par nature dialectique.ZusammenfassungIn der vorliegenden Arbeit werden zwei theoretische Probleme der Induktion formuliert, wovon das zweite in einem anderen Artikel behandelt werden soll. Das erste Problem betrifft die scheinbar nicht formalisierbare Natur der üblichen induktiven Argumente. Der Verfasser zeigt dass das Problem nicht von einer besonders zweifelhaften Argumentationsform herrührt , sondern von der Voraussetzung, dass die induktive «Logik» — wie die deduktive Logik — assertorisch sei. Es wird dagegen gezeigt, dass die induktive Logik dialektischer Natur ist. (shrink)

Expertise is traditionally classified into perceptual, cognitive, and motor forms. I argue that the empirical research literature on expertise gives us compelling reasons to reject this traditional classification and accept an alternative. According to the alternative I support there is expertise in forming impressions, which further divides into expertise in forming sensory and intellectual impressions, and there is expertise in performing actions, which further divides into expertise in performing mental and bodily actions. The traditional category of cognitive expertise splits (...) into two--expertise in forming intellectual impressions and expertise in performing mental actions. I consider and address a challenge to my case in favor of adopting this alternative classification of expertise that derives from dual process theories of cognition. (shrink)

Through a close reading of the works of John Dewey and Aldo Leopold, I demonstrate that it is possible to reframe debates about the environment in language better suited to robust and inclusive public discourse. There are at least two ways of framing the instrumental relationship between human and environmental health: (i) in terms of control and (ii) in terms of restraint. On the one hand, means of control are associated with an anthropocentric view of environmental value: the environment has (...) worth only insofar as it provides resources for human benefit. On the other hand, means of restraint reflect greater concern for environmental health, sustainable living, non-anthropocentric (whether eco- or bio-centric) environmental value and lifestyles in harmony with nature, similar to the rhythmic relationship between human and environment captured in the writings of Henry David Thoreau and John Muir. While John Dewey defends an instrumentalism of control, Aldo Leopold supports an opposing instrumentalism of restraint. At first blush, these two concepts appear to form a dualism, as incompatible dyads in a permanently bifurcated relationship. However, the matter is not quite so simple--or so I argue. Dewey and Leopold's concepts of environmental instrumentalism prove more compatible than this simple control/restraint dichotomy suggests. Nevertheless, it is helpful to frame environmental issues in terms of these two competing instrumentalism. To test the distinction's usefulness, I examine the wilderness debate, the global warming controversy and a more local matter, attempting to frame these environmental discourses in terms of an instrumentalism of control and an instrumentalism of restraint. (shrink)

This is a proposal for rethinking the main lines of Plato’s philosophy, including some of the conceptual tools he uses for building and maintaining it. Drawing on a new interpretive paradigm for Plato’s overall vision, the central focus is on the so-called Forms. Regarding the guiding paradigm, we propose replacing the dualism of a world of Forms separated from a world of particulars, with the monistic model of a hierarchically structured universe comprising interdependent levels of reality. Regarding the (...) tools of the trade, we distinguish between three constructs that have come, one and all, and largely indiscriminately, to be regarded as Forms: Ideal Forms, Conceptual Forms, and Relational Forms. This recalibration of what we know of Plato’s outlook, tools, and methods, together with a realignment of these with his general aims, will also help restore the philosopher’s emphasis on that which is good, a perspective often blurred in the structure of two worlds. (shrink)