This inaugural lecture, delivered on 17 November 2021 at the University of Neuchâtel, addresses the question: Are material objects analyzable into more basic constituents and, if so, what are they? It might appear that this question is more appropriately settled by empirical means as utilized in the natural sciences. For example, we learn from physics and chemistry that water is composed of H2O-molecules and that hydrogen and oxygen atoms themselves are composed of smaller parts, such as protons, which are in (...) turn composed of yet smaller parts, such as quarks, and so on. While the question at the center of this lecture might thus appear to fall more appropriately into the empirical domain of natural science, I argue that metaphysics in fact has an important role to play in determining how best to answer the question before us. More concretely, I propose that the Aristotelian doctrine of hylomorphism, when appropriately interpreted, provides the best metaphysical answer to the question of whether and how material objects are analyzable into more basic constituents. Hylomorphism holds that those entities to which this doctrine applies are, in some sense, compounds of matter (“hylē”) and form (“morphē” or “eidos”). Thus, the title of this lecture, “Form, Matter, Substance”, refers to the claim that lies at the center of the doctrine of hylomorphism, as applied to the domain of material objects, namely that sensible substances are the result of combining matter and form in the right sort of way; or, for short, “form + matter = substance”. I begin in Section II by providing some historical background which brings out Aristotle’s motivations for proposing the doctrine of hylomorphism in the context of his analysis of change. Section III turns to some of the main features of the contemporary hylomorphic theory I have defended especially in Koslicki (2008) and Koslicki (2018). Section IV discusses some challenging questions concerning artifacts which arise for both hylomorphic and other approaches to the metaphysics of concrete particular objects. Section V concludes by summarizing why, as contemporary metaphysicians, we should prefer a hylomorphic theory over its competitors as an analysis of concrete particular objects that is compatible with our current scientific understanding of the world. (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)

Hylomorphism is the Aristotelian theory according to which substances are composites of matter and form. If my house is a substance, then its matter would be a collection of bricks and timbers and its form something like a structure that unites those bricks and timbers into a single substance. Contemporary hylomorphists are divided on how to understand forms best, but a prominent group of theorists argue that forms are emergent powers. According to such views, when material components are (...) arranged appropriately, a novel substance emerges with the power to impose unity on its components through time. I argue that these accounts of form fall prey to a bootstrapping problem, and so, suffer from issues of redundancy, given plausible assumptions about inherence. In their place, I suggest an ontologically minimalist conception of forms as collective manifestations of the powers of matter. (shrink)

Eugenics is commonly thought of as having endured as science and social movement only until 1945. With the advance of both reproductive and enhancement technologies, however, concern has arisen that eugenics has resurfaced in new forms. In particular, the eugenic potential of the Human Genome Project led to talk of the rise of ‘newgenics’ and of a backdoor to eugenics. This article focuses on such concerns deriving from the practice of prenatal screening and technologies that increase our ability to generate (...) information about the kinds of children we are likely to have. Given individual preferences and social norms concerning what traits are intergenerationally desirable, how should we act and what practices and policies should we endorse or scrutinise? This article will concentrate on key components of eugenic thinking present today and emphasise continuities between the eugenic past and new- genic present in the subhumanisation of people with cognitive or intellectual disabilities. (shrink)

When Aristotle argues at the Metaphysics Z.17, 1041b11–33 that a whole, which is not a heap, contains ‘something else’, i.e. the form, besides the elements, it is not clear whether or not the form is a proper part of the whole. I defend the claim that the form is not a proper part within the context of the relevant passage, since the whole is divided into elements, not into elements and the form. Different divisions determine different (...) senses of ‘part’, and thus the form is not a part in the same sense as the elements are parts. I object to Koslicki’s (2006) interpretation, according to which the form is a proper part along the elements in a single sense of ‘part’, although she insists that the form and the elements belong to different categories. I argue that Koslicki’s reading involves a category mistake, i.e. the conjunction of items that do not belong to the same category (Goldwater 2018). Since for Aristotle parthood presupposes some kind of similarity of parts, the conjunction of form and elements requires treating these items as somehow belonging to the same category, e.g. ‘being’, but no such category exists. (shrink)

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

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)

This paper raises some questions about the formalization of sentences containing ‘if’ or similar expressions. In particular, it focuses on three kinds of sentences that resemble conditionals in some respects but exhibit distinctive logical features that deserve separate consideration: whether-or-not sentences, biscuit conditionals, and concessive conditionals. As will be suggested, the examples discussed show in different ways that an adequate formalization of a sentence must take into account the content expressed by the sentence. This upshot is arguably what one should (...) expect on the view that logical form is determined by truth conditions. (shrink)

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)

In my book Logical Form I outline some reasons for thinking that, in the sense of «logical form» that matters to logic, logical form is determined by truth conditions. This paper compares three theories of propositions that might be employed to substantiate the underlying notion of truth conditions: the naturalized propositions theory, the truthmaker theory, and the classificatory theory. Its aim is to show that, while the naturalized propositions theory and the truthmaker theory accord equally well with (...) the idea that logical form is determined by truth conditions, the classificatory theory is more problematic in some respects. (shrink)

We propose a new approach to the study of introspection. Instead of asking what form introspection actually takes in humans or other animals, we ask what forms it could take, in natural or artificial minds. What are the dimensions along which forms of introspection could vary? This is a relatively unexplored question, but it is one that has the potential to open new avenues of study and reveal new connections between existing ones. It may, for example, focus attention on (...) possible forms of introspection radically different from the human one and help to integrate competing theories of human introspection in a non-adversarial manner. We introduce and motivate the project, provide a preliminary mapping of the space of possible forms of introspection, and sketch a programme for interdisciplinary research on the topic. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

The logical problem of artificial intelligence—the question of whether the notion sometimes referred to as ‘strong’ AI is self-contradictory—is, essentially, the question of whether an artificial form of life is possible. This question has an immediately paradoxical character, which can be made explicit if we recast it (in terms that would ordinarily seem to be implied by it) as the question of whether an unnatural form of nature is possible. The present paper seeks to explain this paradoxical kind (...) of possibility by arguing that machines can share the human form of life and thus acquire human mindedness, which is to say they can be intelligent, conscious, sentient, etc. in precisely the way that a human being typically is. (shrink)

This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some (...) established undefinability results. Section 4 sketches an account of vague quantifier expressions along the lines suggested. Finally, section 5 addresses the vexed issue of logicality. (shrink)

Those who wish to defend the role of aesthetic values in science face a dilemma: Either aesthetic language is used metaphorically for what are ultimately epistemic features, or aesthetic language is used literally but it is difficult to see the importance of such values in science. I introduce a new account that gets around this problem by looking to an overlooked source of aesthetic value in science: the relation between form and content. I argue that a fit between the (...) content of a thought experiment, and the way in which that content is formulated, can have important epistemic pay offs through contributing to scientific understanding. (shrink)

This chapter reviews some of the history of discussions of logical form and offers a truth-theoretic account that traces back to Donald Davidson.

Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then compared with (...) stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form. (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)

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)

The materialist approach to the body is often, if not always understood in ‘mechanistic’ terms, as the view in which the properties unique to organic, living embodied agents are reduced to or described in terms of properties that characterize matter as a whole, which allow of mechanistic explanation. Indeed, from Hobbes and Descartes in the 17th century to the popularity of automata such as Vaucanson’s in the 18th century, this vision of things would seem to be correct. In this paper (...) I aim to correct this inaccurate vision of materialism. On the contrary, the materialist project on closer consideration reveals itself to be, significantly if not exclusively, (a) a body of theories specifically focused on the contribution that ‘biology’ or rather ‘natural history’ and physiology make to metaphysical debates, (b) much more intimately connected to what we now call ‘vitalism’ (a case in point is the presence of Théophile de Bordeu, a prominent Montpellier physician and theorist of vitalism, as a fictional character and spokesman of materialism, in Diderot’s novel D’Alembert’s Dream), and ultimately (c) an anti-mechanistic doctrine which focuses on the unique properties of organic beings. To establish this revised vision of materialism I examine philosophical texts such as La Mettrie’s Man a Machine and Diderot’s D’Alembert’s Dream; medical entries in the Encyclopédie by physicians such as Ménuret and Fouquet; and clandestine combinations of all such sources (Fontenelle, Gaultier and others). (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)

In previous work, I have drawn attention to certain systematic differences among philosophical traditions as regards to the literary forms that are prevalent in each. In this paper, however, I focus on the commentary form. I raise the question of why the use of commentaries abounds in most traditions except those transmitted in the English language and suggest that problems of translation are central to this issue. I argue that the appearance of commentaries in a philosophical tradition is a (...) criterion of such untranslatability that emerges in a broader cultural, economic, political, and religious context. Features of the relation between language and forms of communication in the history of philosophy are here explicated, concentrating especially on the German case. (shrink)

Philip Goff has recently argued that due to the ‘subject-summing problem’, panpsychism cannot explain consciousness. The subject-summing problem is a problem which is analogous to the physicalist's explanatory gap; it is a gap between the micro-experiential facts and the macro-experiential facts. Goff also suggests that there could be a solution by way of a ‘phenomenal bonding relation’, but believes that this solution is not up to scratch because we cannot form a positive not-merely-role-playing concept of this relation. In this (...) paper, I argue that the phenomenal bonding solution is up to scratch. I argue that the panpsychist, by carefully inspecting their phenomenology and scrutinising their concepts, can form a positive concept of the phenomenal bonding relation. By doing this they can start to get around their explanatory gap. (shrink)

critical analysis of logical form of predications of truth vs predications of fact.

I offer a meta-level analysis of realist arguments for the reliability of ampliative reasoning about the unobservable. We can distinguish form-driven and content-driven arguments for realism: form-driven arguments appeal to the form of inductive inferences, whilst content-driven arguments appeal to their specific content. After regimenting the realism debate in these terms, I will argue that the content-driven arguments are preferable. Along the way I will discuss how my analysis relates to John Norton’s recent, more general thesis that (...) the grounds for licit induction are always material. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (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, (...) class='Hi'>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)

W. J. T. Mitchell's "Spatial Form in Literature: Toward a General Theory" (Critical Inquiry 6 [Spring 1980]: 539-67) raises some fundamental questions about the concept of form itself and makes some large claims for the centrality of spatial form not only in modern criticism but in our entire culture. I wish to address a few of the questions raised by his discussion. First, Mitchell posits an identity between spatial form and "synchronic structural models" as if all (...) explanatory models abstracted from temporal alteration were necessarily spatial. (shrink)

Benardete presents a version of Zeno's dichotomy in which an infinite sequence of gods each intends to raise a barrier iff a traveller reaches the position where they intend to raise their barrier. In this paper, I demonstrate the abstract form of the Benardete Dichotomy. I show that the diagnosis based on that form can do philosophical work not done by earlier papers rejecting Priest's version of the Benardete Dichotomy, and that the diagnosis extends to a paradox not (...) normally classified as a dichotomy. I show how the form is exploited to generate paradox. Introduction The form of the Benardete dichotomy 2.1 The unsatisfiable pair diagnosis Applying the unsatisfiable pair diagnosis 3.1 Perez Laraudogoitia 3.2 Hawthorne 3.3 Angel 3.4 Yablo and Sorensen Exploiting the form. (shrink)

The Spiritual Forms in Nicolai Hartmann’s critical ontology. For a critical-genetic interpretation of The Problem of Spiritual Being. The Author critically discusses the theoretical assumptions underlying Nicolai Hartmann’s 1933 The Problem of Spiritual Being. The Author deals with the main categorial problems involved in the Hartmannian discussion about the spiritual being, also looking at his previous production. In particular, the Author analyzes the position of the ontic level of spiritual being with respect to the previous three real ontic levels (inorganic, (...) organic, psychological) and the mutual relationship between the three fundamental forms of spiritual being identified by Hartmann (personal, objective, objectified). The Author believes that the 1933 volume has been poorly considered in its direct links with the overall project of critical ontology. (shrink)

Hylomorphism is the theory that objects are composites of form and matter. Recently it has been argued that form is structure, or the arrangement of an object's parts. This paper shows that the principle of form cannot be ontologically exhausted by structure. That is, I deny form should be understood just as the arrangement of an object's parts. I do so by showing that structure cannot play the role form is supposed to in a certain (...) domain of objects, specifically, in mereological simples. Thus, I show that Hylomorphism does not reduce to Structuralism. I also draw out some important consequences from my argument for Hylomorphism in general. (shrink)

Deleuze argued that a fundamental mutation in the concept of time occurred in Kant. In antiquity, the concept of time was subordinated to the concept of movement: time was a ‘measure’ of movement. In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an autonomy of its own: time becomes "the pure and empty form" of everything that moves and changes. What is essential in the theory of time is not the distinction between objective (...) ‘clock time’ (or physical time) and the subjective experience of ‘time consciousness,’ since both of them measure movements, whether the movement of extensive objects or intensive states. What is fundamental is rather the relation between time and movement, since time can only assume its own concept when it ceases to be subordinate to movement, whether that movement is objective or subjective. This article examines how Kant inverted the relation between time and movement, and how Deleuze’s own theory of time builds on Kant’s revolution and extends it further. (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)

We revisit the Marxist debate on the commodity form. By following the thought of Alfred Sohn-Rethel and Slavoj Žižek, we attempt to understand the commodity form through the Kantian categories a priori. Sohn-Rethel explores the proposition that there can be no cognition independent of its historical and social conditions and puts forward the daring conclusion of an ontological unity between knowledge and commodity exchange. We suggest that Sohn-Rethel’s thought finds new relevance nowadays, under the prevalence of a cognitive (...) capitalism. We discuss the reformulation of relations of production and consumption under cognitive capitalism and show how knowledge-led immaterial and affective labour adds a higher value to the commodities into which it is embodied. Above all, the commodity form in cognitive capitalism becomes biopolitical. (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 standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the (...) same time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (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)

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)

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

Nietzsche sometimes praises the drive to order—to simplify, organize, and draw clear boundaries—as expressive of a vital "classical" style, or an Apollonian artistic drive to calmly contemplate forms displaying "epic definiteness and clarity." But he also sometimes harshly criticizes order, as in the pathological dialectics or "logical schematism" that he associates paradigmatically with Socrates. I challenge a tradition that interprets Socratism as an especially one-sided expression of, or restricted form of attention to, the Apollonian: they are more radically disparate. (...) Beyond strengthening the case for this basic point, I develop a distinctive account of what, exactly, distinguishes the Apollonian-classical and Socratic forms of order. To this end, I advance interrelated interpretations of Apollonian-classical simplicity and the "cold" calm that it elicits, by contrast to superficially similar Socratic phenomena. This illuminates Nietzsche's broader ambivalence toward science, in part by clarifying the nature and value of an idealized Apollonian science. (shrink)

The paper emphasizes the inadequacy of formal semantics, the classical paradigm in semantics, in treating contextual dependence. Some phenomena of contextual dependence threaten one central assumption of the classical paradigm, namely the idea that linguistic expressions have a fixed meaning, and utterances have truth conditions well defined. It is possible to individuate three forms of contextual dependence: the one affecting pure indexicals, the one affecting demonstratives and "contextual expressions", and the one affecting all linguistic expressions. The third type of dependence (...) is top-down: context, and not only linguistic material, shows which variables must be instantiated, relying on context itself. The generalization of underdetermination to all linguistic expressions is in fact a kind of metadependence: the mode of dependence itself depends on context. (shrink)

One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...) the findings concerning indecision in philosophy and the treatment of indecision in argumentation theory. By investigating what philosophical forms and norms of indecision are involved in argumentation theory, we can improve our understanding of the different uncertain evidential situations in argumentation theory. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

The hard problem – focusing essentially on vision here – is in fact the problem of the origin of our image of the external world. This formulation in terms of the “image” is never seen stated, for the forms populating our image of the world are considered computable, and not considered qualia – the “redness” of the cube is the problem, not the cube as form. Form, however, cannot be divorced from motion and hence from time. Therefore we (...) must examine the classical, spatial metaphysic of space and time, for practical purposes initiated by Galileo, wherein the real has been equated with the quantitative and wherein quality has been stripped from the material world. In this metaphysic, which sees form as quantitative or computable, the origin of qualia is problematic, with a problem of even greater primacy becoming the “memory” that supports the transforming events of perception, e.g., rotating cubes, buzzing flies, twisting leaves. It is this memory, supporting time-extended, flowing events, that necessarily supports all qualia. The concept of storage of “snapshots” of time-flowing events, a notion which the classic metaphysic engenders, is unworkable as a solution to the perception of these flows. Form, in fact being dynamic and defined over flowing fields, equally is a quality, equally requires this memory, and since forms populate the image, the origin of the entire image is indeed a problem. The counter-proposal becomes Bergson’s temporal metaphysic wherein motion is indivisible (or non-differentiable), the global motion of the universal field itself then carrying an intrinsic form of memory. In this framework, with this field viewed as holographic, Bergson provides a unique solution – one that leaves the problem of representation behind – as to how the brain specifies the qualitative image of the dynamically transforming external world. (shrink)

This article argues for an interpretation of Aristotle’s biological account of familial resemblance that allows us to read Aristotle’s embryology as employing the same concept of “form” as he employs in his Metaphysics. The dominant view for the last several decades has been that in order to account for the phenomenon of inherited characteristics, Aristotle’s biology must appeal to a “sub-specific” form, one that includes all of the traits that parents pass on to their offspring. That view, however, (...) is not only inconsistent with Aristotle’s essentialist metaphysics, but it also renders the embryological theory internally inconsistent. The interpretation I offer avoids both inconsistencies, and better coheres with what he actually says in Generation of Animals. (shrink)

Plato's Phaedo is a literary gem that develops many of his most famous ideas. David Ebrey's careful reinterpretation argues that the many debates about the dialogue cannot be resolved so long as we consider its passages in relative isolation from one another, separated from their intellectual background. His book shows how Plato responds to his literary, religious, scientific, and philosophical context, and argues that we can only understand the dialogue's central ideas and arguments in light of its overall structure. This (...) approach yields new interpretations of the dialogue's key ideas, including the nature and existence of 'Platonic' forms, the existence of the soul after death, the method of hypothesis, and the contemplative ethical ideal. Moreover, this comprehensive approach shows how the characters play an integral role in the Phaedo's development and how its literary structure complements Socrates' views while making its own distinctive contribution to the dialogue's drama and ideas. (shrink)

Given Aristotle’s response to Plato’s views by positing a cathartic function for tragedy, it is understandable that an author opposing him through the development of a non-Aristotelian theatrical theory would spontaneously draw closer to Platonic thought. However, Brecht’s stance goes beyond this spontaneous proximity in this debate. This article challenges those critics who have overlooked the direct relationship between Plato and Brecht, and it offers a reasoned decision on Walter Benjamin’s verdict that epic theatre is a form of Platonic (...) drama. Moreover, it argues that Brecht’s endeavour aimed to create a theatre that remained impervious to Plato’s critiques. The article analyzes Brecht’s achievements in epic theatre as an expression of disenchantment, demonstrating how, through the techniques he developed, he radically dismantled the magical effect that was essential to Aristotelian theatre. (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)

One family of maximizing act consequentialist theories are actualist direct theories. Indeed, historically there are at least three different forms of actualist direct consequentialism (due to Bentham, Moore, and contemporary consequentialists). This paper is about the logical differences between these three actualist direct theories and the differences between actualist direct theories and their competitors. Three main points emerge. First, the sharpest separation between actualist direct theories and their competitors concerns the so-called inheritance principle. Second, there are a myriad of other (...) logical differences among actualist direct theories. Third, one theory (Moore's theory) stands out among actualist direct theories because it entails a variety of logical principles. This fact may count in favor of that theory. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a (...) metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)