Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...) for Beall and Restall's theory specifically. We argue that contrary to what Beall and Restall claim, their type of pluralism is wedded to meaning-variance. We then develop an alternative form of logical pluralism that circumvents at least some forms of meaning-variance. (shrink)

Introduction to this special issue of The Australasian Journal of Logic.

In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulas. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap in 1943 called categoricity. We show that categorical systems can be given for any finite many-valued logic using $n$-sided sequent calculus. These systems are understood as a further development (...) of bilateralism—call it multilateralism. The overarching idea is that multilateral proof systems can incorporate the logic of a variety of denial speech acts. So against Frege we say that denial is not the negation of assertion and, with Mark Twain, that denial is more than a river in Egypt. (shrink)

Anti-exceptionalism about logic is the Quinean view that logical theories have no special epistemological status, in particular, they are not self-evident or justified a priori. Instead, logical theories are continuous with scientific theories, and knowledge about logic is as hard-earned as knowledge of physics, economics, and chemistry. Once we reject apriorism about logic, however, we need an alternative account of how logical theories are justified and revised. A number of authors have recently argued that logical theories are justified by abductive (...) argument (e.g. Gillian Russell, Graham Priest, Timothy Williamson). This paper explores one crucial question about the abductive strategy: what counts as evidence for a logical theory? I develop three accounts of evidential confirmation that an anti-exceptionalist can accept: (1) intuitions about validity, (2) the Quine-Williamson account, and (3) indispensability arguments. I argue, against the received view, that none of the evidential sources support classical logic. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

ABSTRACTWhat do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, s...

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...) rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage. Formally, the model-theoretic framework is exchanged for a proof-theoretic framework. It is argued that contrary to the traditional view, proof-theoretic semantics is not revisionary, and should rather be seen as a formal semantics that can supplement model-theory. Specifically, there are formal resources (...) to provide a proof-theoretic semantics for both intuitionistic and classical logic. We develop a new perspective on proof-theoretic harmony for logical constants which incorporates elements from the substructural era of proof-theory. We show that there is a semantic lacuna in the traditional accounts of harmony. A new theory of how inference rules determine the semantic content of logical constants is developed. The theory weds proof-theoretic and model-theoretic semantics by showing how proof-theoretic rules can induce truth-conditional clauses in Boolean and many-valued settings. It is argued that such a new approach to how rules determine meaning will ultimately assist our understanding of the apriori nature of logic. (shrink)

Logic, Logical connectives, Verbal disputes, Proof theory, Non-classical logic.

The philosophical discussion about logical constants has only recently moved into the substructural era. While philosophers have spent a lot of time discussing the meaning of logical constants in the context of classical versus intuitionistic logic, very little has been said about the introduction of substruc-tural connectives. Linear logic, affine logic and other substructural logics offer a more fine-grained perspective on basic connectives such as conjunction and disjunction, a perspective which I believe will also shed light on debates in the (...) philosophy of logic. In what follows I will look at one particularly interesting instance of this: The development of the position known as logical inferentialism in view of substructural connectives. I claim that sensitivity to structural properties is an interesting challenge to logical inferentialism, and that it ultimately requires revision of core notions in the inferentialist litera-ture. Specifically, I want to argue that current definitions of proof theoretic harmony give rise to problematic nonconservativeness as a result of their insensitivity to substructurality. These nonconservativeness results are undesirable because they make it impossible to consistently add logical constants that are of independent philosophical interest. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

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 Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers (...) of logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed (...) in Smiley’s paper. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then (...) presents two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)

Introduction -- Towards a critical theory of society -- The public sphere -- Communicative action and reason -- Discourse ethics -- Deliberative democracy -- The new political constellation.

In his most recent work, Jürgen Habermas has proposed a deliberative account of tolerance where the norms of tolerance—including the threshold of tolerance and the norms regulating the relationship between the tolerating and the tolerated parties—are the outcomes of deliberations among the citizens affected by the norms. He thinks that in this way, the threshold of tolerance can be rationalized and the relationship between tolerating and tolerated will rest on the symmetrical relations of public deliberations. In this essay, and inspired (...) by Jacques Derrida's work on the concept of hospitality, I propose a deconstructive reading of Habermas's writings on tolerance. I argue that Habermas is ultimately unable to provide a rational foundation for tolerance and that his conception of tolerance encounters the same problems he is trying to avoid, namely, the contingency of the threshold of tolerance and a paternalistic relation between tolerating and tolerated. Yet, contra Habermas, the deconstruction of tolerance does not result in its destruction and does not force us to give up on the concept and practice of tolerance. (shrink)

In his most recent work, Jürgen Habermas has proposed a deliberative account of tolerance where the norms of tolerance--including the threshold of tolerance and the norms regulating the relationship between the tolerating and the tolerated parties--are the outcomes of deliberations among the citizens affected by the norms. He thinks that in this way, the threshold of tolerance can be rationalized and the relationship between tolerating and tolerated will rest on the symmetrical relations of public deliberations. In this essay, and inspired (...) by Jacques Derrida's work on the concept of hospitality, I propose a deconstructive reading of Habermas's writings on tolerance. I argue that Habermas is ultimately unable to provide a rational foundation for tolerance and that his conception of tolerance encounters the same problems he is trying to avoid, namely, the contingency of the threshold of tolerance and a paternalistic relation between tolerating and tolerated. Yet, contra Habermas, the deconstruction of tolerance does not result in its destruction and does not force us to give up on the concept and practice of tolerance. (shrink)

In some philosophical arguments an important role is played by the claim that certain situations differ from each other with respect to phenomenology. One class of such arguments are minimal pair arguments. These have been used to argue that there is cognitive phenomenology, that high-level properties are represented in perceptual experience, that understanding has phenomenology, and more. I argue that facts about our mental lives systematically block such arguments, reply to a range of objections, and apply my critique to some (...) examples from the literature. (shrink)

Over the last years, there has been a steady stream of books published on deconstruction and the work of Jacques Derrida in addition to the many books by Derrida himself. Derrida’s death on 8 October 2004 in no way stopped this wealth of publications, including texts on Derrida, deconstruction, and politics. There have been a number of books on Derrida,1 including edited volumes,2 and there is now a Derrida journal, Derrida Today. This is in addition to posthumously published works by (...) Derrida himself, of which The Beast and the Sovereign will be of most interest to this journal’s readers.3 Much of this literature links deconstruction and Derrida’s writings to politics. This may be in part because of Derrida’s own engagement with political concepts and institutions in his later work, but may also be a reaction to the emergence of new political phenomena (e.g. international terrorism of the al-Qaeda type) which in turn creates a need to rethink traditional concepts (e.g. sovereignty). Interestingly much of this literature on deconstruction and politics comes not from political scientists, but from other disciplines, including philosophy, comparative literature, and law. This includes the two books under review here*Mustapha Che´rif ’s Islam and the West and Martin McQuillan’s Deconstruction After 9/114*neither of which is written by a political scientist. As is the case with many other contemporary texts on Derrida, these two books examine how Derrida and deconstruction can help us understand contemporary political phenomena. The two books both address issues related to the signifiers ‘9/11,’ ‘Islam,’ and ‘the West,’but they also question the received meanings of those signifiers, for instance, the idea of ‘Islam’ as a monolith and as the Other of ‘the West.’ (Published: 4 December 2009) Citation: Ethics & Global Politics, Vol. 2, No. 4, 2009, pp. 383–388. DOI: 10.3402/egp.v2i4.2108. (shrink)

The concept of patience describes a person's ability to make prolonged efforts towards future goals, and his or her ability to consider long-term future consequences. Clearly, patience is a capacity that comes by degrees. On the following pages, a person will be said to be patient to the extent that his actions are motivated by future consequences. Hence, a person is not patient if he has the ability to see long-term consequences, while being unable to take these consequences into consideration (...) when he decides how to act. (shrink)

This article argues that two important thinkers of the 20th century, Gregory Bateson (1904–80) and Eric Voegelin (1901–85), developed a set of ideas that are of importance to the history of the human sciences. The article also argues that their ideas are, in essential ways, comparable and display similarities that have not yet been discussed within the larger history of the human sciences. The aim of the article is to show how the diagnostic terms provided by Bateson and Voegelin complement (...) each other toward an understanding of underlying tensions and social pathologies of contemporary civilization. (shrink)

Books Reviewed:René von Schomberg and Peter Niesen.

A common argument against prostitution states that selling sex is harmful because it involves selling something deeply personal and emotional. More and more of us, however, believe that sexual encounters need not be deeply personal and emotional in order to be acceptable—we believe in the acceptability of casual sex. In this paper I argue that if casual sex is acceptable, then we have few or no reasons to reject prostitution. I do so by first examining nine influential arguments to the (...) contrary. These arguments purport to pin down the alleged additional harm brought about by prostitution by appealing to various aspects of its practice, such as its psychology, physiology, economics and social meaning. For each argument I explain why it is unconvincing. I then weight the costs against the benefits of prostitution, and argue that, in sum, prostitution is no more harmful than a long line of occupations that we commonly accept without hesitation. (shrink)

"The nature of intuition and its relation to other mental faculties, particularly perception, is one of the most hotly contested debates in philosophy of mind and psychology. Do intuitions justify belief or merely dispositions to believe? Is intuition a mental state with distinctive phenomenal qualities and if so, how do these differ from normal perceptual states? Drawing on the most recent philosophical research on intuition and perception, Ole Koksvik defends the idea that intuition not only justifies belief but can play (...) a much wider role in our everyday epistemic lives than previously thought. Arguing that intuitional experience is similar to perceptual experience he develops a novel view of intuition as conscious experience. His argument involves both a close description of the kind of experience that intuition is and a defence of intuition against criticism from experimental philosophy. The picture that emerges defends intuitions not because they can be found to be true or false but because they permit us to consider the world as it is might otherwise be and are continuous with the rest of general human inquiry"--. (shrink)

To understand the politics of recognition, one must conceive of it as a politics of representation. Like representation, recognition proceeds at once in a constative and a performative mode, whereby they bring into being what is simultaneously represented or recognized. This structure has paradoxical implications. The politics of recognition is also a politics of representation in the sense that it always involves questions such as, Which representations are recognized? Whose representations are they? The reverse is also true: the politics of (...) representation involves recognition because representatives and representations must be recognized in order to gain authority. In short, we can examine recognition as representation, and there is no recognition without representation, and vice versa. This is demonstrated through a reading of a recent British legal case, Begum, where the issue at stake concerned which representation of Islam should form the basis for the recognition of Islam in the school uniform policy. (shrink)

In this thesis I seek to advance our understanding of what intuitions are. I argue that intuitions are experiences of a certain kind. In particular, they are experiences with representational content, and with a certain phenomenal character. -/- In Chapter 1 I identify our target and provide some important reliminaries. Intuitions are mental states, but which ones? Giving examples helps: a person has an intuition when it seems to her that torturing the innocent is wrong, or that if something is (...) red it is coloured. We can also provide an initial characterisation of the state by saying that it has representational content, often causes belief, and appears to justify belief. In addition, there is something it is like to have an intuition: intuition has a certain phenomenal character. -/- Some argue that intuition does not explain anything which cannot be explained by other mental states. One version of this view takes intuition to reduce to belief. In Chapter 2 I argue that this entails that agents are rationally criticisable in situations where we know they are not, and that such views are therefore untenable. A parallel argument shows that the corresponding approach to perception fails. This suggests a similarity in nature: both intuition and perception are experiences. -/- Others take intuition to reduce to a disposition to have a belief. In Chapter 3 I consider a line of argument against such views, find it unsuccessful, and present two new arguments. One is likely to be dialectically ineffective. The other suffers no such weakness: it shows that the proposed reduction fails. As before, the argument also applies to perception, and suggests that intuition and perception are both experiences. -/- In the remainder of the thesis I develop an account of intuition as an experience. I distinguish between content-specific and attitude-specific phenomenology, and argue that intuition lacks the former (Chapter 4), but has the latter (Chapter 5). This allows us to say what intuition is: it is is an experience with representational content and with attitude-specific phenomenology of a certain kind. -/- In Chapter 6 I put this account of intuition to use. When a person has a perceptual or intuitional experience, I argue that simply having the experience is what makes the subject justified in believing what the experience represents. Moreover, what explains that intuition and perception can justify belief in this way is precisely their phenomenal character. (shrink)

We argue that deliberative decision-making that is inclusive, transparent and accountable can contribute to more trustworthy and legitimate decisions on difficult ethical questions and political trade-offs during the pandemic and beyond.

In this paper I seek to answer two interrelated questions about pleasures and pains: (i) The question of unity: Do all pleasures share a single quality that accounts for why these, and only these, are pleasures, and do all pains share a single quality that accounts for why these, and only these, are pains? (ii) The question of commensurability: Are all pleasures and pains rankable on a single, quantitative hedonic scale? I argue that our intuitions draw us in opposing directions: (...) On the one hand, pleasures and pains seem unified and commensurable; on the other hand, they do not. I further argue that neither intuition can be abandoned, and examine three different paths to reconciliation. The first two are response theory and split experience theory. Both of these, I argue, are unsuccessful. A third path, however—which I label “dimensionalism” —succeeds. Dimensionalism is the theory that pleasure and pain have the ontological status as opposite sides of a hedonic dimension along which experiences vary. This view has earlier been suggested by C. D. Broad, Karl Duncker, Shelly Kagan, and John Searle, but it has not been worked out in detail. In this paper I work out the dimensionalist view in some detail, defend it, and explain how it solves the problem of the unity and commensurability of pleasures and pains. (shrink)

This article argues that we must abandon the still predominant view of modernity as based upon a separation between the secular and the religious - a “separation” which is allegedly now brought into question again in “postsecularity”. It is more meaningful to start from the premise that religion and politics have always co-existed in various fields of tension and will continue to do so. The question then concerns the natures and modalities of this tension, and how one can articulate a (...) publically grounded reason with reference to it. It will first be argued that this question cannot be articulated, let alone fully answered, from the position developed by John Rawls. A different approach will then be developed, building on the writings of Eric Voegelin. This involves a much more serious engagement with the classical tradition in thought and philosophy than found in Rawls. It also implies much more than a “pragmatic” recognition of religion as a possible source for overlapping consensus, since for Voegelin a true, balanced rationality can only depart from an experientially grounded encounter with the transcendent. (shrink)

When a person has an intuition, it seems to her that things are certain ways; to many it seems that torturing the innocent for fun is wrong, for example. When a person has an intuition, there is also something particular it is like to be her: intuitions have a characteristic phenomenal character. This article asks how the phenomenal character of intuition is related to two core core questions in the philosophy of intuition, namely: Is intuition a source of justification and (...) knowledge? and What are intuitions?. (shrink)

Rational addiction theories illustrate how absurd choice theories in economics get taken seriously as possibly true explanations and tools for welfare analysis despite being poorly interpreted, empirically unfalsifiable, and based on wildly inaccurate assumptions selectively justified by ad-hoc stories. The lack of transparency introduced by poorly anchored mathematical models, the psychological persuasiveness of stories, and the way the profession neglects relevant issues are suggested as explanations for how what we perhaps should see as displays of technical skill and ingenuity are (...) allowed to blur the lines between science and games. (shrink)

Bitcoin is a peer-to-peer electronic payment system that operates as an independent currency. This paper is a philosophical investigation of the ontological constitution of Bitcoin. Using Slavoj Žižek’s ontological triad of the real, the symbolic and the imaginary, the paper distinguishes between three ideal typical theories of money: commodity theory, fiat theory, and credit theory. The constitution of Bitcoin is analysed by comparing the currency to each of these ideal types. It is argued that Bitcoin is commodity money without gold, (...) fiat money without a state, and credit money without debt. In conclusion, it is suggested that Bitcoin poses an ideological challenge to conventional forms of money in so far as it not only provokes sedimented beliefs about money but also exposes the forms of exploitation, risk and even violence inherent in the existing system of state authorized credit money. (shrink)

This paper argues that, contrary to common opinion, intuition can result from conscious reasoning. It also discusses why this matters.