In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to (...) familiar inference-patterns such as reductio and conditional proof. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

What is commonly referred to as the Adoption Problem is a challenge to the idea that the principles of logic can be rationally revised. The argument is based on a reconstruction of unpublished work by Saul Kripke. As the reconstruction has it, Kripke extends the scope of Willard van Orman Quine's regress argument against conventionalism to the possibility of adopting new logical principles. In this paper we want to discuss the scope of this challenge. Are all revisions of logic (...) subject to the Adoption Problem? If not, are there significant cases of logical revision that are subject to the Adoption Problem? We will argue that both questions should be answered negatively. (shrink)

Since the publication of the Remarks on the Foundations of Mathematics, Wittgenstein’s interpreters have endeavored to reconcile his general constructivist/anti-realist attitude towards mathematics with his confessed anti-revisionary philosophy. In this article, the author revisits the issue and presents a solution. The basic idea consists in exploring the fact that the so-called “non-constructive results” could be interpreted so that they do not appear non-constructive at all. The author substantiates this solution by showing how the translation of mathematical results, given by the (...) possibility of translation between logics, can be seen as a tool for partially implementing the solution Wittgenstein had in mind. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an (...) especially detailed reform program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in (...) particular is the preface paradox, which will receive an extensive treatment. As we shall see, the problem of logical omniscience not only arises within theories based on deductive logic; but also within the recent paradigm shift in psychology of reasoning. So dealing with this problem is important not only for philosophical purposes but also from a psychological perspective. (shrink)

The purpose of this paper is to consider the explanatory resources that Robert Brandom‟s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. 12.

It is shown that Russell's Paradox can be solved without advocating the Theory of Types, and also that the Liar's Paradox can be solved in much the same way. Neither solution requires that any of our commonsense-based beliefs be revised, let alone jettisoned. It is also shown that the Theory of Types is false.

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

This inquiry is addressed to two questions: (1) what if any logical relations might exist between the concepts of desire and action (as they and the distinctions to which they commit us are ensconced in ordinary parlance), and (2) what if any causal or significant non-causal (i.e., material) relations might ever exist between instances of desire and action? -/- It is held that any credible move to deal with such questions must initially, and at some length, specify the employment (...) conditions for the terms 'want' and 'desire'. This is accomplished in the first two chapters wherein a set of premises is generated for the argument of the inquiry which is presented in full and concluded in the third and final chapter. Premises generated devolve from treatment of the following major topics: (a) the grammar of 'want' and 'desire', (b) the ontological status of wants, (c) first-person and third-person want ascriptions, (d) the sorts of things which may be desired (desiderabilia), (e) wants and lacks, (f) wants and wishes, (g) the 'conflicts' of desires and reason and desire, (h) four major candidates for logical relations between wants and acts, (i) the issue of causation, and (j) the placement of Desire in an adequate ontology of persons. -/- It is argued that every major candidate for a logical relation between wants and acts (or our warrant for believing that such a connection exists) breaks down upon analysis; that little warrant exists for construing wants as causes of acts; that wants and acts are related in significant non-logical and non-causal (i.e., material) respects; and that any fully adequate theory of human action must undertake ontology, placing the category of Desire squarely in the foreground. This project represents neither a general theory of desire nor a general theory of human action. It is rather conceived as a propaedeutic to any such inquiry. It is essentially revisionist in intent, setting out on the one hand to challenge existing claims about wants and acts and, on the other hand, proposing a more satisfactory approach to the issue. In no sense is it suggested that recent Anglo-American contributions are without merit. It is rather argued that they are often inadequate contributions vis-a-vis the larger requirements for an adequate theory of human action. (shrink)

Stephen Barker presents a novel approach to solving semantic paradoxes, including the Liar and its variants and Curry’s paradox. His approach is based around the concept of alethic undecidability. His approach, if successful, renders futile all attempts to assign semantic properties to the paradoxical sentences, whilst leaving classical logic fully intact. And, according to Barker, even the T-scheme remains valid, for validity is not undermined by undecidable instances. Barker’s approach is innovative and worthy of further consideration, particularly by those of (...) us who aim to find a solution without logical revisionism. As it stands, however, the approach is unsuccessful, as I shall demonstrate below. (shrink)

Descartes is notorious for holding a strong anti-vacuist position. On his view, according to the standard reading, empty space not only does not exist in nature, but it is logically impossible. The very notion of a void or vacuum is an incoherent one. Recently Eric Palmer has proposed a revisionist reading of Descartes on empty space, arguing that he is more sanguine about its possibility. Palmer makes use of Descartes’ early correspondence with Marin Mersenne, including his commentary on Galileo’s Two (...) New Sciences. I argue that Palmer’s reading is mistaken, and that it relies on an understandable but faulty inference—i.e., that if Descartes considers the implications of an opposing view, he must find it at least coherent. Descartes, as I show from his correspondence and other texts, uses a variety of persuasive strategies, and levels charges of different logical strength, against positions which he takes to be incoherent. Thus we cannot infer from the fact that Descartes argues, e.g., that something is a superfluous theoretical entity, that he admits that entity’s coherence. He often chooses to argue a weaker thesis against an opponent so that he can use an argument to which the opponent is more likely to agree. (shrink)

Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In particular, (...) I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (shrink)

Two stories have dominated the historiography of early modern philosophy: one in which a seventeenth century Age of Reason spawned the Enlightenment, and another in which a skeptical crisis cast a shadow over subsequent philosophy, resulting in ever narrower "limits to knowledge." I combine certain elements common to both into a third narrative, one that begins by taking seriously seventeenth-century conceptions of the topics and methods central to the rise of a "new" philosophy. In this revisionist story, differing approaches to (...) the central subject matter of early modern metaphysics--knowledge of substances through their essences and causal powers--arise as a result of disagreements about the powers of the human cognitive faculties. Methodological writings are seen as attempts to direct readers in the proper use of their cognitive faculties. The early modern rejection of the Aristotelian theory of cognition ranks equally in importance with rejection of Aristotelian doctrines about nature. Skepticism is more often than not a tool to be used in teaching the reader the proper use of the cognitive faculties, or indeed in convincing the reader of the existence or inexistence of certain cognitive faculties or powers. Instead of early modern "epistemology" or "theory of knowledge," one speaks, with seventeenth century writers, of theories of the cognitive faculties and their implications for the possibility of human knowledge. The early modern rejection of Aristotelian logic can then be seen as reflecting a negative assessment about the fit between syllogistic reasoning and logic as an art of reasoning or thinking which refines the use of the cognitive faculties. -/- Central to this new historiography is the story of the relation between the intellect and senses as cognitive faculties or powers. The development of philosophy from Descartes to Kant can be portrayed as a series of claims about the power of the intellect to know the essences of things, with resulting consequences for ontology and the foundations of natural philosophy. I illustrate this revised narrative by comparing three conceptions of the intellect in three philosophical settings, provided by several late scholastic Aristotelians, Descartes, and Locke. I have two aims: first, to exhibit the central role played by the conception of intellect or understanding in these authors, and, second, to locate their discussions of the cognitive faculties in relation to recent understandings of psychology, epistemology, logic, mind, and their relations. Early modern writings do not easily fit into the modern categories of epistemology and psychology; more generally, the early modern concern with the workings of mind does not coincide with recent conceptions of naturalism. These findings can help us to see problems with our current categories. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of (...) arithmetical concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not (...) show that it is based on a real difference. Subcategories that can be grouped together by enumeration will do the trick. Quine's polemical tactic (against which Grice and Strawson protest) of questioning the intelligibility of the distinction is indeed objectionable, but his argument can be revived once it is realized that 'analytic' et al. are theoretic terms, and there is no extant theory to make sense of them. Grice and Strawson's paradigm of logical impossibility is, in fact, possible. Their attempt to define synonymy in Quinean terms is a failure, nor can they retain analyticity along with the Quinean thesis of universal revisability. The dogma, in short, is indefensible. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

In this work, it is shown that given a correct understanding of the nature of reference and of linguistic meaning generally, it is possible to produce non-revisionist analyses of the nature of -/- *Perceptual content, *Mental content generally, *Logical equivalence, *Logical dependence generally, *Counterfactual truth, *The causal efficacy of mental states, and *Our knowledge of ourselves and of the external world. -/- In addition, set-theoretic interpretations of several semantic concepts are put forth. These concepts include truth, falsehood, negation, (...) and conjunction. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to (...) which a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian (...) strategy. But in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

This paper examines the evolution of Husserl’s philosophy of nonintuitive intentions. The analysis has two stages. First, I expose a mistake in Husserl’s account of non-intuitive acts from his 1901 Logical Investigations. I demonstrate that Husserl employs the term “signitive” too broadly, as he concludes that all non-intuitive acts are signitive. He states that not only meaning acts, but also the contiguity intentions of perception are signitive acts. Second, I show how Husserl, in his 1913/14 Revisions to the Sixth (...) Logical Investigation, amends his 1901 theory of non-intuitive acts, which he now calls “empty” intentions. He there accurately distinguishes empty meaning acts from the empty intentions of perception. In the conclusion, I reveal how Husserl’s alterations to his theory of non-intuitive intentions can inform our understanding of a larger shift in his philosophy. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

Cezary Cieśliński has proved a result shows that highlights `logical reflection': The principle that every logically provable sentence is true. He suggests further that this result has a good deal of philosophical significance, specifically for the so-called `conservativeness argument' against deflationism. This note discusses the question to what extent Cieśliński's result generalizes, and just how strong `logical reflection' is, and suggests that the answers to these questions call the philosophical (though not the technical) significance of Cieśliński's result into (...) doubt. (shrink)

It has recently been argued that a person’s moral judgments (about both their own and others’ actions) are constrained by the nature and extent of their relevant ignorance and, thus, that such judgments are determined in the first instance by the person’s epistemic circumstances. It has been argued, in other words, that the epistemic is logically prior to other normative (e.g., ethical, prudential, pecuniary) considerations in human decision-making, that these other normative considerations figure in decision-making only after (logically and temporally) (...) relevant ignorance has constrained the decision-maker’s menu of options. If this is right, then a person’s moral judgments in some set of circumstances should vary with their knowledge and ignorance of these circumstances. In this study, we test the hypothesis of the logical priority of the epistemic. We describe two experiments in which subjects’ knowledge and ignorance of relevant consequences were manipulated. In the second experiment, we also compared the effect of ignorance on moral judgments with that of personal force, a factor previously shown to influence moral judgments. We found broad empirical support for the armchair arguments that epistemic considerations are logically prior to normative considerations. (shrink)

The paper presents a new approach to the history of analytic philosophy. Instead of exploring different kinds of analysis (Michael Beaney), or to marry analytic philosophy to the analytic / synthetic distinction (Scott Soames), we turn attention to the fact that it was rooted in two different types of logical constructing. The discrepancy between the two concepts of logical constructing produced much unclarity in our understanding of analytic philosophy.

The global relation between logical empiricism and American pragmatism is one of the more difficult problems in history of philosophy. In this paper I’d like to take a local perspective and concentrate on the details that concern the vicissitudes of a philosopher who played an important role in the encounter of logical empiricism and American pragmatism, namely, Ernest Nagel. In this paper, I want to explore some aspects of Nagel’s changing attitude towards the then „new“ logical-empiricist philosophy. (...) In the beginning Nagel welcomed logical empiricism whole-heartedly. This early enthusiasm did not last. At the end of his philosophical career Nagel’s early positive attitude towards logical empiricism shown in the 1930s had been replaced by a much more reserved one. Nagel’s growing dissatisfaction with the Carnapian version of logical empiricist philosophy was clearly expressed in Nagel’s criticism of Carnap’s inductive logic and more generally in his last book Teleology Revisited and Other Essays on History and Philosophy of Science. There he critized harshly Carnap’s philosophy of science in general as ahistoric and non-pragmatist. One of the distinctive features of Nagel’s philosophy of science is the emphasis that he put on the role of history of science for philosophy of science. A compelling evidence for this attitude are his works on the history and philosophy of geometry and algebra One may say that Carnap and Nagel represented opposed possibilities of how the profession of a philosopher of science could be understood: Carnap as a „conceptual engineer“ was engaged in the task of inventing the conceptual tools for a better theoretical understanding of science, while Nagel was to be considered more as a „public intellectual“ engaged in the project of realizing a more rational and enlightened society. (shrink)

In this paper, I consider Sterba’s recent criticism of skeptical theism in context of his argument from evil. I show that Sterba’s criticism of skeptical theism shares an undesirable trait with all past criticisms of skeptical theism: it fails. This is largely due to his focus on causal connections and his neglect of logical connections. Because of this, his argument remains vulnerable to skeptical theism.

Confronted with the great variety one can find today in the work of those often labelled (either by themselves or by others) as “relationalists”, “naïve realists” or “disjunctivists”, one could be excused for thinking that relationalism has no common core, but is instead a constellation of views, which at best bear a kind of family resemblance to each other. We believe that this impression would be inaccurate. Relationalism is best thought of not as a constellation of loosely interrelated views, but (...) as a single wellspring of views, which has both a common core, and a variety of versions which differ from each other along two central axes of variation. In the first half of this introduction, we articulate this structure of relationalist views by constructing a common logical space for them. In the introduction’s second part, we use this logical space to introduce the various contributions this volume collects. (shrink)

This paper accomplishes three goals. First, the essay demonstrates that Edmund Husserl’s theory of meaning consciousness from his 1901 Logical Investigations is internally inconsistent and falls apart upon closer inspection. I show that Husserl, in 1901, describes non-intuitive meaning consciousness as a direct parallel or as a ‘mirror’ of intuitive consciousness. He claims that non-intuitive meaning acts, like intuitions, have substance and represent their objects. I reveal that, by defining meaning acts in this way, Husserl cannot account for our (...) experiences of countersensical, absurd, or impossible meanings. Second, I examine how Husserl came to recognize this 1901 mistake in his 1913/14 Revisions to the Sixth Logical Investigation. I discuss how he accordingly reformulates his understanding of non-intuitive meaning acts from the ground up in those Revisions, where this also allows for him to properly account for the experience of impossible meanings. Instead of describing them as mirrors of intuitions, Husserl takes non-intuitive meaning acts to be modifications of intuitions, where they have no substance and do not represent their objects. Finally, in the conclusion to this essay, I demonstrate how this fundamental change to his understanding of meaning consciousness forced Husserl to revise other central tenets of his philosophy, such that the trajectory of his thought can only be properly understood in light of these revisions to his theory of non-intuitive meaning consciousness. (shrink)

A good metaphysical account of logical form, must make clear why logical form is logical. However, this task has proved to be very elusive. Here, I analyze different attempts to meet this challenge and defend an inferential externalism where logical form is grounded on external logical relations as our most promising option.

Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts (...) whereby the content of one act make some fur- ther meaningful content probable. I explicate the nature of this relation in terms of “evidentiary weight” and differentiate it from Husserl’s notion of Evidenz, often translated as “self-evidence”. I elucidate the importance of motivation in Husserl’s overall phenomenological project by focusing on his analyses of thing-perception and empathy. Through these examples, we can better understand the continuity between the Logical Investigations and Husserl’s later work. (shrink)

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are (...) thus unfounded. I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

This paper examines Edmund Husserl's revised account of expression in his 1913–1914 revisions of the Logical Investigations. Rejecting the Investigations’ thesis that linguistic meanings are constituted in a distinctive class of essentially non-intuitive meaning intentions, Husserl develops a new conception of empty intention, a new analysis of the intuitively fulfilled discourse and a phenomenology of the indicative tendency. While these revisions have been acknowledged, their motivation, connection, and significance remain under-explored in the existing literature. By comparing the Investigations and (...) the Revisions, this paper shows how these developments fundamentally alter Husserl’s understanding of the relationship between language, thought, and intuition. The revised account of expression illuminates the dynamic interaction of these elements in the process of meaning-making, offering a balanced account of the interplay of presence and absence in our use of words. (shrink)

This essay critically assesses Roman Ingarden’s 1915 review of the second edition of Edmund Husserl’s Logical Investigations. I elucidate and critique Ingarden’s analysis of the differences between the 1901 first edition and the 1913 second edition. I specifically examine three tenets of Ingarden’s interpretation. First, I demonstrate that Ingarden correctly denounces Husserl’s claim that he only engages in an eidetic study of consciousness in 1913, as Husserl was already performing eidetic analyses in 1901. Second, I show that Ingarden is (...) misguided, when he asserts that Husserl had fully transformed his philosophy into a transcendental idealism in the second edition. While Husserl does appear to adopt a transcendental phenomenology by asserting–in his programmatic claims–that the intentional content and object are now included in his domain of research, he does not alter his actual descriptions of the intentional relationship in any pertinent manner. Third, I show Ingarden correctly predicts many of the insights Husserl would arrive at about logic in his late philosophy. This analysis augments current readings of the evolution of Ingarden’s philosophy, by more closely examining the development of his largely neglected early thought. I execute this critical assessment by drawing both from Husserl’s later writings and from recent literature on the Investigations. By doing so, I hope to additionally demonstrate how research on the Investigations has matured in the one hundred years since the release of that text, while also presenting my own views concerning these difficult interpretative issues. (shrink)

This paper offers a more comprehensive and accurate picture of Edmund Husserl’s semiotics. I not only clarify, as many have already done, Husserl’s theory of signs from the 1901 Logical Investigations, but also examine how he transforms that element of his philosophy in the 1913/14 Revisions to the Sixth Logical Investigation. Specifically, the paper examines the evolution of two central tenets of Husserl’s semiotics. I first look at how he modifies his classification of signs. I disclose why he (...) revised his 1901 distinction between indicators and expressions, instead claiming in 1913/14 that the divisions should be drawn between indicators, signals, and categorial signs. Second, I elucidate why Husserl overturned his conclusion from the Investigations, that signs execute their signitive operations in three steps, because he recognizes that categorial signs and their meant object are experienced all at once. By exploring the transformation of these two tenets of Husserl’s semiotics, we will see that he conceived of the First Investigation only as a starting or jumping off point for future analyses of signitive experience, rather than as his final account. This analysis will further reveal novel insights about Husserl’s understanding of intersubjectivity, passivity, and temporality. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the (...) latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was (...) fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

The influence of Spengler on Wittgenstein's philosophical development is considered. The point of interest is in a significant methodological restructuring which it appears to have produced. After an initial over-enthusiastic reception, Wittgenstein is seen to object on some points which he attempted to emend in his own philosophy. Spengler's name disappeared inreworked manuscripts but traces persist in the Philosophical Investigations and an important section (§89-133) is found to be connected with it.

According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a widely accepted ontological view of conditions, (...) according to which if P is a necessary and sufficient condition for Q, then Q is in no sense a condition for P; it is a mere consequence of P. (shrink)

The aim of this paper is to discuss the “Austro-American” logical empiricism proposed by physicist and philosopher Philipp Frank, particularly his interpretation of Carnap’s Aufbau, which he considered the charter of logical empiricism as a scientific world conception. According to Frank, the Aufbau was to be read as an integration of the ideas of Mach and Poincaré, leading eventually to a pragmatism quite similar to that of the American pragmatist William James. Relying on this peculiar interpretation, Frank intended (...) to bring about a rapprochement between the logical empiricism of the Vienna Circle in exile and American pragmatism. In the course of this project, in the last years of his career, Frank outlined a comprehensive, socially engaged philosophy of science that could serve as a “link between science and philosophy”. (shrink)

In appearance, Husserl’s writings seem not to have had any influence on linguistic research, nor does what the German philosopher wrote about language seem to be worth a place in the history of linguistics. The purpose of the paper is exactly to contrast this view, by reassessing both the position and the role of Husserl’s early masterpiece — the Logical Investigations — within the history of linguistics. To this end, I will focus mainly on the third (On the theory (...) of wholes and parts) and fourth (The distinction between independent and non-independent meanings) Investigations, paying special attention to Husserl’s mereology and to the idea of a general pure grammar. The paper tries to situate the third and fourth Logical Investigation within the general context of late nineteenth-century and early twentieth-century linguistics and furthermore attempts to show the historical and theoretical importance of the Logical Investigations for the birth and the development of one of the most important linguistic “schools” of the twentieth century, namely structural linguistics. (shrink)

In this article, the attempts by David Lewis and Brian Loar to make perspicuous the logical form of sentences ascribing propositional attitudes to individuals are set out and criticized. Both work within the assumption of the truth of 'type' physicalism, and require that logically perspicuous attitude ascriptions be compatible with the demands of such a doctrine. It is argued that neither carry out this task successfully - Lewis's perspicuous ascriptions have counter-intuitive implications, while Loar's avoidance of these undermines type (...) physicalism itself. (shrink)

In the core chapters 4–6, Iacona (2018) argues against the “Uniqueness Thesis” (UT), stating that “there is a unique notion of logical form that fulfils both the logical role and the semantic role” (39), where the former “concerns the formal explanation of logical properties and logical relations, such as validity or contradiction” (37), and the latter “concerns the formulation of a compositional theory of meaning” (ibid.). He argues for this on the basis of relations of coreference (...) among referential expressions, names and indexicals. From what I take to be a fundamental agreement on most relevant issues, here I will nonetheless press him to clarify the notions of intrinsicness and the logical and semantic role of logical form on which he relies. (shrink)

In the last decade Human-Computer Interaction (HCI) has started to focus attention on forms of persuasive interaction where computer technologies have the goal of changing users behavior and attitudes according to a predefined direction. In this work, we hypothesize a strong connection between logical fallacies (forms of reasoning which are logically invalid but cognitively effective) and some common persuasion strategies adopted within web technologies. With the aim of empirically evaluating our hypothesis, we carried out a pilot study on a (...) sample of 150 e-commerce websites. (shrink)

What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.

Contemporary discussions of expressivism in metaethics tend to run together two quite different antidescriptivist views, and only one of them is subject to the objection about compositional semantics pressed most recently by Schroeder (following Dreier, Unwinn, Hale, Geach and others). Here I distinguish the two versions of expressivism and then go on to suggest that those sympathetic to the second sort of expressivism might improve their account of normative vocabulary and the way it figures in reasoning by making what may (...) seem like a somewhat surprising comparison between normative vocabulary and logical vocabulary. I argue that this comparison brings into view the initial steps towards a third antidescriptivist view in metaethics, which we may see as a pragmatist improvement on the second version of expressivism. (shrink)