Spinor theory and its applications are indispensable in many areas of theoretical physics, especially in quantum mechanics, general relativity, and string theory. Spinors are complex objects that transform under specific representations of the Lorentz or rotation groups, capturing the intrinsic spin properties of particles. Recent developments in mathematical abstraction have provided new insights and tools for exploring spinor dynamics, particularly through the lens of motivic operators and M-Posit transforms. This paper delves into the intricate dynamics of spinors subjected (...) to motivic operators and MPosit transforms. Motivic operators encapsulate intrinsic algebraic properties and perturbations, leading to highly evolved spinor states without reliance on external coordinate systems. The M-Posit transform, a novel operator designed for spinors, leverages fractal morphic properties, topological congruence, and quantum-inspired perturbations to manipulate spinor structures within an infinitedimensional oneness geometry calculus. Drawing on the foundations laid by twistor theory, we aim to redefine the evolution of spinors using intrinsic properties derived from phenomenological velocity equations. By interpreting spinors as self-propelled twistors, we offer new perspectives on spinor transformations and dynamics. This intrinsic approach not only simplifies the mathematical treatment but also enhances the physical and geometric interpretation of spinor behaviors. The structure of this paper is organized as follows: We begin with the formal definition and computation of spinor components using motivic operators, highlighting the steps involved in their transformations. Following this, we introduce the M-Posit transform and explore its application to spinors, providing detailed mathematical formulations and examples. We also examine the implications of these transformations in higher-dimensional twistor spaces and non-commutative structures. Finally, we extend our analysis to practical applications in quantum computing, fractal image processing, and quantum field theory. The potential of spinning theory redefined through motivic operators and M-posit transforms offers promising avenues for further research in various domains of theoretical physics and mathematics. This paper sets a foundation for these explorations, emphasizing the importance of intrinsic properties and algebraic dynamics in understanding complex spinor evolutions. (shrink)

Motivation serves as a pivotal driver for achieving optimal work performance, especially in the realm of local government operations. Through a qualitative multiple-case study design, the researchers analyzed the pivotal connection between employees' performance and overall organizational success. Thirteen (13) participants from the first-class municipalities in the first district of Batangas were selected using purposive sampling techniques. Face-to-face interviews were conducted to get the opinions of the participants and were subsequently subjected to thematic analysis. The findings highlight the strong connection (...) between motivational tools and employee preferences. Despite the local government's emphasis on teamwork and collaboration, employees exhibit a strong preference for incentives, rewards, and acknowledgment. Advocating for the systematic integration of employee feedback into motivational strategy formulation and the necessity of comprehensive evaluations of existing tools. Additionally, it underscores the importance of cultivating an inclusive environment where employees actively participate in discussions about motivational approaches. By embracing the proposed motivational plan that considers both organizational and employee perspectives, this research seeks to cultivate a culture of heightened productivity and performance enhancement within local government units. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some (...) aspects of the debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

Merleau-Ponty’s relation to Husserl has been understood along a spectrum running from outright repudiation to deep appreciation. The aim of this paper is to clarify a significant and heretofore largely neglected unifying thread connecting Husserl and Merleau-Ponty, while also demonstrating its general philosophical import for phenomenological philosophy. On this account, the details of a programmatic philosophical continuity between these two phenomenologists can be structured around the concept of motivation. Merleau-Ponty sees in Husserl’s concept of motivation a necessary and innovative concept (...) that we must formulate in order to properly theorize the anonymous and passive functioning of “operative intentionality.” Motivation is the principle that bridges this domain with the egoic life of consciousness. Merleau-Ponty’s focus on anonymity, bodily habit, and other facets of operative intentionality are thus not a repudiation of Husserl’s analyses of intentionality, but rather a deepening of the notion of consciousness. I conclude by showing how Merleau-Ponty’s early work on motivation lays the conceptual groundwork for his later rethinking of intentionality in terms of institution, and thus mature ontology of the flesh. (shrink)

Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal scope. I (...) prove soundness and completeness theorems with respect to Hodes’ semantics, as well as semantics with fewer restrictions on the accessibility relation. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program (...) in the foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Since independence, at least 28 African countries have legalized some form of gambling. Yet a range of informal gambling activities have also flourished, often provoking widespread public concern about the negative social and economic impact of unregulated gambling on poor communities. This article addresses an illegal South African numbers game called fahfee. Drawing on interviews with players, operators, and regulatory officials, this article explores two aspects of this game. First, it explores the lives of both players and runners, as (...) well as the clandestine world of the Chinese operators who control the game. Second, the article examines the subjective motivations and aspirations of players, and asks why they continue to play, despite the fact that their aggregate losses easily outstrip their aggregate gains. In contrast with those who reduce its appeal simply to the pursuit of wealth, I conclude that, for the (mostly) black, elderly, working class women who play fahfee several times a week, the associated trade-off—regular, small losses, versus the social enjoyment of playing and the prospect of occasional but realistic windfalls—takes on a whole new meaning, and preferences for relatively lumpy rather than steady consumption streams help explain the continued attraction of fahfee. This reinforces the need to understand players’ own accounts of gambling utility rather than simply to moralistically condemn gambling or to dismiss gamblers behaviour as irrational. (shrink)

Much of the basic non-technical vocabulary of artificial intelligence is surprisingly ambiguous. Some key terms with unclear meanings include intelligence, embodiment, simulation, mind, consciousness, perception, value, goal, agent, knowledge, belief, optimality, friendliness, containment, machine and thinking. Much of this vocabulary is naively borrowed from the realm of conscious human experience to apply to a theoretical notion of “mind-in-general” based on computation. However, if there is indeed a threshold between mechanical tool and autonomous agent (and a tipping point for singularity), projecting (...) human conscious-level notions into the operations of computers creates confusion and makes it harder to identify the nature and location of that threshold. There is confusion, in particular, about how—and even whether—various capabilities deemed intelligent relate to human consciousness. This suggests that insufficient thought has been given to very fundamental concepts—a dangerous state of affairs, given the intrinsic power of the technology. It also suggests that research in the area of artificial general intelligence may unwittingly be (mis)guided by unconscious motivations and assumptions. While it might be inconsequential if philosophers get it wrong (or fail to agree on what is right), it could be devastating if AI developers, corporations, and governments follow suit. It therefore seems worthwhile to try to clarify some fundamental notions. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that (...) interacts directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Stubborn belief, like self-deception, is a species of motivated irrationality. The nature of stubborn belief, however, has not been investigated by philosophers, and it is something that poses a challenge to some prominent accounts of self-deception. In this paper, I argue that the case of stubborn belief constitutes a counterexample to Alfred Mele’s proposed set of sufficient conditions for self-deception, and I attempt to distinguish between the two. The recognition of this phenomenon should force an amendment in this account, and (...) should also make a Mele-style deflationist think more carefully about the kinds of motivational factors operating in self-deception. (shrink)

In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences for the (...) hypothesised relations between natural language and logic. (shrink)

One of the central aims of Susanne Mantel’s book "Determined by Reasons" (2018) is to reject the idea that normative and motivating reasons can be identical. In her own words, Mantel denies the “Identity Thesis”, according to which “when an agent acts for a normative reason N, there is a motivating reason M of that agent such that M is identical with N” (Mantel 2018, 93). In this comment, I offer a simple argument for the Identity Thesis: (1) When an (...) agent acts for a normative reason N, there is a reason M for which that agent acts such that M is identical with N. (2) A reason for which someone acts is a motivating reason. (3) Therefore, when an agent acts for a normative reason N, there is a motivating reason M of that agent such that M is identical with N. Premise (1) is trivial, and premise (2) is true by a common definition of the term ‘motivating reason’, according to which a motivating reason is just a reason that is acted upon. I call this the operative notion of a motivating reason. Mantel does not address this operative notion, even though it is widely used in the literature, especially among proponents of the Identity Thesis. I argue that Mantel does not succeed in rejecting the Identity Thesis as long as she does not show that the operative notion of a motivating reason is flawed. (shrink)

Can hybridism about moral claims be made to work? I argue it can if we accept the conventional implicature approach developed in Barker (Analysis 2000). However, this kind of hybrid expressivism is only acceptable if we can make sense of conventional implicature, the kind of meaning carried by operators like ‘even’, ‘but’, etc. Conventional implictures are a form of pragmatic presupposition, which involves an unsaid mode of delivery of content. I argue that we can make sense of conventional implicatures, (...) but doing so requires we embrace a form of pure, non-hybrid expressivism. This is a cognitivist expressivism I have developed elsewhere. We need cognitivist expressivism to make sense of how we evaluate—judge as correct or incorrect—implicature-bearing sentences. Once we embraced the possibility of this pure expressivism, we might as well be pure expressivists about normative discourse too. I show how we can do that. The motivations for a specifically hybrid theory are dialectically undercut. (shrink)

According to Heidegger's Being and Time, social relations are constitutive of the core features of human agency. On this view, which I call a ‘strong conception’ of sociality, the core features of human agency cannot obtain in an individual subject independently of social relations to others. I explain the strong conception of sociality captured by Heidegger's underdeveloped notion of ‘being-with’ by reconstructing Heidegger's critique of the ‘weak conception’ of sociality characteristic of Kant's theory of agency. According to a weak conception, (...) sociality is a mere aggregation of individual subjects and the core features of human agency are built into each individual mind. The weak conception of sociality remains today widely taken for granted. I show that Christine Korsgaard, one of the most creative contemporary appropriators of Kant, operates with a weak conception of sociality and that this produces a problematic explanatory deficiency in her view: she is unable to explain the peculiar motivational efficacy of shared social norms. Heidegger's view is tailor made to explain this phenomenon. I end by sketching how Heidegger provides a social explanation of a major systematic concern animating Korsgaard, the concern with the importance of individual autonomy and answerability in human life. (shrink)

Hume describes “mental geography” as the endeavor to know “the different operations of the mind, to separate them from each other, to class them under their proper heads, and to correct all that seeming disorder, in which they lie involved, when made the object of reflection and enquiry.” While much has been written about his geography of thought in Treatise Book 1, relatively little has been written about his geography of feeling in Books 2 and 3, with the result that (...) there has been considerable puzzlement and disagreement about the meaning and grounds of many of his central theses about the passions, action, and morals. My endeavor in this chapter is to remove some common sources of perplexity about his classification of the operations of feeling “under their proper heads” in that work. I begin by explaining his three highest-level distinctions bearing on this terrain: that between impressions and ideas; that between original impressions and secondary impressions; and that between the passions and the other emotions. In order to understand this third distinction, I explain his three different senses of the term ‘emotion’ and the relations among them. I ill then examine five different kinds of secondary impressions that he recognizes. These are: (1) sensible agitations; (2) feelings of or from mental operations; (3) volitions; (4) the passions (including motives); and (5) sentiments of taste. The broad outlines of the resulting geography are mapped out in a chart at the end. (shrink)

Most philosophers who discuss the value of forgiveness concentrate on its moral value. This paper focuses on the prudential value of forgiveness, which has been surprisingly neglected by moral philosophers. I suggest that this may be because part of the concept of forgiveness involves the forgiver being motivated by moral rather than prudential considerations. But this does not justify neglecting the prudential value of forgiveness, which is important even though forgivers should not be prudentially motivated. Forgiveness helps satisfy interests arising (...) from the need for co-operation in such areas as epistemic life, where humans are interdependent. Forgiveness can restore epistemic relationships, and this has the prudential value of helping agents navigate their way through their environment. While the prudential value of forgiveness may be supplementary to its moral value, it would be a mistake to ignore this area of the debate. Exploring the prudential value of forgiveness enriches our understanding of the role that this practice plays in human life, and may contribute to explaining the origin of forgiveness. (shrink)

Most psychological and philosophical theories assume that we know what we feel. This general view is often accompanied by a range of more specific claims, such as the idea that we experience one emotion at a time, and that it is possible to distinguish between emotions based on their cognition, judgment, behaviour, or physiology. One common approach is to discriminate emotions based on their motivations or ultimate goals. Some argue that empathic distress, for instance, has the potential to motivate empathic (...) concerns; personal distress, on the other hand, is self-oriented and motivates egoistic concerns. In this paper, I argue against this and similarly teleological views of emotions and affect. Through a close study of the emotional breakdown of an American drone operator, I make the case that understanding our emotions entails much more ambiguity than dominant theories assume. In our emotional lives, disorientation and confusion are often the norm. (shrink)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

This study deals primarily with the effectiveness of the Land Bank of Philippines as a Depository Bank of Makati Branch in specific organization and bank operations management. This paper provides baseline data in aid of policy formulation to enhance the bank operations management that offers new motivation towards a policy that effectively addresses and solves the bank operations management. This study used the quantitative descriptive method. Thirteen (13) bank personnel and 64 barangays elected chairman, including the appointed treasurer with direct (...) access to the bank transaction regarding the funds of the barangays in Makati City, were purposely taken as research respondents. It was found that no significant difference exists in the assessment of the respondents in organization and bank operations management when grouped according to age, gender, and educational attainment. The mean evaluation of the respondents in the organization and bank operations management with the variables mentioned revealed effectiveness, and the grand mean and the composite mean are within the mean range of 3.50-4.49, interpreted as effective. This implies that the variables mentioned are directly performed to the standard of the bank. It is recommended that the bank look into the deposits of the barangay funds as it is mandated by law to secure the funds of the barangay in the form of deposits and withdrawals. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

This paper highlights a small selection of cases where crosslinguistic insights have been important to big questions in the theory of semantics and the syntax/semantics interface. The selection includes (i) the role and representation of Speaker and Addressee in the grammar; (ii) mismatches between form and interpretation motivating high-placed silent operators for functional elements; and (iii) the explanation of semantic universals, including universals pertaining to inventories, in terms of learnability and the trade-off between informativeness and simplicity.

The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this position because (...) they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

This essay aims to motivate an epistemic non-individualistic conception of reflection. The proposal is non-individualistic because (a) it addresses more than individual metacognitive performance and (b) it refers to a situation in which two or more people are in dialogical disagreement about the same subject matter or target proposition; (c) their dispute is based on conversational space and they are entitled to expect one another to be engaged in attempts at truth, avoidance of error, and understanding. I call this proposal (...) a Dialectical account of Reflection (DaR). According to (DaR), reflection is a conscious and intentional intellectual operation through which an individual becomes aware of the contents of disputed beliefs in a dialogical or interpersonal exchange, involving both her own beliefs and the beliefs of her interlocutors. In (DaR), reflection produces the epistemic good of avoiding epistemic vices and promoting epistemic moderation. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is (...) a perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

The model of consciousness developed here is a cooperative venture between mind, brain, body, nature, culture, community, and family. The overall unity of consciousness is provided by the loop of engagement that conducts intentional action into the ambient. Each successive round of engagement between subject and world generates a gap of disparity between remembrance of purpose or intent and the effect achieved on the operative level of understanding within a larger taxonomic scheme in experience. That gap sends a delta signal (...) that arouses various parameters of motivation to form a configuration that constitutes a felt situation within subjective experience. That delta signal and felt situation are nothing other than our subjective experience of consciousness. Situated intelligence is the first-person awareness stimulated by a particular complement of motivational parameters. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

1. The no form action theory is a novel philosophical theory that transcends traditional dualisms such as matter and spirit, form and substance. It establishes a two-dimensional theoretical framework composed of form and no form, and uses this two-dimensional theory to understand various aspects of the world. 2. The three key actions of no form are: isolation action (e.g., distinguishing between different things), motive force action (e.g., driving changes in things), and manifestation action (e.g., allowing us to perceive things). These (...) three actions have strong "self-reflexivity". For example, the relationships between these three actions can be divided into: isolation relationship, motive force relationship, and manifestation relationship. These three relationships, in turn, belong to isolation action, motive force action, and manifestation action respectively. 3. The no form action theory have strong universality, capable of providing unified theoretical explanations across various disciplines. For example, it can be used to explain quantum entanglement phenomena in physics, as well as the mechanism of consciousness generation in psychology; it can explain ontology, as well as time and space; it can explain emotions, as well as logic. It can explain language, as well as the macroscopic world. 4. The completion of the core ideas of the no form action theory marks the beginning of a new historical stage in philosophical research. It provides a completely new set of methods and perspectives to understand the world, and has achieved a series of important results: (1) It offers new interpretations of the most fundamental philosophical concepts such as "being", "existence", "is", "freedom", "consciousness", "beauty", "space", "time", "basis", "cause", "self", "identity", etc., and introduces many new concepts. It binds these concepts technically within the framework of the no form action theory. This establishes a highly logical and explanatory philosophical system. As a result, philosophical research now has clearer, more rigorous, and more reliable technical operational methods. (2) It derives and explains the three basic laws of formal logic, and demonstrates that they are interdependent and form an inseparable whole. (3) It provides a new solution to Descartes' "mind-body problem" and also explains difficult issues in physics such as quantum entanglement. (4) It discovers a third dimension in the world besides time and space: "now". This discovery provides a completely new perspective for understanding reality, consciousness, and the nature of the universe. (shrink)

The hard problem of consciousness has held center stage in the philosophy of mind for the past two decades. It claims that the phenomenal character of conscious experiences—what it’s like to be in them—cannot be explained by appeal to the operation of physiological subsystems. The hard problem arises, however, only given the assumption that hylomorphism is false. Hylomorphism claims that structure is a basic ontological and explanatory principle. A human is not a random collection of physical materials, but an individual (...) composed of physical materials with a structure that accounts for what it is and what it can do—the powers it has. What is true of humans is true of their activities as well. The latter are not random physiological changes, but structured ones: we engage in them by coordinating the ways our parts manifest their powers. Structured activities include perceptual experiences. Consequently, everything about a perceptual experience, including its phenomenal character, can be explained by describing the perceiver’s perceptual subsystems, the powers of those subsystems, and the coordination that unifies their activities into the activity of the perceiver as a whole. Conscious experiences thus fit unproblematically into the natural world—just as unproblematically as the phenomenon of life. Even exponents of the hard problem of consciousness agree that there is no hard problem of life. Consequently, if hylomorphism is true, there can be no hard problem of consciousness. To insist that there is such a problem, then, is implicitly to reject hylomorphism. The concept of consciousness that motivates the hard problem is as much a theoretical construct, therefore, as the concept of life that motivates an obstinate vitalist. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

Social scientists appeal to various “structures” in their explanations including public policies, economic systems, and social hierarchies. Significant debate surrounds the explanatory relevance of these factors for various outcomes such as health, behavioral, and economic patterns. This paper provides a causal account of social structural explanation that is motivated by Haslanger (2016). This account suggests that social structure can be explanatory in virtue of operating as a causal constraint, which is a causal factor with unique characteristics. A novel causal framework (...) is provided for understanding these explanations–this framework addresses puzzles regarding the mysterious causal influence of social structure, how to understand its relation to individual choice, and what makes it the main explanatory (and causally responsible) factor for various outcomes. (shrink)

Many philosophers have assumed that our preferences regarding hedonic events exhibit a bias toward the future: we prefer positive experiences to be in our future and negative experiences to be in our past. Recent experimental work by Greene et al. (ms) confirmed this assumption. However, they noted a potential for some participants to respond in a deviant manner, and hence for their methodology to underestimate the percentage of people who are time neutral, and overestimate the percentage who are future biased. (...) We aimed to replicate their study using an alternative methodology that ensures there are no such deviant responses, and hence more accurately tracks future bias and time neutrality. Instead of finding more time neutrality than Greene et al., however, we found vastly more past bias. Our explanation for this surprising finding helps to reveal the rationale behind both future and past biased preferences, and undermines the generalisability of one of the most influential motivations for the rationality of hedonic future bias: Parfit’s My Past or Future Operations. (shrink)

In many languages, the same particles that form quantifier words also serve as connectives, additive and scalar particles, question markers, roots of existential verbs, and so on. Do these have a unified semantics, or do they merely bear a family resemblance? Are they aided by silent operators in their varied roles―if yes, what operators? I dub the particles “quantifier particles” and refer to them generically with capitalized versions of the Japanese morphemes. I argue that both MO and KA (...) can be assigned a stable semantics across their various roles. The specific analysis I offer is motivated by the fact that MO and KA often combine with just one argument; I propose that this is their characteristic behavior. Their role is to impose semantic requirements that are satisfied when the immediately larger context is interpreted as the meet/join of their host’s semantic contribution with something else. They do not perform meet/join themselves. The obligatory vs. optional appearance of the particles depends on whether the meet/join interpretations arise by default in the given constellation. I explicate the proposal using the toolkit of basic Inquisitive Semantics. (shrink)

In this paper, a critical discussion is made of the role of entailments in the so-called New Paradigm of psychology of reasoning based on Bayesian models of rationality (Elqayam & Over, 2013). It is argued that assessments of probabilistic coherence cannot stand on their own, but that they need to be integrated with empirical studies of intuitive entailment judgments. This need is motivated not just by the requirements of probability theory itself, but also by a need to enhance the interdisciplinary (...) integration of the psychology of reasoning with formal semantics in linguistics. The constructive goal of the paper is to introduce a new experimental paradigm, called the Dialogical Entailment task, to supplement current trends in the psychology of reasoning towards investigating knowledge-rich, social reasoning under uncertainty (Oaksford and Chater, 2019). As a case study, this experimental paradigm is applied to reasoning with conditionals and negation operators (e.g. CEM, wide and narrow negation). As part of the investigation, participants’ entailment judgments are evaluated against their probability evaluations to assess participants’ cross-task consistency over two experimental sessions. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any (...) further controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

In this paper we will demonstrate that a computational system can meet the criteria for autonomy laid down by classical enactivism. The two criteria that we will focus on are operational closure and structural determinism, and we will show that both can be applied to a basic example of a physically instantiated Turing machine. We will also address the question of precariousness, and briefly suggest that a precarious Turing machine could be designed. Our aim in this paper is to challenge (...) the assumption that computational systems are necessarily heteronomous systems, to try and motivate in enactivism a more nuanced and less rigid conception of computational systems, and to demonstrate to computational theorists that they might find some interesting material within the enactivist tradition, despite its historical hostility towards computationalism. (shrink)

According to the `grammatical account', scalar implicatures are triggered by a covert exhaustification operator present in logical form. This account covers considerable empirical ground, but there is a peculiar pattern that resists treatment given its usual implementation. The pattern centers on odd assertions like #"Most lions are mammals" and #"Some Italians come from a beautiful country", which seem to trigger implicatures in contexts where the enriched readings conflict with information in the common ground. Magri (2009, 2011) argues that, to account (...) for these cases, the basic grammatical approach has to be supplemented with the stipulations that exhaustification is obligatory and is based on formal computations which are blind to information in the common ground. In this paper, I argue that accounts of oddness should allow for the possibility of felicitous assertions that call for revision of the common ground, including explicit assertions of unusual beliefs such as "Most but not all lions are mammals" and "Some but not all Italians come from Italy". To adequately cover these and similar cases, I propose that Magri's version of the Grammatical account should be refined with the novel hypothesis that exhaustification triggers a bifurcation between presupposed (the negated relevant alternatives) and at-issue (the prejacent) content. The explanation of the full oddness pattern, including cases of felicitous proposals to revise the common ground, follows from the interaction between presupposed and at-issue content with an independently motivated constraint on accommodation. Finally, I argue that treating the exhaustification operator as a presupposition trigger helps solve various independent puzzles faced by extant grammatical accounts, and motivates a substantial revision of standard accounts of the overt exhaustifier "only". (shrink)

Suppositions can be introduced in either the indicative or subjunctive mood. The introduction of either type of supposition initiates judgments that may be either qualitative, binary judgments about whether a given proposition is acceptable or quantitative, numerical ones about how acceptable it is. As such, accounts of qualitative/quantitative judgment under indicative/subjunctive supposition have been developed in the literature. We explore these four different types of theories by systematically explicating the relationships canonical representatives of each. Our representative qualitative accounts of indicative (...) and subjunctive supposition are based on the belief change operations provided by AGM revision and KM update respectively; our representative quantitative ones are offered by conditionalization and imaging. This choice is motivated by the familiar approach of understanding supposition as `provisional belief revision' wherein one temporarily treats the supposition as true and forms judgments by making appropriate changes to their other opinions. To compare the numerical judgments recommended by the quantitative theories with the binary ones recommended by the qualitative accounts, we rely on a suitably adapted version of the Lockean thesis. Ultimately, we establish a number of new results that we interpret as vindicating the often-repeated claim that conditionalization is a probabilistic version of revision, while imaging is a probabilistic version of update. (shrink)

How regular do mechanisms need to be, in order to count as mechanisms? This paper addresses two arguments for dropping the requirement of regularity from the definition of a mechanism, one motivated by examples from the sciences and the other motivated by metaphysical considerations regarding causation. I defend a broadened regularity requirement on mechanisms that takes the form of a taxonomy of kinds of regularity that mechanisms may exhibit. This taxonomy allows precise explication of the degree and location of regular (...) operation within a mechanism, and highlights the role that various kinds of regularity play in scientific explanation. I defend this regularity requirement in terms of regularity’s role in individuating mechanisms against a background of other causal processes, and by prioritizing mechanisms’ ability to serve as a model of scientific explanation, rather than as a metaphysical account of causation. It is because mechanisms are regular, in the expanded sense described here, that they are capable of supporting the kinds of generalizations that figure prominently in scientific explanations. (shrink)

This paper discusses a recent opposition between the influential dynamic semantic account of presupposition projection and a recent Gricean-pragmatic theory. The Gricean-pragmatic theory is partly motivated by an influential ob- jection to dynamic semantics based on the compatibility of dynamic systems with connectives and operators exhibiting deviant projection behaviors. By identifying key features of the role of prediction and explanation in semantics, it is argued that the objection is based on a mistaken conception of the involve- ment of empirical (...) foundations in semantic theories. The paper shows that the dynamic paradigm does not suffer from either predictive or explanatory inad- equacy. The chapter concludes that while it is too early to decide in favor of either approach, the Gricean alternative to dynamic semantics cannot be seen as motivated by a flaw in the latter theories. (shrink)

Though the vegetarian movement sparked by Peter Singer’s book Animal Liberation has achieved some success, there is more animal suffering caused today due to factory farming than there was when the book was originally written. In this paper, I argue that there may be a technological solution to the problem of animal suffering in intensive factory farming operations. In particular, I suggest that recent research indicates that we may be very close to, if not already at, the point where we (...) can genetically engineer factory-farmed livestock with a reduced or completely eliminated capacity to suffer. In as much as animal suffering is the principal concern that motivates the animal welfare movement, this development should be of central interest to its adherents. Moreover, I will argue that all people concerned with animal welfare should agree that we ought to replace the animals currently used in factory farming with animals whose ability to suffer is diminished if we are able to do so. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

In order to strengthen RI in the private sector, it is imperative to understand how companies organise this process, where it takes place, and what considerations and motivations are central in the innovation process. In this chapter, the questions of whether and where normative considerations play a role in the innovation process, and whether dimensions of RI are present in the innovation process, are addressed. In order answer these research questions, a theoretical framework is developed based on Jones’s theory of (...) ethical decision making and Cooper’s stagegate model of innovation management. In order to answer the research questions, a specific case of innovations that contribute to public health is explored, namely, that of food companies that participate in a Front-of-Pack logo for healthier food. As the use of healthy food logos does not necessarily have a positive impact on sales and profits, it is expected that in the decision-making process, as part of their innovation process, companies make several trade-offs between economic, technical and moral factors. As the social-ethical values at stake in corporate innovation processes have remained to a large extent unexplored in research on innovation management, the aim of this chapter is to identify the motivations and barriers for companies embracing and continuing a FoP logo for healthier food, and to assess whether ethical considerations play a role in this innovation process. From the findings in this research, it will become clear that although the studied companies participated in a programme for healthy food and thus are responsive to the needs of society, and although the companies feel responsible for public health, ethical considerations do not play a central role in the operational innovation process. Instead, technical and economic considerations seem to prevail in the operational innovation process. Furthermore, none of the procedural dimensions of RI seems to be present at this level in the innovation trajectory. It is argued that this may be an indication that the ethical decision-making process for RI is not located at the level of the operational innovation process itself, but is something that might be located on a higher strategic level in the company. It is at this level that the moral decision is taken to adopt the FoP logo and to engage in the RI process. The findings cast a new light on the discourse on RI in general, and in the private sector in particular. (shrink)

This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing signs will (...) be respectively employed to clarify his 1891 understanding of the authentic and inauthentic presentations of numbers via number signs. Moreover, his schematic classification of replacement-signs in Semiotic will illuminate the reasons why he believed the number system to be necessary for the operation of replacing number signs. (shrink)

In my Racialization: A Defense of the Concept, I argue that ‘race’ fails as an analytic category and that we should think in terms of ‘racialization’ and ‘racialized groups’ instead (Hochman 2019c). I define these concepts and defend them against a range of criticisms. In Rethinking Racialization: The Analytical Limits of Racialization, Deniz Uyan critiques my “theory of racialization” (Uyan 2021). However, I do not defend a theory of racialization; I defend the concept of racialization. I argue that racialization is (...) a useful idea, but I do not advance a theory to explain or predict the phenomena it describes. While Uyan’s critique therefore misses its mark, it raises important questions about the explanatory scope of the racialization concept. Ironically, I may be even more skeptical of the prospects of any general theory of racialization than Uyan. I argue that while we ought to develop theories to explain particular instances of racialization, we should not develop a general theory of racialization, because it is simply too varied in the agents that drive it, their intents, the mechanisms through which it operates, and the outcomes it produces. While hope for any general theory of racialisation should be abandoned, I argue that the racialisation concept is still extremely useful. It offers a necessary alternative to race realist concepts, allowing us to point to the wide-ranging effects of belief in race without falsely implying that race itself is real. Uyan does not focus on my arguments against racial realism. However, the theoretical failures and normative risks of racial realism motivate my defense of the racialization concept. In this paper, I reiterate my arguments against racial realism and offer further defense of the concepts of ‘racialization’ and ‘racialized group’. (shrink)

What we have learnt in the last six or seven decades about virtual machinery, as a result of a great deal of science and technology, enables us to offer Darwin a new defence against critics who argued that only physical form, not mental capabilities and consciousness could be products of evolution by natural selection. The defence compares the mental phenomena mentioned by Darwin’s opponents with contents of virtual machinery in computing systems. Objects, states, events, and processes in virtual machinery which (...) we have only recently learnt how to design and build, and could not even have been thought about in Darwin’s time, can interact with the physical machinery in which they are implemented, without being identical with their physical implementation, nor mere aggregates of physical structures and processes. The existence of various kinds of virtual machinery (including both “platform” virtual machines that can host other virtual machines, e.g. operating systems, and “application” virtual machines, e.g. spelling checkers, and computer games) depends on complex webs of causal connections involving hardware and software structures, events and processes, where the specification of such causal webs requires concepts that cannot be defined in terms of concepts of the physical sciences. That indefinability, plus the possibility of various kinds of self-monitoring within virtual machinery, seems to explain some of the allegedly mysterious and irreducible features of consciousness that motivated Darwin’s critics and also more recent philosophers criticising AI. There are consequences for philosophy, psychology, neuroscience and robotics. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

This study sets out to examine the ways Nigerian cyber-fraudsters (Yahoo-Boys) are represented in hip-hop music. The empirical basis of this article is lyrics from 18 hip-hop artists, which were subjected to a directed approach to qualitative content analysis and coded based on the moral disengagement mechanisms proposed by Bandura (1999). While results revealed that the ethics of Yahoo-Boys, as expressed by musicians, embody a range of moral disengagement mechanisms, they also shed light on the motives for the Nigerian cybercriminals' (...) actions. Further analysis revealed additional findings: “glamorization/de-glamorization of cyber-fraud” and “sex-roles-and-cultures”. Having operated within the constraint of what is currently available (a small sample size), this article has drawn attention to the notion that Yahoo-Boys and some musicians may be “birds of a feather.” Secondly, it has exposed a “hunter-and-antelope-relationship” between Yahoo-Boys and their victims. Thirdly, it has also highlighted that some ethos of law-abiding citizens is central to Yahoo-Boys’ moral enterprise. Yahoo-Boys, therefore, represent reflections of society. Arguably, given that Yahoo-Boys and singers are connected, and the oratory messages of singers may attract more followers than questioners, this study illuminates the cultural dimensions of cyber-fraud that emanate from Nigeria. In particular, insights from this study suggest that cyber-fraud researchers might look beyond traditional data sources (e.g., cyber-fraud statistics) for the empirical traces of “culture in action” that render fraudulently practices acceptable career paths for some Nigerian youths. (shrink)

This paper offers a new account of the epistemic significance of disagreement which is grounded in two assumptions; that knowledge is the norm of belief and, that the safety condition is a necessary condition for knowledge. These assumptions motivate a modal definition of epistemic peerhood, which is much easier to operate on than the more traditional definitions of epistemic peerhood. The modal account of the epistemic significance of disagreement yields plausible results regarding cases of disagreement. Furthermore, it is able to (...) tap into the intuitions that have motivated the conformist and the nonconformist positions and it locates a fruitful middle-ground between these two conflicting positions. It will be shown that the conformist is correct in that cases of real peer disagreement force us to suspend our judgment. The reason for this is that in cases of real peer disagreement our beliefs fail to be safe. The nonconformist, on the other hand, is right in that disagreement in itself does not have any epistemic power. It is only by the grace of nature that we gain knowledge. The fact that someone disagrees with you does not mean that you do not have knowledge. (shrink)