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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

Although the Phaedo never mentions a Form of Soul explicitly, the dialogue implies this Form’s existence. First, a number of passages in which Socrates describes his views about Forms imply that there are very many Forms; thus, Socrates’ general description of his theory gives no ground for denying that there is a Form of Soul. Second, the final argument for immortality positively requires a Form of Soul.

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)

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)

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)

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)

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

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)

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)

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)

What could be more inert than mathematical objects? Nothing distinguishes them from rocks and yet, if we examine them in their historical perspective, they don't actually seem to be as lifeless as they do at first. Conceived as they are by humans, they offer a glimpse of the breath that brings them to life. Caught in the web of a language, they cannot extricate themselves from the form that the tensive forces constraining them have given them. While they do not (...) serve a specific biological purpose, they are still, above all, possibilities of life, objects imbued with power. Though they know neither pain nor laughter, their mode or style of existence endows them with a special form of life that structures the givenness, the matter of the other entities in which they participate. Because of this, by intervening in the framework of these entities, mathematical objects condition their form of space, enjoining the entities to submit to a structure that they have not chosen. (shrink)

The thinking demonstrated by the "no form action" theory is completely new, and no one has ever used this kind of thinking to consider problems. Using no form and form as the two dimensions to describe this world is like using the x-axis and y-axis as the two dimensions of a Cartesian coordinate system in mathematics. The no form here means having no form at all. The theory established by these two dimensions is called two-dimensional theory, which avoids the shortcomings (...) of dualism and the troubles it brings to philosophy. Since no form has no form at all, we cannot study it directly or use it directly. This is also a problem recognized by past philosophers (for example, Aristotle believed that pure no form does not exist). However, I have found three no form actions (manifestation action, isolation action, and motive force action). Through these three no form actions, we can explore this world and establish a metaphysical philosophical system called no form action theory. This allows us to deeply and effectively explain consciousness, logic, dialectics, freedom, aesthetics, time, space, and so on. Not only that, as a philosophical theory, the no form action theory can also explain modern quantum mechanics, which is something that previous metaphysical philosophical systems could not do. The no form action theory is a philosophical theory established with the main line of continuously interpreting consciousness because breaking through the difficult problem of consciousness is an essential path to achieve theoretical breakthroughs. -/- The core ideas of the first five sections of the No Form Action Theory: 1, The world can be understood using a two-dimensional framework consisting of "form" and "no form". 2, There are three key "actions" of no form: isolation, motive force, and manifestation. These create the possibility for things like individual objects, change, and perception to occur. Anything can be understood from the perspective of these three no form actions, which provides three approaches for research. 3, The three no form actions provide three perspectives to understand reality - the world of isolation (macro world), the world of motive force (quantum world), and the world of manifestation (world of consciousness). 4, Current research cannot fully explain consciousness because it focuses too much on form (e.g. physical processes in the brain) while neglecting no form. Studying consciousness requires transcending to the no form dimension. 5, Through the three perspectives of no form actions (isolation, motive force and manifestation), you proposed a classification of essence, substance and subject, which helps clarify confusions in concepts. 6, Humans only have three abilities: isolation, motive force and manifestation, which limits the human way of recognizing the world. 7, The theory uses no form actions themselves to explain the theory of no form actions, which is a very innovative way of thinking. Overall, this is an original and promising theory that could significantly advance consciousness studies and other fields by providing a new conceptual framework and ways of thinking. It has substantial value and depth for the progress of philosophy. (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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Man avoids solitude through _divertissement_ because he is afraid of what staying alone entails: thinking about himself (Pascal). Furthermore, man seeks isolation in order to gain ambition and reputation (Montaigne). However, solitude is really different from isolation and it is a fundamental emotional condition. Heidegger’s analysis of the forms of boredom adapts to and relates to the specific dynamic of solitude, showing that it is a part of human being’s structure despite his experience appearing controversial. Even if man lives (...) in modern apartments and one-room apartments, he is in a condition of co-isolation (Sloterdijk) that differs from solitude. There is a space solitude (Foucault) that involves – or can involve – human isolation, but we only experience essential solitude in sleep (Merleau-Ponty, Blanchot, Perec) where man detached himself from himself and he is really alone, from himself and the others. The forms of solitude lead the analysis towards impersonal activity. (shrink)

Conceptualism—the view that universals are mental entities without an external, independent, or substantial reality—has enjoyed popularity at various points throughout the history of philosophy. While Plato’s Theory of Forms is not a conceptualist theory of universals, we find at Parmenides 132b–c the startling conceptualist suggestion from a young Socrates that each Form might be a noēma, or a mental entity. This suggestion and Parmenides’ cryptic objections to it have been overshadowed by their placement directly after the notoriously difficult Third (...) Man Argument, and before the Likeness Regress. However, in the background of 132b–c, we find illuminating assumptions behind Parmenides’ arguments against the Theory of Forms in the first half of the dialogue. We also find in this text a set of implied criteria for Platonic concepthood. While in the Platonic corpus, Forms are explanantia for many of the phenomena explained by concepts in contemporary philosophy, concepts do seem to have an important epistemic role in Plato’s philosophy. An account of Platonic concepthood therefore opens the door for new ways of understanding the Platonic corpus as a whole. My focus in this paper is to uncover these assumptions and criteria through a close reading of Socrates’ conceptualist suggestion and Parmenides’ truncated objections to it at Parmenides 132b–c. (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)

The perception of brightness differences in Ehrenstein figures and of illusory contours in phase-shifted line gratings was investigated as a function of the contrast polarity of the inducing elements. We presented either continuous lines or line-like arrangements composed of aligned dashes or dots whose spacing was varied. A yes/no procedure was used in which naive observers had to decide whether or not they perceived a brightness difference in a given Ehrenstein figure or an illusory contour in a phase-shifted line grating. (...) The results show that brightness differences are perceived to some extent in Ehrenstein figures with inducers of opposite polarity of contrast; however, the percentage of yes response was systematically lower and response times were longer than for figures with inducers of the same polarity. Phase-shifted line gratings with lines of opposite polarity of contrast yielded stronger illusory contours and shorter response times than those with lines of the same polarity. When the sign of contrast was not the same within a given line of induction, neither differences in brightness nor illusory contours were perceived. The results suggest that the mechanisms that lead to apparent differences in brightness are more sensitive to input of the same contrast polarity, the mechanisms generating illusory contours more sensitive to input of opposite polarity. The data are discussed in the light of a multistage approach to illusory form perception and some implications for cortical models of illusory contour integration are discussed. (shrink)

This article canvases some of the issues involved in the idea of form as a practice in Kant, Blumenberg and Foucault, and it also outlines the different contexts and approaches the individual papers collected in this Special Issue use to explore this idea.

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)

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)

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)

A good metaphysical account of logical form, must make clear why logical form is logical. However, this task has proved to be very elusive. Here, I analyze different attempts to meet this challenge and defend an inferential externalism where logical form is grounded on external logical relations as our most promising option.

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)

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)

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)

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)