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)

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

Summary In 1915 the Danish psychologist Edgar Rubin describes in his famous work on figure-ground perception, the phenomenon that when you look attentively at a picture, a second, virtual ego arises, breaking away from the viewer-ego to wander around in the picture along the contours of the depicted. In 1982, German Gestalt psychologist Edwin Rausch expanded this observation of the emergence of a second phenomenal ego to the conclusion that not only does a second phenomenal ego emerge, but with (...) it a second phenomenal total field, ie a second phenomenal world with its own phenomenal ego and an own phenomenal environment of this ego. Several years ago, I proposed a multi-field-approach in psychotherapy building on this research. This approach involves three levels: First, the level of phenomenological observation and psychological analysis of the conditions that determine the formation of such a second total field (and even further total fields), regardless of whether this occurs spontaneously or intentionally or as a result of external influences. Second, the level of explanation of various psychic processes, which in the field of psychotherapy have been explained so far mainly on the basis of depth psychology, and the conceptualization of the therapeutic situation and therapeutic processes from a Gestalt psychological perspective. Third, finally, the level of practical application of such insights on the development of appropriate procedures and interventions that can promote or defer the emergence of such second or multiple fields in psychotherapy. The present article introduces the multi-field approach, especially at the first level, and refers to research and discussion on mind wandering, imagining, daydreaming and dissociation. (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)

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)

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)

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)

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)

Background: Many people with aphasia and people without brain injury talk to themselves in their heads, i.e., have “inner speech.” Inner speech may be more preserved compared with spoken speech for some people with aphasia and may serve a variety of functions (e.g., emotion regulation), which motivates us to provide a high-fidelity characterization of it. Researchers have used multiple methods to measure this internal phenomenon in the past, which we combine here for the first time in a single study. (...) -/- Aims: We compare performance between individuals with and without aphasia on inner speech tasks that assess inner speech “inthe- moment” to general subjective impressions of inner speech to tease apart the relationship of aphasia severity to inner speech. Methods and Procedures: Twenty people with mild-moderate aphasia and twenty neurotypical controls completed several inner speech tasks, including objective silent rhyme judgements (picture, written, and auditory), subjective reports of inner speech during naming, and subjective rating scales about inner speech experience more generally. -/- Outcomes and Results: In-the-moment inner speech during silent rhyming tasks was associated with aphasia severity only for picture and written rhyming but not auditory rhyming. In-the-moment inner speech reports during silent naming were not associated with aphasia severity, nor were the subjective ratings about general inner speech experience. Individuals with and without aphasia demonstrated a variety of subjective general inner speech experiences, demonstrating heterogeneity of this phenomenon more broadly. -/- Conclusions: Methods of measuring inner speech complement each other and speak to different facets of the inner speech phenomenon, and clinicians and researchers must carefully choose the method(s) that will provide the information about inner speech that they desire. (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)

: Background: In responsible research and innovation (RRI), innovation is seen as a way in which humankind finds solutions for societal issues. However, studies on commercial innovation show that firms respond in a different manner and at a different speed to the same societal issue. This study investigates what role organizational motives play in the product innovation processes of firms when aiming for socially responsible outcomes. Methods: This multiple-case study investigates the motives of food firms for healthier product innovation (...) by interviewing firms about the organizational motives behind product reformulation and innovation. Results: This study highlights the importance of having both instrumental and moral motives in the innovation process when aiming for socially responsible outcomes, and how both these motives interact and contribute to responsible innovation in industry. Furthermore, the study results question the nature of relational motives as a separate category from the other two categories of motives, as suggested by corporate social responsibility (CSR) scholars. Conclusions: If commercial innovation needs to contribute to solutions for societal issues, the importance of moral motives has to be stressed without annihilating the instrumental objectives of firms. Both motives contribute to the success factors of responsible product innovation in industry. (shrink)

The chapter unfolds in the following sections. The first section exam- ines the reasons for claiming that olfactory perception is spatially unstruc- tured and our experience of smells has an abstract structure. The second section elucidates the further arguments that olfaction cannot generate figure-ground segregation. The third section assesses the conclusion that olfactory perception and experience cannot solve the MPP. Following the overview of the many problems inherent to distal olfactory percep- tion, MST will be introduced as an alternative (...) perspective that allows for figure-ground segregation and perceiving multiple olfactory objects within an array. The chapter then concludes by replying to the shared argument that olfactory distal perception does not have the requisite res- olution to resolve the many properties problem. (shrink)

Wars are large-scale conflicts between organized groups of belligerents, which involve suffering, devastation, and brutality unlike almost anything else in human experience. Whatever one’s other beliefs about morality, all should agree that the horrors of war are all but unconscionable, and that warfare can be justified only if we have some compel- ling account of what is worth fighting for, which can justify contributing, as individu- als and as groups, to this calamitous endeavour. Although this question should obviously be central (...) to both philosophical and politi- cal discussion about war, it is at the forefront of neither. In recent years, philosophical discussion of warfare has bloomed, but the debate has focused on whom we may kill, on the assumption that our aims are justified.1 Political debate, meanwhile, is more concerned with matters of prudence, international law, and public justification, than with reassessing what is worth fighting for. For wars of intervention to halt or prevent massive humanitarian crises, this gap is not so troubling. When warfare is the only means to prevent the mass killing or enslavement of the innocent, the purposes of military force are clear enough (though undoubtedly many other problems remain). The problem is more pressing, how- ever, for the justification of national defence.3 Although common-sense morality and international law view national defence as the paradigm case of justified warfare, grounding this consensus is surprisingly difficult.4 We typically believe that any state is justified in using lethal force to protect its territory against any form of uninvited military incursion by any other state. And yet we lack a good argument to explain why this should be so. In this chapter, I explain why one familiar and otherwise plausible approach to the justification of killing in war cannot adequately ground common-sense views of permissible national defence.5 Reductionists believe that justified warfare reduces to an aggregation of acts that are justified under ordinary principles of interpersonal morality.6 The standard form of reductionism focuses on the principles governing killing in ordinary life, specifically those that justify intentional killing in self- and other-defence, and unintended but foreseen (for short, collateral) killing as a lesser evil. Justified warfare, on this view, is no more than the coextension of multiple acts justified under these two principles. Reductionism is the default philosophical approach to thinking through the ethics of killing in war. It makes perfect sense to ask what principles govern permissible kill- ing in general, before applying them to the particular context of war. If it cannot deliver a plausible set of conclusions about when national defence is permitted, then we must either revise our beliefs about which conclusions count as plausible, or else face the significant challenge of developing a different theoretical model for justifying war- fare—an exceptionalist model, which views war as an exception to the regular moral landscape, to which principles apply which apply to nothing else but war.7 We must show, in other words, that there is something worth fighting for in wars of national defence, which is not engaged when we use force in any other context. The chapter proceeds as follows. Section 2.2 sets out the argument against reduc- tionism.8 Section 2.3 considers and rebuts one common response to the argument, which has often been thought sufficient grounds to disregard its conclusion. Section 2.4 then asks whether a modified reductionism would survive unscathed by the argu- ment. Finally, section 2.5 sets out some desiderata on a plausible exceptionalist alterna- tive. Section 2.6 concludes. (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)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (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)

ABSTRACT Do Buddhist philosophical commitments support a particular theory of well-being? Most authors who have examined this question argue that Buddhist ideas are compatible with multiple theories of well-being. In this paper, I contend that one tradition of Buddhist philosophy—Abhidharma—does imply a specific theory of welfare. In particular, Abhidharma supports hedonism. Most Ābhidharmikas claim that only property-particulars called dharmas ultimately exist and I argue that an Abhidharmic theory of well-being should only refer to these properties. Yet the only dharmas (...) that could plausibly be intrinsically good are phenomenal properties that are good in virtue of how they feel. Thus, the only intrinsically good things are pleasures. I defend this surprising conclusion from various interpretative objections and show that my argument can also inform contemporary philosophical debates about welfare. (shrink)

Background: Screen time among adults represents a continuing and growing problem in relation to health behaviors and health outcomes. However, no instrument currently exists in the literature that quantifies the use of modern screen-based devices. The primary purpose of this study was to develop and assess the reliability of a new screen time questionnaire, an instrument designed to quantify use of multiple popular screen-based devices among the US population. -/- Methods: An 18-item screen-time questionnaire was created to quantify use (...) of commonly used screen devices (e.g. television, smartphone, tablet) across different time points during the week (e.g. weekday, weeknight, weekend). Test-retest reliability was assessed through intra-class correlation coefficients (ICCs) and standard error of measurement (SEM). The questionnaire was delivered online using Qualtrics and administered through Amazon Mechanical Turk (MTurk). -/- Results: Eighty MTurk workers completed full study participation and were included in the final analyses. All items in the screen time questionnaire showed fair to excellent relative reliability (ICCs = 0.50–0.90; all < 0.000), except for the item inquiring about the use of smartphone during an average weekend day (ICC = 0.16, p = 0.069). The SEM values were large for all screen types across the different periods under study. -/- Conclusions: Results from this study suggest this self-administered questionnaire may be used to successfully classify individuals into different categories of screen time use (e.g. high vs. low); however, it is likely that objective measures are needed to increase precision of screen time assessment. (shrink)

Cross-species comparisons are benefited by compatible datasets; conclusions related to phylogenetic comparisons, questions on convergent and divergent evolution, or homologs versus analogs can only be made when the behaviors being measured are comparable. A direct comparison of the social function of physical contact across two disparate taxa is possible only if data collection and analyses methodologies are analogous. We identify and discuss the parameters, assumptions and measurement schemes applicable to multiple taxa and species that facilitate cross-species comparisons. To illustrate (...) our proposed guidelines for evaluating the role played by tactile contact in social behavior across disparate taxa, this paper presents data on mother-offspring relationships in the two species studied by the authors: chimpanzees (Pan troglodytes schweinfurthii) and dolphins (bottlenose and spotted, Tursiops truncatus and Stenella frontalis, respectively). Cross-species comparative studies allow for a more comprehensive assessment of the similarities and differences with respect to how animals traverse the relationships that form their social groups and societies. (shrink)

A variety of interpreters have argued that Kant construes the animality of human beings as ‘transformed’, in some sense, through the possession of rationality. I argue that this interpretation admits of multiple readings and that it is either wrong, or doesn't result in the conclusion for which its proponents argue. I also explain the sense in which rationality nevertheless significantly differentiates human beings from other animals.