Using data on submitted and published manuscripts in Feminist Economics from 1995 to 2019, we examine differences in method and scope used by authors residing in the Global North and Global South. We specifically focus on research methods, intersectional analyses, region of analysis, and co-authorship status. Further, using logistic regression models, we examine the relationship between authors’ location and use of research methods. We find authors in the Global South are more likely to engage in empirical and mixed-methods papers compared (...) to Global North authors in our sample. Moreover, a greater share of Global South authors engage in intersectional analysis and exhibit geographical focus on developing countries. Drawing insights from the Feminist Economics manuscripts data, we argue that encouraging Global South research can contribute to the goals of the field of feminist economics – aimed at inclusivity, diversity of standpoints, and plurality in research methods, thereby improving overall economic research. (shrink)

Recent philosophy of science has witnessed a shift in focus, in that significantly more consideration is given to how scientists employ models. Attending to the role of models in scientific practice leads to new questions about the representational roles of models, the purpose of idealizations, why multiple models are used for the same phenomenon, and many more besides. In this paper, I suggest that these themes resonate with central topics in feminist epistemology, in particular prominent versions of feminist empiricism, and (...) that model-based science and feminist epistemology each has crucial resources to offer the other's project. (shrink)

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with (...) respect to a content semantics, which embraces the concept of meaning containment. (shrink)

Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.

We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not (...) determine the meaning of deducibility and inference as implication-without-exceptions. (shrink)

Work on advice has concentrated on institutional settings where there are restrictions on roles, actions and their organisation. This article focuses on advice giving in mundane settings: interactions between mothers and their young-adult daughters in a corpus of 51 telephone calls. Analysis reveals a range of designs that can be ‘advice implicative’ including advice-implicative interrogatives and advice-implicative assessments. Recipients orient to the characteristic features these implicit forms share with more explicit advice: normative pressure on the recipient’s conduct and epistemic asymmetry (...) between advisor and advisee. Advice-implicative actions orient to contingencies on the recipient’s ability or willingness to perform the target action. They also display varying degrees of entitlement over the recipient’s performance of the target action. Manipulating contingency and entitlement can soften or heighten both the normative thrust and the knowledge asymmetry of the advice giving. This analysis further discusses the distinction between the practices of advising, directing and requesting, and allows consideration of how action design connects to relationality between parties. (shrink)

We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and (...) the intuitionistic logic. (shrink)

Originally published in 1973. This book presents a valid mode of reasoning that is different to mathematical probability. This inductive logic is investigated in terms of scientific investigation. The author presents his criteria of adequacy for analysing inductive support for hypotheses and discusses each of these criteria in depth. The chapters cover philosophical problems and paradoxes about experimental support, probability and justifiability, ending with a system of logical syntax of induction. Each section begins with a summary of its contents and (...) there is a glossary of technical terms to aid the reader. (shrink)

In abstract algebraic logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper performs an analogous abstract study of non-classical logics based on the kind of generalized implication connectives they possess. It yields a new classification of logics expanding (...) Leibniz hierarchy: the hierarchy of implicational logics. In this framework the notion of implicational semilinear logic can be naturally introduced as a property of the implication, namely a logic L is an implicational semilinear logic iff it has an implication such that L is complete w.r.t. the matrices where the implication induces a linear order, a property which is typically satisfied by well-known systems of fuzzy logic. The hierarchy of implicational logics is then restricted to the semilinear case obtaining a classification of implicational semilinear logics that encompasses almost all the known examples of fuzzy logics and suggests new directions for research in the field. (shrink)

The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations of positive implicative soju ideal are established. Finally, extension property for positive implicative soju ideal is constructed.

Does recent work in the cognitive sciences have any implications for theories or methods employed within the philosophy of science itself? It does if one takes a naturalistic approach in which understanding the nature of representations or judgments of representational success in science requires reference to the cognitive capacities or activities of individual scientists. Here I comment on recent contributions from three areas of the cognitive sciences represented respectively by Paul Churchland's neurocomputational perspective, Nancy Nersessian's cognitive-historical approach, and Paul Thagard's (...) computational philosophy of science. The main general conclusion is that we need to replace traditional linguistic notions of representation in science. (shrink)

The genome revolution has provided the basis for many new applications in diverse areas such as health, food and agriculture, and forensics. While standard DNA profiling has become the paramount form of identification in forensics, expansion of genomic applications is being considered and tested to provide more descriptive information to facilitate the capture of perpetrators. Two major applications are being explored and tested: 1) ancestry profiling from which race can be inferred; and 2) profiling for physical traits to provide a (...) genetic-based description or sketch. The use and incorporation of these new applications raises several logistical questions and ethical issues. This article will explore some of the policy implications in the use of expanded genome profiling for forensics purposes. (shrink)

Responsibility is a moral quality of caring that is central to child health policies. In contemporary UK these policies are based on behavioural psychology and underpinned by individualism, an ideology central to neoliberal governance. Amid the complexities of “obesity” and inequalities, there is a multi-layered stigmatisation of parents as moral associates. Few studies consider the lived realities of food policy processes from the standpoint of class. This critical qualitative research draws on theorists who explain processes of power and class: Foucault, (...) Gramsci, Bourdieu and Marx. Its objectives are: (a) to understand the lived experience of parents as they interact with food policy; (b) to explore how parents resist stigmatisation; and (c) to reflect on implications for policy and practice. Methods: Using purposive sampling, 31 ethnographically-informed interviews were carried out in a London borough, with policy actors: policymakers, implementers and parents as policy recipients, including 12 working-class mothers. Results: A core theme of “responsibilities” emerged with four interconnecting sub-processes that provide insight into how stigmatisation and resistance evolve through policy. Discussion: As have others, this study reveals the idea of responsibility as fundamental to the processes of soft power. Child health is a priority for participants and a “ruling idea”. The diffusion of responsibility throughout policy leads to confusion about where it lies. New subjectivities are formed in line with ideas of governmentality. Parents engage with policy at multiple sites that elicit symbolic violence, and stigma sows social divisions. Against this background, working-class parents are left in a state of cognitive dissonance between being made responsible (responsibilisation), and feeling responsible (self-blaming) for their children’s weight while lacking the material resources to provide an optimal nutritious diet. Resistance is interwoven and is essentially found in parents’ policy alternatives that diverge from UK government policy. Conclusion: Critical qualitative research using multiple theorists is valuable in understanding how parents interact with policy in a complex social world. With UK policy failing, useful insights are provided into how involving parents in policymaking might determine a meaningful collective responsibility, with a political ethic of care and unity between parents that would advance health equity. (shrink)

The thesis investigates the connection between deconstruction and creativity with regard to three aesthetic fields, namely jazz music, photography, and architecture. The thesis consists of three chapters. Chapter 1 focuses on deconstruction and jazz music. First, the analysis draws a comparison between the linguistic sign and the musical sign in the light of Derrida's analysis of signifier and signified. This supports an investigation of the supplementary character of writing in the specific case of jazz music. Second, the analysis draws an (...) analogy between the deconstructive reading of texts and jazz improvisation to show the relevance that creativity has for both. This is followed by an examination of the similarities between Derrida's notion of différance and the musical figure of syncopation. The analysis is completed by an argument that the jazz event of the jam session is an encounter and creative 'dialogue', with features similar to Derrida's conception of hospitality. Chapter 2 focuses on deconstruction and photography. First, the discussion explores the correlation between truth and photography. It will be argued that deconstruction challenges the logocentric organisation of photographs based on the prominence of what is immediately visible in images and fosters a more creative interpretation, which is based on the play between concealment and unconcealment within photographs. Second, it investigates the implications of Derrida's analysis of temporality for photography. This supports an investigation into how Derrida's notion of responsibility and the future to come can be applied to photography. Chapter 3 focuses on deconstruction and architecture. First, the analysis establishes the links between architecture and language by outlining the creative and transformative outcome that the correlation between function and meaning in the light of deconstruction produces. Second, the investigation examines Bernard Tschumi's idea of architecture as event in Parc de La Villette. Tschumi's work is an example of how the deconstructive approach adopted by architects fosters creativity in users. Finally, the analysis focuses on the transformative and creative character of portable architecture by investigating the correlation between the creative character of deconstructive concepts such as freeplay, parergon, and the axiom of incompleteness, and the transformative features of tents. (shrink)

The relation between indicative conditionals in natural language and material implication wasn’t a major topic in the Lvov-Warsaw school. However, a major defense of the claim that the truth conditions of these two are the same has been developed by Ajdukiewicz. The first major goal of this paper is to present, assess, and improve his strategy. It turns out that it is quite similar to the approach developed by Grice, so our second goal is to compare these two and (...) to argue that the accuracy of Ajdukiewicz’s explanation is less dependent on controversial properties of a systematic but convoluted general theory of cooperative communicative behavior. In Lvov-Warsaw school the relation between material implication and indicative conditionals was also discussed by Goł ąb :27–29, 1949) and Słupecki :32–35, 1949), so the third part of our paper is devoted to their discussion and relating it to Ajdukiewicz’s views. (shrink)

Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras (...) can be only decomposed into a direct product of two factors, one of which is the two-element implication algebra. (shrink)

What does it feel like to encounter ourselves and one another as implicated subjects, both in our everyday lives and in the context of our work as clinicians, and how does this matter? With contributions from a diverse group of relational psychoanalytic thinkers, this book reads Michael Rothberg's concept of the implicated subject - the notion that we are continuously implicated in injustices even when not perpetrators - as calling us to elaborate what it feels like to inhabit such subjectivities (...) in relation to others both similarly and differently situated. Implication and anti-Black racism are central to many chapters, with attention given to the unique vulnerability of racial minority immigrants, to Native American genocide, and to the implication of ordinary Israelis in the oppression of Palestinians. The book makes the case that the therapist's ongoing openness to learning of our own implication in enactments is central to a Relational sensibility and to a progressive psychoanalysis. As a contribution to the necessary and long-overdue conversation within the psychoanalytic field about racism, social injustice, and ways to move toward a just society, this book will be essential for all relational psychoanalysts and psychotherapists. (shrink)

This article offers a conceptual analysis of the implications of the sociology of emotions for the restoration of social order in failing states. The authors mainly draw on ritual theories of emotions, but also use insights from dramaturgical, power and status, and exchange theories. It is argued that social order emerges from interactions among human individuals developing and internalizing emotional beliefs about their place within a wider social environment in the form of a social contract. Examples from states such as (...) Afghanistan and Somalia illustrate the authors’ thesis that macro-level restoration of order is possible through change agents’ efforts at restoration of emotion-generating interaction ritual chains. (shrink)

British neo-Marxism is a novel theory that emerged and developed in the UK during the period from 1950s to 1980s. It encompasses issues of history, culture, politics, society, technology, and outer space as it continues to broaden alternate critical research approaches. It carries on the intellectual tradition of British Marxism and is guided by the guiding role of Marx’s thought. British neo-Marxism has contributed to the formation of multiple neo-Marxist thinking paradigms with unique British characteristics, and its theatrical implications concern (...) the new historicism focused on cultural criticism, the neo-rationalist thinking of changing social orders, and the neo-humanistic thinking aiming to fulfill the reform of social institutions. Its innovation in the systemization of thinking paradigms is doubtless an effect of the paradigm shift in the way of thinking of humankind to change the social order. Our study of British neo-Marxism is of important theoretical significance and practical value for both the enhancement of research on Marxist philosophy, and the innovation in the Marxist thinking paradigm. (shrink)

In his proposal for a democracy by consensus, Wiredu argued that deliberation is an activity that depends solely on the logical persuasiveness of ideas. Emmanuel Chukwudi Eze and I had objected to this view of deliberation. Bernard Matolino has responded separately to Eze and me by sticking to Wiredu’s position that deliberation is a purely rational activity. In this article, I support my earlier claim that persuasion (and hence deliberation) is not an entirely logical activity, and our concern as human (...) beings is to recognize the influence of non-rational factors, for the purpose of minimizing the role of these non-rational factors. My general aim here is to explore the implications of a counterfactual situation in which we assume that deliberation is a purely rational activity, and these implications are unpalatable even to proponents of deliberation as a purely rational activity. My conclusion is that it is only by recognizing the role of non-rational factors in deliberation that we are driven to institute mechanisms to ensure that logic dominates over non-rational factors as much as practicable in either persuading or in being persuaded. Assuming that deliberation is a purely rational activity, on the other hand, forestalls any measures and allows non-rational influences to fester undeterred. (shrink)

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as (...) a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets. (shrink)

The use of genome-wide association studies in medical research and the increased ability to share data give a new twist to some of the perennial ethical issues associated with genomic research. GWAS create particular challenges because they produce fine, detailed, genotype information at high resolution, and the results of more focused studies can potentially be used to determine genetic variation for a wide range of conditions and traits. The information from a GWA scan is derived from DNA that is a (...) powerful personal identifier, and can provide information not just on the individual, but also on the individual's relatives, related groups, and populations. Furthermore, it creates large amounts of individual-specific digital information that is easy to share across international borders. This paper provides an overview of some of the key ethical issues around GWAS: consent, feedback of results, privacy, and the governance of research. Many of the questions that lie ahead of us in terms of the next generation sequencing methods will have been foreshadowed by GWAS and the debates around ethical and policy issues that these have created. (shrink)

Utilizing an idea that has its first appearance in Gerhard Gentzen’s unpublished manuscripts, we generate an exhaustive repertoire of all the possible inference rules that are related to the left implication inference rule of the sequent calculus from a ground sequent, that is, a logical axiom. We discuss the similarities and differences of these derived rules as well as their interaction with the implication right rule under cut and the structural axiom. We further consider the question of analyticity (...) of cuts in calculi using one of the new rules instead of the standard left implication rule. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework (...) for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

Mealey's work has several interesting implications: It refutes the charge that sociobiology paints a cynical portrait of human nature and adopts a one-sided reductionism; it exemplifies a general theoretical scheme for constructing evolutionary biopsychosocial models of human behavior; and it has the practical effect of promoting and informing early intervention in children at risk for psychopathic disorder.

In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.

This paper compares two logical conditionals which are strengthenings of the strict conditional and avoid the paradoxes of strict implication. The logics of both may be viewed as extensions of KT, and the two conditionals are interdefinable in KT. The implicative conditional requires that its antecedent and consequent be both contingent. The consequential conditional may be viewed as a weakening of the implicative conditional, insofar as it also admits the case in which the antecedent and the consequent are strictly (...) equivalent (either both necessary or both impossible). The two conditionals share a number of properties, among them Transitivity, Contraposition, Aristotle’s Thesis, Weak Boethius’ Thesis and Aristotle’s Second Thesis. They also share some restricted principles such as Possibilistic Monotonicity, Possibilistic Simplification and Possibilistic Right Weakening. They differ in relation to Identity, which is validated by consequential implication, while the implicative conditional only validates the restricted principle of Possibilistic Identity. The relations between the two conditionals are represented by two Aristotelian cubes of opposition, one involving the contrariety between If A, then B and If A, then ¬B, according to Weak Boethius’ Thesis, and the other the contrariety between If A, then B and If ¬A, then B, according to Aristotle’s Second Thesis. We also explore the relations between the two logical conditionals and natural language conditionals, emphasizing the dependence of the latter on the context, and the need to distinguish natural language conditionals which may be viewed as consequential or implicative, on one side, and concessive and some other types of conditionals, on the other. (shrink)

David Bohm is one of the foremost scientific thinkers of today and one of the most distinguished scientists of his generation. His challenge to the conventional understanding of quantum theory has led scientists to reexamine what it is they are going and his ideas have been an inspiration across a wide range of disciplines. _Quantum Implications_ is a collection of original contributions by many of the world' s leading scholars and is dedicated to David Bohm, his work and the issues (...) raised by his ideas. The contributors range across physics, philosophy, biology, art, psychology, and include some of the most distinguished scientists of the day. There is an excellent introduction by the editors, putting Bohm's work in context and setting right some of the misconceptions that have persisted about the work of David Bohm. (shrink)

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

This paper investigates the implicative conditional, a connective intended to describe the logical behavior of an empirically defined class of natural language conditionals, also namedimplicative conditionals, which excludes concessive and some other conditionals. The implicative conditional strengthens the strict conditional with the possibility of the antecedent and of the contradictory of the consequent.$${p\Rightarrow q}$$p⇒qis thus defined as$${\lnot } \Diamond {(p \wedge \lnot q) \wedge } \Diamond {p \wedge } \Diamond {\lnot q}$$¬◊(p∧¬q)∧◊p∧◊¬q. We explore the logical properties of this conditional in (...) a reflexive normal Kripke semantics, provide an axiomatic system and prove it to be sound and complete for our semantics. The implicative conditional validates transitivity and contraposition, which we take to be integral parts of reasoning and communication. But it only validates restricted versions of strengthening the antecedent, right weakening, simplification, and rational monotonicity. Apparent counterexamples to some of these properties are explained as due to contextual factors. Finally, the implicative conditional avoids the paradoxes of material and strict implication, and validates some connexive principles such as Aristotle’s theses and weak Boethius’ thesis, as well as some highly entrenched principles of conditionals, such as conjunction of consequents, disjunction of antecedents, modus ponens, cautious monotonicity and cut. (shrink)

Algorithms silently structure our lives. Algorithms can determine whether someone is hired, promoted, offered a loan, or provided housing as well as determine which political ads and news articles consumers see. Yet, the responsibility for algorithms in these important decisions is not clear. This article identifies whether developers have a responsibility for their algorithms later in use, what those firms are responsible for, and the normative grounding for that responsibility. I conceptualize algorithms as value-laden, rather than neutral, in that algorithms (...) create moral consequences, reinforce or undercut ethical principles, and enable or diminish stakeholder rights and dignity. In addition, algorithms are an important actor in ethical decisions and influence the delegation of roles and responsibilities within these decisions. As such, firms should be responsible not only for the value-laden-ness of an algorithm but also for designing who-does-what within the algorithmic decision. As such, firms developing algorithms are accountable for designing how large a role individual will be permitted to take in the subsequent algorithmic decision. Counter to current arguments, I find that if an algorithm is designed to preclude individuals from taking responsibility within a decision, then the designer of the algorithm should be held accountable for the ethical implications of the algorithm in use. (shrink)

C. I. Lewis intended his systems S1–S5 as contributions to the study of “strict implication”, but in his formulation, strict implication is so thoroughly intertwined with other notions, such as possibility and negation, that it remains a problem, to separate out the properties of strict implication itself. I shall solve this problem for S2–5 and von Wright's M. The results for S3–5 are given below, while the implicative parts of S2 and M, which are rather more complicated, (...) are given in §5.In this presentation, ‘⊃’ stands for strict implication, and missing brackets for ‘⊃’ are restored by associationtothe right. Astrictformula is one of the form A ⊃ B. Axiom schemes are used throughout. (shrink)

Implicational tonoid logics and their extensions with abstract Galois properties have been introduced by Yang and Dunn. They introduced matrix semantics for the implicational tonoid logics but did not do for the extensions. Here we provide such semantics for implicational partial gaggle logics as one sort of such extensions. To this end, first we discuss implicational partial gaggle logics in Hilbert-style. We next introduce one kind of matrix semantics based on Lindenbaum– Tarski matrices for the logics and show that those (...) logics are complete with respect to the matrix semantics. Finally, we further introduce a slightly different kind of matrix semantics based on reduced models for the logics and show that those logics are complete with respect to this matrix semantics. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.