The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

In his essay, "Fine-Tuning and Multiple Universes", Roger White examines the extent to which a multiple-universe hypothesis lessens the ’surprisingness’ that our universe should be life-sustaining. White offers two main conclusions. His first conclusion -- that the existence of our world is not itself evidence for the existence of multiple universes -- is sound. However, his second conclusion is that, on the hypothesis that multiple universes exist, the further hypothesis of an intelligent designer does (...) not lesson the surprisingness that our universe should be life-permitting. This second conclusion, which would undercut most design arguments, is shown to rest on a mistake. (shrink)

In the literature on multiple realizability and the identity theory, cases of neural plasticity have enjoyed a very limited role. The present article attempts to remedy this small influence by arguing that clinical and experimental evidence of quite extensive neural reorganization offers compelling support for the claim that psychological kinds are multiply realized in neurological kinds, thus undermining the identity theory. In particular, cases are presented where subjects with no measurable psychological deficits also have vast, though gradually received, neurological (...) damage. Common objections and concerns are also discussed and rejected. 1 Introduction2 The GRP, Serial Lesion Effect, and Multiple Realizability2.1 A case study of the serial lesion effect2.2 Evaluating the case study’s evidence for multiple realizability3 The GRP More Generally4 Objections to the GRP as Evidence for Multiple Realizability4.1 Small plastic effects and neurological taxonomies4.2 But do neural regions and locations even matter at all?4.3 But are there not other options besides location?5 Conclusion. (shrink)

In philosophical logic and proof theory, we often find multiple-conclusion systems that induce a conjunctive reading of premises and a disjunctive reading of conclusions. In mathematical logic, in contrast, we often find multiple-conclusion systems that induce a conjunctive reading of both premises and conclusions. This paper studies some technical and philosophical aspects of this latter approach to multiple-conclusion consequence. The takeaway is that, while the importance of disjunctive multiple conclusions is beyond doubt, conjunctive (...) multiple conclusions also have philosophical interest. First, because there is some evidence that there are arguments with conjunctive multiple conclusions in natural language. Second, because conjunctive multiple conclusions are compatible with the reflexivity and transitivity of logical consequence, and this allows them to cohere better with some of our best accounts of what logical consequence is. (shrink)

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about (...) the comma in typical multiple-conclusion systems, and vice versa. (shrink)

Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, any updating (...) rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (shrink)

This paper explores the integration of multiple intelligences and artificial intelligence (AI) in language learning, focusing on its potential to enhance personalization and engagement. Drawing from existing research and studies conducted in various contexts, including the Philippines, this study aims to contribute to the understanding of the benefits, challenges, and effectiveness of this integration. The paper begins with an introduction that highlights the background and significance of integrating multiple intelligences and AI in language learning, identifying research gaps, objectives, (...) research questions, and the theoretical framework. A literature review provides an overview of multiple intelligences theory by Howard Gardner, the role of AI in language learning, and identifies gaps in the existing literature. The methodology section outlines the research design and approach, participant selection, data collection methods, validity and reliability measures, and ethical considerations. Findings and results are presented through the analysis of qualitative data, exploring emergent themes and patterns. The discussion section critically examines the identified research gaps, discusses the validity and reliability of the study, addresses the scope and limitations, and explores the implications of the findings for theory, practice, and future research. The conclusion summarizes the key findings and contributions of the study, reflects on the achievement of research objectives, offers recommendations for further research, and provides final remarks tying together the main points of the study. This paper contributes to the existing body of knowledge by providing insights into the integration of multiple intelligences and AI in language learning and its impact on personalization, engagement, and language learning outcomes. (shrink)

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

Polger and Shapiro argue that their official recipe, a criterion for judging when the phenomenon of multiple realization exists, renders MR less widespread than its proponents have assumed. I argue that, although Polger and Shapiro’s criterion is a useful contribution, they arrive at their conclusion too hastily. Contrary to Polger and Shapiro, I claim that the phenomenon of multiple realization in the biological world, judged by their criterion, is not as scarce as they suggest. To show this, (...) an updated official recipe, namely a multiple mechanistic realization thesis, integrating Polger and Shapiro’s criterion with a compositional conception of realization, is developed. Then, three examples of varied kinds are examined, showing that cases of MR are not so hard to find in the biological world. (shrink)

How many scientific demonstrations can a single phenomenon have? This paper argues that, according to Aristotle's theory of scientific knowledge as laid out in the Posterior Analytics, a single conclusion may be demonstrated via more than one explanatory middle term. I also argue that this model of multiple demonstration is put into practice in the biological writings. This paper thereby accomplishes two related goals: it clarifies certain relatively obscure passages of the Posterior Analytics and uses them to show (...) how Aristotle explains biological phenomena by reference to both final and material causes in the Parts of Animals. The first part of the paper explains the account of multiple demonstration present in the Posterior Analytics and distinguishes it from another kind of plural explanation rejected by Aristotle. The second part of the paper turns to the biological explanation in the Parts of Animals and shows how Aristotle's account of multiple demonstrations works in practice. The paper thus provides evidence for the claim that the ‘applied’ reasoning on display in the biological works is in harmony with the framework of the logical treatises, and thus may also shed light on questions of the unity of the Aristotelian corpus. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things (...) return. It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

In the case of ventriloquism, seeing the movement of the ventriloquist dummy’s mouth changes your experience of the auditory location of the vocals. Some have argued that cases like ventriloquism provide evidence for the view that at least some of the content of perception is fundamentally multimodal. In the ventriloquism case, this would mean your experience has constitutively audio-visual content (not just a conjunction of an audio content and visual content). In this paper, I argue that cases like ventriloquism do (...) not in fact warrant that conclusion. I then try to make sense of crossmodal cases without appealing to fundamentally multimodal content. (shrink)

In his The Problems of Philosophy Bertrand Russell presents us with his famous argument for representative realism. After a clear and accessible analysis of sensations, qualities and the multiplicity of perceptions of the qualities of physical objects, Russell concludes with a bold statement: -/- "The real table, if there is one, is not immediately known to us at all, but must be an inference from what is immediately known". -/- My argument and analysis strongly suggests that the conclusion that (...) Russell reaches in his argument is counterintuitive and incoherent. The philosophical statement that he presents on the table, in the opening pages of his famous Problems argument is fundamentally misconstrued, and as it stands, it is logically unacceptable. (shrink)

Introduction: Multiple sclerosis (MS) is an autoimmune disease that causes scar tissue in the nervous system and seriously affects the quality of life of people. Muscle weakness, spasticity and coordination problems are seen primarily in the lower extremities. Strengthening exercises improve muscle strength in people with multiple sclerosis, but there is no consensus on their effect on walking capacity. -/- Methods: To determine the relationship between gluteus maximus muscle strength, ataxia, balance and walking capacity in Multiple Sclerosis. (...) An experimental study design was applied. Gluteus maximus muscle strength was measured using a dynamometer. Walking capacity was determined by the 6-minute walk test (6MWT) and dynamic gait index (DGI). Balance was evaluated with the one-leg standing test (SLS). The severity of ataxia was measured with the International Ataxia Rating Scale (ICARS). Fatigue was evaluated with VAS and quality of life of all patients with SF36 short form. -/- Results: EDSS mean of the study = 3.39 ± 1.4; 2 men and 16 women with mean age = 37.17 ± 9.16 years were included. 6MWT, DGI, ALS, ICARS, VAS were different before and after treatment (p<0.05). There was no significant difference other than physical function and general health among the sub-parameters of SF36 (p>0.05). Correlation of muscle strength with ataxia, gait and balance was not significant (p>0.05) -/- Conclusion: In individuals with MS, the fact that the treatment program consists of modalities that include balance and sensory exercises as well as muscle strengthening exercises increases the success of rehabilitation. (shrink)

In the following paragraphs, I will describe ten strategies through which we can show the weaknesses of every form of theism based on the "One God", while postulating that the Trinity is a good solution. This approach follows up on Swinburne’s claims about the existence of a priori and a posteriori proofs for the existence of the Trinity (his proofs are part of the sixth strategy). Clearly, these strategies are not “new”: they have been advocated by many thinkers in the (...) past and in the present. I merely revived them, and brought them together in a kind of cumulative reasoning: the strength of them arises when these strategies are considered together, showing that the Trinity is a reasonable hypothesis even though it is contradictory. The proposed strategies lead to the conclusion that there must exist in God something similar to what we call ‘real relations’ and ‘multiplicity’; and in order for God to be relational, there must exist in Him some “distincts” that relate to one another. This is postulated by philosophical reasoning, not just by Revelation, and regardless of the choice to support a process metaphysics. As Trinitarian theology contains the mystery of eternal generation, the strategies do account for the fact that in philosophy we contemplate the mystery of eternal self-distinction and of all the other ‘self-actions’ of the One. The eternal generation remains mysterious, but it is the idea that best helps us describe how God is (One and Triune) and how he creates the world. God must be Triune in every theistic system. The One God is, as One, also Triune. The Unity-Trinity of the Principle is the only apophatic point that we can reach from many quarters. Once autonomous paths of reason have established that God is a Person and Persons, One-Multiple, Creator (communicated), Free, Relational and Infinite possibility, it therefore emerges that our most reliable hypothesis is that of the Trinitarian God. (shrink)

This paper examines two parallel discussions of scientific modeling which have invoked experimentation in addressing the role of models in scientific inquiry. One side discusses the experimental character of models, whereas the other focuses on their exploratory uses. Although both relate modeling to experimentation, they do so differently. The former has considered the similarities and differences between models and experiments, addressing, in particular, the epistemic value of materiality. By contrast, the focus on exploratory modeling has highlighted the various kinds of (...) exploratory functions of models in the early stages of inquiry. These two perspectives on modeling are discussed through a case study in the field of synthetic biology. The research practice in question explores biological control by making use of an ensemble of different epistemic means: mathematical models and simulations, synthetic genetic circuits and intracellular measuring devices, and finally electronic circuits. We argue that the study of exploratory modeling should trace the ways different epistemic means, in different materialities, are being combined over time. Finally, the epistemic status of such novel investigative objects as synthetic genetic circuits is evaluated, with the conclusion that they can function as both experiments and models. (shrink)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple (...) contaminating values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

Bilateralism is the view that the speech act of denial is as primitive as that of assertion. Bilateralism has proved helpful in providing an intuitive interpretation of formalisms that, prima facie, look counterintuitive, namely, multiple-conclusion sequent calculi. Under this interpretation, a sequent of the form $\Gamma \vdash \Delta$ is regarded as the statement that it is incoherent, according to our conversational norms, to occupy the position of asserting all the sentences in $\Gamma$ and denying all the sentences in (...) $\Delta$. Some have argued, based on this interpretation, that the notion of invalidity is as conceptually primitive and important as the notion of validity: whereas the latter is couched in terms of what positions are incoherent and hence untenable, the former is couched in terms of what positions are coherent and hence tenable. My ultimate goal in this paper is to contest this view. Based on a novel technical account of the two notions—one that I find more accurate than the existing accounts in the literature—I shall argue that the notion of incoherence takes conceptual priority over the notion of coherence. (shrink)

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics (...) those rejecting the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively (...) extends classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated (...) in terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

I defend the 'Repugnant' Conclusion that for any possible population of happy people, a population containing a sufficient number of people with lives barely worth living would be better. Four lines of argument converge on this conclusion, and the conclusion has a simple, natural theoretical explanation. The opposition to the Repugnant Conclusion rests on a bare appeal to intuition. This intuition is open to charges of being influenced by multiple distorting factors. Several theories of population (...) ethics have been devised to avoid the Repugnant Conclusion, but each generates even more counterintuitive consequences. The intuition opposing the Repugnant Conclusion is thus among the best candidates for an intuition that should be revised. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is (...) neutral regarding cognitivism about imperatives. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ). In that paper the author analyzes, among the three-valued logics, which of these logics satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above mentioned are: |- φ, ¬φ, and ¬(ψ ∨ ¬ψ) |- . We call genuine paracomplete logics those rejecting the (...) mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. (shrink)

What is the connection between modelling thought and modelling the brain? In a model (as understood here), we strip away from the modelled system some non-essential features and retain some essential ones. What are the essential features of thought that are to be re- tained in the model, and conversely, what are its inessential features, that may be stripped away in the model? According to a prevalent view in contemporary science and philoso- phy, thought is a computation, and therefore its (...) essential features are its computational features. A necessary part of the computational view of thought is the idea that the same computation can be realised by, or implemented in, physically heterogeneous systems, an idea known as “Multiple Realizability” of the computational features or properties by the physical ones. I will describe why the very idea of Multiple Realizability, especially in the case of mental computation, entails mind-body dualism, and explore some implications of this conclusion concerning the question of which are the essential features of thought to be retained in modeling it. (shrink)

Why should ‘better than’ be transitive? The leading answer in ethics is that values do not change with context. But this cannot be the entire source of transitivity, I argue, since transitivity can fail even if values never change, so long as they are complex, with multiple dimensions combined non-additively. I conclude by exploring a new hypothesis: that all alleged cases of nontransitive betterness, such as Parfit’s Repugnant Conclusion, can and should be modelled as the result of complexity, (...) not context-relativity. (shrink)

Eliminativists sometimes invoke evolutionary debunking arguments against ordinary object beliefs, either to help them establish object skepticism or to soften the appeal of commonsense ontology. I argue that object debunkers face a self-defeat problem: their conclusion undermines the scientific support for one of their premises, because evolutionary biology depends on our object beliefs. Using work on reductionism and multiple realizability from the philosophy of science, I argue that it will not suffice for an eliminativist debunker to simply appeal (...) to some object-free surrogate theory of evolution that results from converting any scientific proposition about some object K into a proposition about simples arranged K-wise. In the process, I examine some hazards peculiar to eliminative reductions of scientific theories, and propose a trilemma for eliminativists who attempt to recoup generality for ontologically sparse reducing theories by appealing to pluralities of simples arranged K-wise. The paper is intended to define and develop the object debunker’s self-defeat problem for further study, and to clarify some of the ways sparse and abundant ontologies interact with scientific theory. (shrink)

In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. His argument runs as follows: consider this inference concerning some proposition A: A will signify only that everything true will be false, so A will be false. Call this inference B. Then B is valid because the opposite of its conclusion is incompatible with its premise. In accordance with the standard doctrine of (...) ampliation, Paul takes A to be equivalent to 'Everything that is or will be true will be false'. But he proceeds to argue that it is possible that B's premise ('A will signify only that everything true will be false') could be true and its conclusion false, so B is not only valid but also invalid. Thus A and B are the basis of an insoluble. In his Logica Parva, a self-confessedly elementary text aimed at students and not necessarily representing his own view, and in the Quadratura, Paul follows the solution found in the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B. However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses Swyneshed's solution, which stood out against this ''multiple-meanings'' approach in offering a solution that took insolubles at face value, meaning no more than is explicit in what they say. On this account, insolubles imply their own falsity, and that is why, in so falsifying themselves, they are false. We consider how both types of solution apply to B and how they complement each other. On both, B is valid. But on one (following Swyneshed), B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected. (shrink)

How do multiple reasons combine to support a conclusion about what to do or believe? This question raises two challenges: How can we represent the strength of a reason? How do the strengths of multiple reasons combine? Analogous challenges about confirmation have been answered using probabilistic tools. Can reductive and nonreductive theories of reasons use these tools to answer their challenges? Yes, or more exactly: reductive theories can answer both challenges. Nonreductive theories, with the help of a (...) result in confirmation theory, can answer one, and there are grounds for optimism that they can answer the other. (shrink)

La biología utiliza múltiples criterios para individuar fenómenos biológicos. Frente a esta diversidad, los enfoques monistas proponen criterios fundamentales para el reconocimiento unívoco de individuos, esto es, formas únicas de dividir el mundo biológico en entidades individuales. El pluralismo, por otro lado, argumenta que no deberíamos restringir el estudio de la individualidad a concepciones únicas, reconociendo, en su lugar, diferentes tipos de individuos. En este artículo, analizaré cómo ciertos enfoques monistas y pluralistas enfrentan la pluralidad de criterios de individuación utilizados (...) por la práctica científica. Siguiendo las recientes aproximaciones epistemológicas y pragmáticas en filosofía de la individualidad biológica, argumentaré por qué la diversidad de individuaciones no suele representar un inconveniente para la biología y por qué contribuye a nuestro conocimiento del mundo biológico. La conclusión general será que requerimos múltiples maneras de individuar la naturaleza para poder cumplir los diversos objetivos epistémicos de la biología, una labor que las aproximaciones monistas no suelen visibilizar. Palabras clave: Individuo Biológico, Pluralidad, Pluralismo, Monismo. (shrink)

In reasoning, we draw conclusions from multiple premises. But thinkers can be fragmented. And if there is no single fragment of the agent that thinks all of the premises, then the agent cannot draw any conclusions from them. It follows that reasoning from multiple premises depends on their being thought together. But what is it to think premises together? What is the condition that contrasts with fragmentation? This paper provides an answer to this question that is simple but (...) compelling: to think premises together is to attribute those very thoughts to one and the same self. The ability to reason depends on the ability to attribute the thoughts from which one reasons to oneself. Reasoning—at least the sort of reasoning that we do—requires de se thought. (shrink)

In this article, we investigate how the concept of Care Biography and related concepts are understood and operationalised and describe how it can be applied to advancing our understanding and practice of holistic and person‐centred care. Walker and Avant's eight‐step concept analysis method was conducted involving multiple database searches, with potential or actual applications of Care Biography identified based on multiple discussions among all authors. Our findings demonstrate Care Biography to be a novel overarching concept derived from the (...) conjunction of multiple other concepts and applicable across multiple care settings. Concepts related to Care Biography exist but were more narrowly defined and mainly applied in intensive care, aged care, and palliative care settings. They are associated with the themes of Meaningfulness and Existential Coping, Empathy and Understanding, Promoting Positive Relationships, Social and Cultural Contexts, and Self‐Care, which we used to inform and refine our concept analysis of Care Biography. In Conclusion, the concept of Care Biography, can provide a deeper understanding of a person and their care needs, facilitate integrated and personalised care, empower people to be in control of their care throughout their life, and help promote ethical standards of care. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

Major Research Paper Abstract -/- A Part of This World: Deleuze & The Logic Of Creation. -/- Is there a particular danger in following Deleuze’s philosophy to its end result? According to Peter Hallward and Alain Badiou, Deleuze’s philosophy has some rather severe conclusions. Deleuze has been known as a vitalist thinker of life and affirmation. Hallward & Badiou seek to challenge the accepted view of Deleuze; showing that these accepted norms in Deleuzian scholarship should be challenged; and that initially (...) Deleuze calls for the evacuation of political action in order to remain firm in the realm of pure contemplation. I intend to investigate and defend Deleuze’s philosophy and against critics like Badiou and Hallward; and that not only is Deleuze’s philosophy creative and vital but also highly revolutionary and ‘a part of this world.’ I will look at several works in Deleuze’s corpus, as well as look at Deleuzian scholars whom defend Deleuze’s position -/- Hallward sees Deleuze as a theophantic thinker of the one and like Spinoza an individual mode must align oneself with the intellectual love of god, so that creativity and expressivity may mediate through them. Thus, according to Hallward the major theme of Deleuze’s philosophy is creativity; and a subject or a creature must tap into this vital spark of creation, which, is also a form of creatural confinement. Hallward states this creative act can only occur in the realm of the virtual, by lines of flight leading 'out of this world'. The subject is then re-introduced to an extra-worldly existence of contemplation and remains further away from decisions and lived experience. Deleuze, according to Hallward, falls prey to a cosmological pantheism. -/- Badiou has similar concerns. Deleuze’s philosophy is too systematic and abstract. The entirety of Deleuzes’ work is surrounded by metaphysics of the one; and essentially its repercussions lead to an overt asceticism. Badiou notes that Deleuze wants us all to surrender thought to a renewed concept of the one. Through the surrender of the one, the multiple is lost and incorporated into the realm of simulacra. Everything in this Deleuzian world is ‘always-already’ in the infinite and inhuman totality of the one. According to Badiou, this entire process is articulated in the power of inorganic life that operates through all of us. Like Hallward, Badiou sees Deleuze demolishing the subject, who is stuck between machinery and exteriority. Subjects are forced to transcend and go beyond their limits, slowly collapsing into an infinite virtuality. Badiou believes this is a powerful metaphor for a philosophy of death. Thus the conditions of Deleuzian thought are contingent upon asceticism, making a Deleuzian world a sort of ‘crowned anarchy’. Badiou sees Deleuze’s ascetic mission intimately linked with a philosophy of death, and like Hallward we should pay careful attention to the outcome of such an aristocratic philosophy. Death according to Badiou, symbolizes Deleuzian thought, not only making it dangerous, but also actualizing it as an ineffective position. Badiou also points out that Deleuze’s conceptual sources are not only limited but also repeated time and time again through a monotonous selection of concepts. Is this a fair critique and representation of Deleuzian thought? -/- Eugene Holland states, that both Hallward and Badiou have misrepresented Deleuze. Deleuze does invoke the creation of a new earth but one which we all fully believe in. The only world Deleuze wants to get out of is the world of habits, conformity, power; and forces that block creative being. According to Holland, Hallward presents us a Deleuze that inhibits an engagement with the world. However Deleuze’s creative enterprise is insistent on forming concepts that can change and transform our world. -/- So the question arises where does the problem of misrepresentation begin? It begins with both Badiou and Hallward having an erroneous account of the actual/virtual distinction in Deleuze’s Philosophy. According to Protevi, Hallward posits a dualism between the actual and the virtual, denying the role of the intensive. Hallward initially sees the relationship between the intensive and the virtual, ignoring the fact that the intensive has its own ontological register that mediates both the virtual and the actual. However, Protevi notes if one could not accept the intensive for an ontological register and had to place it with one or the other; you would have to accept an interrelationship between the actual and the intensive. Hallward places it in the realm of the virtual, thus, leading us to his major claim that Deleuze’s philosophy leads us out of the world. Protevi states, intensive processes happen in our world they are a part of this world. Hallward completely empties all creativity from the actual, thus depending on the virtual and its slippery slope. Both Hallward and Badiou have missed the point altogether. We live in an intensive/actual world and the main point about Deleuze’s politics has to do with experimentation and social interaction and the transformation and intervention of the concept. As Daniel W. Smith states, unlike Badiou, Deleuze is not searching for an axiomatic approach to the world, one that is prone to reductionism but rather with problematic, inventive and creative methods to transform a society. (shrink)

Background: The school meals program has multiple objectives of education, nutrition, and value transfer. To ensure achieving the goal, total quality management (TQM) is implemented in the school meals program. Supply chain issues pose significant challenges to TQM implementation in the program execution. Aim: This study aims to examine national and international capacities in supply chain management by analyzing the variety of food items delivered through the school meals program. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of (...) Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that the method of obtaining supplies, whether through in-kind donations from local, regional, national sources, or national food reserves and purchasing from neighboring or distant countries, had a significant positive association with the variety of food items included in school meals or snacks. Conversely, obtaining supplies in-kind from neighboring or distant countries had a significant negative association with the food variety. Additionally, purchasing supplies from local, regional, or national food reserves had an unclear association with the food variety. Conclusions: Findings underscore the importance of supporting the World Bank and World Food Programme’s recommendation to rely more on local resources and capacities. Enhancing supply chain management at the national level is crucial for developing a long-term and sustainable school meals program. (shrink)

Philosophers who study the problem of biological function often begin their deliberations by reflecting on the functions of parts of animals, or the behavior of animals. Applying theories of biological function to unconventional or borderline cases can help us to better evaluate and refine those theories. This is the case when we consider whether parts of transposable elements —bits of “selfish” DNA that move about within a host genome—have functions of their own, that is, whether the parts of TEs have (...) the function of helping the TE move about within the genome. Here I argue that whether or not the parts of TEs have functions depends crucially on whether collections of TEs form “populations,” by which I mean, here, a group of individuals of the same type that impact one another’s chances of persistence or multiplication, by impacting one another’s access to a shared resource. I think there is suggestive, but not conclusive, evidence that some TEs have functions of their own. Considering the problem of TE functionality, then, has value both for philosophy and for biology. (shrink)

The Life Worth Living investigates the exclusion of and discrimination against disabled people across the history of Western moral philosophy. Building on decades of activism and scholarship, Reynolds shows how longstanding views of disability are misguided and unjust, and he lays out a vision for an anti-ableist moral future. The introduction and first chapter are available to download here. -/- Table of Contents: Introduction: The Ableist Conflation. Part I: Pain. 1. Theories of Pain. 2. A Phenomenology of Chronic Pain. Part (...) II: Disability. 3. Theories of Disability. 4. A Phenomenology of Multiple Sclerosis. Part III: Ability. 5. Theories of Ability. 6. A Phenomenology of Ability. Conclusion: An Anti-Ableist Future. (shrink)

Robustness is a common platitude: hypotheses are better supported with evidence generated by multiple techniques that rely on different background assumptions. Robustness has been put to numerous epistemic tasks, including the demarcation of artifacts from real entities, countering the “experimenter’s regress,” and resolving evidential discordance. Despite the frequency of appeals to robustness, the notion itself has received scant critique. Arguments based on robustness can give incorrect conclusions. More worrying is that although robustness may be valuable in ideal evidential circumstances (...) (i.e., when evidence is concordant), often when a variety of evidence is available from multiple techniques, the evidence is discordant. †To contact the author, please write to: Jacob Stegenga, Department of Philosophy, University of California, San Diego, 9500 Gilman Drive, La Jolla, CA 92093; e‐mail: [email protected]. (shrink)

Christian apologists, like Willian Lane Craig and Stephen T. Davis, argue that belief in Jesus’ resurrection is reasonable because it provides the best explanation of the available evidence. In this article, I refute that thesis. To do so, I lay out how the logic of inference to the best explanation (IBE) operates, including what good explanations must be and do by definition, and then apply IBE to the issue at hand. Multiple explanations—including (what I will call) The Resurrection Hypothesis, (...) The Lie Hypothesis, The Coma Hypothesis, The Imposter Hypothesis, and The Legend Hypothesis—will be considered. While I will not attempt to rank them all from worst to best, what I will reveal is how and why The Legend Hypothesis is unquestionably the best explanation, and The Resurrection Hypothesis is undeniably the worst. Consequently, not only is Craig and Davis’ conclusion mistaken, but belief in the literal resurrection of Jesus is irrational. In presenting this argument, I do not take myself to be breaking new ground; Robert Cavin and Carlos Colombetti have already presented a Bayesian refutation of Craig and Davis’ arguments. But I do take myself to be presenting an argument that the average person (and philosopher) can follow. It is my goal for the average person (and philosopher) to be able to clearly understand how and why the hypothesis “God supernaturally raised Jesus from the dead” fails utterly as an explanation of the evidence that Christian apologist cite for Jesus’ resurrection. (shrink)

The boundary problem is related to the binding problem, part of a family of puzzles and phenomenal experiences that theories of consciousness (ToC) must either explain or eliminate. By comparison with the phenomenal binding problem, the boundary problem has received very little scholarly attention since first framed in detail by Rosengard in 1998, despite discussion by Chalmers in his widely cited 2016 work on the combination problem. However, any ToC that addresses the binding problem must also address the boundary problem. (...) The binding problem asks how a unified first person perspective (1PP) can bind experiences across multiple physically distinct activities, whether billions of individual neurons firing or some other underlying phenomenon. To a first approximation, the boundary problem asks why we experience hard boundaries around those unified 1PPs and why the boundaries operate at their apparent spatiotemporal scale. We review recent discussion of the boundary problem, identifying several promising avenues but none that yet address all aspects of the problem. We set out five specific boundary problems to aid precision in future efforts. We also examine electromagnetic (EM) field theories in detail, given their previous success with the binding problem, and introduce a feature with the necessary characteristics to address the boundary problem at a conceptual level. Topological segmentation can, in principle, create exactly the hard boundaries desired, enclosing holistic, frame-invariant units capable of effecting downward causality. The conclusion outlines a programme for testing this concept, describing how it might also differentiate between competing EM ToCs. (shrink)

Different people reason differently, which means that sometimes they reach different conclusions from the same evidence. We maintain that this is not only natural, but rational. In this essay we explore the epistemology of that state of affairs. First we will canvass arguments for and against the claim that rational methods of reasoning must always reach the same conclusions from the same evidence. Then we will consider whether the acknowledgment that people have divergent rational reasoning methods should undermine one’s confidence (...) in one’s own reasoning. Finally we will explore how agents who employ distinct yet equally rational methods of reasoning should respond to interactions with the products of each others’ reasoning. We find that the epistemology of multiple reasoning methods has been misunderstood by a number of authors writing on epistemic permissiveness and peer disagreement. (shrink)

This work will be driven from an interdisciplinary inspiration. Multiple philosophical theories of sound perception and sound ontology that rely on considering sound as sound waves, events and environmental properties will be considered. We will try to show that these accounts cannot hold in face of the complexity of auditory experience. That will be done by resorting to a corpus of empirical literature that suggests that the experience of sound can be manipulated by visual components of experience. In the (...) last section we extend the previous considerations to the topic of artificial perception of sound and then we draw some speculative conclusions. (shrink)

Many philosophers claim that the neurocomputational framework of predictive processing entails a globally inferentialist and representationalist view of cognition. Here, I contend that this is not correct. I argue that, given the theoretical commitments these philosophers endorse, no structure within predictive processing systems can be rightfully identified as a representational vehicle. To do so, I first examine some of the theoretical commitments these philosophers share, and show that these commitments provide a set of necessary conditions the satisfaction of which allows (...) us to identify representational vehicles. Having done so, I introduce a predictive processing system capable of active inference, in the form of a simple robotic “brain”. I examine it thoroughly, and show that, given the necessary conditions highlighted above, none of its components qualifies as a representational vehicle. I then consider and allay some worries my claim could raise. I consider whether the anti-representationalist verdict thus obtained could be generalized, and provide some reasons favoring a positive answer. I further consider whether my arguments here could be blocked by allowing the same representational vehicle to possess multiple contents, and whether my arguments entail some extreme form of revisionism, answering in the negative in both cases. A quick conclusion follows. (shrink)

For decades, student ratings of university faculty have been used by administrators in high stakes faculty employment decisions such as tenure, promotion, contract renewal and reappointment, and merit pay. However, virtually no attention has been paid to the ethical questions of using ratings in employment decisions. Instead, the ratings literature is generally limited to psychometric issues such as whether a given student ratings instrument exhibits the statistical properties of reliability and validity. There is no consensus understanding of teaching effectiveness, the (...) very attribute that students are alleged to “evaluate.” What students are actually doing when they complete a ratings form—whether measuring, evaluating, reporting, judging, opining, etc.—remains unsettled in the ratings literature. If ratings are surveys of student satisfaction, they have no logical or ethical connection with teaching expertise. I argue that the administrative use of student ratings in faculty employment decisions violates basic moral principles including nonmaleficence, beneficence, professional autonomy and clinical independence, and multiple aspects of justice including due care, truthfulness, and equitable treatment. These ethical violations rule against any administrative use of student ratings in faculty employment decisions, including the “use with caution in conjunction with other evaluative methods” deployment of student ratings. My conclusion is that such use should be immediately and universally terminated. Formative use of student questionnaires as part of ordinary instructional communication and feedback between instructor and students is a separate issue and outside of the scope of this paper. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument (OZA) from a positive, explanatory conclusion to a negative, non-explanatory conclusion--and, correspondingly, redefined 'incompatibilism' so that it would no longer refer in his work to the view that determinism precludes (undermines, eliminates, destroys, etc.) (...) free will, but refers narrowly to the perhaps spurious association claim that appears in the conclusion of the revised Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made, the invalidity objection that led to them, nor to the fact that his revised Zygote Argument was originally presented by me as a (non-optimal) reaction to my invalidity objection to his original Zygote Argument. To my knowledge, Mele has only mentioned this 2015 paper once, at it was not in the context of understanding manipulation arguments; it was, rather, in the context of defending his revised, non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4). There, Mele singles out *just this 2015 paper* as a place where they'll find what Mele degrades as a type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. This is notable because Mele provides no empirical evidence that his preferred definition is standard, and most (including Lehrer, who coined the term) reject the negative, non-explanatory, association-based definition that Mele came to endorse in the aftermath of my invalidity objection to OZA. So, if Mele had a genuine concern about philosophers who use the term 'incompatibilism', then Mele could have--and should have--named almost any leading figure in free will for this purpose (since most--including Pereboom, Vihvelin, Haji, etc.) reject the non-explanatory definition that Mele-2013+ now endorses. Yet, for untold reasons, Mele isolated the working definition of 'incompatibilism' used in one paper by one unemployed junior researcher to use as his example--even though Neil Levy had used this same definition in previously published work (eg. Levy 2011). Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms -- especially considering that he might have instead pointed them to my OTHER 2015 paper, "A Critique of Vihvelin's Three-Fold Classification" in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the negative, non-explanatory "incompossibilist" definition that Mele adopted after my objection to OZA). By all appearances, Mele's main aim in citing specifically THIS paper and none of my other work was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). Mele adds to this unseemly rhetorical campaign in his book *Manipulation Agents* where he mentions an invalidity objection in the intro (p. 84) and then discusses that objection in the final lines of Chapter 5 of the book (p. 120-121). The invalidity objection discussed here is completely pedantic, has never been seriously raised in the primary literature (and was previously addressed in multiple places my multiple philosophers, including me), and has nothing whatever to do with my invalidity objection. In other words, Mele was content to discuss an invalidity objection that no one has ever had to an argument that is clearly valid while completely ignoring the ONLY substantive invalidity objection to his argument in print. This is unfortunate, because it has led to serious confusion --including the patently false description of my invalidity objection to OZA as an objection to the revised version of the Zygote Argument that Mele adopted in *response* my objection (e.g., Capes mistakenly claims "Mickelson (2015) contends that arguments like this [i.e. like the revised Zygote Argument] are invalid. But that’s because she defines “incompatibilism” differently than I’ve defined it here" in his "Manipulation Arguments and Direct Arguments" chapter in the 2023 Wiley-Blackwell Companion to Free Will; I did not say this, and the definition of 'incompatibilism' is irrelevant to my objection). In "The Zygote Argument Is Invalid--Now What?", I simply use the invalidity of the simple 2-premise Zygote Argument as a foil to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele has yet to address my reasons for calling attention to the non-trivial invalidity of his OZA or to any of my answers to the "Now What?" question in this paper, even though this question and my proposed answers to this question are the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this "Now What?" paper have helped to move the free-will debate forward, I suggest looking at the discussions of the "paradigm shift" in the free-will debate that helps to explain why the free-will debate has become mired in stalemates and empty verbal disputes that are found, for example, in my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)