According to the logical pluralism of Beall and Restall, there are several distinct relations of logical consequence. Some critics argue that logical pluralism suffers from what I call the collapse problem: that despite its intention to articulate a radically pluralistic doctrine about logic, the view unintentionally collapses into logical monism. In this paper, I propose a contextualist resolution of the collapse problem. This clarifies the mechanism responsible for a plurality of logics and handles the motivating data better than the original (...) view. It is a major improvement that should be embraced by all logical pluralists. (shrink)

This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The (...) present paper aims to improve this situation by looking at a promising case study and drawing general lessons about the kind of evidence that would support logical pluralism. I argue that the best motivation for logical pluralism will ultimately be rooted in certain kinds of performative data. (shrink)

This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.

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

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

According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should not require (...) appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure. (shrink)

This paper is about the underlying logical principles of scientific theories. In particular, it concerns ex contradictione quodlibet (ECQ) the principle that anything follows from a contradiction. ECQ is valid according to classical logic, but invalid according to paraconsistent logics. Some advocates of paraconsistency claim that there are ‘real’ inconsistent theories that do not erupt with completely indiscriminate, absurd commitments. They take this as evidence in favor of paraconsistency. Michael (2016) calls this the non-triviality strategy (NTS). He argues that this (...) strategy fails in its purpose. I will show that Michael's criticism significantly over-reaches. The fundamental problem is that he places more of a burden on the advocate of paraconsistency than on the advocate of classical logic. The weaknesses in Michael's argument are symptomatic of this preferential treatment of one viewpoint in the debate over another. He does, however, make important observations that allow us to clarify some of the complexities involved in giving a logical reconstruction of a theory. I will argue that there are abductive arguments deserving of further consideration for the claim that paraconsistent logic offers the best explanation of the practice of inconsistent science. In this sense, the debate is still very much open. (shrink)

In a recent series of articles, Beall has developed the view that FDE is the formal system most deserving of the honorific “Logic”. The Simple Argument for this view is a cost-benefit analysis: the view that FDE is Logic has no drawbacks and it has some benefits when compared with any of its rivals. In this paper, I argue that both premises of the Simple Argument are mistaken. I use this as an opportunity to further reflect on how such arguments (...) can be bolstered to provide more substantial and productive support for revisionary theses about Logic. (shrink)

The advocate of modal logic or relevant logic has traditionally argued that her preferred system offers the best regimentation of the theory of entailment. Essential to the projects of modal and relevant logic is the importation of non-truth-functional expressive resources into the object language on which the logic is defined. The most elegant technique for giving the semantics of such languages is that of frame semantics, a variation on which features the device of partitioned frames that divide 'points of evaluation' (...) into two types: normal points and abnormal points. This essay attempts to provide satisfying philosophical interpretations of the partitioned frame semantics for some weak modal logics and relevant logics. According to the current best interpretation, partitioned frame semantics are a kind of possible worlds semantics that appeal to 'logically impossible worlds' where the laws of logic may fail to hold. This is undermined by the fact that all of the target logics fail to satisfy criteria of expressibility needed to support the thesis that laws of logic fail to hold at abnormal points. This suggests that we should not look for a monistic interpretive paradigm for partitioned frame semantics. (shrink)

The semantic tradition in logic descends from Tarski's seminal work on truth and logical consequence. In the introduction to this volume, Sagi and Woods remind us that this tradition prominently uses model theory to study languages and their interpretations. Tarski's model-theoretic definition of logical consequence is the prime example of this approach, seeking as it does to reduce logical properties to a class of operations on classical, iterative (ZF) sets. Sagi and Woods explain with admirable clarity the origins, implications, and (...) philosophical questions surrounding this project. The contributions to the volume go on to address whether this approach successfully elucidates logicality and how it intersects with the foundations of mathematics and natural language semantics. (shrink)

Agroecology has been proposed as a key building block for food sovereignty. This article examines the meaning, practices and potentials of ‘transformative agroecology learning’ as a collective strategy for food system transformation. Our study is based on our qualitative and action research with the European Coordination of Via Campesina to develop the European Agroecology Knowledge Exchange Network. This network is linked to the global network of La Via Campesina and builds on the strong experiences and traditions of popular education in (...) Latin American peasant movements. Rather than focusing on agroecology education as a process of individual learning, we analyse how a transformative agroecology education can be strengthened as a critical repertoire of action used by social movements to advance food sovereignty. Our analysis contributes a new theory of transformative agroecology learning based on four key characteristics or qualities: horizontalism; diálogo de saberes ; combining practical and political knowledge; and building social movement networks. While these different elements of transformative agroecology learning were present across EAKEN, they were unevenly developed and, in many cases, not systematized. The framework can help to strategically and reflexively systematize and strengthen a transformative agroecology learning approach as a key building block for food sovereignty. (shrink)

I argue that, contrary to how he is often read, Spinoza did not believe that the mind and the body were numerically identical. This means that we must find some alternative reading for his claims that they are 'one and the same thing'.

During development of the Xenopus embryo, the formation of the nervous system depends on an inductive interaction between mesoderm and ectoderm. The result is a neural tube that is regionally differentiated along the anterior–posterior axis from forebrain to spinal cord (Fig. 1). The discovery of genes whose transcripts can be used as molecular markers for different regions of the nervous system has permitted reassessment of the existing theories of neural tissue formation. Although the neural inducing molecules remain elusive, the mechanism (...) by which cells interact to form a regionally differentiated nervous system is becoming clearer. (shrink)

While evidence for the role of gap functions, particularly during development, has been mounting, it has remained largely correlative, linking structure with presumed functions. With the recent advent of functional antibodies raised to the junctional protein, however, it has become possible to study the role of gap junctions more directly. There is now considerable evidence indicating that they play a vital role in tissue pattern formation and differentiation by allowing direct cell‐to‐cell transfer of developmental signals or morphogens.

Local sustainable food systems have captured the popular imagination as a progressive, if not radical, pillar of a sustainable food future. Yet these grassroots innovations are embedded in a dominant food regime that reflects productivist, industrial, and neoliberal policies and institutions. Understanding the relationship between these emerging grassroots efforts and the dominant food regime is of central importance in any transition to a more sustainable food system. In this study, we examine the encounters of direct farm marketers with food safety (...) regulations and other government policies and the role of this interface in shaping the potential of local food in a wider transition to sustainable agri-food systems. This mixed methods research involved interview and survey data with farmers and ranchers in both the USA and Canada and an in-depth case study in the province of Manitoba. We identified four distinct types of interactions between government and farmers: containing, coopting, contesting, and collaborating. The inconsistent enforcement of food safety regulations is found to contain progressive efforts to change food systems. While government support programs for local food were helpful in some regards, they were often considered to be inadequate or inappropriate and thus served to coopt discourse and practice by primarily supporting initiatives that conform to more mainstream approaches. Farmers and other grassroots actors contested these food safety regulations and inadequate government support programs through both individual and collective action. Finally, farmers found ways to collaborate with governments to work towards mutually defined solutions. While containing and coopting reflect technologies of governmentality that reinforce the status quo, both collaborating and contesting reflect opportunities to affect or even transform the dominant regime by engaging in alternative economic activities as part of the ‘politics of possibility’. Developing a better understanding of the nature of these interactions will help grassroots movements to create effective strategies for achieving more sustainable and just food systems. (shrink)

Local sustainable food systems have captured the popular imagination as a progressive, if not radical, pillar of a sustainable food future. Yet these grassroots innovations are embedded in a dominant food regime that reflects productivist, industrial, and neoliberal policies and institutions. Understanding the relationship between these emerging grassroots efforts and the dominant food regime is of central importance in any transition to a more sustainable food system. In this study, we examine the encounters of direct farm marketers with food safety (...) regulations and other government policies and the role of this interface in shaping the potential of local food in a wider transition to sustainable agri-food systems. This mixed methods research involved interview and survey data with farmers and ranchers in both the USA and Canada and an in-depth case study in the province of Manitoba. We identified four distinct types of interactions between government and farmers: containing, coopting, contesting, and collaborating. The inconsistent enforcement of food safety regulations is found to contain progressive efforts to change food systems. While government support programs for local food were helpful in some regards, they were often considered to be inadequate or inappropriate and thus served to coopt discourse and practice by primarily supporting initiatives that conform to more mainstream approaches. Farmers and other grassroots actors contested these food safety regulations and inadequate government support programs through both individual and collective action. Finally, farmers found ways to collaborate with governments to work towards mutually defined solutions. While containing and coopting reflect technologies of governmentality that reinforce the status quo, both collaborating and contesting reflect opportunities to affect or even transform the dominant regime by engaging in alternative economic activities as part of the ‘politics of possibility’. Developing a better understanding of the nature of these interactions will help grassroots movements to create effective strategies for achieving more sustainable and just food systems. (shrink)

The patient wished to receive an experimental drug that she was instrumental in developing. After her diagnosis, she had investigated treatments that might help her condition and discovered that a specific compound could be beneficial. To further the development of this potential drug, she obtained preclinical data, founded a company, and sought investment from venture capitalists. The company was about to begin phase I testing, but the clinical trial had not yet opened. In addition, she would not have been a (...) candidate for the study, as it excluded patients with advanced disease. To be able to administer this drug to her, the patient's team of oncologists was in the process of drafting an individual patient investigational new drug application, including the protocol for the drug's delivery, to the Food and Drug Administration. The company developing the drug had preliminarily agreed to provide it. This protocol was also under review by the institutional review board of the university, and the ethics committee was consulted to determine whether she should receive the drug. (shrink)

This paper contributes to the study of paracompleteness and paraconsistency. We present two logics that address the following questions in novel ways. How can the paracomplete theorist characterize the formulas that defy excluded middle while maintaining that not all formulas are of this kind? How can the paraconsistent theorist characterize the formulas that obey explosion while still maintaining that there are some formulas not of this kind?

Jenkins (2007) charges that the language advanced in Beall (2007) is either expressively impoverished, or inconsistent. We argue that Jenkins’ objections are based on unreasonably strong constraints on formal theories of truth. Our primary concern is not to defend the ‘paranormal’ framework advanced in Beall, but to respond to a common – and implausible – ‘revenge’-style charge directed at a certain class of formal theories of truth and paradox.

A review of Jc Beall's "Spandrels of Truth".

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. (shrink)

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. Mathematical platonists claim that at least some of the objects which are the subject matter of pure mathematics (e.g. numbers, sets, groups) actually exist. Furthermore, they claim that these objects differ radically from the concrete objects (trees, cats, stars, molecules) which inhabit the material world. We take the standard platonistic position to include the claim that platonic objects lack spatio-temporal location and causal powers. Many (perhaps most) mathematical platonists subscribe to this view.1 But some who call themselves (or might be called) mathematical platonists.. (shrink)

Alexandre Grothendieck foi um dos maiores matemáticos do século 20 e um dos mais atípicos. Nascido na Alemanha a um pai anarquista de origem russa, sua infância foi marcada pela militância política dos seus pais, assim passando por revoluções, guerras e sobrevivência. Descoberto por sua precocidade matemática por Henri Cartan, Grothendieck fez seu doutorado sob orientação de Laurent Schwartz e Jean Dieudonné. As principais contribuições dele são na área da topologia e na geometria algébrica, assim como na teoria das categorias. (...) No final dos anos de 1960, ele se dedicou à militância política e ecológica, organizando a revista Survivre durante três anos. Em 1986, publicou um manuscrito autobiográfico de 1000 páginas, Récoltes et semailles, em que ele descreve sua experiência e sua prática da matemática, assim suas contribuições à comunidade matemática francesa. Pouco comentado na filosofia, as implicações dos seus descobrimentos fora mais recentemente discutidas por Alain Badiou na sua "fenômeno-lógica", em Logiques des mondes e Arkady Plonitsky, Mathgematics, Science and postclassical Theory, pesquisa trata da semelhança entre os aspectos formais da filosofia de Gilles Deleuze e da topologia de Grothendieck. (shrink)

Models of both speech perception and speech production typically postulate a processing level that involves some form of phonological processing. There is disagreement, however, on the question of whether there are separate phonological systems for speech input versus speech output. We review a range of neuroscientific data that indicate that input and output phonological systems partially overlap. An important anatomical site of overlap appears to be the left posterior superior temporal gyrus. We then present the results of a new event‐related (...) functional magnetic resonance imaging (fMRI) experiment in which participants were asked to listen to and then (covertly) produce speech. In each participant, we found two regions in the left posterior superior temporal gyrus that responded both to the perception and production components of the task, suggesting that there is overlap in the neural systems that participate in phonological aspects of speech perception and speech production. The implications for neural models of verbal working memory are also discussed in connection with our findings. (shrink)

Recent work on a small European cave salamander (Proteus anguinus) has revealed that it has exceptional longevity, yet it appears to have unexceptional defences against oxidative damage. This paper comes at the end of a string of other studies that are calling into question the free‐radical damage theory of ageing. This theory rose to prominence in the 1990s as the dominant theory for why we age and die. Despite substantial correlative evidence to support it, studies in the last five years (...) have raised doubts over its importance. In particular, these include studies of mice with the major antioxidant genes knocked out (both singly and in combination), which show the expected elevation in oxidative damage but no impact on lifespan. Combined, these findings raise fundamental questions over whether the free‐radical damage theory remains useful for understanding the ageing process, and variation in lifespan and life histories.Editor's suggested further reading in BioEssays Blind cave salamanders age very slowly: A new member of Methuselah's Bestiary Abstract. (shrink)

To examine the ethical duty to patients and families in the setting of the resuscitation bay, we address a case with a focus on providing optimal care and communication to family members. We present a case of nonsurvivable traumatic injury in a minor, focusing on how allowing family more time at the bedside impacts the quality of death and what duty exists to maintain an emotionally optimal environment for family grieving and acceptance. Our analysis proposes tenets for patient and family-centric (...) care that, in alignment with trauma-informed care principles, optimize the long-term well-being of the family, namely valuing family desires and sensitivity to location. (shrink)