Inferentialists about scientific representation hold that an apparatus’s representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my (...) own solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus’s parts and hence violates representational “gameplay.”. (shrink)

The existential insecurity of human beings has induced them to create protective spheres of symbols: myths, religions, values, belief systems, theories, etc. Rationality is one of the key factors contributing to the construction of civilisation in technical and symbolic terms. As Hankiss (2001) has emphasised, protective spheres of symbols may collapse – thus causing a profound social crisis. Social and political transformations had a tremendous impact at the end of the 20th century. As a result, management theories have been revised (...) in order to deal with transition and uncertainty. Francis Fukuyama's (2000) approach is supportive of hierarchical organisation as the best solution when facing a 'disruption'. The notion of Homo Hierarchicus has been based on, allegedly, rational presumptions. This paper contributes to the discussion on hierarchy within contemporary organisations. It criticises so-called 'natural' and 'rational' necessities justifying hierarchy. A key issue identified by the paper is the formalisation of language in claiming value-free knowledge and 'detached' observation as the basis for neutral rationality and aspired efficiency. This should be seriously reconsidered as hindering rather than aiding understanding of social complexity. All in all, Homo Hierarchicus appears to be misleading rather than helping symbolic sphere or construct. (shrink)

An important strand in philosophy of science takes scientific explanation to consist in the conveyance of some kind of information. Here I argue that this idea is also implicit in some core arguments of mechanists, some of whom are proponents of an ontic conception of explanation that might be thought inconsistent with it. However, informational accounts seem to conflict with some lay and scientific commonsense judgments and a central goal of the theory of explanation, because information is relative to (...) the background knowledge of agents. Sometimes we make lay judgments about whether a model is an explanation simpliciter, not just an explanation relative to some particular agent. And as philosophers of explanation, we would like a philosophical account to tell us when a model is an explanation simpliciter, not just when a model is an explanation relative to some particular agent. Thus, even if one’s account of explanation is not concerned with explanation qua communicative or speech act, the account’s reliance on the concept of information generates a prima facie conflict between the claims that 1) explanation is the conveyance of information, 2) information is relative to the background knowledge of an agent, and 3) some models are explanations not relative to the background knowledge of any particular agent. I sketch a solution to this puzzle by distinguishing informationally what I call “explanation simpliciter” from what I call “explanation-to,” relativizing the latter to an individual’s background knowledge and the former to what I call “total scientific background knowledge”. (shrink)

According to what I call the ‘argument from public bads’, if a researcher deceived subjects in the past, there is a chance that subjects will discount the information that a subsequent researcher provides, thus compromising the validity of the subsequent researcher’s experiment. While this argument is taken to justify an existing informal ban on explicit deception in experimental economics, it can also apply to implicit deception, yet implicit deception is not banned and is sometimes used in experimental economics. Thus, experimental (...) economists are being inconsistent when they appeal to the argument from public bads to justify banning explicit deception but not implicit deception. (shrink)

Mark Colyvan formulates a puzzle about belief in inconsistent entities. As a scientific realist, Colyvan refers to salient instances of inconsistencies in our best science and demonstrates how an indispensability argument may justify belief in an inconsistent entity. Colyvan’s indispensability argument presents a two-horned dilemma: either scientific realists are committed to the possibility of warranted belief in inconsistent objects, or we have a reductio ad absurdum, bringing realism into a crisis. Firstly, this paper follows Graham Priest by opposing (...) the received characterisation of inconsistent belief as a kind of epistemic hell. Secondly, I challenge the Quinean naturalism that underpins Colyvan’s indispensability argument. Then, I reformulate Colyvan’s argument with a fallible naturalism, better equipped to account for certain problem candidates for inconsistent entities. Finally, I contend that—even if indispensable—an inconsistent entity poses no problem for the scientific realist, who can have justified belief in inconsistent entities. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is (...) automatic and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

Initially, in this article, we present the foundation on which current science stands. Next, we explain the main stream of modern science, the “Popperian Falsificationism”, and show why the current criticism to the system is flawed. Later, we will prove that the “falsificationism” is logically inconsistent and we will propose a new concept of science, unifying it with philosophy.

Intellectualism is the claim that practical knowledge or ‘know-how’ is a kind of propositional knowledge. The debate over Intellectualism has appealed to two different kinds of evidence, semantic and scientific. This paper concerns the relationship between Intellectualist arguments based on truth-conditional semantics of practical knowledge ascriptions, and anti-Intellectualist arguments based on cognitive science and propositional representation. The first half of the paper argues that the anti-Intellectualist argument from cognitive science rests on a naturalistic approach to metaphysics: its proponents (...) assume that findings from cognitive science provide evidence about the nature of mental states. We demonstrate that this fact has been overlooked in the ensuing debate, resulting in inconsistency and confusion. Defenders of the semantic approach to Intellectualism engage with the argument from cognitive science in a way that implicitly endorses this naturalistic metaphysics, and even rely on it to claim that cognitive science support Intellectualism. In the course of their arguments, however, they also reject that scientific findings can have metaphysical import. We argue that this situation is preventing productive debate about Intellectualism, which would benefit from both sides being more transparent about their metaphilosophical assumptions. (shrink)

Since its emergence in the 1960s, Artifcial Intelligence (AI) has grown to conquer many technology products and their felds of application. Machine learning, as a major part of the current AI solutions, can learn from the data and through experience to reach high performance on various tasks. This growing success of AI algorithms has led to a need for interpretability to understand opaque models such as deep neural networks. Various requirements have been raised from diferent domains, together with numerous tools (...) to debug, justify outcomes, and establish the safety, fairness and reliability of the models. This variety of tasks has led to inconsistencies in the terminology with, for instance, terms such as interpretable, explainable and transparent being often used interchangeably in methodology papers. These words, however, convey diferent meanings and are “weighted" diferently across domains, for example in the technical and social sciences. In this paper, we propose an overarching terminology of interpretability of AI systems that can be referred to by the technical developers as much as by the social sciences community to pursue clarity and efciency in the defnition of regulations for ethical and reliable AI development. We show how our taxonomy and defnition of interpretable AI difer from the ones in previous research and how they apply with high versatility to several domains and use cases, proposing a—highly needed—standard for the communication among interdisciplinary areas of AI. (shrink)

This study examines the relationship between Japanese archaeology and natural science through a quantitative analysis of the two most authoritative archaeological journals and two other relevant journals in Japan. First, although previous studies have emphasized the impact of the Department of Anthropology at the University of Tokyo on the scientific aspects of Japanese archaeology, results of the present study suggest that its impact has been more limited than previously assumed. Second, while previous studies claimed that research funding by the (...) Japanese government from the latter half of the 1970s was an important factor in developing the scientific aspects of Japanese archaeology, the present study shows a result inconsistent with the claim. Finally, although I admit that the previous studies have properly captured some aspects of the relationship between Japanese archaeology and science, I conclude that we should look at the broader array of contributors to the relationship between Japanese archaeology and natural science. (shrink)

This study developed and validated BEsMART, a mobile review application for pre-service science teachers preparing for the Licensure Examination for Teachers (LET). Addressing challenges such as high review costs, inconsistent study habits, and concept retention difficulties, BEsMART integrates spaced repetition for memory retention and hypercorrection techniques to correct misconceptions. Other features include questionbased drills, multimedia resources, instant feedback, and progress tracking. A mixed-method research design was employed, combining ISO/IEC 25010 standards, the U.S.E. Questionnaire, and qualitative feedback from 9 experts (...) and 48 pre-service teachers. Using the Scrum methodology, the application underwent iterative development to enhance usability. Results showed high functional suitability, usability, and reliability, with overall ratings of 4.72 (experts) and 4.75 (users). Findings confirm BEsMART’s effectiveness as a self-directed, accessible, and cost-efficient LET review tool, reinforcing mobile learning’s transformative potential in professional examination contexts and paving the way for future improvements and broader adoption. (shrink)

The Japanese scholar Miura Baien (1723-1789) worked throughout his life to produce a philosophical analysis of the natural world. Misinterpretations of his intentions arise from drawing diagrams on his behalf that are inconsistent with his text, or by applying to his text Western academic terms that are quite foreign to his thought. When Baien's text is examined in his own terms we can understand its significant role in the scientific thought of the Edo period.

In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsistent logics. The book itself is the result of a work that was initiated on the Studia Logica conference "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency (...) and Reasoning - 40 years of CLE", held at the State University of Campinas, Brazil, between September 12-15, 2016. (shrink)

In this paper I analyze constitution embodiment, a particular conception of embodiment. Proponents of constitution embodiment claim that the body is a condition of the constitution of entities. Constitution embodiment is popular with phenomenologically-inspired Embodied Cognition, including research projects such as Enactivism and Radical Embodied Cognitive Science. Unfortunately, PEC’s use of constitution embodiment is neither clear nor coherent; in particular, PEC uses the concept of constitution embodiment so that a major inconsistency is entailed. PEC conceives of the body in (...) a transcendental sense as a condition of the constitution of entities, and, in an ontic sense, as a scientifically describable entity. Yet, a condition of the constitution of entities cannot be itself an entity—rather, it is the very condition of the possibility of an entity. This inconsistency entails further problems, among them PEC’s misguided focus on the location of the embodied mind. In order to correct these mistakes, I develop a conception of constitution embodiment based on the work of Heidegger, Husserl and to a lesser degree Merleau-Ponty. This has two purposes. First, it provides the conceptual groundwork to secure the status of PEC as a consistent and coherent research project and to clarify PEC’s conception of the relationship between phenomenology and the sciences. In that spirit, my approach provides further guidelines for fruitful research alliances between PEC and other research programs such as Grounded Cognition and identifies current research alliances, such as those with Radical Enactivism, as undesirable. Second, my account provides an elaborate concept of constitution embodiment that can function as the basis for more sophisticated work in the future. (shrink)

Artificial intelligence has arrived. In the online world it is already a part of everyday life, sitting invisibly behind a wide range of search engines and online commerce sites. It offers huge potential to enable more efficient and effective business and government but the use of artificial intelligence brings with it important questions about governance, accountability and ethics. Realising the full potential of artificial intelligence and avoiding possible adverse consequences requires societies to find satisfactory answers to these questions. This report (...) sets out some possible approaches, and describes some of the ways government is already engaging with these issues. (shrink)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

Opponents of abortion are commonly said to be inconsistent in their beliefs or actions, and to fail in their obligations to prevent the deaths of embryos and fetuses from causes other than induced...

In the article ”Inconsistency of N from a not-finitist point of view” we have shown the inconsistency of N, going through a denial. Here we delete this indirect step and essentially repeat the same proof. Contextually we find a contradiction about natural number definition. Then we discuss around the rejection of infinity.

During multiple testing, researchers often adjust their alpha level to control the familywise error rate for a statistical inference about a joint union alternative hypothesis (e.g., “H1,1 or H1,2”). However, in some cases, they do not make this inference. Instead, they make separate inferences about each of the individual hypotheses that comprise the joint hypothesis (e.g., H1,1 and H1,2). For example, a researcher might use a Bonferroni correction to adjust their alpha level from the conventional level of 0.050 to 0.025 (...) when testing H1,1 and H1,2, find a significant result for H1,1 (p < 0.025) and not for H1,2 (p > .0.025), and so claim support for H1,1 and not for H1,2. However, these separate individual inferences do not require an alpha adjustment. Only a statistical inference about the union alternative hypothesis “H1,1 or H1,2” requires an alpha adjustment because it is based on “at least one” significant result among the two tests, and so it refers to the familywise error rate. Hence, an inconsistent correction occurs when a researcher corrects their alpha level during multiple testing but does not make an inference about a union alternative hypothesis. In the present article, I discuss this inconsistent correction problem, including its reduction in statistical power for tests of individual hypotheses and its potential causes vis-à-vis error rate confusions and the alpha adjustment ritual. I also provide three illustrations of inconsistent corrections from recent psychology studies. I conclude that inconsistent corrections represent a symptom of statisticism, and I call for a more nuanced inference-based approach to multiple testing corrections. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

This dissertation has two main goals. The first is to provide a practice-based analysis of the field of inconsistent mathematics: what motivates it? what role does logic have in it? what distinguishes it from classical mathematics? is it alternative or revolutionary? The second goal is to introduce and defend a new conception of inconsistent mathematics - queer incomaths - as a particularly effective answer to feminist critiques of classical logic and mathematics. This sets the stage for a genuine revolution in (...) mathematics, insofar as it suggests the need for a shift in mainstream attitudes about the role of logic and ethics in the practice of mathematics. (shrink)

The badness of having conflicting emotions is a familiar theme in academic ethics, clinical psychology, and commercial self-help, where emotional harmony is often put forward as an ideal. Many philosophers give emotional harmony pride of place in their theories of practical reason.1 Here we offer a defense of a particular species of emotional conflict, namely, ambivalence. We articulate an conception of ambivalence, on which ambivalence is unresolved inconsistent desire (§1) and present a case of appropriate ambivalence (§2), before considering two (...) alternative defenses of emotional conflict (§3). We then argue that inconsistent desires can be fitting (§4) and that it can be reasonable not to resolve inconsistent desires (§5), before considering an objection (§6) and concluding the discussion (§7). (shrink)

Several authors maintain that we are capable of having inconsistent intentional states, either in cases of illusion, in certain cases of imagination, or because the observable world is (partly) inconsistent and we perceive it as such. These views are all premised on the assumption that inconsistent intentional states—even if acknowledged—are peculiar and have nothing essential to do with our perceptual capacities. In the present article, I would like to present, and argue for, a much stronger thesis: that inconsistent intentional states (...) underlie the possibility of having intentional content in mind. I argue for this thesis based on a Husserlian phenomenological analysis of our grasp of objects, which I formulate in terms of incompatibility semantics. (shrink)

This paper discusses the logical possibility of testing inconsistent empirical theories. The main challenge for answering this affirmatively is to avoid that the inconsistent consequences of a theory both corroborate it and falsify it. I answer affirmatively by showing that we can define a class of empirical sentences whose truth would force us to abandon such inconsistent theory: the class of its potential rejecters. Despite this, I show that the observational contradictions implied by a theory could only be verified (provided (...) we make some assumptions), but not rejected. From this, it follows that, although inconsistent theories are rejectable, they cannot be rejected qua inconsistent. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied to contradictory (...) assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is (...) to apply to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

This chapter argues that the distinction between ambitious and modest transcendental arguments, developed and deployed by various authors in the wake of Stroud’s influential critique of transcendental reasoning, may be pointless when applied to transcendental arguments from performative inconsistency that have moral statements as their conclusions. If moral truth is assertorically constrained, then any modest moral transcendental argument from performative inconsistency can be converted into an ambitious moral transcendental argument. The chapter provides an account of performative inconsistency and suggests an (...) alternative to the widespread reading of transcendental conditionals in terms of an ‘if-then’-sentences whose antecedents express a proposition to the effect that some x is possible and whose consequents express a statement to the effect that some y is actual. (shrink)

Opponents of abortion are often described as ‘inconsistent’ (hypocrites) in terms of their beliefs, actions and/or priorities. They are alleged to do too little to combat spontaneous abortion, they should be adopting cryopreserved embryos with greater frequency and so on. These types of arguments—which we call ‘inconsistency arguments’—conform to a common pattern. Each specifies what consistent opponents of abortion would do (or believe), asserts that they fail to act (or believe) accordingly and concludes that they are inconsistent. Here, we show (...) that inconsistency arguments fail en masse. In short, inconsistency arguments typically face four problems. First, they usually fail to account for diversity among opponents of abortion. Second, they rely on inferences about consistency based on isolated beliefs shared by some opponents of abortion (and these inferences often do not survive once we consider other beliefs opponents of abortion tend to hold). Third, inconsistency arguments usually ignore the diverse ways in which opponents of abortion might act on their beliefs. Fourth, inconsistency arguments criticise groups of people without threatening their beliefs (eg, that abortion is immoral). Setting these problems aside, even supposing inconsistency arguments are successful, they hardly matter. In fact, in the two best-case scenarios—where inconsistency arguments succeed—they either encourage millions of people to make the world a (much) worse place (from the critic’s perspective) or promote epistemically and morally irresponsible practices. We conclude that a more valuable discussion would be had by focusing on the arguments made by opponents of abortion rather than opponents themselves. (shrink)

The paper discusses the Inconsistency Theory of Truth (IT), the view that “true” is inconsistent in the sense that its meaning-constitutive principles include all instances of the truth-schema (T). It argues that (IT) entails that anyone using “true” in its ordinary sense is committed to all the (T)-instances and that any theory in which “true” is used in that sense entails the (T)-instances (which, given classical logic, entail contradictions). More specifically, I argue that theorists are committed to the meaning-constitutive principles (...) of logical constants, relative to the interpretation they intend thereof (e.g., classical), and that theories containing logical constants entail those principles. Further, I argue, since there is no relevant difference from the case of “true”, inconsistency theorists’ uses of “true” commit them to the (T)-instances. Adherents of (IT) are recommended, as a consequence, to eschew the truth-predicate. I also criticise Matti Eklund’s account of how the semantic value of “true” is determined, which can be taken as an attempt to show how “true” can be consistently used, despite being inconsistent. (shrink)

The most pressing difficulty coherentism faces is, I believe, the problem of justified inconsistent beliefs. In a nutshell, there are cases in which our beliefs appear to be both fully rational and justified, and yet the contents of the beliefs are inconsistent, often knowingly so. This fact contradicts the seemingly obvious idea that a minimal requirement for coherence is logical consistency. Here, I present a solution to one version of this problem.

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

The aim of this paper is to explore Kant’s account of normativity through the prism of the distinction between the natural and the human sciences. Although the pragmatic orientation of the human sciences is often defined in contrast with the theoretical orientation of the natural sciences, I show that they are in fact regulated by one and the same norm, namely reason’s demand for autonomy.

I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude that (...) Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

It is argued here that cognitive science currently neglects an important source of insight into the human mind: the effects created by magicians. Over the centuries, magicians have learned how to perform acts that are perceived as defying the laws of nature, and that induce a strong sense of wonder. This article argues that the time has come to examine the scientific bases behind such phenomena, and to create a science of magic linked to relevant areas of cognitive (...) science. Concrete examples are taken from three areas of magic: the ability to control attention, to distort perception, and to influence choice. It is shown how such knowledge can help develop new tools and indicate new avenues of research into human perception and cognition. (shrink)

The word “populism” commonly elicits images of hordes of angry townspeople with pitchforks and torches. That is the classic picture of “the mob,” bolstered by countless movie and television productions, and it is clearly based on such historical events as the English civil wars, the sans-culottes’ terror, the Bolshevik revolution, and the recent genocides in Rwanda and Burundi. Many of the leaders involved in fostering such horrors are seen as radical democrats whose successors today should also be feared. In this (...) paper, I argue that any mob takeovers of the feared sort are actually antithetical to radical democracy. This is because an authentically democratic regime, even of the most extreme type, is necessarily inconsistent with “mobocracy” or any sort of “tyranny of the majority” given its essential procedural aspects. It is argued, in fact, that leaders of legitimately democratic movements have generally been quite vapid because of the fallibilistic, plebiscitary proceduralism inherent in any authentic attempt to require government policy to reflect the “general will.” And this vapidity is argued to inhere regardless of the extent of rhetorical powers of the advocate or advocacy. (shrink)

Despite being very common in both public and private argumentation, accusations of selective application of general premises, also known as “whataboutisms”, have been mostly overlooked in argumentation studies, where they are, at most, taken as accusations of inconsistency. Here I will defend an account according to which allegations of this sort can express the suspicion that the argumentation put forward by one party does not reflect his or her actual standpoint and reasons. Distinguishing this kind of argumentative moves is important (...) for evaluating its appropriateness in critical discussions where knowing the honest opinion of arguers is relevant, as in political controversies or interpersonal communication. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

The chapter discusses two points of intersection between the communication of science-based information about risk and philosophical ethics. The first is a logically unnecessary bias toward consequentialist ethics, and a corresponding tendency to overlook the significance of deontological and virtue based ways to interpret the findings of a scientific risk analysis. The second is a grammatical bias that puts scientific communicators at odds with the expectations of a non-scientific audience.

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Introduction to the Special Volume, “Method, Science and Mathematics: Neo-Kantianism and Analytic Philosophy,” edited by Scott Edgar and Lydia Patton. At its core, analytic philosophy concerns urgent questions about philosophy’s relation to the formal and empirical sciences, questions about philosophy’s relation to psychology and the social sciences, and ultimately questions about philosophy’s place in a broader cultural landscape. This picture of analytic philosophy shapes this collection’s focus on the history of the philosophy of mathematics, physics, and psychology. The following (...) essays uncover, reflect on, and exemplify modes of philosophy that are engaged with these allied disciplines. They make the case that, to the extent that analytic philosophers are still concerned with philosophy’s ties to these disciplines, we would do well to pay attention to neo-Kantian views on those ties. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...) Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Scientific realism is the view that the aim of science is to produce true or approximately true theories about nature. It is a view which not only is shared by many philosophers but also by scientists themselves. Regarding Kuhn’s rejection of scientific progress, Steven Weinberg once declared: “All this is wormwood to scientists like myself, who think the task of science is to bring us closer and closer to objective truth.” But such a realist view on scientific theories (...) is not without problems. The paper discusses some arguments for and against the ontological commitments that scientific theories may entail. The upshot is that scientific realism according to which the semantic content of theories should be understood literally is not sustainable. Instead, it is argued that only realism with respect to entities can be reasonably and practically maintained. Finally, the paper discusses structural realism which presents itself as a modern alternative to scientific realism which may meet both the optimistic no-miracle argument and the pessimistic meta-induction argument. My conclusion is that such a position is neither attractive nor defendable. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

The past few years have seen a resurgence of interest in the scientific study of magic. Despite being only a few years old, this “new wave” has already resulted in a host of interesting studies, often using methods that are both powerful and original. These developments have largely borne out our earlier hopes (Kuhn et al., 2008) that new opportunities were available for scientific studies based on the use of magic. And it would seem that much more can still be (...) done along these lines. -/- But in addition to this, we also suggested that it might be time to consider developing an outright science of magic—a distinct area of study concerned with the experience of wonder that results from encountering an apparently impossible event1. To this end, we proposed a framework as to how this might be achieved (Rensink and Kuhn, 2015). A science can be viewed as a systematic method of investigation involving three sets of issues: (i) the entities considered relevant, (ii) the kinds of questions that can be asked about them, and (iii) the kinds of answers that are legitimate (Kuhn, 1970). In the case of magic, we suggested that this could be done at three different levels, each focusing on a distinct set of issues concerned with the nature of magic itself: (i) the nature of magical experience, (ii) how individual magic tricks create this experience, and (iii) organizing knowledge of the set of known tricks in a more comprehensive way (Rensink and Kuhn, 2015). Our framework also included a base level focused on how the methods of magic could be used as tools to investigate issues in existing fields of study. -/- Lamont (2010) and Lamont et al. (2010) raised a number of concerns about the possibility of such a science, which we have addressed (Rensink and Kuhn, 2015). More recently, Lamont (2015) raised a new objection, arguing that although base-level work (i.e., applications of magic methods) might be useful, there is too little structure in magic tricks for them to be studied in a systematic way at the other levels, ruling out a science of magic. We argue here, however, that although this concern raises some interesting challenges for this science, it does not negate the possibility that it could exist, and could contribute to the study of the mind. (shrink)

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice in developing (...) an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

The cultural transmission of theological concepts remains an underexplored topic in the cognitive science of religion (CSR). In this paper, I examine whether approaches from CSR, especially the study of content biases in the transmission of beliefs, can help explain the cultural success of some theological concepts. This approach reveals that there is more continuity between theological beliefs and ordinary religious beliefs than CSR authors have hitherto recognized: the cultural transmission of theological concepts is influenced by content biases that (...) also underlie the reception of ordinary religious concepts. (shrink)