This paper aims to develop the implications of logicalexpressivism for a theory of dialogue coherence. I proceed in three steps. Firstly, certain structural properties of cooperative dialogue are identified. Secondly, I describe a variant of the multi-agent natural deduction calculus that I introduced in Piwek (J Logic Lang Inf 16(4):403–421, 2007 ) and demonstrate how it accounts for the aforementioned structures. Thirdly, I examine how the aforementioned system can be used to formalise an expressivist account of (...) class='Hi'>logical vocabulary that is inspired by Brandom (Making it explicit: reasoning, representing, and discursive commitment, 1994 ; Articulating reasons: an introduction to inferentialism, 2000 ). This account conceives of the logical vocabulary as a tool which allows speakers to describe the inferential practices which underlie their language use, i.e., it allows them to make those practices explicit. The rewards of this exercise are twofold: (1) We obtain a more precise account of logicalexpressivism which can be defended more effectively against the critique that such accounts lead to cultural relativism. (2) The formalised distinction between engaging in a practice and expressing it, opens the way for a revision of the theory of dialogue coherence. This revision eliminates the need for logically complex formulae to account for certain structural properties of cooperative dialogue. (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)
This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is (...) represented by the third, iconic, kind of sign. It is noted that icons uniquely enjoy partial identity between sign and object, and argued that this holds the key to Carroll’s puzzle. Finally, from this examination of sign-types metaphysical morals are drawn: that the traditional foes metaphysical realism and conventionalism constitute a false dichotomy, and that reality contains intriguingly inference-binding structures. (shrink)
Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind (...) does exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)
Expressivist analyses of evaluative discourse characterize unembedded moral claims as functioning primarily to express noncognitive attitudes. The most thorny problem for this project has been explaining the logical relations between such evaluative judgements and other judgements expressed using evaluative terms in unasserted contexts, such as when moral judgements are embedded in conditionals. One strategy for solving the problem derives logical relations among moral judgements from relations of "consistency" and "inconsistency" which hold between the attitudes they express. This approach (...) has been accused of conflating inconsistency with mere pragmatic incoherence. In reaction such criticisms several recent theorists have attempted to use alternative resources. The most sophisticated noncognitivists have often propounded theories with secondary descriptive components in addition to their primary expressive meanings. Recent independent suggestions by Frank Jackson and Stephen Barker attempt to solve the embedding problem by utilizing such descriptive components of moral utterances. Unfortunately, this strategy fails to handle a certain sort of example using just the descriptive resources available to noncognitivists. For it must rule valid arguments invalid in virtue of equivocation in the secondary descriptive meanings. The present paper explains the problem and suggests a moral for expressivist theories. (shrink)
On an expressivist view, ethical claims are understood as expressions of our attitudes, desires, and feelings. A famous puzzle for this view concerns the use of logic in ethical reasoning, and two standard treatments try to solve the puzzle by explaining logical inconsistency in terms of conflicting attitudes. I argue, however, that this general strategy fails: because we can reason effectively even in the presence of conflicting moral attitudes – in cases of moral dilemmas – avoiding these conflicts cannot (...) be a ground for correct moral reasoning. The result is a dilemma for expressivists: if they take all kinds of attitudes to be under consideration, then conflict cannot play the required role, since attitudes can fail to be compatible in cases of moral conflict. If they restrict attention to ‘all-in attitudes’ or to intentions or plans, then there is an important notion of obligation, used in standard arguments – one for which conflicts are allowed – that they fail to capture. I explain why expressivists should be especially tolerant of conflicting attitudes, and I conclude that they should pursue a different strategy for grounding logical normativity. (shrink)
This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice—something you do with a sentence—(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is sufficiently rich to fully characterize the class of (...) classical first order theories. The analysis thus provides a way of characterizing classical first order quantification by expressivist means. (shrink)
Robert Brandom defends the intelligibility of the notion of a fully discursive practice that does not include any kind of logical vocabulary. Logical vocabulary, according to his account, should be understood as an optional extra to discursive practice, not as a necessary ingredient. Call this the Layer Cake Picture of the relation of logical to non-logical discursive practices. The aim pursued in this paper is to show, by way of an internal critique, that the Layer Cake (...) Picture is in fact incompatible with the most central claims of Brandom’s philosophy. A way is sketched how to give up the Layer Cake Picture and still hold on to a position that is central to Brandom’s philosophical outlook, namely his expressivism about logic. (shrink)
In The Logical Structure of Linguistic Commitment I (The Journal of Philosophical Logic 23 (1994), 369–400), we sketch a linguistic theory (inspired by Brandom's Making it Explicit) which includes an expressivist account of the implication connective, : the role of is to make explicit the inferential proprieties among possible commitments which proprieties determine, in part, the significances of sentences. This motivates reading (A B) as commitment to A is, in part, commitment to B. Our project is to study the (...) logic of . LSLC I approximates (A B) as anyone committed to A is committed to B, ignoring issues of whether A is relevant to B. The present paper includes considerations of relevance, motivating systems of relevant commitment entailment related to the systems of commitment entailment of LSLC I. We also consider the relevance logics that result from a commitment reading of Fine's semantics for relevance logics, a reading that Fine suggests. (shrink)
It is widely held that the current debate on the mind-body problem in analytic philosophy began during the 1950s at two distinct sources: one in America, de- riving from Herbert Feigl's writings, and the other in Australia, related to writings by U. T. Place and J. J. C. Smart (Feigl [1958] 1967). Jaegwon Kim recently wrote that "it was the papers by Smart and Feigl that introduced the mind-body problem as a mainstream metaphysical Problematik of analytical philosophy, and launched the (...) debate that has continued to this day" (Kim 1998, 1). Nonetheless, it is not at all obvious why these particular articles sparked a debate, nor why Feigl's work in particular came to play such a prominent part in it, nor how and to what extent Feigl's approach rests on the logical empiricism he endorsed. (shrink)
Simon Blackburn’s expressivist logic of attitudes aims to explain how we can use non-assertoric moral judgements in logically valid arguments. Patricia Marino has recently argued that Blackburn’s logic faces a dilemma: either it cannot account for the place of moral dilemmas in moral reasoning or, if it can, it makes an illicit distinction between two different kinds of moral dilemma. Her target is the logic’s definition of validity as satisfiability, according to which validity requires an avoidance of attitudinal inconsistency. Against (...) Marino’s arguments, I contend that expressivists following Blackburn are able to show how we appreciate the validity of arguments found in dilemma-contexts, and that Marino’s argument concerning the distinction between contingent moral dilemmas and logical moral dilemmas rests on a mistake concerning the logical representation of a contingent dilemma. (shrink)
The basic idea of expressivism is that for some sentences ‘P’, believing that P is not just a matter of having an ordinary descriptive belief. This is a way of capturing the idea that the meaning of some sentences either exceeds their factual/descriptive content or doesn’t consist in any particular factual/descriptive content at all, even in context. The paradigmatic application for expressivism is within metaethics, and holds that believing that stealing is wrong involves having some kind of desire-like (...) attitude, with world-tomind direction of fit, either in place of, or in addition to, being in a representational state of mind with mind-to-world direction of fit. Because expressivists refer to the state of believing that P as the state of mind ‘expressed’ by ‘P’, this view can also be described as the view that ‘stealing is wrong’ expresses a state of mind that involves a desire-like attitude instead of, or in addition to, a representational state of mind. According to some expressivists - unrestrained expressivists, as I’ll call them - there need be no special relationship among the different kinds of state of mind that can be expressed by sentences. Pick your favorite state of mind, the unrestrained expressivist allows, and there could, at least in principle, be a sentence that expressed it. Expressivists who seem to have been unrestrained plausibly include Ayer in Language, Truth, and Logic, and Simon Blackburn in many of his writings, including his [1984], [1993], and.. (shrink)
Abstract. Expressivism can make space for normative objectivity by treating normative stances as pro or con attitudes that can be correct or incorrect. And it can answer the logical challenges that bedevil it by treating a simple normative assertion not merely as an expression of a normative stance, but as an expression of the endorsement of a proposition that is true if and only if that normative stance is correct. Although this position has superficial similarities to normative realism, (...) it does full justice to the core expressivist thesis that, at bottom, a normative assertion expresses a normative stance rather than a factual belief. (shrink)
Many philosophers claim that understanding a logical constant (e.g. ‘if, then’) fundamentally consists in having dispositions to infer according to the logical rules (e.g. Modus Ponens) that fix its meaning. This paper argues that such dispositionalist accounts give us the wrong picture of what understanding a logical constant consists in. The objection here is that they give an account of understanding a logical constant which is inconsistent with what seem to be adequate manifestations of such understanding. (...) I then outline an alternative account according to which understanding a logical constant is not to be understood dispositionally, but propositionally. I argue that this account is not inconsistent with intuitively correct manifestations of understanding the logical constants. (shrink)
Jerónimo Pardo's analysis of the problems raised by some popular trinitarian paralogisms is studied in this paper. The purpose is to show how the notions employed by the theologians in order to solve theological problems were introduced into a textbook on logic to deal with some genuinely logical problems. First, the problem, common to all logical approaches, of achieving a fine-grained analysis of the logical form of syllogistical inferences. Second, the problem, typical of the terminist approach to (...) logic, of guaranteeing that Latin is an adequate vehicle for logical analysis. (shrink)
As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. (...) In this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)
I offer a new theory of faultless disagreement, according to which truth is absolute (non-relative) but can still be non-objective. What's relative is truth-aptness: a sentence like ‘Vegemite is tasty’ (V) can be truth-accessible and bivalent in one context but not in another. Within a context in which V fails to be bivalent, we can affirm that there is no issue of truth or falsity about V, still disputants, affirming and denying V, were not at fault, since, in their context (...) of assertion V was bivalent. This theory requires a theory of assertion that is a form of cognitive expressivism. (shrink)
My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)
This paper is a reply to Michael Lynch's "Truth, Value and Epistemic Expressivism" in Philosophy and Phenomenological Research for 2009. It argues that Lynch's argument against expressivism fails because of an ambiguity in the employed notion of an 'epistemically disengaged standpoint'.
Expressivist views of an area of discourse encourage us to ask not about the nature of the relevant kinds of values but rather about the nature of the relevant kind of evaluations. Their answer to the latter question typically claims some interesting disanalogy between those kinds of evaluations and descriptions of the world. It does so in hope of providing traction against naturalism-inspired ontological and epistemological worries threatening more ‘realist’ positions. This is a familiar position regarding ethical discourse; however, some (...) authors (e.g. Field, Heller, Gibbard, Blackburn, Chrisman) have recently defended a similar view regarding epistemic discourse. Others (especially Kvanvig, Cuneo, and Lynch) have argued that epistemic expressivism faces special problems, not necessarily attaching to expressivism about other areas. Their arguments differ in interesting ways, but the common strategy is an attempt to show that the very sort of meta-epistemological theorizing needed to articulate and establish epistemic expressivism involves the epistemic expressivist in some sort of internal incoherence or self-defeat. That is, they think that articulating or defending the position requires implicit commitment to the negation of one of the positions core tenets. This paper responds to those arguments on behalf of epistemic expressivism, suggesting that they each misunderstand what is crucial to epistemic expressivism. By responding to these arguments, we hope to achieve more clarity about what epistemic expressivism is and why one might want to endorse it in a meta-epistemology. (shrink)
This paper is about Truth Minimalism, Norm Expressivism, and the relation between them. In particular, it is about whether Truth Minimalism can help to solve a problem thought to plague Norm Expressivism. To start with, let me explain what I mean by 'Truth Minimalism' and 'Norm Expressivism.'.
Consider the claim that openmindedness is an epistemic virtue, the claim that true belief is epistemically valuable, and the claim that one epistemically ought to cleave to one’s evidence. These are examples of what I’ll call “epistemic discourse.” In this paper I’ll propose and defend a view called “conventionalism about epistemic discourse.” In particular, I’ll argue that conventionalism is superior to its main rival, expressivism about epistemic discourse. Expressivism and conventionalism both jibe with anti-realism about epistemic normativity, which (...) is motivated by appeal to philosophical naturalism (§1). Conventionalism says that epistemic discourse describes how things stands relative to a conventional set of “epistemic” values; such discourse is akin to normative discourse relative to the conventional rules of a club (§2). I defend conventionalism by appeal to a “reverse open question argument,” which says, pace expressivism, that epistemic discourse leaves the relevant normative questions open (§3). (shrink)
Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I (...) then argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)
Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal (...) conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)
There is a wide-spread belief amongst theorists of mind and language. This is that in order to understand the relation between language, thought, and reality we need a theory of meaning and content, that is, a normative, formal science of meaning, which is an extension and theoretical deepening of folk ideas about meaning. This book argues that this is false, offering an alternative idea: The form of a theory that illuminates the relation of language, thought, and reality is a theory (...) of language agency. In a nutshell, the theory of language agency is a theory of competence, without being a theory of understanding or grasping rules. It is a theory of cognitive structure and language production. This theory distils all there is to say about language, thought, and reality. It does not supplement a theory of truth-conditions or semantic norms. It is not the explanation of how a speaker, qua cognitive system causally embedded in a larger reality, is able to use a language with some pre-existing semantic characterization. There is no pre-existing semantic characterization. Nevertheless, there are facts of meaning, as good as any other facts. The dissolution of the theory of meaning is accompanied by another disappearance. That is the disappearance of metaphysical questions in a number of domains. Once we complete the theory of language agency, then just as theoretical questions about meaning disappear, certain theoretical questions about existence disappear. Having provided a theory of the language agency for talk of meaning, fact, property, relation, and proposition, there is no question left over about what meanings, facts, properties, relations, and propositions are. There is no theory to be given of their natures. This is not because they have primitive irreducible natures. Rather it is because, in a sense to be clarified in this work, they lack natures. I call this approach to language agency Global Expressivism. That is because it generalizes some of the insights brought to the study of value-language by expressivists. However, it removes these insights from the clouding affects of attempting to make expressivism a semantic theory. Expressivism about value fails as a semantic theory of value talk. However, global expressivism can succeed as a theory of all talk because it is not a semantic theory but a theory of language agency, wherein the theory of meaning is replaced by a theory of talk about meaning. (shrink)
One’s account of the meaning of ethical sentences should fit – roughly, as part to whole – with one’s account of the meaning of sentences in general. When we ask, though, where one widely discussed account of the meaning of ethical sentences fits with more general accounts of meaning, the answer is frustratingly unclear. The account I have in mind is the sort of metaethical expressivism inspired by Ayer, Stevenson, and Hare, and defended and worked out in more detail (...) recently by Blackburn, Gibbard, and others. So, my first aim (§1) in this paper is to pose this question about expressivism’s commitments in the theory of meaning and to characterize the answer I think is most natural, given the place expressivist accounts attempt to occupy metaethics. This involves appeal to an ideationalist account of meaning. Unfortunately for the expressivist, however, this answer generates a problem; it’s my second aim (§2) to articulate this problem. Then, my third aim (§3) is to argue that this problem doesn’t extend to the sort of account of the meaning of ethical claims that I favor, which is like expressivism in rejecting a representationalist order of semantic explanation but unlike expressivism in basing an alternative order of semantic explanation on inferential role rather than expressive function. (shrink)
Metaethical expressivists claim that we can explain what moral words like ‘wrong’ mean without having to know what they are about – but rather by saying what it is to think that something is wrong – namely, to disapprove of it. Given the close connection between expressivists’ theory of the meaning of moral words and our attitudes of approval and disapproval, expressivists have had a hard time shaking the intuitive charge that theirs is an objectionably subjectivist or mind-dependent view of (...) morality. Expressivism, critics have charged over and again, is committed to the view that what is wrong somehow depends on or at least correlates with the attitudes that we have toward it. Arguments to this effect are sometimes subtle, and sometimes rely on fancy machinery, but they all share a common flaw. They all fail to respect the fundamental idea of expressivism: that ‘stealing is wrong’ bears exactly the same relationship to disapproval of stealing as ‘grass is green’ bears to the belief that grass is green. In this paper I rehearse the motivations for the fundamental idea of expressivism and show how the arguments of Frank Jackson and Philip Pettit [1998], Russ Shafer-Landau [2003], Jussi Suikkanen [2009], and Christopher Peacocke [2004] all fail on this same rock. In part 1 I’ll rehearse the motivation for expressivism – a motivation which directly explains why it does not have subjectivist consequences. Then in each of parts 2-5 I’ll illustrate how each of Jackson and Pettit’s, Peacocke’s, Shafer-Landau’s, and Suikkanen’s arguments work, respectively, and why each of them fails to respect the fundamental parity at the heart of expressivism. Though others have tried before me to explain why expressivism is not committed to any kind of subjectivism or mind-dependence – prominently including Blackburn [1973], [1998], Horgan and Timmons [2006], and, in response to Pettit and Jackson, Dreier [2004] and Smith and Stoljar [2003], the explanation offered in this article is distinguished by its scope and generality.. (shrink)
Jackson and Pettit argue that expressivism in metaethics collapses into subjectivism. A sincere utterer of a moral claim must believe that she has certain attitudes to be expressed. The truth-conditions of that belief then allegedly provide truth-conditions also for the moral utterance. Thus, the expressivist cannot deny that moral claims have subjectivist truth-conditions. Critics have argued that this argument fails as stated. I try to show that expressivism does have subjectivist repercussions in a way that avoids the problems (...) of the Jackson-Pettit argument. My argument, based on the norms for asserting moral sentences, attempts to tie expressivists to a more modest form of subjectivism than the previous arguments. (shrink)
In this paper I will be concerned with the question as to whether expressivist theories of meaning can coherently be combined with deflationist theories of truth. After outlining what I take expressivism to be and what I take deflationism about truth to be, I’ll explain why I don’t take the general version of this question to be very hard, and why the answer is ‘yes’. Having settled that, I’ll move on to what I take to be a more pressing (...) and interesting version of the question, arising from a prima facie tension between deflationism about truth and the motivations underlying expressivism for what I take to be two of its most promising applications: to indicative conditionals and epistemic modals. Here I’ll argue that the challenge is substantive, but that there is no conceptual obstacle to its being met, provided that one’s expressivism takes the right form. (shrink)
In this collection of essays one of the preeminent philosophers of science writing today offers a reinterpretation of the enduring significance of logical positivism, the revolutionary philosophical movement centered around the Vienna Circle in the 1920s and '30s. Michael Friedman argues that the logical positivists were radicals not by presenting a new version of empiricism (as is often thought to be the case) but rather by offering a new conception of a priori knowledge and its role in empirical (...) knowledge. This collection will be mandatory reading for any philosopher or historian of science interested in the history of logical positivism in particular or the evolution of modern philosophy in general. (shrink)
Divine law theories of metaethics claim that moral rightness is grounded in God’s commands, wishes and so forth. Expressivist theories, by contrast, claim that to call something morally right is to express our own attitudes, not to report on God’s. Ostensibly, such views are incompatible. However, we shall argue that a rapprochement is possible and beneficial to both sides. Expressivists need to explain the difference between reporting and expressing an attitude, and to address the Frege-Geach problem. Divine law theorists need (...) to get past the Euthyphro dilemma, and to avoid moral externalism. This paper shows how a combined theory helps us to achieve this. (shrink)
This paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is having a disposition to infer according to it. These accounts in particular conflict with so-called ‘reasoned change in view’, where someone does not infer according to a logical principle but revise their views instead. The paper also outlines a propositional account of logical knowledge which does not conflict (...) with ordinary reasoning. (shrink)
The paper argues that Wittgenstein's criticisms of Frege and Russell's assertion sign are, a bottom, criticisms of a common flaw in these philosophers' early conceptions of the proposition. Each philosopher offers an account of the proposition that *seems* to suggest that a sentence cannot get so far as to say something without the addition of the assertion sign. This leads to the mistaken idea that there is a coherent notion of "logical assertion.".
This paper considers the question of what knowing a logical rule consists in. I defend the view that knowing a logical rule is having propositional knowledge. Many philosophers reject this view and argue for the alternative view that knowing a logical rule is, at least at the fundamental level, having a disposition to infer according to it. To motivate this dispositionalist view, its defenders often appeal to Carroll’s regress argument in ‘What the Tortoise Said to Achilles’. I (...) show that this dispositionalist view, and the regress that supposedly motivates it, operate with the wrong picture of what is involved in knowing a logical rule. In particular I show that it gives us the wrong picture of the relation between knowing a logical rule and actions of inferring according to it, as well as of the way in which knowing a logical rule might be a priori. (shrink)
Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, (...) where there lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)
An expressivist theory of consciousness is outlined. The suggestion that attributions of consciousness involve an essentially projective element is carefully examined, as is the view that ‘zombism’, defined as the thought that certain people are unconscious although physically normal, is a largely affective and not wholly cognitive (hypothetical) disorder. A comparison is drawn between ‘zombism’ and the Capgras delusion. The notion of supervenience is shown to be deeply problematic when applied to projected properties, as is the distinction between weak and (...) strong varieties. It is concluded that, contrary to most received opinion, consciousness and values are not all that different as far as these modal considerations are concerned. (shrink)
A new direction in philosophy Between 1920 and 1940 logical empiricism reset the direction of philosophy of science and much of the rest of Anglo-American philosophy. It began as a relatively organized movement centered on the Vienna Circle, and like-minded philosophers elsewhere, especially in Berlin. As Europe drifted into the Nazi era, several important figures, especially Carnap and Neurath, also found common ground in their liberal politics and radical social agenda. Together, the logical empiricists set out to reform (...) traditional philosophy with a new set of doctrines more firmly grounded in logic and science. Criticism and decline Because of Nazi persecution, most of the European adherents of logical empiricism moved to the United States in the late 1930s. During the 1940s, many of their most cherished tenets became targets of criticism from outsiders as well as from within their own ranks. Philosophers of science in the late 1950s and 1960s rejected logical empiricism and, starting in the 1970s, presented such alternative programs such as scientific realism with evolutionary epistemology. A resurgence of interest During the early 1980s, philosophers and historians of philosophy began to study logical empiricism as an important movement. Unlike their predecessors in the 1960s-for whom the debate over logical empiricism now seems to have been largely motivated by professional politics-these philosopher no longer have to take positions for or against logical empiricism. The result has been a more balanced view of that movement, its achievements, its failures, and its influence. Hard-to-find core writings now available This collection makes available a selection of the most influential and representative writings of the logical empiricists, important contemporary criticisms of their doctrines, their responses, as well as the recent reappraisals. Introductions to each volume examine the articles in historical context and provide importantbackground information that is vital to a full understanding of the issues discussed. They outline prevalent trends, identifying leading figures and summarize their positions and reasoning, as well as those of opposing thinkers. (shrink)
Presenting a critical history of the philosophy of science in the twentieth century, focusing on the transition from logical positivism in its first half to the ...
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)
John Etchemendy (1990) has argued that Tarski's definition of logical consequence fails as an adequate philosophical analysis. Since then, Greg Ray (1996) has defended Tarski's analysis against Etchemendy's criticisms. Here, I'll argue that--even given Ray's defense of Tarski's definition--we may nevertheless lay claim to the conditional conclusion that 'if' Tarski intended a conceptual analysis of logical consequence, 'then' it fails as such. Secondly, I'll give some reasons to think that Tarski 'did' intend a conceptual analysis of logical (...) consequence. (shrink)
Epistemic expressivism is the application of a nexus of ideas, which is prominent in ethical theory (more specifically, metaethics), to parallel issues in epistemological theory (more specifically, metaepistemology). Here, in order to help those new to the debate come to grips with epistemic expressivism and recent discussions of it, I first briefly present this nexus of ideas as it occurs in ethical expressivism. Then, I explain why and how some philosophers have sought to extend it to a (...) version of epistemic expressivism. Finally, I consider a number of objections and replies with the aim of giving the reader the tools needed to begin to evaluate the promise and prospects of epistemic expressivism. (shrink)
It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.
If there is a movement or school that epitomizes analytic philosophy in the middle of the twentieth century, it is logical empiricism. Logical empiricists created a scientifically and technically informed philosophy of science, established mathematical logic as a topic in and tool for philosophy, and initiated the project of formal semantics. Accounts of analytic philosophy written in the middle of the twentieth century gave logical empiricism a central place in the project. The second wave of interpretative accounts (...) was constructed to show how philosophy should progress, or had progressed, beyond logical empiricism. The essays survey the formative stages of logical empiricism in central Europe and its acculturation in North America, discussing its main topics, and achievements and failures, in different areas of philosophy of science, and assessing its influence on philosophy, past, present, and future. (shrink)
Peacocke proposes a criterion for logical constancy in terms of a priori knowability conditions. An a priori knowability condition, Peacocke claims, meets a condition of adequacy for any criterion of logical constancy: expressions satisfying the criterion are topic-neutral. I’ll raise the objection that certain a posteriori knowability conditions would satisfy this adequacy condition. For the requirement of topic-neutrality is ambiguous between two conceptions. Under one conception, a truth is topic-neutral if it is characterized by its indifference to all (...) worldly facts or its abstraction from all semantic content whatsoever. According to another conception of topic-neutrality, to claim that a truth is topic-neutral is not to characterize it by its abstraction from all content whatsoever but rather to characterize it by its abstraction from the specific identities of things. A posteriori knowability conditions could yield expressions which are topic-neutral in this second sense, and so a priori knowability conditions are unnecessary to yield expressions which are topic-neutral in some sense or other. (shrink)
Philosophers should consider a hybrid meta-ethical theory that includes elements of both moral expressivism and moral error theory. Proponents of such an expressivist-error theory hold that all moral utterances are either expressions of attitudes or expressions of false beliefs. Such a hybrid theory has two advantages over pure expressivism, because hybrid theorists can offer a more plausible account of the moral utterances that seem to be used to express beliefs, and hybrid theorists can provide a simpler solution to (...) the Frege-Geach problem. The hybrid theory has three advantages over pure error theory, because hybrid theorists can offer a more plausible account of the moral utterances that seem to be used to express attitudes, hybrid theorists can more easily explain moral motivation, and hybrid theorists can avoid the implausible claim that all moral discourse is radically mistaken. Accordingly, such a hybrid theory should be more attractive than pure expressivism or pure error theory to philosophers who are skeptical about moral facts and truth. (shrink)
This paper considers George A. Reisch’s account of the role of Cold War political forces in shaping the apolitical stance that came to dominate philosophy of science in the late 1940s and 1950s. It argues that at least as early as the 1930s, Logical Empiricists such as Rudolf Carnap already held that philosophy of science could not properly have political aims, and further suggests that political forces alone cannot explain this view’s rise to dominance during the Cold War, since (...) political forces cannot explain why a philosophy of science with liberal democratic, anti-communist aims did not flourish. The paper then argues that if professionalization is understood in the right way, it might point toward an explanation of the apolitical stance of Cold War philosophy of science. (shrink)
This book is a major contribution to the history of analytic philosophy in general and of logical positivism in particular. It provides the first detailed and comprehensive study of Rudolf Carnap, one of the most influential figures in twentieth-century philosophy. The focus of the book is Carnap's first major work: Der logische Aufbau der Welt (The Logical Structure of the World). It reveals tensions within the context of German epistemology and philosophy of science in the early twentieth century. (...) Alan Richardson argues that Carnap's move to philosophy of science in the 1930s was largely an attempt to dissolve the tension in his early epistemology. This book fills a significant gap in the literature on the history of twentieth-century philosophy. It will be of particular importance to historians of analytic philosophy, philosophers of science, and historians of science. (shrink)
An attractive semantic theory presented by Richard K. Larson and Peter Ludlow takes a report of propositional attitudes, e.g 'Tom believes Judy Garland sang', to report a believing relation between Tom and an interpreted logical form constructed from 'Judy Garland sang'. We briefly outline the semantic theory and indicate its attractions. However, the definition of interpreted logical forms given by Larson and Ludlow is shown to be faulty, and an alternative definition is offered which matches their intentions. This (...) definition is then shown to imply that Tom does not know his own mind, a result without intuitive support. A third definition is offered to deal with this problem. (shrink)
By the lights of a central logical positivist thesis in modal epistemology, for every necessary truth that we know, we know it a priori and for every contingent truth that we know, we know it a posteriori. Kripke attacks on both flanks, arguing that we know necessary a posteriori truths and that we probably know contingent a priori truths. In a reflection of Kripke’s confidence in his own arguments, the first of these Kripkean claims is far more widely accepted (...) than the second. Contrary to received opinion, the paper argues, the considerations Kripke adduces concerning truths purported to be necessary a posteriori do not disprove the logical positivist thesis that necessary truth and a priori truth are co-extensive. (shrink)
THE PHILOSOPHY which I advocate is generally regarded as a species of realism, and accused of inconsistency because of the elements in it which seem contrary to that doctrine. For my part, I do not regard the issue between realists and their opponents as a funda- mental one; I could alter my view on this issue without changing my mind as to any of the doctrines upon which I wish to lay stress. I hold that logic is what is fundamental (...) in philosophy, and that schools should be characterized rather by their logic than by their metaphysic. My own logic is atomic, and it is this aspect upon which I should wish to lay stress. Therefore I prefer to describe my philosophy as "logical atomism," rather than as "realism," whether with or without some prefixed adjective. (shrink)
Van Heijenoort’s main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (Sect. 1); then (...) I describe his way of arguing for the second view (Sect. 2); and finally I come down in favor of the first view (Sect. 3). There, I specify the version of universalism for which I am prepared to argue (Sect. 3, introduction). Choosing ZFC to play the part of universal, logical (in a nowadays forgotten sense) system, I show, through an example, how the usual model theory can be naturally given its proper place, from the universalist point of view, in the logical framework of ZFC; I outline another, not rival but complementary, semantics for admissible extensions of ZFC in the very same logical framework; I propose a way to get universalism out of the predicaments in which universalists themselves believed it to be (Sect. 3.1). Thus, if universalists of the classical period did not, in fact, construct these semantics, it was not that their universalism forbade them, in principle, to do so. The historical defeat of universalism was not technical in character. Neither was it philosophical. Indeed, it was hardly more than the victory of technicism over the very possibility of a philosophical dispute (Sect. 3.2). (shrink)
A new direction in philosophy Between 1920 and 1940 logical empiricism reset the direction of philosophy of science and much of the rest of Anglo-American philosophy. It began as a relatively organized movement centered on the Vienna Circle, and like-minded philosophers elsewhere, especially in Berlin. As Europe drifted into the Nazi era, several important figures, especially Carnap and Neurath, also found common ground in their liberal politics and radical social agenda. Together, the logical empiricists set out to reform (...) traditional philosophy with a new set of doctrines more firmly grounded in logic and science. Criticism and decline Because of Nazi persecution, most of the European adherents of logical empiricism moved to the United States in the late 1930s. During the 1940s, many of their most cherished tenets became targets of criticism from outsiders as well as from within their own ranks. Philosophers of science in the late 1950s and 1960s rejected logical empiricism and, starting in the 1970s, presented such alternative programs such as scientific realism with evolutionary epistemology. A resurgence of interest During the early 1980s, philosophers and historians of philosophy began to study logical empiricism as an important movement. Unlike their predecessors in the 1960s-for whom the debate over logical empiricism now seems to have been largely motivated by professional politics-these philosopher no longer have to take positions for or against logical empiricism. The result has been a more balanced view of that movement, its achievements, its failures, and its influence. Hard-to-find core writings now available This collection makes available a selection of the most influential and representative writings of the logical empiricists, important contemporary criticisms of their doctrines, their responses, as well as the recent reappraisals. Introductions to each volume examine the articles in historical context and provide importantbackground information that is vital to a full understanding of the issues discussed. They outline prevalent trends, identifying leading figures and summarize their positions and reasoning, as well as those of opposing thinkers. (shrink)
In this paper, I propose a comparison between some widely accepted Quinian views and Ludwig Wittgenstein's remarks on the logical and the empirical in On Certainty. While Quine's perspective and Wittgenstein's aare not thorougly dissimilar (so that the question of which influence Wittgenstein's thought might have had on the thought of some contemporary philosopher like Quine is both interesting and relevant), there is at least one important difference between them. I submit that Wittgenstein's view on this crucial distinction are (...) more general but ultimately more plausible than the nowadays popular Quinian view. (shrink)
In the present commentary, I argue that Foster has attacked an uncharitable reconstruction of Etchemendy's argument against Tarski's account of the logical properties. I provide an alternative, more charitable reconstruction of that argument that withstands Foster's objections.
A new direction in philosophy Between 1920 and 1940 logical empiricism reset the direction of philosophy of science and much of the rest of Anglo-American philosophy. It began as a relatively organized movement centered on the Vienna Circle, and like-minded philosophers elsewhere, especially in Berlin. As Europe drifted into the Nazi era, several important figures, especially Carnap and Neurath, also found common ground in their liberal politics and radical social agenda. Together, the logical empiricists set out to reform (...) traditional philosophy with a new set of doctrines more firmly grounded in logic and science. Criticism and decline Because of Nazi persecution, most of the European adherents of logical empiricism moved to the United States in the late 1930s. During the 1940s, many of their most cherished tenets became targets of criticism from outsiders as well as from within their own ranks. Philosophers of science in the late 1950s and 1960s rejected logical empiricism and, starting in the 1970s, presented such alternative programs such as scientific realism with evolutionary epistemology. A resurgence of interest During the early 1980s, philosophers and historians of philosophy began to study logical empiricism as an important movement. Unlike their predecessors in the 1960s-for whom the debate over logical empiricism now seems to have been largely motivated by professional politics-these philosopher no longer have to take positions for or against logical empiricism. The result has been a more balanced view of that movement, its achievements, its failures, and its influence. Hard-to-find core writings now available This collection makes available a selection of the most influential and representative writings of the logical empiricists, important contemporary criticisms of their doctrines, their responses, as well as the recent reappraisals. Introductions to each volume examine the articles in historical context and provide importantbackground information that is vital to a full understanding of the issues discussed. They outline prevalent trends, identifying leading figures and summarize their positions and reasoning, as well as those of opposing thinkers. (shrink)
He explores Russell's logical atomism, which applies logic to problems in the theory of knowledge and metaphysics and was central to Russell's work over this period.
For much of the second half of the 20th Century, the primary role logical empiricism played was that of the argumentative foil. The 'received view' on a given topic (especially in philosophy of science, logic, or language) was frequently identified with some supposedly dogmatic tenet of logical empiricism. However, during the last twenty-five years, scholars have paid serious, sustained attention to what the logical positivists, individually and collectively, actually said. Early scholarship on logical empiricism had to (...) engage in heavy-duty PR work: why should anyone study the now-discarded mixture of blunders and implausibilities collected under the label 'logical empiricism'? However, thanks to the efforts of the pioneers, people studying the logical empiricists today need not articulate an extended apologia for their chosen subject of study -- rather, they can simply get on with their work. Many of the best fruits of these recent labors are on display in The Cambridge Companion to Logical Empiricism (CCLE), edited by Alan Richardson and Thomas Uebel. (shrink)
A new direction in philosophy Between 1920 and 1940 logical empiricism reset the direction of philosophy of science and much of the rest of Anglo-American philosophy. It began as a relatively organized movement centered on the Vienna Circle, and like-minded philosophers elsewhere, especially in Berlin. As Europe drifted into the Nazi era, several important figures, especially Carnap and Neurath, also found common ground in their liberal politics and radical social agenda. Together, the logical empiricists set out to reform (...) traditional philosophy with a new set of doctrines more firmly grounded in logic and science. Criticism and decline Because of Nazi persecution, most of the European adherents of logical empiricism moved to the United States in the late 1930s. During the 1940s, many of their most cherished tenets became targets of criticism from outsiders as well as from within their own ranks. Philosophers of science in the late 1950s and 1960s rejected logical empiricism and, starting in the 1970s, presented such alternative programs such as scientific realism with evolutionary epistemology. A resurgence of interest During the early 1980s, philosophers and historians of philosophy began to study logical empiricism as an important movement. Unlike their predecessors in the 1960s-for whom the debate over logical empiricism now seems to have been largely motivated by professional politics-these philosopher no longer have to take positions for or against logical empiricism. The result has been a more balanced view of that movement, its achievements, its failures, and its influence. Hard-to-find core writings now available This collection makes available a selection of the most influential and representative writings of the logical empiricists, important contemporary criticisms of their doctrines, their responses, as well as the recent reappraisals. Introductions to each volume examine the articles in historical context and provide importantbackground information that is vital to a full understanding of the issues discussed. They outline prevalent trends, identifying leading figures and summarize their positions and reasoning, as well as those of opposing thinkers. (shrink)
Recently we have given proof of two theorems characterizing the Clifford algebra. By using such two theorems we have reformulated the well known von Neumann postulate on quantum measurements giving evidence of the algebraic manner in which quantum wave function collapse of quantum mechanics happens. In the present paper we introduce logic in Clifford algebra interpreting its idempotents as logical statements. Using the previously mentioned theorems we demonstrate that the two basic foundations of quantum mechanics, as the indeterminism and (...) the quantum interference, do not arise from physics itself but from logic. We advance the principles that there are levels of our reality in which we lose our possibility of unconditionally define the truth. At this level of reality we cannot separate matter per se from the basic foundations of the logic that we use to describe it. This logical relativism does not characterize classical mechanics but quantum physics. According to Y. F. Orlov, at quantum level the truths of logical statements about dynamic variables become dynamic variables themselves. (shrink)
In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents the propositional (...) structure and whose space consists of all and only the worlds. The next three theses, presented in sections 3, 4, and 5, respectively, guarantee the existence of logical space, and further constrain its structure. The third thesis asserts that the set of propositions true at any world is maximal consistent; the fourth thesis that any two worlds are separated by a proposition; the fifth thesis that only one proposition is false at every world. In sections 6 through 10, I turn to the problem of reduction. In sections 6 and 7, I show how the standard theory can be used to support either a reduction of worlds to propositions or a reduction of propositions to worlds. A number of proposition-based theories are developed in section 6, and compared with Adams's world-story theory. A world-based theory is developed in section?, and Stalnaker's account of the matter is discussed. Before passing judgment on the proposition based and world-based theories, I ask in sections 8 and 9 whether both worlds and propositions might be reduced to something else. In section 8, I consider reductions to linguistic entities; in section 9, reductions to unfounded sets. After rejecting the possibility of eliminating both worlds and propositions, I return in section 10 to the possibility of eliminating one in favor of the other. I conclude, somewhat tentatively, that neither worlds nor propositions should be reduced one to the other, that both worlds and propositions should be taken as basic to our ontology. (shrink)
The engineer Kirillov, a major character in Dostoevsky's 'Demons', has provoked considerable critical disagreement. In 'The Myth of Sisyphus', Albert Camus argues that he expresses the theme of ‘logical suicide’ with ‘the most admirable range and depth’. Some recent commentators, however, have dismissed Kirillov as a madman in the grip of a mad theory. -/- While dissenting from Camus’s analysis in certain respects, this article offers an interpretation consistent with his basic argument. Kirillov’s suicide is based on a simple, (...) if implacable, logic which convinces him that as long as he kills himself for the right reason, his death will be an act of redemption for all humanity. Kirillov is a wholly ‘metaphysical’ character – one of the earliest in modern fiction – whose ambition to become the ‘man-god’ is explored by Dostoevsky to its ultimate, desolate conclusion. (shrink)
The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it (...) is founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (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.
An essay on Wittgenstein's conception of nonsense and its relation to his idea that "logic must take care of itself". I explain how Wittgenstein's theory of symbolism is supposed to resolve Russell's paradox, and I offer an alternative to Cora Diamond's influential account of Wittgenstein's diagnosis of the error in the so-called "natural view" of nonsense.
Many expressivists have employed a claim about the practicality of morality in support of their view that moral convictions are not purely descriptive mental states. In this paper I argue that all extant arguments of this form fail. I distinguish several versions of such arguments and argue that in each case either the sense of practicality the argument employs is too weak, in which case there is no reason to think that descriptive states cannot be practical or the sense of (...) practicality the argument employs is too strong, in which case there is no reason to think moral convictions are practical. I also discuss and dismiss an attempted patch of such arguments provided by Humean Psychology. The conclusion is that expressivists need to look to sources other than the alleged practicality of morality to support their position. In concluding remarks I suggest one such alternative. (shrink)
The existence of evil and suffering in our world seems to pose a serious challenge to belief in the existence of a perfect God. If God were all-knowing, it seems that God would know about all of the horrible things that happen in our world. If God were all-powerful, God would be able to do something about all of the evil and suffering. Furthermore, if God were morally perfect, then surely God would want to do something about it. And yet (...) we find that our world is filled with countless instances of evil and suffering. These facts about evil and suffering seem to conflict with the orthodox theist claim that there exists a perfectly good God. The challenged posed by this apparent conflict has come to be known as the problem of evil. (shrink)
Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...) this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)
After more than thirty-five years of debate and discussion, versions of the functionalist theory of mind originating in the work of Hilary Putnam, Jerry Fodor, and David Lewis still remain the most popular positions among philosophers of mind on the nature of mental states and processes. Functionalism has enjoyed such popularity owing, at least in part, to its claim to offer a plausible and compelling description of the nature of the mental that is also consistent with an underlying physicalist or (...) materialist ontology. Yet despite its continued popularity, many philosophers now think that functionalism leaves something out, in particular that functional explanations and analyses fail to account for consciousness, qualia, or phenomenal states of experience or awareness.¹ If the objection is correct, then functionalism fails in its inability.. (shrink)
Metaethical expressivism takes moral utterances to express non-cognitive attitudes in just the same way that ordinary factual utterances express belief.1 In doing so, it promises to solve three central metaethical problems at a stroke. First, it avoids the worry (most famously expressed by Mackie 1977) that moral facts and properties would be unacceptable additions to our ontology. Second, it promises to explain the seemingly close relation between one’s judging that one ought morally to ! and one’s having a motive (...) to ! by understanding the attitude expressed as ‘conative’, i.e. as an intrinsically motivating desire-like state.2 Finally, and perhaps most importantly, expressivism promises a solution to the univocality problem, the problem of explaining how people with systematically different ethical views are nevertheless concerned with a common topic. Attempts to substantively explain intuitions of ethical agreement and disagreement between parties in terms of their employment of co-referring ethical concepts have faced a series of counterexamples. Expressivism understands univocality in terms of agreement and disagreement in non-cognitive attitude, thus circumventing the need to characterize a univocal cognitive content.3 Expressivism itself faces two central explanatory challenges. Most famously, the expressivist needs to solve the so-called ‘Frege-Geach problem’: to explain why moral beliefs and moral statements seem to have much the same sort of logical and inferential properties as ordinary factual beliefs and statements.4 Much less famously, the expressivist faces the challenge of specifying what sort of attitude is expressed by moral utterances. This task, dubbed the ‘moral attitude problem’ by Alexander Miller (2003, 43), has received surprisingly little attention compared with that lavished on the Frege- Geach problem. However, solving this problem is a central and non-trivial task for the expressivist program in metaethics: the truth of expressivism requires some answer to this question, and a recent paper by David Merli (2008) suggests that, besides its intrinsic.... (shrink)
Expressivism - the sophisticated contemporary incarnation of the noncognitivist research program of Ayer, Stevenson, and Hare - is no longer the province of metaethicists alone. Its comprehensive view about the nature of both normative language and normative thought has also recently been applied to many topics elsewhere in philosophy - including logic, probability, mental and linguistic content, knowledge, epistemic modals, belief, the a priori, and even quantifiers. Yet the semantic commitments of expressivism are still poorly understood and have (...) not been very far developed. As argued within, expressivists have not yet even managed to solve the "negation problem" - to explain why atomic normative sentences are inconsistent with their negations. As a result, it is far from clear that expressivism even could be true, let alone whether it is. Being For seeks to evaluate the semantic commitments of expressivism, by showing how an expressivist semantics would work, what it can do, and what kind of assumptions would be required, in order for it to do it. Building on a highly general understanding of the basic ideas of expressivism, it argues that expressivists can solve the negation problem - but only in one kind of way. It shows how this insight paves the way for an explanatorily powerful, constructive expressivist semantics, which solves many of what have been taken to be the deepest problems for expressivism. But it also argues that no account with these advantages can be generalized to deal with constructions like tense, modals, or binary quantifiers. Expressivism, the book argues, is coherent and interesting, but false. (shrink)
In chapter five of Wise Choices, Apt Feelings Allan Gibbard develops what he calls a ‘normative logic’ intended to solve some problems that face an expressivist theory of norms like his. The first is “the problem of embedding: The analysis applies to simple contexts, in which it is simply asserted or denied that such-and-such is rational. It says nothing about more complex normative assertions.”1 That is the problem with which I will be concerned. Though he doesn’t list it as one (...) of the problems to be solved, Gibbard’s devices also explain what it means to say that a certain normative argument is ‘valid’, that one normative statement follows from some others. Both of these questions arise because of the ways we ordinarily think and speak, ways which on a simplistic version of expressivism appear not to make any sense. An expressivist committed to making sense of the way we ordinarily think and speak in normative language owes some account of embeddings and of logic. Gibbard’s device seems to me the clearest and most systematic of any expressivist attempt to meet these challenges. (shrink)
I argue for a cognitive architecture in which folk psychology is supported by an interface of a ToM module and the language faculty, the latter providing the former with interpreted LF structures which form the content representations of ToM states. I show that LF structures satisfy a range of key features asked of contents. I confront this account of ToM with eliminativism and diagnose and combat the thought that "success" and innateness are inconsistent with the falsity of folk psychology. I (...) show that, while my ensemble account of ToM and language refutes the culturalist presuppositions that tend to underlie eliminativist arguments, the falsity of folk psychology is consistent with the account. (shrink)
We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly (...) related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)
There are many insightful discussions of Hegel's practical philosophy that emphasize the uniqueness of his expressivist and social theory of agency, but few recognize that these two aspects of Hegel's theory of the will are insufficient to avoid the traditional problem of free will. In fact, the problem can easily be shown to recur in the very language used to express why Hegel's theory is a theory of freedom at all. In part, this lack of recognition results from the fact (...) that there has not yet been a study of Hegel's theory of the will that has formulated the problem against the background of the contemporary literature on free will, where basic concerns about the explicability of action loom large. By using the continuity between the contemporary concerns and those of Hegel's predecessors (particularly Kant), Yeomans shows the necessity of reference to the Logic in order to supplement Hegel's own practical philosophy and the scholarship based on it. In addition to adding significantly to our understanding of Hegel's theory of agency and recapturing its significance with respect to continuing modern reflection on free will, this study also shows that Hegel's Logic can do some real philosophical work on a specific problem. Though Hegel's logical terminology is notorious for its impenetrability, Yeomans translates Hegel's jargon into a more easily comprehensible vocabulary. He further helps the reader by providing introductory discussions framing the central issues of each chapter both in terms of the problem of free will and in terms of the development of Hegel's argument to that point in the Logic. Presenting the reader with frequent use of examples, Yeomans leavens the abstractness of Hegel's presentation and makes the topic accessible to readers new to Hegel as well as those well versed in his work. (shrink)
Edmund Husserl is the founder of phenomenology. The Logical Investigations is Edmund Husserl's most famous work and has had a decisive impact on the direction of twentieth century philosophy. This is the first time both volumes of this classic work, translated by J.N. Findlay, have been available in paperback. They include a new introduction by Dermot Moran, placing the Logical Investigations in historical context and bringing out its importance for contemporary philosophy.
Beall and Restall 2000; 2001; 2006 advocate a comprehensive pluralist approach to logic, which they call Logical Pluralism, according to which there is not one true logic but many equally acceptable logical systems. They maintain that Logical Pluralism is compatible with monism about metaphysical modality, according to which there is just one correct logic of metaphysical modality. Wyatt 2004 contends that Logical Pluralism is incompatible with monism about metaphysical modality. We first suggest that if Wyatt were (...) right, Logical Pluralism would be strongly implausible because it would get upside down a dependence relation that holds between metaphysics and logic of modality. We then argue that Logical Pluralism is prima facie compatible with monism about metaphysical modality. (shrink)
Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence (...) relation, a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)
Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence (...) relation, a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)
Introduction -- The concept of logical consequence -- Tarski's characterization of the common concept of logical consequence -- The logical consequence relation has a modal element -- The logical consequence relation is formal -- The logical consequence relation is A priori -- Logical and non-logical terminology -- The meanings of logical terms explained in terms of their semantic properties -- The meanings of logical terms explained in terms of their inferential properties (...) -- Model-theoretic and deductive-theoretic conceptions of logic -- Linguistic preliminaries : the language M -- Syntax of M -- The definition of a well formed formula of M -- Semantics for M -- The sentential connectives are defined -- The notion of satisfaction is introduced and the quantifiers are defined -- Model-theoretic consequence -- Truth in a structure -- Satisfaction revisited -- Formalized definition of truth -- Model-theoretic consequence defined -- The model-theoretic definition and the concept of logical consequence -- Does the model theoretic consequence relation reflect the salient features of the common concept of logical consequence? -- What is a logical constant? -- Deductive consequence -- Deductive system n -- The deductive theoretic definition and the concept of logical consequence -- Tarski's criticism of the deductive theoretic definition -- Is N a correct deductive system? (shrink)
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned (...) papers explore the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)
Frege, G. Review of Dr. E. Husserl's Philosophy of arithmetic.--Mohanty, J. N. Husserl and Frege.--Husserl, E. A Reply to a critic of my refutation of logical psychologism.--Willard, D. The Paradox of logical psychologism.--Natorp, P. On the question of logical method.--Næss, A. Husserl on the apodictic evidence of ideal laws.--Mohanty, J. N. Husserl's thesis of the ideality of meanings.--Atwell, J. E. Husserl on signification and object.--Sokolowski, R. The logic of parts and wholes in Husserl's Investigations.--Gurwitsch, A. Outlines of (...) a theory of essentially occasional expressions.--Bar-Hillel, Y. Husserl's conception of a purely logical grammar.--Edie, J. M. Husserl's conception of the grammatical and contemporary linguistics.--Downes, C. On Husserl's approach to necessary truth.--Patzig, G. Husserl on truth and evidence.--Husserl, E. The task and the significance of the Logical investigations. (shrink)
In Kant’s logical texts the reference of the form of the judgment to an “unknown = x” is well known, but its understanding remains far from consensual. Due to the universality of all concepts, the subject as much as the predicate, in the form S is P, is regarded as predicate of the x, which, in turn, is regarded as the subject of the judgment. In the CPR, particularly in the text on the “logical use of the understanding”, (...) this Kantian interpretation of the subject-predicate relation leads to the question about the relations that must hold between intuition and concept in the judgment. In contrast to intuition, if no concept, due to its universal character, refers immediately to an object, how should we understand the relations of subject and predicate to one another, as well as their relations to intuition, which corresponds to the very special individuality of that object in general = x? In the Kant-Literatur, the relations between intuition and concept in the judgment have been considered in diverse theoretical backgrounds, mainly in Fregean logic and in the logic of Port-Royal. Although so markedly different, these two solutions to the problem above seem to share a common thesis, in so far as they claim, though in different ways, a predicative character to those relations. If the analytic tradition recognizes in the relation between x and the concept S the marks of a propositional function Sx, in turn, the interpretation elaborated from the background of Port-Royal recognizes in this relation the minor premise x is S implicit in the judgment every S is P. This being the case, if it were possible to prove, on the contrary, that the relations between intuition and concept in the judgment could only be of a non-predicative character, then a third solution would be open to us, a solution that could enable us to track down the sense of the conceptions of judgment and logical form in the CPR. In applying this argumentative strategy, it is of the utmost importance to insist on the specificity of Kant’s notion of extension, in order to prove its irreducibility to the Port-Royal notion of extension as well as to the modern one. (shrink)
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential . These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (...) (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications. Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered. Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field. (shrink)
The twelve original studies collected in this volume examine different aspects of Edmund Husserl's Logical Investigations. They are authored by scholars and specialists internationally recognized for their expertise in the fields of phenomenology, logic, history of philosophy and philosophy of mind. They approach Husserl's groundwork from different angles and perspectives and shed new light on a number of issues such as meaning, intentionality, ontology, logic, etc. They also explore questions such as the place of the Logical Investigations within (...) the whole of Husserl's work, its sources in 19th century philosophy and in particular in the philosophical work of Franz Brentano and Bernard Bolzano, its reception amongst the so-called members of the Munich Circle and its influence on contemporary philosophy. In short, this volume constitutes a "companion" to Husserl's Logical Investigations. (shrink)
Identity, existence, predication, necessity, and truth are vital concepts at the center of philosophy. Yet Colin McGinn believes that orthodox views of these topics are misguided in important ways. Philosophers and logicians have often distorted the nature of these concepts in an attempt to define them according to preconceived ideas. Logical Properties aims to respect the ordinary ways we talk and think when we employ these concepts, while at the same time showing that they are far more interesting and (...) peculiar than some have assumed; these notions correspond to real properties--logical properties--that challenge naturalistic metaphysical views. Written with a minimum of formal terminology, this book deals with logico-linguistic issues as well as ontological ones. The focus is on trying to get to the essence of the concept concerned, not merely finding some established notation for providing formal interpretations. (shrink)
An implication relation between pictures is defined, it is then shown how conjunctions, disjunctions, negations, and hypotheticals of pictures can be formed on the basis of this. It is argued that these logical operations on pictures correspond to natural cognitive operations employed when thinking about pictures.
"On Reduplication is a study of the logical properties of reduplicative propositions, that is, of propositions having qualifications, like 'Christ "qua God is a ...
Evans envisaged a language containing both Russellian and descriptive names. A language with descriptive names, which can contribute to truth conditions even if they have no bearer, needs a free logical truth theory. But a metalanguage with this logic threatens to emasculate Russellian names. The paper details this problem and shows, on Evans's behalf, how it might be resolved.
Speculative logical theory, as provided in Hegel’s Science of Logic, consists of three main parts: the logic of being, the logic of essence, and the logic of the concept. The peculiar character of each logic’s starting-point determines the most general character of each logic’s development. The essay aims at making explicit the character of the starting-point of the third logic, the logic of the concept. This starting-point is exemplified by the category of universality. It is shown (a) that the (...) fundamental determination of this category is the harmonious unity of self-identity and full determinacy and (b) that this unity has necessarily the logical structure of “double shining.” The latter is described in detail and justification is provided as to why it is preferred from “single shining.” I conclude the paper by defending the structure of “double shining” against certain objections raised against it by F. Shick and C. Iber. (shrink)
