There are two ways interpreters have tended to understand the nature of the laws of Kant’s pure general logic. On the first, these laws are unconditional norms for how we ought to think, and will govern anything that counts as thinking. On the second, these laws are formal criteria for being a thought, and violating them makes a putative thought not a thought. These traditions are in tension, in so far as the first depends on the possibility of thoughts that (...) violate these laws, and the second makes violation impossible. In this essay I develop an interpretation of Kant’s pure general logic that overcomes this tension. It accounts for the possibility of logical mistakes, as the first tradition does, while still establishing the absolute impossibility of logical aliens, as the second tradition does. I then argue that the formalist insight that illogical exercises of the understanding are not alternative ways coherent thoughts could have been, but are mere confusions, is fundamental for achieving a proper understanding of the absolute normativity of the laws of pure general logic. (shrink)

In this paper, I will explore and attempt to define one very important type of egregious discrimination of persons, racism. I will argue that racism involves a kind of logical mistake; specifically. I hope to show that racists commit the naturalistic fallacy. Finally, I will defend my account of racism against two challenges, the most important of which argues that if racism is merely a logical error then racists are not morally culpable.

John McDowell; X—Identity Mistakes: Plato and the Logical Atomists, Proceedings of the Aristotelian Society, Volume 70, Issue 1, 1 June 1970, Pages 181–196, htt.

Gilbert Ryle never pursued research under Edmund Husserl. However, Ryle was indeed Husserl’s student in a broader sense, as much of his own work was deeply influenced by his studies of Husserl’s pre-World War I writings. While Ryle is the thinker whose name typically comes to mind in connection with the concern over category mistakes I argue that (1) Husserl deserves to be known for precisely this concern as well, and (2) the similarity between them is no accident. Developing (...) this reading of Ryle’s Husserlian pedigree forces a broader reevaluation of each of their roles in twentieth-century thought. (shrink)

Gilbert Ryle never pursued research under Edmund Husserl. However, Ryle was indeed Husserl’s student in a broader sense, as much of his own work was deeply influenced by his studies of Husserl’s pre-World War I writings. While Ryle is the thinker whose name typically comes to mind in connection with the concern over category mistakes I argue that (1) Husserl deserves to be known for precisely this concern as well, and (2) the similarity between them is no accident. Developing (...) this reading of Ryle’s Husserlian pedigree forces a broader reevaluation of each of their roles in twentieth-century thought. (shrink)

Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In (...) particular, the rejection of logical mistakes is to be understood in connection with Wittgenstein’s non-psychological approach to the thinking subject (5.641). On Wittgenstein's view, inference, understanding, and meaning are holistically related; cases of defective reasoning are to be explained in terms of a defective grasp of meaning which manifests in an indeterminate use of signs. Invalid reasoning therefore does not count for Wittgenstein as a species of reasoning, but rather as the mere illusion of reasoning. The rejection of logical mistakes thus gives voice to a radical disjunctivist approach. (shrink)

John McDowell; X—Identity Mistakes: Plato and the Logical Atomists, Proceedings of the Aristotelian Society, Volume 70, Issue 1, 1 June 1970, Pages 181–196, htt.

The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks (...) to explain the implicit concept of conditionality of conditionals assertions. In order to reinforce my aim I expound the twelve different meanings of ‘implication’ stated by Corcoran (1993) in order to hold that a proper understanding of these meanings allows us to avoid ambiguities and confusions. Finally, I expect to show that despite the possible alternatives, compositionalism is still the best explanation for the truth-functionality account of logical connectives. (shrink)

Ever since the publication of Kripke’s Wittgenstein on Rules and Private Language, there’s been a raging debate in philosophy of language over whether meaning and thought are, in some sense, normative. Most participants in the normativity wars seem to agree that some uses of meaningful expressions are semantically correct while disagreeing over whether this entails anything normative. But what is it to say that a use of an expression is semantically correct? On the so-called orthodox construal, it is to say (...) that it doesn’t result in a factual mistake, that is, in saying or thinking something false. On an alternative construal it is instead to say that it doesn’t result in a distinctively linguistic mistake, that is, in misusing the expression. It is natural to think that these two construals of semantic correctness are simply about different things and not in competition with each other. However, this is not the common view. Instead, several philosophers who subscribe to the orthodox construal have argued that the alternative construal of correctness as use in accordance with meaning doesn’t make any sense, partly because there are no clear cases of linguistic mistakes (Whiting 2016, Wikforss 2001). In this paper I develop and defend the idea that there’s a distinctively linguistic notion of correctness as use in accordance with meaning and argue that there are clear cases of linguistic mistakes. (shrink)

Gilbert Ryle is most famous for accusing the Cartesian dualist of committing a category mistake. Yet the nature of this accusation, and the idea of a category mistake more generally, remains woefully misunderstood. The aim of this paper is to rectify this misunderstanding. I show that Ryle does not conceive of category mistakes as mistakes of predication, as is so widely believed. Instead I show category mistakes are mistakes of conjunction and quantification. This thesis uniquely unifies (...) and explains the wide variety of Ryle’s remarks, judgments, and arguments. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

This article investigates the deep-rooted logical structures underlying our thinking about other animals with a particular focus on topics relevant for cognitive primate research. We begin with a philosophical propaedeutic that makes perspicuous how we are to differentiate ontological from epistemological considerations regarding primates, while also accounting for the many perplexities that will undoubtedly be encountered upon applying this difference to concrete phenomena. Following this, we give an account of what is to be understood by the assertion of a (...) thesis of anthropological difference, identifying, inter alia, a property that fulfils the exclusivity, universality, and constitution criteria and demarcates the differentia specifica between humans and other animals. Also, we systematically develop how such theses can be formulated more moderately. Furthermore, we account for different theoretical frameworks, argumentative schemes, and sociological factors whose employment is associated with theses as such. This endeavor is carried out under the guise of anthropomorphism and anthropodenial. Doing so, we show that both are favored by the logic of cognitive primate research. Put briefly, concepts like cladistic parsimony and arguments by analogy favor anthropomorphism whereas concepts like traditional parsimony and Morgan’s canon favor anthropodenial. We close by framing these topics in the light of the self-other category mistake that lies in ascribing exclusive self-properties to some other. Lastly, we probe this category mistake for potency and scope of implications and find it to be central to and unavoidably ingrained in our thinking about other animals. (shrink)

In a recent contribution to this journal, Arjaliès (J Bus Ethics 92:57—78, 2010) suggests that the emergence of socially responsible investment (SRI) in France can be best described as a social movement with a collective identity that aimed to challenge the dominant logic of the financial market. Such an account is at odds with a body of empirical studies that approaches SRI in the French context as a process of market creation led by loosely coordinated actors with contradictory and conflicting (...) interests and values, who have mainly complied with—rather than opposed—the existing dominant financial logic of the asset-management field. In this comment, we build on this prior research to contest Arjaliès' perspective on both theoretical and empirical grounds, with the aim of highlighting the shortcomings of conflating social movements and other forms of collective actions in understanding the building of new markets in organization theory and SRI studies. We contend that in mistaking for social movement forms of collective actions that underpin the emergence of markets, scholars of organization theory may confuse distinct mechanisms in their explanation of SRI emergence across countries, overlook the complex dynamics and interactions of markets and social movements, and, most importantly, fail to evaluate the real political significance of SRI as an empirical phenomenon. We propose that future research on SRI distinguishes carefully "social-movement research as a theoretical framework" from "social movement as an empirical phenomenon" in order to avoid such drawbacks while benefiting from recent advances in social-movement research. (shrink)

한자어 ‘良心’을 뜻으로 풀어쓰면, 좋을 양(良)과 마음 심(心), 즉 ‘좋은 마음’이다. 따라서 이것은 그 의미상 분명히 긍정의 형태를 지니고 있다. 동양사상에서 ‘良心’이라는 단어가 이런 의미를 지니고 있다면, 이 용어가 가령 독일어 게비쎈(Gewissen)의 번역어로서 적절한지가 의구심이 들 수밖에 없다. 게비쎈은 라틴어의 콘시엔치아(conscientia)와 그리스어의 쉰에이데시스(συνείδησις)를 번역한 것이다. 이 단어들은 ‘(~와) 함께’라는 ‘con-’, ‘συν-’어미와 ‘안다(知)’라는 뜻을 가진 단어와 결합한 형태이다. 따라서 이 단어들을 축자적(逐字的)으로 번역하면 ‘(~와) 함께 안다=공지(共知)’가 된다.BR 그런데 우리가 이들 단어들을 번역할 때 이들 단어들에게 일정 가치를 부여하여, 예를 들어 ‘선한 良心’, (...) ‘좋은 良心’ 등과 같이 사용할 경우에는 동어반복이 된다. 또한 반대로 ‘악한 良心(=악한 좋은 마음)’, ‘더러운 良心(=더러운 좋은 마음)’ 등과 같이 사용하면 모순을 유발하게 된다. 이러한 의구심 풀고자 이시까와는. (shrink)

A suggestion famously made by Peter Winch and carried through to present discussions holds that what constitutes the social as a kind consists of something shared – rules or practices commonly learned, internalized, or otherwise acquired by all members belonging to a society. This essays argues against the explanatory efficacy of appeals to this shared something as constitutive of a social kind by examining a violation of social norms or rules, viz., mistakes. I argue that an asymmetric relation exists (...) between the notion of mistakes and that of the social. In particular, mistakes do not presuppose a concept of the social, but the concept of the social requires prior specification of a category of mistakes. But no such prior specification proves possible. The very notion of a mistake is so inchoate that it makes it impossible to provide the kind of regimentation required for a rule-governed domain. Thus, there may be recognized mistakes even in the absence of a unified system or common knowledge of norms.Later writers attempt to avoid Winch's over-strong assumption that something shared and internal constitutes the social but cannot. Extending recent work by Stephen Turner, I argue that ``the social'' is not a domain that is susceptible to lawlike treatment, but rather a heterogeneous, motley collection. For absent the assumption of a shared something, no social object exists to be explained. So, I conclude, we have at present no clear way of marking out the social as a coherent or unified domain of inquiry. (shrink)

In order to understand consciousness one would benefit from developing a more eclectic intellectual style. Consciousness is, as proposed by almost everyone except the stubborn reductionists, a truly mysterious concept. Its study and dissection merits a multidisciplinary approach. Waving this multidisciplinary flag has positively enlarged the discussion and neurologists, psychiatrists, mathematicians, and so on, have moved to the philosophy of mind arena, first with caution and now with a more powerful voice. Identifying what we mean by consciousness is a first (...) step even when we want to deny its existence. The link between consciousness and some other mental activity is a logical next step and there is abundant literature doing this, but not all of them differentiate among associated yet different phenomena. (shrink)

Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...) consistency. Belnap, N. D., Jr. Grammatical propaedeutic. Thomason, R. H. Decidability in the logic of conditionals. Myhill, J. Levels of implication.--Deontic, epistemic, and erotetic logic: Bacon, J. Belief as relative knowledge. Wu, K. J. Believing and disbelieving. Kordig, C. R. Relativized deontic modalities. Harrah, D. A system for erotetic sentences. (shrink)

According to a famous maxim, ignorance or mistake of law is no excuse. This maxim is supposed to represent both the standard and the proper rule of law. In fact, this maxim should be qualified in both respects: ignorance and mistake of law sometimes are, and (perhaps even more often) should be, excused. But this dual qualification only reinforces the fundamental and ubiquitous assumption which underlies the discussions of the subject, namely, that the only ground of exculpation relevant to ignorance (...) or mistake of law is excuse due to lack of (sufficient) culpability. The paper challenges this consensus. I argue that, according to the best conception of justification, ignorance and mistake, including ignorance and mistake of law, could be justified. Generally, ignorance and mistake are justified when based on a rational analysis of the information the agent has and should have. The conceptual possibility of justified ignorance or mistake is demonstrated mainly with respect to ignorance or mistake of law due to reliance on the guidance of public officials or private lawyers. (shrink)

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a (...) realm of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

In recent years, the trend to present the notion of imperfection as a plus rather than a problem has resonated across a range of social and creative disciplines and a wealth of world localities. As digital tools allow media users to share ever more suave selfies and success stories, psychologists promote 'the gifts of imperfections' and point to perfectionism as a catalyst for rising depression and burnout complaints and suicide rates among millennials. As sound technologies increasingly permit musicians to 'smoothen' (...) their work, composers increasingly praise glitches, noise, and cracks. As genetic engineering upgrades with swift speed, philosophers, marketeers, and physicians plea 'against perfection' and supermarkets successfully advertize 'perfectly imperfect' vegetables. Meanwhile, cultural analysts point at skewed perspectives, blurry images, and other 'deliberate imperfections' in new and historical cinema, painting, photography, music, and literature. In less positive terms, scholars in fields ranging from disability studies to tourism critically interrogate a trend to fetishize imperfection and poverty. They rightfully warn against projecting privileged (and, often, emphatically western-biased) feel-good stories onto the less privileged, the distorted, or the frail. Imperfections synthesizes the swiftly growing but fragmented critical scholarship on mistakes, glitches, and other aesthetics and logics of imperfection into the first transdisciplinary, transnational framework of imperfection studies. With this framework, the editors offer scholars and students across various disciplines tools to craft more historically grounded and critically informed conceptualizations of the imperfect. (shrink)

Timothy Williamson has famously argued that the principle should be rejected. We analyze Williamson's argument and show that its key premise is ambiguous, and that when it is properly stated this premise no longer supports the argument against. After canvassing possible objections to our argument, we reflect upon some conclusions that suggest significant epistemological ramifications pertaining to the acquisition of knowledge from prior knowledge by deduction.

Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If (...) you accept all sentences in Γ, then, by normativity, you make a mistake if you reject φ. In order to avoid mistakes, you should accept φ or suspend judgment about φ. Both options are problematic for pluralism. Can pluralists avoid this worry by rejecting the normativity of logic? I argue that they cannot. All else being equal, the argument goes through even if logic is not normative. (shrink)

Arguments from the Logical Problem of Language Acquisition suggest that since linguistic experience provides few negative data that would falsify overgeneral grammatical hypotheses, innate knowledge of the principles of Universal Grammar must constrain learners hypothesis formulation. Although this argument indicates a need for domain-specific constraints, it does not support their innateness. Learning from mostly positive data proceeds unproblematically in virtually all domains. Since not every domain can plausibly be accorded its own special faculty, the probative value of the argument (...) in the linguistic case is dubious. In ignoring the holistic and probablistic nature of theory construction, the argument underestimates the extent to which positive data can supply negative evidence and hence overestimates the intractability of language learning in the absence of a dedicated faculty. While nativism about language remains compelling, the alleged Logical Problem contributes nothing to its plausibility and the emphasis on the Problem in the recent acquisition literature has been a mistake. (shrink)

This paper explores the ways that Daniel C. Dennett’s bestselling 2006 book Breaking the Spell traffics in a set of distinctly American presumptions about the relationship between religion and science. In this Americanized atheism, religion is presumed to be a set of logically organized propositional beliefs–a misbegotten science in need of correction or elimination. I show that a convergent critique, drawing on both evolutionary theory and deconstruction, highlights the limitations of this approach. This convergence highlights the theme of accident in (...) both pluralist evolutionary biology and continental philosophy of religion. Thematizing accident opens up a new conversational space between a deconstructive approach to religion and postadaptationist evolutionary theory, with implications not only for a philosophical understanding of religion, but for new, postsecular atheisms. (shrink)

There are two ways that we might respond to the underdetermination of theory by data. One response, which we can call the agnostic response, is to suspend judgment: `Where scientific standards cannot guide us, we should believe nothing.' Another response, which we can call the fideist response, is to believe whatever we would like to believe: `If science cannot speak to the question, then we may believe anything without science ever contradicting us.' C.S. Peirce recognized these options and suggested evading (...) the dilemma. It is a Logical Maxim, he suggests, that there could be no genuine underdetermination. This is no longer a viable option in the wake of developments in modern physics, so we must face the dilemma head on. The agnostic and fideist responses to underdetermination represent fundamentally different epistemic viewpoints. Nevertheless, the choice between them is not an unresolvable struggle between incommensurable worldviews. There are legitimate considerations tugging in each direction. Given the balance of these considerations, there should be a modest presumption of agnosticism. This may conflict with Peirce's Logical Maxim, but it preserves all that we can preserve of the Peircean motivation. 1. Peirce's Logical Maxim 2. The concept of underdetermination 3. Our dilemma 4. Endgame. (shrink)

In his “Third Way” Aquinas appears to argue in a way that relies upon shifting quantifiers in a fallacious way. Some have tried to save this and other parts of the “Third Way” by introducing sophisticated logical and metaphysical machinery. Alternatively, Aquinas’ apparently fallacious quantifier shift can be seen to be part of a valid argument if we supply a simple premise which an Aristotelian natural philosopher would surely hold. In this short paper, I consider candidates for this premise, (...) defend a specific premise, and from that discussion draw a moral about quantifier predicate logic. I conclude that Aristotelian natural philosophy is more than an historical backdrop to Aquinas’ arguments. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned (...) than their expressivist rivals to provide the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

In this paper I discuss logic from a naturalist point of view, characterizing it as those shared patterns of thought which are socially selected from among the various patterns of thought to which we are naturally inclined. Drawing on Evans-Pritchard's anthropology. I discuss a particular example of Zande thought. I argue that Evans-Pritchard's and Timm Triplett's analyses of this example make the mistake of applying Western logic to Zande beliefs and thus find a contradiction. I argue that from the naturalistic (...) point of view. Zande logic is different from Western logic and that there is no contradiction in Zande thought. (shrink)

From before the time of Thomas Hobbes in the 17th Century, right up to John Searle's impertinent piece in Journal of Consciousness Studies a few months ago, and a major conference in Idaho in April, philosophers of determinism and freedom have divided into Compatibilists and Incompatibilists. The first regiment says that determinism is logically compatible with freedom. The second says it is logically incompatible. They can do this. In a way it is easy-peasy. The first regiment achieves its end by (...) defining free decisions and actions as voluntary: owed to certain causes rather than others -- causes somehow internal to the agent rather than external or constraining causes. The second regiment satisfies itself by defining free decisions and actions as not only voluntary but also originated -- where an originated event, however mysterious, is definitely not a causally necessitated one. (shrink)

Paradox Lost covers ten of philosophy’s most fascinating paradoxes, in which seemingly compelling reasoning leads to absurd conclusions. The following paradoxes are included: The Liar Paradox, in which a sentence says of itself that it is false. Is the sentence true or false? The Sorites Paradox, in which we imagine removing grains of sand one at a time from a heap of sand. Is there a particular grain whose removal converts the heap to a non-heap? The Puzzle of the Self-Torturer, (...) in which a series of seemingly rational choices has us accepting a life of excruciating pain, in exchange for millions of dollars. Newcomb’s Problem, in which we seemingly maximize our expected profit by taking an unknown sum of money, rather than taking the same sum plus $1000. The Surprise Quiz Paradox, in which a professor finds that it is impossible to give a surprise quiz on any particular day of the week... but also that if this is so, then a surprise quiz can be given on any day. The Two Envelope Paradox, in which we are asked to choose between two indistinguishable envelopes, and it is seemingly shown that each envelope is preferable to the other. The Ravens Paradox, in which observing a purple shoe provides evidence that all ravens are black. The Shooting Room Paradox, in which a deadly game kills 90% of all who play, yet each individual’s survival turns on the flip of a fair coin. Each paradox is clearly described, common mistakes are explored, and a clear, logical solution offered. Paradox Lost will appeal to professional philosophers, students of philosophy, and all who love intellectual puzzles. (shrink)

In many actual arguments, the conclusion seems intuitively to follow from the premisses, even though we cannot show that it follows logically. The traditional approach to evaluating such arguments is to suppose that they have an unstated premiss whose explicit addition will produce an argument where the conclusion does follow logically. But there are good reasons for doubting that people so frequently leave the premisses of their arguments unstated. The inclination to suppose that they do stems from the belief that (...) the only way in which an argument's conclusion can follow definitely from its premisses is to follow logically. I argue that this belief is mistaken. I propose a revision of the current generic conception of logical consequence, and its variant specifications, to avoid the paradoxes of strict implication. The revised conception can then be naturally extended to include also what we might call 'enthymematic consequence'. This concept is a kind of consequence, whose properties merit investigation. (shrink)