Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

I argue that a certain type of naturalist should not accept a prominent version of the no-miracles argument (NMA). First, scientists (usually) do not accept explanations whose explanans-statements neither generate novel predictions nor unify apparently disparate established claims. Second, scientific realism (as it appears in the NMA) is an explanans that makes no new predictions and fails to unify disparate established claims. Third, many proponents of the NMA explicitly adopt a naturalism that forbids philosophy of science from using any methods (...) not employed by science itself. Therefore, such naturalistic philosophers of science should not accept the version of scientific realism that appears in the NMA. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

The hypothesis that God supernaturally raised Jesus from the dead is argued by William Lane Craig to be the best explanation for the empty tomb and postmortem appearances of Jesus because it satisfies seven criteria of adequacy better than rival naturalistic hypotheses. We identify problems with Craig’s criteria-based approach and show, most significantly, that the Resurrection hypothesis fails to fulfill any but the first of his criteria—especially explanatory scope and plausibility.

This paper briefly summarizes Durkheim’s theory of the dual nature of man suggested earlier in his Elementary Forms of Religious Life. It is characteristic of human beings that two opposite principles confront each other within them: soul and body, concept and sensation, moral activity and sensory appetites. Although this inherent inconsistency of man has been long recognized by philosophical thought, no doctrine explanation to it has been provided to date. While empiricist monism has proved to be unable to explain how (...) concepts emerge from sensations and disinterestedness develops from self-interest, absolute idealism, on the contrary, cannot deduce sensations from concepts. Although theories suggested by Plato and Kant do not bypass the problem of dualism, they only rephrase it and make no progress in solving it. According to Durkheim, dualism of human nature stems from the fact that all religions are founded on dividing all things into the sacred and the profane. This division, in turn, is explained by coexistence of collective and individual origins in the human being. Sacred things arise out of the collective origin that enables individual consciousnesses to fuse into communion. Collective origin does not act with constant strength, but intensifies during the periods of effervescence, when it subdues the individual origin. Since the importance of the social aspect of man increases over time, there is no reason to believe that complete consent between individual and society is possible that would endow man with internal harmony. (shrink)

We respond to Swinburne’s reply to our critique of his argument for the Resurrection by defending the relevance of our counterexamples to his claim that God does not permit grand deception. We reaffirm and clarify our charge that Swinburne ignores two crucial items of Negative Natural Theology (NNT)—that God has an exceptionally weak tendency to raise the dead and that even people with exemplary public records sometimes sin. We show, accordingly, that our total evidence makes it highly probable that Jesus (...) was not sinless, incarnate, or resurrected and that God has permitted massive deception regarding these defining Christian dogmas. (shrink)

Social media platforms offer convenient, instantaneous social sharing on a mass scale with tremendous impact on public perceptions, opinions, and behavior. There is a need to understand why information spreads including the human motivations, cognitive processes, and neural dynamics of large-scale sharing. This study introduces a novel approach for investigating the effect social media messaging and in-person discussion has on the inter-brain dynamics within small groups of participants. The psychophysiological impact of information campaigns and narrative messaging within a closed social (...) media environment was assessed using 24-channel wireless EEG. Data were acquired from three- or four-person groups while subjects debated contemporary social issues framed by four scenarios of varying controversy: investing in ethical vs. unethical corporations, selecting travel destination based on social awareness, determining verdict in a murder trial and the punishment of life in prison or death penalty, and decision to vaccinate. Pre-/post-scenario questionnaires assess the effects of the social media information. Inter-brain coherence between subject pairs on each social issue discussed by subjects was analyzed by concordance, agreement vs. disagreement, and by group unanimity, unanimous vs. not unanimous. Subject pairs that agreed on the social issues raised in the scenarios had significantly greater inter-brain coherence in gamma frequency range than disagreeing pairs over cortical regions known to be involved in social interactions. These effects were magnified when comparing groups where subject pairs were unanimous in their stance on the social issues for some but not all scenarios. While there was considerable overlap between scenarios in what EEG channels were significant, there was enough variability to indicate the possibility of scenario-specific effects on inter-brain coherence. (shrink)

We consider the impact of negative natural theology on the prospects of Christian ramified natural theology with reference to Richard Swinburne’s argument for the Incarnation and Resurrection. We argue that Swinburne’s pivotal claim—that God would not allow deceptive evidence to exist for the Incarnation and Resurrection—is refuted by key evidence from negative natural theology. We argue, further, that Swinburne’s argument omits dominating items of evidence of negative natural theology which seem to critically weaken the probability of the Incarnation and Resurrection. (...) Negative natural theology thus serves as a formidable obstacle to Christian ramified natural theology. (shrink)

This is a book review of Deane-Peter Baker (ed.), Alvin Plantinga (New York: Cambridge Univ. Press, 2007).

Author's replies to an APA book symposium on "Carnap, Tarski, and Quine at Harvard.".

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

Volume 20, Issue 6, June 2020, Page 22-24.

Generations of researchers observed a mismatch between headphone and loudspeaker presentation: the sound pressure level at the eardrum generated by a headphone has to be about 6 dB higher compared to the level created by a loudspeaker that elicits the same loudness. While it has been shown that this effect vanishes if the same waveforms are generated at the eardrum in a blind comparison, the origin of the mismatch is still unclear. We present new data on the issue that systematically (...) characterize this mismatch under variation of the stimulus frequency, presentation room, and binaural parameters of the headphone presentation. Subjects adjusted the playback level of a headphone presentation to equal loudness as loudspeaker presentation, and the levels at the eardrum were determined through appropriate transfer function measurements. Identical experiments were conducted at Oldenburg and Aachen with 40 normal-hearing subjects including 14 that passed through both sites. Our data verify a mismatch between loudspeaker and binaural headphone presentation, especially at low frequencies. This mismatch depends on the room acoustics, and on the interaural coherence in both presentation modes. It vanishes for high frequencies and broadband signals if individual differences in the sound transfer to the eardrums are accounted for. Moreover, small acoustic and non-acoustic differences in an anechoic reference environment exert a large effect on the recorded loudness mismatch, whereas not such a large effect of the respective room is observed across moderately reverberant rooms at both sites. Hence, the non-conclusive findings from the literature appear to be related to the experienced disparity between headphone and loudspeaker presentation, where even small differences in room acoustics significantly change the response behavior of the subjects. Moreover, individual factors like loudness summation appear to be only loosely connected to the observed mismatch, i.e., no direct prediction is possible from individual binaural loudness summation to the observed mismatch. These findings – even though not completely explainable by the yet limited amount of parameter variations performed in this study – have consequences for the comparability of experiments using loudspeakers with conditions employing headphones or other ear-level hearing devices. (shrink)

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the (...) current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

Different natural deduction proof systems for intuitionistic and classical logic —and related logical systems—differ in fundamental properties while sharing significant family resemblances. These differences become quite stark when it comes to the structural rules of contraction and weakening. In this paper, I show how Gentzen and Jaśkowski’s natural deduction systems differ in fine structure. I also motivate directed proof nets as another natural deduction system which shares some of the design features of Genzen and Jaśkowski’s systems, but which differs again (...) in its treatment of the structural rules, and has a range of virtues absent from traditional natural deduction systems. (shrink)

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

The literature on values in science struggles with questions about how to describe and manage the role of values in scientific research. We argue that progress can be made by shifting this literature’s current emphasis. Rather than arguing about how non-epistemic values can or should figure into scientific assessment, we suggest analyzing how scientific assessment can accommodate non-epistemic values. For scientific assessment to do so, it arguably needs to incorporate goals that have been traditionally characterized as non-epistemic. Building on this (...) insight, we show how the adequacy-for-purpose framework recently developed for assessing scientific models can provide a general framework for describing scientific assessment so that it goes beyond purely epistemic considerations. Adopting this framework has significant advantages and opens the possibility of effecting a partial rapprochement between critics and proponents of the value-free ideal. (shrink)

The aim of this book is twofold: to explain the reconciliation of religion and politics in the work of John Locke, and to explore the relevance of that reconciliation for politics in our own time. Confronted with deep social divisions over ultimate beliefs, Locke sought to unite society in a single liberal community. Reason could identify divine moral laws that would be acceptable to members of all cultural groups, thereby justifying the authority of government. Greg Forster demonstrates that Locke's (...) theory is liberal and rational but also moral and religious, providing an alternative to the two extremes of religious fanaticism and moral relativism. This account of Locke's thought will appeal to specialists and advanced students across philosophy, political science and religious studies. (shrink)

This is an exploratory and expository paper, comparing display logic formulations of normal modal logics with labelled sequent systems. We provide a translation from display sequents into labelled sequents. The comparison between different systems gives us a different way to understand the difference between display systems and other sequent calculi as a difference between local and global views of consequence. The mapping between display and labelled systems also gives us a way to understand labelled systems as properly structural and not (...) just as systems encoding modal logic into first-order logic. (shrink)

Human activity is causing high rates of biodiversity loss. Yet, surprisingly little is known about the extent to which socioeconomic factors exacerbate or ameliorate our impacts on biological diversity. One such factor, economic inequality, has been shown to affect public health, and has been linked to environmental problems in general. We tested how strongly economic inequality is related to biodiversity loss in particular. We found that among countries, and among US states, the number of species that are threatened or declining (...) increases substantially with the Gini ratio of income inequality. At both levels of analysis, the connection between income inequality and biodiversity loss persists after controlling for biophysical conditions, human population size, and per capita GDP or income. Future research should explore potential mechanisms behind this equality-biodiversity relationship. Our results suggest that economic reforms would go hand in hand with, if not serving as a prerequisite for, effective conservation. (shrink)

In barely the space of one generation, Athens was transformed from a conventional city-state into something completely new--a region-state on a scale previously unthinkable. This book sets out to answer a seemingly simple question: How and when did the Athenian state attain the anomalous size that gave it such influence in Greek politics and culture in the classical period? Many scholars argue that Athens's incorporation of Attica was a gradual development, largely completed some two hundred years before the classical era. (...) Anderson, however, suggests that it is not until the late sixth century that we see the first systematic attempts by the Athenian polis to integrate all of Attica. Anderson first takes issue with the prevailing view of Cleisthenes' landmark political reforms of 508-7 b.c., arguing that they were animated by a more comprehensive vision of regional political community in Attica. The Athenians' strengthened the state by establishing institutional mechanisms that would allow inhabitants of the Attic periphery to participate as never before in the life of the center. The creation of a suitable physical setting for the new order was accompanied by religious, military, and symbolic innovations. Regional participation in Athenian affairs was stimulated by encouraging the Attic populace to imagine themselves, for the first time ever, as members of a single, like-minded, self-governing political community. Greg Anderson is Assistant Professor of Classics and History, University of Illinois at Chicago. (shrink)

Wendy S. Parker and I have advanced an inductive-risk approach to the provision of climate information that relies on the contextual values of information users. This approach aims to improve the e...

This article delves into ecopedagogy, grounded in the work of the Brazilian pedagogue Paulo Freire on popular education and critical pedagogies, to teach students to critically deconstruct the subjectivity and transformability of our world (all humans, human populations) with the rest of Earth (i.e., rest of Nature). As Friere emphasized humans’ unique characteristic of ‘unfinishedness’ with abilities of self-reflexivity through our histories and goal-setting from our dreams, (environmental) pedagogues must teach toward deepened and widened understandings for praxis grounded in socio-environmental (...) justice and planetary sustainability, including disrupting anthropocentricism. This ‘unfinishedness’ has made humans agents of world-Earth unsustainably and dominance in constructing the Anthropocene, but also allows for possibilities of transformation to counter them. I argue that ecopedagogy is essential in disrupting the following falsely taught ideologies that justifies the Anthroposphere: (1) false commonsense that separates environmental and social violence (i.e., socio-environmental violence) and instills anthropocentrism that separates humans from the rest of Nature (i.e., world-Earth distancing); (2) fatalism that extinguishes hope of ending humans’ acts of unsustainable environmental violence; (3) ‘development’ for sustaining hegemony and planetary unsustainability (i.e., Development rather than development); and (4) epistemological dominance that legitimizes the first three ideologies given (e.g., epistemologies of the North). (shrink)

This study investigates the nexus between giving, belonging and Jewishness in South Africa. Charitable interactions are as much manifestations of inequalities as an expression of the giving individual’s desire to alleviate them. Structuring aspects like class, race, economics, and post-apartheid politics are at the basis of this study. At the same time, though, it is individual agency reproducing inequalities and making sense of the ambiguity of the charitable interaction. In the context of the Jewish community in South Africa this analysis (...) shows how the community’s organisations, practices and concepts are connected to charitable giving. The author carved out three dimensions, which are entangled, reinforced, or at times contradict each other: Belonging, diaspora and charitable giving. Along with shared values and practices it relates to, volunteering or charitable giving connects one individual to a group, while possibly excluding another from it. Expressing belonging to the Jewish collective as a diaspora community, relates individuals or collectives to the triadic relationship between local diaspora group, host society and homeland and other local communities of the same diaspora. (shrink)

In the near future developments in non-invasive prenatal testing may soon provide couples with the opportunity to test for and diagnose a much broader range of heritable and congenital conditions than has previously been possible. Inevitably, this has prompted much ethical debate on the possible implications of NIPT for providing couples with opportunities for reproductive choice by way of routine prenatal screening. In view of the possibility to test for a significantly broader range of genetic conditions with NIPT, the European (...) Society of Human Genetics and American Society of Human Genetics recommend that, pending further debate, prenatal screening for reproductive choice should only be offered where concerning serious congenital conditions and childhood disorders. In support of this recommendation, the ESHG and ASHG discuss a number of ethical issues on which they prompt further debate: the informational privacy of the future child, the trivialization of abortion, the risk of information overload, and issues of distributive justice. This paper responds to this call with further reflection on each ethical issue and how it relates to the moral justification of providing couples with opportunities for meaningful reproductive choice. The paper concludes that whilst there may be good reasons for qualifying the scope of any unsolicited prenatal screening offer to serious congenital conditions and childhood disorders, if prenatal screening is justified for providing couples with opportunities for meaningful reproductive choice, then health services may have obligations to empower couples with the same opportunity where concerning other conditions. (shrink)

Loïc Wacquant argues for a radicalization of the habitus concept provided by Pierre Bourdieu, suggesting that habitus is a site and mode for conducting research, not simply an explanatory or theoretical mechanism. Taking seriously this call to examine skills and communities of practice through apprenticeship, however, requires that the theoretical account of habitus be subject to empirical testing. Moreover, enquiry into communities of practice, especially the subtle psychological, behavioural and even neurological consequences of skill acquisition, means that claims about the (...) habitus can be scrutinized by fields such as psychology, neurology and even human biology. Habitus as a truly open path of inquiry will demand, not wholly novel concepts, but a recognition of when claims about practice are simultaneously testable, and falsifiable, by other forms of empirical enquiry, including the human sciences. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

I argue that aesthetic ideas should play a significant role in archaeological explanation. I sketch an account of aesthetic interests which is appropriate to archaeological contexts. I illustrate the role of aesthetics through a discussion of the transition from signals to symbols. I argue that the opposition in archaeological debate between explanation and interpretation is one we should reject.

This essay is structured around the bifurcation between proofs and models: The first section discusses Proof Theory of relevant and substructural logics, and the second covers the Model Theory of these logics. This order is a natural one for a history of relevant and substructural logics, because much of the initial work — especially in the Anderson–Belnap tradition of relevant logics — started by developing proof theory. The model theory of relevant logic came some time later. As we will see, (...) Dunn’s algebraic models [76, 77] Urquhart’s operational semantics [267, 268] and Routley and Meyer’s relational semantics [239, 240, 241] arrived decades after the initial burst of activity from Alan Anderson and Nuel Belnap. The same goes for work on the Lambek calculus: although inspired by a very particular application in linguistic typing, it was developed first proof-theoretically, and only later did model theory come to the fore. Girard’s linear logic is a different story: it was discovered though considerations of the categorical models of coherence.. (shrink)

The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness (...) of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem. (shrink)

George Orwell wondered why oppressed proletariats in the communist and capitalist worlds did not rise up and replace the governments that oppressed them with something better for them. This is a puzzle we still face today, wherever a majority faces exploitation. The chapter examines the question of why exploited peoples don’t replace exploitative governments in their own best interest, whether through revolution or through the ballot box. The question is examined through the lens of the political philosophy and political fiction (...) of George Orwell, with special attention to how his philosophy applies to the modern USA and the Trump administration. It is argued that in the modern US, there are many reasons why the masses are exploited, but the most important is that they don’t understand the nature of their exploitation. Citizens are often isolated in reality bubbles. Our basic human irrationality, hypocrisy, and willingness to rewrite the past, are harnessed and used against us. International conflicts stoke nationalism and prevent the masses from finding a common identity with the masses worldwide. Within the US, conflicts between different social groups pit the masses against one another, and prevent them from recognizing their common condition. (shrink)

Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R and his proof of the failure of interpolation in R, is the use of techniques from geometry. In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^+$$\end{document} from geometries, and different constraints that an accessibility relation (...) in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable. (shrink)