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)

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)

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 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)

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 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)

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)

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.

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.

Mark Eli Kalderon presents an original study of perception, taking as its starting point a puzzle in Empedocles' theory of vision: if perception is a mode of material assimilation, how can we perceive colors at a distance? Kalderon argues that the theory of perception offered by Aristotle in answer to the puzzle is both attractive and defensible.

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)

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 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 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)

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)

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

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)

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 paper demonstrates the innovative character of the approach to metaethics underlying John Dewey’s pragmatism. Dewey's theory of evaluation is contrasted with one of the most dominant contemporary metaethical theses: constructivism. I show that the insistence placed by metaethical constructivists on the actor’s practical point of view, on the rejection of the subjective preferences model, and on a specific form of ethical antirealism and naturalism echoes some of the most crucial claims made by Dewey. This argumentation leads to my (...) main hypothesis: an analysis of Dewey's conception of evaluation allows us to highlight the groundbreaking character of its metaethical approach—an approach that will be characterized as fairly constructivist. (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)

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)

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)

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)

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)

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

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)

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)

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)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

The current image of Georg Lukács (1885-1971) is widely swayed by an interpretative standard grounded on a deep partition between his young (1910-1918),intermediate (1918-1930) and mature (1930-1971) intellectual production. Despite rejecting an undeniable discontinuity in Lukács’ philosophical evolution,especially between his pre-Marxist works (The Soul and the Forms and Theory of Romance) and the post-1918 Marxist production, I aim for a global reconsideration of Lukács’ philosophy, evaluating a greater unity in his thought. A reflection on ethical problems, specifically on the matter (...) of responsibility, emerges – and not by chance – during different turning points of Lukács’ personal life. On the poverty of Spirit (1913), Tactic and Ethic (1918) and The social responsibility of the philosopher (1960 ca.) are the three essays in which Lukács attempts in different ways to give a philosophical legitimation of some decisive biographical choices, such as his separation from Irma Seidler (1911), his adhesion to the Communist Party (1918) and his acceptance of Socialism, even after the dramatic events of Budapest in 1956. A more unitary consideration of Lukács’ thought could be reached only through a deeper reflection on the content of the ethical problem of responsibility in his thinking. Despite their differences, the essays mentioned above are united in terms of the meaning of a true responsibility,which Lukács conceives always in a direct connection – maybe in an excessively binding way ‒ between individual choice and the course of history. (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)

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)

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)

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)

Disintegration is the most important step for drug bioavailability because after, the disintegration process, the ingredients of solid dosage forms dissolve and become bioavailable. Generally, the tablets and capsules should be taken with a glass of water otherwise the manufacturer gives instructions to use the proper beverage. Several drugs are taken with different forms of beverages to ensure easy swallowing of the tablet, masking the bad taste of the drug and overcoming the drug aftertaste, these beverages can influence the disintegration (...) of the solid dosage form. The most common cold beverages consumed by the Libyan population are juice, milk, and Coca-Cola. These beverages are consumed without awareness of the possible effect of these beverages on drugs, especially over-the-counter drugs such as analgesic, antipyretic, and anti-inflammatory drugs that are taken without a prescription. This study aimed to evaluate the influence of three beverages, namely: orange juice, milk, and Coca-Cola on the disintegration time of four over-the-counter-drugs: Panadol, Congestal, Brufen, and Reality Extra using disintegration test of drugs in 0.1 N HCL and in hybrid medium prepared by combination of 150 ml 0.1 N HCL and 550 ml of beverage to simulate in vivo condition. The findings show that the orange juice significantly increases the disintegration time of all the investigated drugs. Coca-Cola significantly increases the disintegration time of Reality Extra, and slightly increases the disintegration time of Brufen, Congestal, and Panadol and the full-fat milk significantly increases the disintegration time of Reality Extra and Panadol while slightly increasing the disintegration time for Brufen and Congestal. It is concluded that commonly used beverages affect the disintegration time of the examined over-the-counter drugs. Patients should be advised to take these medications without beverages which may delay the disintegration and the onset of action of the drug. (shrink)

This article intervenes in recent formalist and ecocritical debates, drawing on the philosophy of Charles Darwin and Édouard Glissant to develop an ecopoetic theory of relational form. Gathering perspectives from ecocriticism and new materialism, literary criticism and comparative literature, the history and philosophy of science, postcolonial theory, critical race theory, and Black studies, it reads form as an interdisciplinary object that is part of the world, rather than an imposed feature of human language or perception. In this way, (...) it produces a relational theory of form that is not hylomorphic or defined through the relation between form and content but, rather, is defined by the relation between a content and extant and, so, an interaction of relation and repetition. Drawing on the history of ecological science, it further explores how forms combine, how they amplify and interfere with each other, and how they support relations of harm and care. Finally, it uses this ecopoetic theory of form to read the histories of racial violence and migration in Matthew Arnold’s “Dover Beach” (1867) and Helen Oyeyemi’s White Is for Witching (2009). (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)

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)

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)

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)

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)

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 positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (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)