The philosophical discussion about logical constants has only recently moved into the substructural era. While philosophers have spent a lot of time discussing the meaning of logical constants in the context of classical versus intuitionistic logic, very little has been said about the introduction of substruc-tural connectives. Linear logic, affine logic and other substructural logics offer a more fine-grained perspective on basic connectives such as conjunction and disjunction, a perspective which I believe will also shed light on debates in the (...) philosophy of logic. In what follows I will look at one particularly interesting instance of this: The development of the position known as logical inferentialism in view of substructural connectives. I claim that sensitivity to structural properties is an interesting challenge to logical inferentialism, and that it ultimately requires revision of core notions in the inferentialist litera-ture. Specifically, I want to argue that current definitions of proof theoretic harmony give rise to problematic nonconservativeness as a result of their insensitivity to substructurality. These nonconservativeness results are undesirable because they make it impossible to consistently add logical constants that are of independent philosophical interest. (shrink)

The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage. Formally, the model-theoretic framework is exchanged for a proof-theoretic framework. It is argued that contrary to the traditional view, proof-theoretic semantics is not revisionary, and should rather be seen as a formal semantics that can supplement model-theory. Specifically, there are formal resources (...) to provide a proof-theoretic semantics for both intuitionistic and classical logic. We develop a new perspective on proof-theoretic harmony for logical constants which incorporates elements from the substructural era of proof-theory. We show that there is a semantic lacuna in the traditional accounts of harmony. A new theory of how inference rules determine the semantic content of logical constants is developed. The theory weds proof-theoretic and model-theoretic semantics by showing how proof-theoretic rules can induce truth-conditional clauses in Boolean and many-valued settings. It is argued that such a new approach to how rules determine meaning will ultimately assist our understanding of the apriori nature of logic. (shrink)

Logical consequence is the relation that obtains between premises and conclusion(s) in a valid argument. Orthodoxy has it that valid arguments are necessarily truth-preserving, but this platitude only raises a number of further questions, such as: how does the truth of premises guarantee the truth of a conclusion, and what constraints does validity impose on rational belief? This volume presents thirteen essays by some of the most important scholars in the field of philosophical logic. The essays offer ground-breaking new insights (...) into the nature of logical consequence; the relation between logic and inference; how the semantics and pragmatics of natural language bear on logic; the relativity of logic; and the structural properties of the consequence relation. (shrink)

Recent work in philosophical logic has taken interesting and unexpected turns. It has seen not only a proliferation of logical systems, but new applications of a wide range of different formal theories to philosophical questions. As a result, philosophers have been forced to revisit the nature and foundation of core logical concepts, chief amongst which is the concept of logical consequence. This essay sets the contributions of the volume in context and identifies how they advance important debates within the philosophy (...) of logic. (shrink)

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

Logic, Logical connectives, Verbal disputes, Proof theory, Non-classical logic.

Introduction to this special issue of The Australasian Journal of Logic.

Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...) for Beall and Restall's theory specifically. We argue that contrary to what Beall and Restall claim, their type of pluralism is wedded to meaning-variance. We then develop an alternative form of logical pluralism that circumvents at least some forms of meaning-variance. (shrink)

Anti-exceptionalism about logic is the Quinean view that logical theories have no special epistemological status, in particular, they are not self-evident or justified a priori. Instead, logical theories are continuous with scientific theories, and knowledge about logic is as hard-earned as knowledge of physics, economics, and chemistry. Once we reject apriorism about logic, however, we need an alternative account of how logical theories are justified and revised. A number of authors have recently argued that logical theories are justified by abductive (...) argument (e.g. Gillian Russell, Graham Priest, Timothy Williamson). This paper explores one crucial question about the abductive strategy: what counts as evidence for a logical theory? I develop three accounts of evidential confirmation that an anti-exceptionalist can accept: (1) intuitions about validity, (2) the Quine-Williamson account, and (3) indispensability arguments. I argue, against the received view, that none of the evidential sources support classical logic. (shrink)

In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulas. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap in 1943 called categoricity. We show that categorical systems can be given for any finite many-valued logic using $n$-sided sequent calculus. These systems are understood as a further development (...) of bilateralism—call it multilateralism. The overarching idea is that multilateral proof systems can incorporate the logic of a variety of denial speech acts. So against Frege we say that denial is not the negation of assertion and, with Mark Twain, that denial is more than a river in Egypt. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

ABSTRACTWhat do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, s...

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...) rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

This report from the WHO Consultative Group on Equity and Universal Health Coverage offers advice on how to make progress fairly towards universal health coverage.

La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...) tanto, el informe es pertinente para cada agente que infl uye en ese camino y en particular para los gobiernos, ya que se encargan de supervisar y guiar el progreso hacia la cobertura universal de salud. (shrink)

Progress towards Universal Health Coverage (UHC) requires making difficult trade-offs. In this journal, Dr. Margaret Chan, the WHO Director-General, has endorsed the principles for making such decisions put forward by the WHO Consultative Group on Equity and UHC. These principles include maximizing population health, priority for the worse off, and shielding people from health-related financial risks. But how should one apply these principles in particular cases and how should one adjudicate between them when their demands conflict? This paper by some (...) members of the Consultative Group and a diverse group of health policy professionals addresses these questions. It considers three stylized versions of actual policy dilemmas. Each of these cases pertains to one of the three principal dimensions of progress towards UHC: which services to cover first, which populations to prioritize for coverage, and how to move from out-of-pocket expenditures to pre-payment with pooling of funds. Our cases are simplified to highlight common trade-offs. While we make specific recommendations, our primary aim is to demonstrate both the form and substance of the reasoning involved in striking a fair balance between competing interests on the road to UHC. (shrink)

In this article, we propose the Fair Priority Model for COVID-19 vaccine distribution, and emphasize three fundamental values we believe should be considered when distributing a COVID-19 vaccine among countries: Benefiting people and limiting harm, prioritizing the disadvantaged, and equal moral concern for all individuals. The Priority Model addresses these values by focusing on mitigating three types of harms caused by COVID-19: death and permanent organ damage, indirect health consequences, such as health care system strain and stress, as well as (...) economic destruction. It proposes proceeding in three phases: the first addresses premature death, the second long-term health issues and economic harms, and the third aims to contain viral transmission fully and restore pre-pandemic activity. -/- To those who may deem an ethical framework irrelevant because of the belief that many countries will pursue "vaccine nationalism," we argue such a framework still has broad relevance. Reasonable national partiality would permit countries to focus on vaccine distribution within their borders up until the rate of transmission is below 1, at which point there would not be sufficient vaccine-preventable harm to justify retaining a vaccine. When a government reaches the limit of national partiality, it should release vaccines for other countries. -/- We also argue against two other recent proposals. Distributing a vaccine proportional to a country's population mistakenly assumes that equality requires treating differently situated countries identically. Prioritizing countries according to the number of front-line health care workers, the proportion of the population over 65, and the number of people with comorbidities within each country may exacerbate disadvantage and end up giving the vaccine in large part to wealthy nations. (shrink)

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers (...) of logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

A Philosophical Study of T. S. Eliot's Four Quartets By MartinWarner. The Edwin Mellen Press. 1999. xi + 138.

Impairments in executive functioning are prevalent in chronic pain conditions, with cognitive inflexibility being the most frequently reported. The current randomized, cross-over trial, piloted a computerized cognitive training program based on Relational Frame Theory, targeting improvement in cognitive flexibility. At baseline, 73 chronic pain patients completed testing on pre-selected outcomes of executive functioning, alongside IQ measures. When tested three times over the course of 5 months, there was a drop-out rate of 40% at the third time point, leaving 44 patients (...) who had data at all time points. The results showed that there was a substantial learning effect from the MINDFLEX training and a substantial time-dependent improvement on the primary outcomes of increased flexibility, but that this could not be tied to active training. In conclusion, this small study indicated a learning effect as well as improvement on primary outcomes. Based on the current results, a larger trial with improved feasibility of training is warranted. (shrink)

Med afsæt i Niklas Luhmanns systemteori og med eksempler inden for videnskab, kunst, økonomi m.m. argumenterer forfatteren for at der i dag ikke findes et etisk regelsæt som kan fortælle os hvad vi skal gøre og ikke gøre.

These days there are many different understandings and definitions of the term aesthetics. Sometimes it is regarded as identical to the pleasing or the sensual, other times it has a more workaday meaning, being associated with e.g. a well-stocked lunch table. The common denominator, however, is that aesthetics is understood as something that can be recorded in the real world, having been assigned an independent existence. The concept has thus undergone ‘ontological dumping’, by which we understand that an analytical concept (...) has become a “thing in the world”, i.e. an epistemological state has been transformed into an ontological state. The problem with this is that what can potentially be used to understand has instead turned into something to be understood. In the endeavour not to downgrade the epistemological dimension in favour of the experiential dimension, we attempt in this article to re-establish aesthetics as an analytical concept: Something to be seen with – instead of something that is seen. In addition, we put it into perspective alongside culture and art, which we feel has undergone the same ontological dumping. The article concludes with some reflections on the implications this may have for educational practice. As its theoretical springboard, the article takes the philosopher Jean-François Lyotard, drawing its exemplary material from the Norwegian author Karl Ove Knausgård. (shrink)

In a metaphorical sense, a thing is complex if it comprehends a magnitude of homogeneous or different things. However, it depends on the kind of comprehension, if we conceive something that consists of many things as complex or not. It is perhaps most distinctive for complex phenomena that their properties and behavior aren't reducible to the properties and behavior of their elements. This poses some challenging metaphysical problems. The articles in this anthology don't follow a leitmotif - aside from all (...) essays having a look at complexity problems in different areas of scientific research and showing in which ways the challenges of complexity can be answered. (Series: Applied Philosophy / Anvendt Filosofi - Vol. 4). (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed (...) in Smiley’s paper. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then (...) presents two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)

The starting point of this paper is a version of intra-theoretical pluralism that was recently proposed by Hjortland [2013]. In a first move, I use synonymy-relations to formulate an intuitively compelling objection against Hjortland's claim that, if one uses a single calculus to characterise the consequence relations of the paraconsistent logic LP and the paracomplete logic K3, one immediately obtains multiple consequence relations for a single language and hence a reply to the Quinean charge of meaning variance. In (...) a second move, I explain how a natural generalisation of the notion of synonymy can be used to counter this objection, but I also show how the solution can be turned into an equally devastating ‘one logic after all’ type of objection. Finally, I propose the general diagnosis that these problems could only arise in the presence of conceptual distinctions that are too coarse to accommodate coherent pluralist theses. T.. (shrink)

T. A. Cavanaugh's Hippocrates' Oath and Asclepius' Snake: The Birth of the Medical Profession articulates the Oath as establishing the medical profession's unique internal medical ethic - in its most basic and least controvertible form, this ethic mandates that physicians help and not harm the sick. Relying on Greek myth, drama, and medical experience (e.g., homeopathy), the book shows how this medical ethic arose from reflection on the most vexing medical-ethical problem -- injury caused by a physician -- and argues (...) that deliberate iatrogenic harm, especially the harm of a doctor choosing to kill (physician assisted suicide, euthanasia, abortion, and involvement in capital punishment), amounts to an abandonment of medicine as an exclusively therapeutic profession. The book argues that medicine as a profession necessarily involves stating before others what one stands for: the good one seeks and the bad one seeks to avoid on behalf of the sick, and rejects the view that medicine is purely a technique lacking its own unique internal ethic. It concludes noting that medical promising (as found in the White Coat Ceremony through which U. S. medical students matriculate) implicates medical autonomy which in turn merits respect, including honoring professional conscientious objections. (shrink)

_Self-Reflection for the Opaque Mind_ attempts to solve a grave problem about critical self-reflection. Psychological studies indicate not just that we are bad at detecting our own "ego-threatening" thoughts; they also suggest that we are ignorant of even our ordinary thoughts. However, self-reflection presupposes an ability to know one’s own thoughts. So if ignorance is the norm, why attempt self-reflection? While admitting the psychological data, this book argues that we are infallible in a limited range of self-discerning judgments—that in some (...) cases, these judgments are self-fulfilling or self-verifying. Even so, infallibility does not imply indubitability, and the author does not wish to provide a "foundation" for empirical knowledge. The point is rather to explain how self-reflection as a rational activity is possible. The book will be of interest to scholars working on the issue of self-reflection across a wide range of disciplines, including philosophy, psychology, and cognitive science. (shrink)

The essay deals with the formation of the Greimassian thought from its earliest origins in his young years at Kaunas University, i.e. his connections with Wilhelm Sesemann, Lev Karsavin and Russian formalism, to the rise of structuralism in Paris. The Paris School approach stems from Semantique structurale (1967) leading to the ‘third semiotic revolution’, as Greimas called it, by the invention of the modalities. This made his method close to even analytic philosophy and modal logics. In both, a linguistic turn (...) and use of formal logics took place. Yet Greimas’ semiotics grew out of a purely linguistic framework into a broader philosophical approach. Nowadays, considered one of the classics of the semiotic scene, his method still has not lost anything of its analytic acuity and epistemic temptation. Even such new paradigms as existential semiotics grow organically from some Greimas’ ideas which have kept their relevance.В статье исследуется формирование научных взглядов Греймаса: юность в Каунасском университете, знакомство с Василием Сеземаном, Львом Карсавиным и идеями русского формализма, рождение структурализма в Париже. Основой парижской школы семиотики стала книга Греймаса Semantique structurale (1967), которая, по его словам, привела к ≪третьей семиотической революции≫ благодаря изобретению модальностей. Это сблизило метод Греймаса с аналитической философией и модальной логикой. В обеих науках произошел лингвистический поворот и стали пользоваться формальной логикой. Семиотика Греймаса преодолела рамки чистой лингвистики, став более широким философским подходом. Сейчас его метод считается классикой семиотики. Однако метод Греймаса не потерял своей аналитической остроты и эпистемологической привлекательности. Даже такие новые парадигмы, как экзистенциальная семиотика, органически вырастают из идей Греймаса, сохранивших свою актуальность.Artikkel kasitleb Greimase mottemaailma valjakujunemist alates selle varaseimatest allikatest, mis parinesid noorusaastatest Kaunase Ulikoolis, s.t tema sidemetest Wilhelm Sesemanni, Lev Karsavini ja vene vormikoolkonnaga, kuni strukturalismi tekkimiseni Pariisis. Pariisi koolkonna lahenemise aluseks on Semantique structurale (1967), mis toob kaasa “kolmanda semiootilise revolutsiooni”, nagu Greimas seda nimetas, leiutades modaalsused. See muutis tema meetodi sarnaseks ingliskeelse analuutilise fi losoofi a ja modaalloogikaga, kus molemas toimus lingvistiline poore ning hakati kasutama formaalloogikat. Ent Greimase semiootika kasvas puhtlingvistilisest raamistikust valja avaramaks fi losoofi liseks lahenemiseks. Tanapaeval, mil tema meetodit peetakse semiootikavaldkonna klassikasse kuuluvaks, ei ole see kaotanud midagi oma analuutilisest teravusest ja episteemilisest koitvusest. Isegi sellised uued paradigmad nagu eksistentsiaalne semiootika kasvavad orgaaniliselt valja monedest Greimase ideedest, mis on sailitanud oma relevantsuse. (shrink)

ABSTRACTRational agents have consistent beliefs. Bayesianism is a theory of consistency for partial belief states. Rational agents also respond appropriately to experience. Dogmatism is a theory of how to respond appropriately to experience. Hence, Dogmatism and Bayesianism are theories of two very different aspects of rationality. It's surprising, then, that in recent years it has become common to claim that Dogmatism and Bayesianism are jointly inconsistent: how can two independently consistent theories with distinct subject matter be jointly inconsistent? In this (...) essay I argue that Bayesianism and Dogmatism are inconsistent only with the addition of a specific hypothesis about how the appropriate responses to perceptual experience are to be incorporated into the formal models of the Bayesian. That hypothesis isn't essential either to Bayesianism or to Dogmatism, and so Bayesianism and Dogmatism are jointly consistent. That leaves the matter of how experiences and credences are related, a... (shrink)

J. Willard Gibbs derived the following equation to quantify the maximum work possible for a chemical reaction$${\text{Maximum work }} = \, - \Delta {\text{G}}_{{{\text{rxn}}}} = \, - \left( {\Delta {\text{H}}_{{{\text{rxn}}}} {-}{\text{ T}}\Delta {\text{S}}_{{{\text{rxn}}}} } \right) {\text{ constant T}},{\text{P}}$$ Maximum work = - Δ G rxn = - Δ H rxn - T Δ S rxn constant T, P ∆Hrxn is the enthalpy change of reaction as measured in a reaction calorimeter and ∆Grxn the change in Gibbs energy as measured, if (...) feasible, in an electrochemical cell by the voltage across the two half-cells. To Gibbs, reaction spontaneity corresponds to negative values of ∆Grxn. But what is T∆Srxn, absolute temperature times the change in entropy? Gibbs stated that this term quantifies the heating/cooling required to maintain constant temperature in an electrochemical cell. Seeking a deeper explanation than this, one involving the behaviors of atoms and molecules that cause these thermodynamic phenomena, I employed an “atoms first” approach to decipher the physical underpinning of T∆Srxn and, in so doing, developed the hypothesis that this term quantifies the change in “structural energy” of the system during a chemical reaction. This hypothesis now challenges me to similarly explain the physical underpinning of the Gibbs–Helmholtz equation$${\text{d}}\left( {\Delta {\text{G}}_{{{\text{rxn}}}} } \right)/{\text{dT}} = - \Delta {\text{S}}_{{{\text{rxn}}}} \left( {\text{constant P}} \right)$$ d Δ G rxn / dT = - Δ S rxn constant P While this equation illustrates a relationship between ∆Grxn and ∆Srxn, I don’t understand how this is so, especially since orbital electron energies that I hypothesize are responsible for ∆Grxn are not directly involved in the entropy determination of atoms and molecules that are responsible for ∆Srxn. I write this paper to both share my progress and also to seek help from any who can clarify this for me. (shrink)