Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at (...) a certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used. (shrink)

The concepts developed using Upanishadic insight regarding human consciousness, mind and mental processes and their applications in information acquisition and transmission by, through and in human body will be used to model human cognitive processes. A sequential reversible process by the stepwise transformation of (i) infrasonic form of energy and transformation of information already stored in (ii) biochemical form within as memory, and retrieved as inner mental world into (iii) electrochemical and then into (iv) mechanical form while communicating and the (...) reverse of it as the (i) input stimuli from outside world as light, sound, chemical, mechanical and heat forms, into (ii) electrochemical, (iii) biochemical and finally into (iv) infra sonic form while acquiring and understanding processes is put forward and discussed. Comparisons will be made between energy transformations in electronics communication processes and these psychic energy transformations that give rise to cognitive processes. This comparison gives an insight and theory of origin, structure, function and cessation of human mental functions. A comparative diagram that describes application of infrasonic energy transformations associated with bionics as biochemical, electrochemical and mechanical forms will be given. (shrink)

The concept developed in relation to Atman as infrasonic bio-mechanical oscillatorwill be used to delineate the physicochemical nature of thoughts and ideas. The insight available in the Upanishads, the Brahma Sutras, the Vishnu Sahasranaama and LalitaSahasranaama will be used to further and advance the understanding of mechanical, biochemical and electro-chemical nature of human thoughts and ideas. The conceptual clarity about these mental processes will be presented. A pictorial diagram of nature and forms of energy transformations involved in thought processes (...) and idea generations will be given. Implications and application of this insight to the disciplines of physiological psychology and mind-machine modeling will be hinted. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in (...) a dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context of (...) a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

There is a persisting debate about what chemical bonds are and whether they exist. I argue that chemical bonds are real patterns of interactions between subatomic particles. This proposal resolves the problems raised in the context of existing understandings of the chemical bond and provides a novel way to defend the reality of chemical bonds.

In a multi-study naturalistic quasi-experiment involving 269 students in a semester-long introductory philosophy course, we investigated the effect of teaching argument diagramming on students’ scores on argument analysis tasks. An argument diagram is a visual representation of the content and structure of an argument. In each study, all of the students completed pre- and posttests containing argument analysis tasks. During the semester, the treatment group was taught AD, while the control group was not. The results were that among the different (...) pretest achievement levels, the scores of low-achieving students who were taught AD increased significantly more than the scores of low-achieving students who were not taught AD, while the scores of the intermediate- and high-achieving students did not differ significantly between the treatment and control groups. The implication of these studies is that learning AD significantly improves low-achieving students’ ability to analyze arguments. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of (...) most importance for a taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

There is substantial evidence from many domains that visual representations aid various forms of cognition. We aimed to determine whether visual representations of argument structure enhanced the acquisition and development of critical thinking skills within the context of an introductory philosophy course. We found a significant effect of the use of argument diagrams, and this effect was stable even when multiple plausible correlates were controlled for. These results suggest that natural⎯and relatively minor⎯modifications to standard critical thinking courses could provide (...) substantial increases in student learning and performance. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that (...) one of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of (...) the cell cycle and facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not. (shrink)

Historians occasionally use timelines, but many seem to regard such signs merely as ways of visually summarizing results that are presumably better expressed in prose. Challenging this language-centered view, I suggest that timelines might assist the generation of novel historical insights. To show this, I begin by looking at studies confirming the cognitive benefits of diagrams like timelines. I then try to survey the remarkable diversity of timelines by analyzing actual examples. Finally, having conveyed this (mostly untapped) potential, I (...) argue that neglecting timelines might mean neglecting significant aspects of reality that are revealed only by those signs. My overall message is that once we accept that relations are as important for the mind as what they relate, we have to pay closer attention to any semiotic device that enables or facilitates the discernment of new relations. (shrink)

Following Kripke and Putnam, the received view of chemical kinds has been a microstructuralist one. To be a microstructuralist about chemical kinds is to think that membership in said kinds is conferred by microstructural properties. Recently, the received microstructuralist view has been elaborated and defended, but it has also been attacked on the basis of complexities, both chemical and ontological. Here, I look at which complexities really challenge the microstructuralist view; at how the view itself might be (...) made more complicated in order to accommodate such challenges; and finally, at what this increasingly complicated picture implies for our standard assessment of chemical kindhood—primarily, for the widespread assumption that chemical kinds in general are more neat and tidy than those messy biological ones. _1_ The Received View _2_ A Taxonomy of Chemical Kinds _3_ Atomic Number _4_ H2O, H3O+, OH−, and More _5_ Complicating the Microstructuralist Picture _6_ Concrete and Other Mixtures _7_ Macromolecules, Especially Proteins _8_ Abandoning Sameness of Elemental Composition _9_ Not So Different after All. (shrink)

Long-standing neglect of the chemical senses in the philosophy of perception is due, mostly, to their being regarded as ‘lower’ senses. Smell, taste, and chemically irritated touch are thought to produce mere bodily sensations. However, empirically informed theories of perception can show how these senses lead to perception of objective properties, and why they cannot be treated as special cases of perception modelled on vision. The senses of taste, touch, and smell also combine to create unified perceptions of flavour. (...) The nature of these multimodal experiences and the character of our awareness of them puts pressure on the traditional idea that each episode of perception goes one or other of the five senses. Thus, the chemical senses, far from being peripheral to the concerns of the philosophy of perception, may hold important clues to the multisensory nature of perception in general. (shrink)

The practice of medicine frequently involves the unconsented restriction of liberty. The reasons for unilateral liberty restrictions are typically that being confined, strapped down, or sedated are necessary to prevent the person from harming themselves or others. In this paper, we target the ethics of chemical restraints, which are medications that are used to intentionally restrict the mental states associated with the unwanted behaviors, and are typically not specifically indicated for the condition for which the patient is being treated. (...) Specifically, we aim to identify the conditions under which chemical restraints are ethically permissible. It is wrong to assume that what is morally true of physical restraints is also true of chemical restraints. Our aim is thus to identify the conditions under which chemical restraints are permissible while distinguishing these conditions from those of the application of physical restraints. (shrink)

There are two important ways in which, when dealing with documents, we go beyond the boundaries of linear text. First, by incorporating diagrams into documents, and second, by creating complexes of intermeshed documents which may be extended in space and evolve and grow through time. The thesis of this paper is that such aggregations of documents are today indispensable to practically all complex human achievements from law and finance to orchestral performance and organized warfare. Documents provide for what we (...) can think of as a division of intellectual, instructional, and deontic labour, allowing plans, orders, and obligations to be enmeshed together in a way that often involves the use of diagrammatic elements, as for example in a musical score. (shrink)

The chemical characterization of the substance responsible for the phenomenon of “transformation” of pneumococci was presented in the now famous 1944 paper by Avery, MacLeod, and McCarty. Reception of this work was mixed. Although interpreting their results as evidence that deoxyribonucleic acid (DNA) is the molecule responsible for genetic changes was, at the time, controversial, this paper has been retrospectively celebrated as providing such evidence. The mixed and changing assessment of the evidence presented in the paper was due to (...) the work’s interpretive flexibility – the evidence was interpreted in various ways, and such interpretations were justified given the neophytic state of molecular biology and methodological limitations of Avery’s transformation studies. I argue that the changing context in which the evidence presented by Avery’s group was interpreted partly explains the vicissitudes of the assessments of the evidence. Two less compelling explanations of the reception are a myth-making account and an appeal to the wartime historical context of its publication. (shrink)

In his 1903 Syllabus, Charles S. Peirce makes a distinction between icons and iconic signs, or hypoicons, and briefly introduces a division of the latter into images, diagrams, and metaphors. Peirce scholars have tried to make better sense of those concepts by understanding iconic signs in the context of the ten classes of signs described in the same Syllabus. We will argue, however, that the three kinds of hypoicons can better be understood in the context of Peirce's sixty-six classes (...) of signs. We analyze examples of hypoicons taken from the field of information design, describing them in the framework of the sixty-six classes, and discuss the consequences of those descriptions to the debate about the order of determination of the 10 trichotomies that form those classes. (shrink)

This paper discusses similarities of both form and meaning between two symbolic structures: the Diagram of the Supreme Pole of Song Neo-Confucianism and the Kabbalistic Tree of medieval Jewish mysticism. These similarities are remarkable in the light of the many differences that exist between Chinese and Judaic thought, which also manifest in the two symbols. Intercultural influence might account for the similarities, but there is no historical evidence for such influence. An alternative explanation would attribute the similarities to the ubiquity (...) of religious-philosophical ideas about hierarchy, polarity, and macrocosm-microcosm parallelism, but this does not adequately account for the similar overall structure of the symbols. The question of how to understand these similarities remains open. (shrink)

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. This (...) paper proposes that transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (shrink)

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind (...) does exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

The following technique has proven effective in helping beginning logic students locate the sections of a three-circled Venn Diagram in which they are to represent a categorical sentence. Very often theses students are unable to identify the parts of the diagram they are to shade or bar.

Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I (...) show that diagrams form genuine notational systems, and I argue that this explains why they can play a role in the inferential structure of proofs without undermining their reliability. I then consider whether diagrams can be essential to the proofs in which they appear. (shrink)

This document diagrams the forms OOA, OOE, OOI, and OOO, including all four figures. Each form and figure has the following information: (1) Premises as stated: Venn diagram showing what the premises say; (2) Purported conclusion: diagram showing what the premises claim to say; (3) Relation of premises to conclusion: intended to describe how the premises and conclusion relate to each other, such as validity or contradiction. Used in only a few examples; (4) Distribution: intended to create a system (...) in which each syllogism has a unique code. In each premise and conclusion, the terms are each assigned a one or a zero, based on whether the term is distributed; (5) Rules: lists the rules of the syllogism and shows whether that particular syllogism follows, violates, or is unaffected by, each rule. (shrink)

The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in teaching (...) basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis. (shrink)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type (...) diagrams, then give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

Jacques Monod (1971) argued that certain molecular processes rely critically on the property of chemical arbitrariness, which he claimed allows those processes to “transcend the laws of chemistry”. It seems natural, as some philosophers have done, to interpret this in modal terms: a biological relationship is chemically arbitrary if it is possible, within the constraints of chemical “law”, for that relationship to have been otherwise than it is. But while modality is certainly important for understanding chemical arbitrariness, (...) understanding its biological role also requires an account of the concrete causal-functional features that distinguish arbitrary from non-arbitrary phenomena. In this paper I elaborate on this under-emphasised aspect by offering a general account of these features: arbitrary relations are instantiated by mechanisms that involve molecular adapters, which causally couple two properties or processes which would otherwise be uncorrelated. Additionally, adapters work by acting as intermediate rather than cooperating causes. (shrink)

This book examines the way in which Robert Boyle seeks to accommodate his complex chemical philosophy within the framework of a mechanistic theory of matter. More specifically, the book proposes that Boyle regards chemical qualities as properties that emerged from the mechanistic structure of chymical atoms. Within Boyle’s chemical ontology, chymical atoms are structured concretions of particles that Boyle regards as chemically elementary entities, that is, as chemical wholes that resist experimental analysis. Although this interpretation of (...) Boyle’s chemical philosophy has already been suggested by other Boyle scholars, the present book provides a sustained philosophical argument to demonstrate that, for Boyle, chemical properties are dispositional, relational, emergent, and supervenient properties. This argument is strengthened by a detailed mereological analysis of Boylean chymical atoms that establishes the kind of theory of wholes and parts that is most consistent with an emergentist conception of chemical properties. The emergentist position that is being attributed to Boyle supports his view that chemical reactions resist direct explanation in terms of the mechanistic properties of fundamental particles, as well as his position regarding the scientific autonomy of chymistry from mechanics and physics. (shrink)

The entry of resonance into chemistry, or the reception of the theory of resonance in the chemical community, has drawn considerable attention from historians of science. In particular, they have noted Pauling's ¯amboyant yet effective style of exposition, which became a factor in the early popularity of the resonance theory in comparison to the molecular orbital theory, another way of applying quantum mechanics to chemical problems.$ To be sure, the non-mathematical presentation of the resonance theory by Pauling and (...) his collaborator, George Wheland, helped to facilitate the reception ; but this presentation was vulnerable to the confusion that arose among chemists owing to the similarity between resonance and tautomerism, or between foreign and indigenous concepts. The reception occurred at the expense of serious misunderstandings about resonance. This paper investigates the ways in which Pauling and Wheland taught, and taught about, the theory of resonance, especially their ways of coping with the difficulties of translating a quantum-mechanical concept into chemical language. Their different strategies for teaching resonance theory deserve a thorough examination, not only because the strategies had to do with their solutions of the philosophical question whether resonance is a real phenomenon or not, and whether the theory of resonance is a chemical theory or a mathematical method of approximation, but also because this examination will illuminate the role of chemical translators in the transmission of knowledge across disciplinary boundaries. (shrink)

The recent wave of data on exoplanets lends support to METI ventures (Messaging to Extra-Terrestrial Intelligence), insofar as the more exoplanets we find, the more likely it is that “exominds” await our messages. Yet, despite these astronomical advances, there are presently no well-confirmed tests against which to check the design of interstellar messages. In the meantime, the best we can do is distance ourselves from terracentric assumptions. There is no reason, for example, to assume that all inferential abilities are language-like. (...) With that in mind, I argue that logical reasoning does not have to be couched in symbolic notation. In diagrammatic reasoning, inferences are underwritten, not by rules, but by transformations of self-same qualitative signs. I use the Existential Graphs of C. S. Peirce to show this. Since diagrams are less dependent on convention and might even be generalized to cover non-visual senses, I argue that METI researchers should add some form of diagrammatic representations to their repertoire. Doing so can shed light, not just on alien minds, but on the deepest structures of reasoning itself. (shrink)

Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England (...) played a crucial role in popularising Euler(-type) diagrams. In this paper, the role of the Kantians in the late eighteenth and early nineteenth centuries will be analysed in more detail. It shows that diagrams (or intuition in general) were a highly contentious topic that depend on the philosophical attitude and went beyond logic to touch on issues of physics, metaphysics, linguistics and, above all, mathematics. (shrink)

In his article “Insight: Genesis and Ongoing Context,” Fred Crowe calls out Lonergan’s line “the diagram is more important than…is ordinarily believed” as the “philosophical understatement of the century.” Sixteen pages later he identifies elaborating an invariant cognitional theory to underlie generalized emergent probability and thus “the immanent order of the universe of proportionate being,” as “our challenge,” “but given the difficulty” he does not “see any prospect for an immediate answer.” Could this have something to do with the lack (...) of a comprehensive diagram of cognitional theory? Appendix A of The Boston College Lectures on Mathematical Logic and Existentialism offers diagrams of the dynamics of knowing and doing perhaps copied from Lonergan’s own blackboard work, but they do not distinguish explanatory and descriptive insights, let alone statistical insights, and do not illustrate the pull upwards or the fusing of routinized insights. Before we can effectively relate cognitional theory to generalized emergent probability, we must have an adequately rigorous and precise cognitional theory. I firmly believe in the truth of Lonergan’s fundamental insights, but in order to rigorously undergird generalized emergent probability there are many pertinent questions about his cognitional theory which must be asked and answered. In this paper I (1) review some of Lonergan’s attempts to diagram cognitional theory and discuss what insights they do and do not express, (2) elaborate and defend principles for making our formulations of insight into insight rigorous and clear, and (3) attempt to build up a diagram which makes full use of those principles in a maximally expressive way. (shrink)

In a number of papers and in his recent book, Is Water H₂O? Evidence, Realism, Pluralism (2012), Hasok Chang has argued that the correct interpretation of the Chemical Revolution provides a strong case for the view that progress in science is served by maintaining several incommensurable “systems of practice” in the same discipline, and concerning the same region of nature. This paper is a critical discussion of Chang's reading of the Chemical Revolution. It seeks to establish, first, that (...) Chang's assessment of Lavoisier's and Priestley's work and character follows the phlogistonists' “actors' sociology”; second, that Chang simplifies late-eighteenth-century chemical debates by reducing them to an alleged conflict between two systems of practice; third, that Chang's evidence for a slow transition from phlogistonist theory to oxygen theory is not strong; and fourth, that he is wrong to assume that chemists at the time did not have overwhelming good reasons to favour Lavoisier's over the phlogistonists' views. (shrink)

This chapter explores whether chemical castration can be justified as a form of criminal punishment. The author argues that castration via the drug medroxyprogesterone acetate (MPA), or some similar drug, does not achieve the punishment aims of retribution, deterrence, or incapacitation, but might serve as punishment in the form of rehabilitative treatment. However, current U.S. chemical castration statutes are too broad to be justified as rehabilitative. The state is warranted in targeting psychological states in criminal defendants for rehabilitative (...) treatment where such states (a) act as a primary cause of a criminal offender’s crime and (b) give rise to extraordinary worries that the offender will recidivate. Current statutes qualify criminal offenders for castration who do not have overwhelming sexual urges or other psychological states causally related to their crime that may be treated with MPA. Thus, even assuming the efficacy of MPA, such statutes are unjustifiable because they apply chemical castration to offenders for whom castration will have no rehabilitative effect. (shrink)

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

In The Conditions for Ethical Chemical Restraint, Crutchfield and Redinger (2024) propose ethical standards for the use of chemical restraints, which they consider normatively distinct from physica...

In learning chemistry at the entry level, many learners labor under misconceptions about the subject matter that are so fundamental that they are typically never addressed. A fundamental misconception in chemistry appears to arise from an adding of existing phenomenal concepts to newly-acquired chemical concepts, so that beginning learners think of chemical entities as themselves having the very same ‘macro’ properties that we observe through the senses. Those who teach or practice chemistry never acquire these misconceptions because they (...) were able to naturally pick up the nature of the subject to begin with. But as a result, they remain unaware of the foundational assumptions and understanding that they operate with and that many beginning learners persistently lack. Thus, a systematic picture of the workings of chemical theory as they relate to observable phenomena needs to be elucidated so that the attention of chemical educators is drawn to the fundamental understanding of the subject that they already possess and that beginning learners of chemistry lack, so that beginning learners can be given the opportunity to gain an understanding of how chemical explanations are in general related to observable phenomena. The ‘layered’ way in which chemical and physical entities are related to each other within chemical theory can also be clarified in this way. To afford this picture, the philosophical concepts of supervenience and emergence are explained and applied to chemistry, as philosophers of chemistry have already done. The result provides a model for teaching chemistry that, if consistently applied, has the potential to greatly enhance fundamental understanding of the subject matter. (shrink)

A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

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)

Nanotechnology, as with many technologies before it, places a strain on existing legislation and poses a challenge to all administrative agencies tasked with regulating technology-based products. It is easy to see how statutory schemes become outdated, as our ability to understand and affect the world progresses. In this article, we address the regulatory problems that nanotechnology posses for the Food and Drug Administration’s (FDA) classification structure for ‘‘drugs’’ and ‘‘devices.’’ The last major modification to these terms was in 1976, with (...) the enactment of the Medical Device Amendments. There are serious practical differences for a classification as a drug or device in terms of time to market and research. Drugs are classified, primarily, as acting by ‘‘chemical action.’’ We lay out some legal, philosophic, and scientific tools that serve to provide a useful, as well as legally and scientifically faithful, distinction between drugs and devices for the purpose of regulatory classification. These issues we raise are worth the consideration of anyone who is interested in the regulation of nano-products or other novel technologies. (shrink)

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning (...) unavailable to scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

This paper is a study of a distinctively chemical notion of possibility. This is the notion of possibility that occurs in chemical discourses when chemists speak of the possibility or impossibility of achieving a given result through chemical means. This notion pertains to the possibility of processes, not of compounds, so it differs from the kind of chemical possibility mentioned in Wittgenstein's Philosophical Investigations or the kinds discussed in the literature on Putnam's Twin Earth argument. I (...) argue that this process-oriented notion of possibility cannot be reduced in a simple way to physical possibility, and that standard possible worlds semantics does not allow a natural analysis of this notion. I suggest an extension of possible worlds semantics that may overcome this limitation. I finish by pointing out some open questions about chemical possibility. (shrink)

In this paper we argue that the different positions taken by Dyson and Feynman on Feynman diagrams’ representational role depend on different styles of scientific thinking. We begin by criticizing the idea that Feynman Diagrams can be considered to be pictures or depictions of actual physical processes. We then show that the best interpretation of the role they play in quantum field theory and quantum electrodynamics is captured by Hughes' Denotation, Deduction and Interpretation theory of models (DDI), where (...) “models” are to be interpreted as inferential, non-representational devices constructed in given social contexts by the community of physicists. (shrink)

In this paper we argue that there were several currents, ideas and problems in 19th-century logic that motivated John Venn to develop his famous logic diagrams. To this end, we first examine the problem of uncertainty or over-specification in syllogistic that became obvious in Euler diagrams. In the 19th century, numerous logicians tried to solve this problem. The most famous was the attempt to introduce dashed circles into Euler diagrams. The solution that John Venn developed for this (...) problem, however, came from a completely different area of logic: instead of orienting to syllogistic like Euler diagrams, Venn applied Boolean algebra to improve visual reasoning. Venn’s contribution to solving the problem of elimination also played an important role. The result of this development is still known today as the ‘Venn Diagram’. (shrink)

Many undergraduates, philosophy majors included, read philosophical texts similar to the way they read stories. One method for teaching students how to discern the argumentative structure of a philosophy text is through argument diagrams (text boxes used to represent claims with arrows and lines used to represent connections between these claims). This paper provides criteria for an ideal argument diagramming software and then reviews the strengths and weaknesses of such software currently available, e.g. Araucaria, Argutect, Athena Standard, Inspiration, and (...) Reason!Able. (shrink)

After determining one set of skills that we hoped our students were learning in the introductory philosophy class at Carnegie Mellon University, we performed an experiment twice over the course of two semesters to test whether they were actually learning these skills. In addition, there were four different lectures of this course in the first semester, and five in the second; in each semester students in some lectures were taught the material using argument diagrams as a tool to aid (...) understanding and critical evaluation, while the other students were taught using more traditional methods. In each lecture, the students were given a pre-test at the beginning of the semester, and a structurally identical post-test at the end. We determined that the students did develop the skills in which we were interested over the course of the semester. We also determined that the students who were taught argument diagramming gained significantly more than the students who were not. We conclude that learning how to construct argument diagrams significantly improves a student’s ability to analyze arguments. (shrink)

Philosophers have long debated ‘substrate’ and ‘bundle’ theories as to how properties hold together in objects ― but have neglected to consider that every chemical entity is defined by closure of relationships among components ― here designated ‘Closure Louis de Broglie.’ That type of closure underlies the coherence of spectroscopic and chemical properties of chemical substances, and is importantly implicated in the stability and definition of entities of many other types, including those usually involved in philosophic discourse (...) ― such as roses, statues, and tennis balls. Characteristics of composites are often presumed to ‘supervene on’ properties of components. This assumption does not apply when cooperative interactions among components are significant. Once correlations dominate, then adequate descriptions must involve different entities and relationships than those that are involved in ‘fundamental-level’ description of similar but uncorrelated systems. That is to say, descriptions must involve different semantics than would be appropriate if cooperative interactions were insignificant. This is termed ‘Closure Henri Poincaré. Networks of chemical reactions that have certain types of closure of processes display properties that make other more-complex coherences possible. This is termed ‘Closure Jacques Cauvin.’ Each of these three modes of closure provides a sufficient basis for warranted recognition of causal interaction, thus each of them has epistemological significance. Other modes of epistemologically-important closure probably exist. It is important to recognize that causal efficacy generally depends on closure of relationships of constituents. (shrink)

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused (...) review of what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions (...) Solovay identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)