I argue that conventional implicatures embed in logicalcompounds, and are non-truth-conditional contributors to sentence meaning. This, I argue has significant implications for how we understand truth, truth-conditional content, and truth-bearers.
Nelson Goodman claims to have given us a criterion for likeness of meaning that is more stringent than simple coextensiveness and yet that avoids the familiar extentionalist objections. The notion of a nominal compound plays a key role in his account. I show that Goodman's comments concerning this notion are inadequate, that his comments concerning expressions like unicorn-picture are subject to two serious objections: (1) they don't support his claims about likeness of meaning (i.e., the claims that his criterion (...) is more stringent than simple coextensiveness) and (2) they make English an unlearnable language. (shrink)
In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other (...) such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods. (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)
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)
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)
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)
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)
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)
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)
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)
This paper aims to develop the implications of logical expressivism 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 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 logical expressivism 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 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.
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.
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)
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)
We revisit a typological puzzle due to Horn (Doctoral Dissertation, UCLA, 1972) regarding the lexicalization of logical operators: in instantiations of the traditional square of opposition across categories and languages, the O corner, corresponding to ‘nand’ (= not and), ‘nevery’ (= not every), etc., is never lexicalized. We discuss Horn’s proposal, which involves the interaction of two economy conditions, one that relies on scalar implicatures and one that relies on markedness. We observe that in order to express markedness and (...) to account for a bigger typological puzzle, namely the absence of lexicalizations of ‘XOR’ (= exclusive or), ‘all-or-none’, and many other imaginable logical operators, one must restrict the basic lexicalizable elements to a small set of primitives. We suggest that an ordering based perspective, following Keenan and Faltz (Boolean semantics for natural language, 1985), makes the stipulated primitives that we arrive at more natural. We also propose a modification to Horn’s proposal, based on recent work on implicatures, in which only the implicature condition is operative and in which markedness is part of the definition of the alternatives for scalar implicatures rather than an independent condition. (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.
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)
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)
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)
Chapter INTRODUCTION: OTTO NEURATH, THE VIENNA CIRCLE AND THE PROTOCOL SENTENCE DEBATE Everybody familiar with contemporary analytical philosophy is likely ...
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)
Postmodernists claim that there is no truth. However, the statement 'there is no truth' is self-contradictory. This essay shows the following: One cannot state the idea 'there is no truth' universally without creating a paradox. In contrast, the statement 'there is truth' does not produce such a paradox. Therefore, it is more logical that truth exists.
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)
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)
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)
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)
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)
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)
In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative systems. Special attention is given to the types of normative systems which are not definable in terms of the properties (...) of singular sets of requirements (e.g. the realization equivalence of codes, the social compatibility of codes, and the compatibility of codes issued by different normative sources). Examples are given of the application of the typology in the interpretation of philosophical texts. Von Wright’s hypothesis on the connection of logical properties of normative systems, conceived set-theoretically, with standard deontic logic is proved by introducing the translation function between the metanormative language and the restricted language of standard deontic logic. The translation reveals that von Wright’s hypothesis must be appended. The problems of narrow and wide scope readings of the deontic conditionals and of the meaning of iterated deontic operators are addressed using the distinction between relative and absolute normative codes. The theorem on the existence of a realization equivalent absolute code for any relative code is proved. (shrink)
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and (...) special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)
Future Logic is an original and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct (...) from logical conditioning), including their production from modal categorical premises. (shrink)
Are there good arguments from Is to Ought? Toomas Karmo has claimed that there are trivially valid arguments from Is to Ought, but no sound ones. I call into question some key elements of Karmo’s argument for the “logical autonomy of ethics”, and show that attempts to use it as part of an overall case for moral skepticism would be self-defeating.
Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by (...) Stig Kanger and a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.--Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)
The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, (...) the paraconsistent and paracomplete logics M3, M3veto and C3 are described. The distinction of designated and non-designated values is not used, and instead, the consequence relation is defined as a preservation of the minimum truth-value of the implying set of sentences. The consequence and opposition relations of the logics described are compared, and an ordering of the logics with respect to their opposition relations is established. (shrink)
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical (...) System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics. (shrink)
Aristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary dabates in the philosophy of logic. No background knowledge of Aristotle is assumed.
Introduction 1.1 GOALS This book is devoted to an in-depth investigation of some of the properties of Logical Form (LF). In particular, the primary aim of ...
The essays in this collection address different aspects of Dewey's philosophy of logic, from his work at the beginning of the twentieth century to the culmination of his logical thought in the 1938 volume, Logic: The Theory of Inquiry.
... V The Foundations of Mathematics Braithwaite VI Logical Studies von Wright VII A Treatise on Induction and Probability von Wright VIII An Examination of ...
NEW ANALYTIC OF LOGICAL FORMS. THE main principle on which the new Analytic of Logical Forms proceeds is that of a thorough-going quantification of ...
This article is an extension of the author’s previous work on this subject. Primarily it outlines the main directions of this mode of analysis and possible fields to which it could be applied. The first chapter demonstrates a specific method of understanding emotions. The second chapter examines the concept of emotions as a source of the specific modes of “internal” rationality of an agent. The third chapter isdevoted to a comparison between various emotions and the two basic intentional states - (...) belief and desire. The fourth chapter will present the instrumental typology of certain emotional concepts. The final chapter represents preliminary logical schema of the meanings of emotional concepts. (shrink)
First published in 1952, professor Strawson's highly influential Introductionto Logical Theoryprovides a detailed examination of the relationship between the behaviour of words in common language and the behaviour of symbols in a logical ...
There have been several different and even opposed conceptions of the problem of logical constants, i.e. of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some ideas about what a good theory would look like. A third aim is to draw from these (...) ideas and from the preceding survey the conclusion that most conceptions of the problem of logical constants involve requirements of a philosophically demanding nature which are probably not satisfiable by any minimally adequate theory. (shrink)
In his classic 1936 essay On the Concept of Logical Consequence, Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of (...) his criticisms are meant to apply to the model-theoretic account as well.In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties:(1)(a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the logical terms and the non-logical terms of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model-theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)
Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we (...) explore. (shrink)
Tarski and Mautner proposed to characterize the logical operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively logical, this lends support to the Tarski-Mautner proposal.
In Logical consequence: A defense of Tarski (Journal of Philosophical Logic, vol. 25, 1996, pp. 617–677), Greg Ray defends Tarski"s account of logical consequence against the criticisms of John Etchemendy. While Ray"s defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced (...) by a stronger absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray"s interpretation of Tarski"s position on the modal status of the consequence relation is noted. (shrink)
In this paper, the authors discuss Frege''s theory of logical objects (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the eta relation George Boolos deployed on Frege''s behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the eta relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract (...) objects uses unrestricted Comprehension for Logical Objects and banishes encoding (eta) formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: (a) the theory of extensions, (b) the theory of directions and shapes, and (c) the theory of truth values. (shrink)
Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends (...) on the individual judgements on the proposition under consideration. (shrink)
Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truth-preserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truth-preserving. But he did not offer the proof. The question (...) arises whether the usual model-theoretic sense of validity and Tarski's 1936 sense are the same. I argue in this paper that they probably are not, and that the proof Tarski had in mind, although unusable to prove that model-theoretically valid arguments are truth-preserving, can be used to prove that arguments valid in Tarski's 1936 sense are truth-preserving. (shrink)
