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 "logicalatomism," rather than as "realism," whether with or without some prefixed adjective. (shrink)
He explores Russell's logicalatomism, which applies logic to problems in the theory of knowledge and metaphysics and was central to Russell's work over this period.
Bertrand Russell (1872-1970) described his philosophy as a kind of “logicalatomism”, by which he meant to endorse both a metaphysical view and a certain methodology for doing philosophy. The metaphysical view amounts to the claim that the world consists of a plurality of independently existing things exhibiting qualities and standing in relations. According to logicalatomism, all truths are ultimately dependent upon a layer of atomic facts, which consist either of a simple particular exhibiting a (...) quality, or mutliple simple particulars standing in a relation. The methodological view recommends a process of analysis, whereby one attempts to define or reconstruct more complex notions or vocabularies in terms of simpler ones. According to Russell, at least early on during his logical atomist phase, such an analysis could eventually result in a language containing only words representing simple particulars, the simple properties and relations thereof, and logical constants, which, despite this limited vocabulary, could adequately capture all truths. (shrink)
The scope of logicalatomism Content Type Journal Article Category Essay Review Pages 1-5 DOI 10.1007/s11016-011-9602-9 Authors Graham Stevens, Department of Philosophy, University of Manchester, Arthur Lewis Building, Oxford Road, Manchester, M13 9PL UK Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
According to the cosmological argument, there must be a self-existent being, because, if every being were a dependent being, we would lack an explanation of the fact that there are any dependent beings at all, rather than nothing. This argument faces an important, but little-noticed objection: If self-existent beings may exist, why may not also self-explanatory facts also exist? And if self-explanatory facts may exist, why may not the fact that there are any dependent beings be a self-explanatory fact? And (...) if that fact is self-explanatory, why make recourse to self-existent beings? This line of questioning is surprisingly hard to answer, but I find resources for an answer in Bertrand Russell's logicalatomism. (shrink)
The Analysis of Perception i Moore's most systematic attempt to handle the problems of in- tentionality occurs in connection with his analysis of perception in Some Main Problems of Philosophy . He begins the book with the following ...
A intenção deste artigo é primàriamente exegética. Não pretende chegar a conclusães filosóficas substanciais nem fazer uma apreciação crítica. Pretende simplesmente esclarecer a versão de Russell quanto ao atomismo lógico, apresentando a sua teoria do juízo empírico num contexto histórico. A maior parte dos comentários contemporâneos falham neste ponto; contudo, afigura-se impossível compreender perfeitamente a teoria de Russell aeerca do conhecimento, bem como a Teoria das Descrições, como parte integrante daquela teoria, se não for encarada como uma tentativa para evitar (...) as consequencias de certas teorias alternativas do juízo. Pensa o autor que muitas críticas contemporâneas da Teoria das Descrições estão deslocadas, simplesmente por não conseguirem apreender o papel que aquela teoria devia desempenhar na análise russelliana do juízo empírico. A título de exemplo tenta o autor mostrar como as críticas de P. F. Strawson a respeito da Teoria das Descrições, como foram formuladas no seu artigo On Referring, não vêm a propósito (cf. Secção VT). A principal comparação histórica aqui apresentada refere-se à teoria idealista do juízo de F. H. Bradley. Contudo, parece também importante salientar o acordo que existe entre Russell e Bradley quanto a rejeitar como inadequado o tipo de análise do juízo apresentado por Leibniz e, numa primeira etapa da sua carreira, por G. E. Moore. Leibniz e Moore apresentaram, em moldes diversos, aquilo a que podíamos chamar teorias 'essencialmente genéricas' do juízo. Para Leibniz uma proposição é uma conexão analitica de conceitos, para Moore uma proposição é uma conexão sintética de conceitos. Tanto Russell como Bradley afirmam que é impossível formular uma teoria do juízo satisfatória, se concebermos a relação entre uma mente e uma proposição, implicada no juízo, como uma simples conexao de conceitos. O juízo deve ser apresentado como algo que implica experiência imediata pré-conceitual, experiência essa que, embora em si mesma não seja capaz de verdade ou falsidade, está pressuposta na própria possibilidade de qualquer juízo, verdadeiro ou falso, acerca da realidade. Dum modo geral, podíamos dizer que um juízo, cujo conteúdo é conceitual, é em virtude da experiência imediata que 'atinge a realidade' ('reaches right up to reality'). Contudo, embora Russell e Bradley concordem neste ponto, a análise da experiência imediata apresentada pelo primeiro é muito diferente da do segundo. Na medida em que se pode falar duma tese exegética positiva neste artigo, dir-se-ia que a análise russelliana da experiência imediata, contida na sua doutrina do 'conhecimento por experiência directa' dos particulares na sensação, é formulada especificamente (a) para ser compatível com a existência dum universo pluralista de particulares externamente relacionados e (b) para permitir uma versão da teoria de correspondência da verdade. Por outras palavras, a análise russelliana do juízo empírico, implicando necessàriamente um 'conhecimento por experiência directa' dos particulares na sensação, foi formulada especìficamente para evitar as consequências que, tanto Bradley como Russell, viram seeguir-se da análise idealista do juízo. Isto ilustra uma diferença fundamental entre o método filosófico de Russell e o de Bradley. Bradley aceita o monismo, a irrealidade das relações externas, e a teoria de coerência da verdade como consequência da sua teoria inicial do juízo. Russell, por outro lado, pensa que estas consequências se tornaram inaceitáveis perante a prática e as descobertas da ciência empírica; e tenta, por isso, construir uma teoria do juízo compatível com o tipo de metafísica e com a teoria da verdade, que lhe parece serem exigidos pela ciência empírica. (Resumo do Autor. Trad. A. M.). (shrink)
I analyze the relations of constituency or ``being in'' that connect different ontological items in the Tractatus logico-philosophicus by Wittgenstein. A state of affairs is constituted by atoms, atoms are in a state of affairs. Atoms are also in an atomic fact. Moreover, the world is the totality of facts, thus it is in some sense made of facts. Many other kinds of Tractarian notions -- such as molecular facts, logical space, reality -- seem to be involved in constituency (...) relations. How should these relations be conceived? And how is it possible to formalize them in a convincing way? I draw a comparison between two ways of conceiving and formalizing these relations: through sets and through mereological sums. The comparison shows that the conceptual machinery of set theory is apter to conceive and formalize Tractarian constituency notions than the mereological one. (shrink)
Quoique l'on ne trouve qu'un nombre limité de références à Nicod dans les manuscrits de la période dite « intermédiaire » de Wittgenstein, une lecture attentive de La Géométrie dans le monde sensible s'avère pourtant décisive pour comprendre la nature du projet phénoménologique de Wittgenstein de la fin des années vingt. Nous nous proposons de montrer que la prise en compte ainsi que la reformulation du problème posé par Nicod en 1924, celui de la nature de la relation d'inclusion spatiale, (...) conduit Wittgenstein à remplacer dès 1929 l'ancien critère logique du simple et du complexe (celui du Tractatus logico-philosophicus) par un critère phénoménologico-grammatical inédit et désabsolutisé applicable à toute donnée visuelle quelle qu'elle soit. Plus généralement, la priorité donnée par Wittgenstein au visuel dans son « investigation phénoménologique des impressions sensorielles » trouve sa meilleure justification dans l'esquisse par Nicod d'une géométrie de la vision à la fois complète et indépendante. Nous montrons en particulier que les propriétés structurales du champ visuel mises au jour par Nicod dans sa construction (diversité et simultanéité des places sensibles, coloréité) sont tacitement utilisées par Wittgenstein pour justifier la possibilité d'une description phénoménologique conçue, précisément, comme description des places ou « localités » constitutives de cet espace perceptif. (shrink)
This major new work by David Armstrong is a contribution to recent philosophical discussions about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Armstrong argues that non-actual possibilities and possible worlds are recombinations of actually existing elements and as such are useful fictions. Included is an extended criticism of the alternative possible worlds approach championed by the American philosopher David Lewis.
Philosophy, from the earliest times, has made greater claims, and achieved fewer results, than any other branch of learning. In Our Knowledge of the External World , Bertrand Russell illustrates instances where the claims of philosophers have been excessive, and examines why their achievements have not been greater.
The paper applies the theory presented in A Formal Ontology of Situations (this journal, vol. 41 (1982), no. 4) to obtain a typology of metaphysical systems by interpreting them as different ontologies of situations. Four are treated in some detail: Hume's diachronic atomism, Laplacean determinism, Hume's synchronic atomism, and Wittgenstein's logicalatomism. Moreover, the relation of that theory to the situation semantics of Perry and Barwise is discussed.
The homogeneity of time (i.e. the fact that there are no privileged moments) underlies a fundamental symmetry relating to the energy conservation law. On the other hand the obvious asymmetry between past and future, expressed by the metaphor of the arrow of time or flow of time accounts for the irreversibility of what happens. One takes this for granted but the conceptual tension it creates against the background of time''s presumed homogeneity calls for an explanation of temporal becoming. Here, it (...) is approached with the help of a claim to the effect that the instant (moment) itself has a structure isomorphic to that of time as a whole. Then the asymmetry of past and future in regard to temporal becoming is associated with the internal structure of the very moment, and not with external relations between different moments of time. In this paper ideas of ancient atomism and contemporary dialectics are brought together. It is for the sake of a contrast to what is known as logicalatomism that I choose to call this view dialectical atomism. The latter admits dialectical contradictions and, so far as the logical status of contradictions is concerned, bears reference to paraconsistent logics. In the paper there is an outline of a method of converting any consistent axiomatic formal system into a paraconsistent theory. (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)
The present paper is one installment in a lengthy task, the replacement of atomistic interpretations of Wittgenstein's Tractatus by a wholistic interpretation on which the world-in-logical-space is not constructed out of objects but objects are abstracted from out of that space. Here, general arguments against atomism are directed toward a specific target, the four aspects of the atomistic reading of Tractatus given in the Hintikkas' Investigating Wittgenstein (Hintikka & Hintikka 1986). The aspects in question are called the semantical, (...) metaphysical, epistemological and formal.What follows a précis of the Hintikkas' rendering of Wittgenstein's perspective is a characterization of the wholistic interpretation, comparing Wittgenstein's world and the transcendental conditions it sets upon possible notation to a blank page and the conditions it sets upon what is about to be written there. There will not be occasion to bring arguments against each plank in the atomist's platform or in support of each facet of wholism. But there is an extended treatment of the first two aspects — the semantical and metaphysical — which takes off from Wittgenstein's determination that, in his hands, logic must take care of itself. (shrink)
In this paper I present some of Robert N. McLaughlin's critique of a truth functional approach to conditionals as it appears in his book On the Logic of Ordinary Conditionals. Based on his criticism I argue that the basic principles of logic together amount to epistemological and metaphysical implications that can only be accepted from a logical atomist perspective. Attempts to account for conditional relations within this philosophical framework will necessarily fail. I thus argue that it is not truth (...) functionality as such that is the problem, but the philosophical foundation of modern logic. (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)
Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of LogicalAtomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural (...) science. This is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields realvalued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (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)
It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logicalatomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, (...) and to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (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)
According to Jerry Fodor’s atomistic theory of content, subjects’ dispositions to token mentalese terms in counterfactual circumstances fix the contents of those terms. I argue that the pattern of counterfactual tokenings alone does not satisfactorily fix content; if Fodor’s appeal to patterns of counterfactual tokenings has any chance of assigning correct extensions, Fodor must take into account the contents of subjects’ various mental states at the times of those tokenings. However, to do so, Fodor must abandon his semantic atomism. (...) And while Fodor has recently qualified his atomism, the cognitively holistic nature of dispositions continues to undermine his view. (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)
The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logicalatomism (...) and monism with theaid of topological separation axioms. (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)
Biological atomism postulates that all life is composed of elementary and indivisible vital units. The activity of a living organism is thus conceived as the result of the activities and interactions of its elementary constituents, each of which individually already exhibits all the attributes proper to life. This paper surveys some of the key episodes in the history of biological atomism, and situates cell theory within this tradition. The atomistic foundations of cell theory are subsequently dissected and discussed, (...) together with the theory’s conceptual development and eventual consolidation. This paper then examines the major criticisms that have been waged against cell theory, and argues that these too can be interpreted through the prism of biological atomism as attempts to relocate the true biological atom away from the cell to a level of organization above or below it. Overall, biological atomism provides a useful perspective through which to examine the history and philosophy of cell theory, and it also opens up a new way of thinking about the epistemic decomposition of living organisms that significantly departs from the physicochemical reductionism of mechanistic biology. (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)
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)
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)
Wittgenstein's philosophies, from both the Tractatus and the Philosophical Investigations, are explained and developed. Wittgenstein uses a primitive version of recursion theory to develop his attempt at a purely logical metaphysics in the Tractatus. However, due to his implicit materialist assumptions, he could not make the system completely logical, and built in a mystical division of possible worlds into the true and the false. This incoherence eventually lead him to reject logic as a method for doing metaphysics, and (...) indeed to reject metaphysics entirely. I argue that his move from the Tractatus to the Investigations was valid, but only given his materialist assumptions. If he had been willing to drop this unnecessary baggage, recursion would have played a very different role in his system, since he would then have had no need to separate static objects from processes, which he saw as purely mental. F.H. Bradley developed such a nonmaterialist metaphysics in the nineteenth century, but was crippled by a mentalism that Wittgenstein was free of. The anti-mentalism and anti-materialism that Wittgenstein considered as given were not so obvious to his predecessor, Russell, who revolted against Bradley's idealism in much the same way Wittgenstein ended up revolting against Russell's logicalatomism. In my view, none of these positions was the right approach, which would require nonmentalism and nonmaterialism. But for some reason, these things (which seem to go together quite naturally to me) have been widely considered to be incompatible. Bradley was appropriately a non-materialist, but suffered from mentalism. Russell and the early Wittgenstein were appropriately nonmentalists, but suffered from materialism. The later Wittgenstein was, I would argue, still an ardent materialist and anti-mentalist, in spite of the fact that he had long since realized the contradictions to which materialism leads; he just had not recognized that it was his materialist assumptions that had lead him there, since these assumptions were so firmly engrained in his thinking as to be invisible.. (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 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)
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)
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.
Ten brilliant essays on logic appear in this collection, the work of one of the world’s best-known authorities on logic. In these thought-provoking arguments and meditations, Nobel Prize winner Bertrand Russell challenges the romantic mysticism of the 19th century, positing instead his theory of logicalatomism. These essays are categorized by Russell as "entirely popular" and "somewhat more technical." The former include the well-known title essay plus "A Free Man’s Worship" and "The Place of Science in a Liberal (...) Education"; the latter comprise "On the Notion of Cause" and "Knowledge by Acquaintance and Knowledge by Description," along with other essays written in the cogent and witty style for which their author is justly renowned. (shrink)
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.
We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of LogicalAtomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand (...) of Ludwig Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)
This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus ââ¬â a concept we claim was anticipated by Wittgensteinââ¬â we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logicalatomism ââ¬â with independent particulars instead of elementary propositions ââ¬â avoids the same difficulties.
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)
The distinct logical atomisms of Russell and Wittgenstein represent the origin of much that is characteristic of analytic philosophy. They inaugurate the project of logical analysis of ordinary propositions, and provide the first general articulation in the analytic tradition of the connection between the logical form of meaning and the overall structure of the world. For both thinkers, this connection depends on the atomistic doctrine that there is a class of simple things from which everything else is (...) composed, or upon which the existence of.. (shrink)
