It has already been argued by Frazer and Boland (1983) that, interpreted in an instrumentalist fashion, Milton Friedman’s well known and much criticized 1953 paper on “The Methodology of Positive Economics”1 proved to be convergent with Popper's falsificationist philosophy of science2. I think that this comparison is flawed. For one can assuredly contest this interpretation in view of the fact that Popper always opposed any kind of instrumentalist philosophy of science3. It is not even clear that what Friedman has (...) to say on the intricate question of the status of theories and on the function of tests has anything to do with what Popper criticizes under the general category of “instrumentalism”. What I will do here is not so much to directly challenge the Frazer-Boland interpretation as to replace it with a completely new comparison of both methodologies in order to get a new look at Friedman's methodological stance. Of course, one has to focus only on the arguments that really are comparable and leave aside those that could easily be proved to be fundamentally different, if not plainly incompatible. But, as I will try to show, the exercise is worthwhile, for this new comparison will force us to reinterpret, at least partially, what seem to me to be the two central tenets of Friedman's methodological doctrine. Of course, in order to find convergence between Friedman's and Popper's views on economic methodology, we have to read.. (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable (and non-human) model system. We introduce the Ant Colony Test (ACT) as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

The book attempts to develop an account of simplicity in terms of testability, and to use this account to provide an adequate characterization of induction, one immune to the class of problems suggested by Nelson Goodman. It is then shown that the past success of induction, thus characterized, constitutes evidence for its future success. A qualitative measure of confirmation is developed, and this measure - along with the considerations of simplicity - is used to provide an account of the consilience (...) of inductions, and also an inductivist account of the structure and progress of scientific theory. An appendix extends the treatment of simplicity to statistical distributions and provides a reasonable interpretation of the maximum entropy principle. Thus, this book is an attempt to characterize induction in terms of a well-defined notion of simplicity and to use that characterization as a basis of an account of empirical, and in particular, scientific reasoning. (shrink)

The logical positivists adopted Poincare's doctrine of the conventionality of geometry and made it a key part of their philosophical interpretation of relativity theory. I argue, however, that the positivists deeply misunderstood Poincare's doctrine. For Poincare's own conception was based on the group-theoretical picture of geometry expressed in the Helmholtz-Lie solution of the space problem, and also on a hierarchical picture of the sciences according to which geometry must be presupposed be any properly physical theory. But both of (...) this pictures are entirely incompatible with the radically new conception of space and geometry articulated in the general theory of relativity. The logical positivists's attempt to combine Poincare's conventionalism with Einstein's new theory was therefore, in the end, simply incoherent. Underlying this problem, moreover, was a fundamental philosophical difference between Poincare's and the positivists concerning the status of synthetic a priori truths. (shrink)

Modal Platonism utilizes "weak" logical possibility, such that it is logically possible there are abstract entities, and logically possible there are none. Modal Platonism also utilizes a non-indexical actuality operator. Modal Platonism is the EASY WAY, neither reductionist nor eliminativist, but embracing the Platonistic language of abstract entities while eliminating ontological commitment to them. Statement of Modal Platonism. Any consistent statement B ontologically committed to abstract entities may be replaced by an empirically equivalent modalization, MOD(B), not so ontologically committed. (...) This equivalence is provable using Modal/Actuality Logic S5@. Let MAX be a strong set theory with individuals. Then the following Schematic Bombshell Result (SBR) can be shown: MAX logically yields [T is true if and only if MOD(T) is true], for scientific theories T. The proof utilizes Stephen Neale's clever model-theoretic interpretation of Quantified Lewis S5, which I extend to S5@. (shrink)

This ambitious work reclassifies and restructures the history of ideas and the philosophy of culture through a wide-ranging and novel use of the idea of the organon. It does so by radically revising standard interpretations and theories of all branches of philosophy, and by providing an intellectual and philosophical foundation for the new organon of the cultural sciences. The seeded idea that saw its growth in the form of this book is the unshakable conviction that the only way by which (...) a new apparatus of philosophy, an organon, could be created is by harking back to the vast sources of imagination, inspiration and mimesis. This study is based on the notion that metaphysics, insofar as it is concerned with the world in its entirety and with human being's existence and thought, should provide the foundation for the organon of cultural sciences, based on symbolic forms. Given that the colossal amount of information and knowledge of philosophy, arts, humanities, logic, mathematics, social sciences and natural sciences cannot be comprised, analyzed and comprehended per se, it is the organon's objective to extract the main principles, ideas, postulates, theorems and theories of the cultural sciences, and, subsequently, to shape and restructure them as symbolic forms. Since all these principles are grounded on Becoming - which is not a stable or fixed entity such as Being, substance or thing - the symbolic forms preserve and change, elevate and further the organon of the cultural sciences, via a critical-dialectical process. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories (...) and On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

This article aims to give an overview of Carnap's 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2 , I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3 . Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered (...) by Friedman and Richardson which focuses on issues of objectivity. In Section 5 , I turn to two more recent interpretations that can be thought of as emphasizing Carnap's concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

본 연구는 기하학에 대한 구조-구성주의 인식론을 정당화하는 것이다. 즉 구조주의와 구성주의를 융합하는 필자의 고유한 인식론으로 기하학적 인식의 본성을 해명하는 것이다. 그러나 현재의 연구는 이러한 큰 주제에 접근하기 위한 예비적 연구로서 칸트의 기하학적 직관 개념에 대한 역사-비판적 분석을 제공하는 데 한정된다. 잘 알려져 있는 것처럼, 칸트는 수학적 인식, 특히 기하학적 인식을 위해서 직관이 핵심적으로 중요하다고 주장했다. 그런데 칸트가 말하는 기하학적 인식을 위한 직관의 역할이 무엇인지는 여전히 논쟁적이다. 이점과 관련해서 역사적으로 대립적인 두 가지 해석이 있다. 하나는 베스(E. Beth), 힌티카(J. Hintikka), 프리드만(M. Fridman) (...) 등으로 이어지는 논리적 해석이며, 다른 하나는 파슨스(Parsons)와 칼슨(E. Carson)에 의해 제공된 현상학적 해석이다. 이에 필자는 특히 프리드만과 칼슨의 논쟁을 중심으로 두 해석의 내용을 재구성하고, 다음에 두 해석의 종합 가능성을 해명하고자 한다. 이를 위해 헬름홀츠-피아제의 인식론, 즉 “군 이론”에 근거한 새로운 구성주의 인식론을 제안할 것이다. 그러나 본고에서는 1차적 근사의 차원에서 그 개략적 구조만을 소개하는 데 만족하고, 종합의 구체적 내용인, 헬름홀츠-피아제의 공간 인식론에 근거한 구조-구성주의 공간 이론은 다른 지면에서 전개될 것이다. (shrink)

This article aims to give an overview of Carnap’s 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2, I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3. Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman (...) and Richardson which focuses on issues of objectivity. In Section 5, I turn to two more recent interpretations that can be thought of as emphasizing Carnap’s concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

Let n ≥ 3 be an integer. We show that it is consistent that every σ1n-set of reals is universally Baire yet there is a projective well-ordering of the reals. The proof uses “David’s trick” in the presence of inner models with strong cardinals.

This essay considers the nature of conceptual frameworks in science, and suggests a reconsideration of the role played by philosophy in radical conceptual change. On Kuhn's view of conceptual conflict, the scientist's appeal to philosophical principles is an obvious symptom of incommensurability; philosophical preferences are merely “subjective factors” that play a part in the “necessarily circular” arguments that scientists offer for their own conceptual commitments. Recent work by Friedman has persuasively challenged this view, revealing the roles that philosophical concerns have (...) played in preparing the way for conceptual change, creating an enlarged conceptual space in which alternatives to the prevailing framework become intelligible and can be rationally discussed. If we shift our focus from philosophical themes or preferences to the process of philosophical analysis, however, we can see philosophy in a different and much more significant historic role: not merely as an external source of general heuristic principles and new conceptual possibilities, but, at least in the most important revolutionary developments, as an objective tool of scientific inquiry. I suggest that this approach offers some insight into the philosophical significance of Newton's and Einstein's revolutionary work in physics, and of the interpretation of their work by (respectively) Kant and the logical positivists. It also offers insight into the connections between modern philosophy of science and some traditional philosophical concerns about the nature of a priori knowledge. (shrink)

In this paper, I defend Rudolf Carnap's Principle of Tolerance from an accusation, due to Michael Friedman, that it is self-defeating by prejudicing any debate towards the logically stronger theory. In particular, Friedman attempts to show that Carnap's reconstruction of the debate between classicists and intuitionists over the foundations of mathematics in his book The Logical Syntax of Language, is biased towards the classical standpoint since the metalanguage he constructs to adjudicate between the rival positions is fully classical. I (...) argue that this criticism is mistaken on two counts: (1) it fails to fully appreciate the freedom with regard to the construction of linguistic frameworks that Carnap intended his Principle to embody, and (2) Friedman's objection underestimates the extent to which the evaluation of a framework is task-relative. I conclude that Tolerance is not self-undermining in the way that Friedman claims it is. While this is a restricted conclusion -- and is not a vindication of Carnap's views on logic and mathematics tout court -- it nonetheless suggests that his tolerant perspective has been dismissed too quickly, even by his supporters. (shrink)

We show how to interpret weak Kőnig's lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are described, with very different verifications. The celebrated conservation result of Friedman's about weak Kőnig's lemma can be proved using these interpretations. We also address some issues concerning the collecting of witnesses in herbrandized functional interpretations.

In [10] Friedman showed that is a conservative extension of <ε0for-sentences wherei= min, i.e.,i= 2, 3, 4 forn= 0, 1, 2 +m. Feferman [5], [7] and Tait [11], [12] reobtained this result forn= 0, 1 and even with instead of. Feferman and Sieg established in [9] the conservativeness of over <ε0for-sentences for alln. In each paper, different methods of proof have been used. In particular, Feferman and Sieg showed how to apply familiar proof-theoretical techniques by passing through languages with Skolem (...) functionals.In this paper we study the same choice principles in the presence of theBar Rule, which permits one to infer the scheme of transfinite induction on a primitive recursive relation ≺ when it has been proved that ≺ is wellfounded. The main result characterizes + as a conservative extension of a system of the autonomously iterated-comprehension axiom for-sentences. Forn= 0 this has been proved by Feferman in the form that + is a conservative extension of <Γ0; this was first done in [8] by use of the Gödel functional interpretation for the stronger systemZω+μ+ + and then more recently by the simpler methods of [9]. Jäger showed how the latter methods could also be used to obtain the general result of Theorem 1 below. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical (...) class='Hi'>interpretation of modality and some views in modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

I have decided to focus this discussion on the famous article by Milton Friedman, “The Social Responsibility of Business is to Increase Its Profits.” This article was originally published in 1970 and has been reproduced in many sources since then. So the article is over 30 years old. However, the perspective that Friedman promotes in this article is one that is still very much a part of discussions about business, business ethics, and ethics and economics. It seems legitimate to me (...) to try to get an insight into some of Friedman’s insights and oversights. (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

Friedman continues an old and longstanding love: a poetics of dialogue with modern literature. Such a poetics sees literature and its interpretation in terms of what philosopher Martin Buber calls "meeting" or "the between." Friedman's powerful study boldly asserts that meaning can be reached through an engagement with classic works of world literature to arrive at a more powerful and purposeful affirmation while holding the tension with what is negative.

In its traditional form epistemology has always rested on the exclusive reality of the subject-object relationship. If one asks how the subject knows the object, one has in brief form the essence of theory of knowledge from Plato to Bergson; the differences between the many schools of philosophy can all be understood as variations on this theme. There are, first of all, differences in emphasis as to whether the subject or the object is the more real--as in rationalism and empiricism, (...) idealism and materialism, personalism and logical positivism. There are differences, secondly, as to the nature of the subject, which is variously regarded as pure consciousness, will to life, will to power, the scientific observer, or the intuitive knower. There are differences, thirdly, as to the nature of the object--whether it is material reality, thought in the mind of God or man, pantheistic spiritual substance, absolute and eternal mystical Being, or simply something which we cannot know in itself but upon which we project our ordered thought-categories of space, time, and causation. There are differences, finally, as to the relation between subject and object: whether the object is known through dialectical or analytical reasoning, scientific method, phenomenological insight into essence, or some form of direct intuition. (shrink)

David Bohm's interpretation of quantum mechanics yields a quantum potential, Q. In his early work, the effects of Q are understood in causal terms as acting through a real (quantum) field which pushes particles around. In his later work (with Basil Hiley), the causal understanding of Q appears to have been abandoned. The purpose of this paper is to understand how the use of certain metaphors leads Bohm away from a causal treatment of Q, and to evaluate the use (...) of those metaphors. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reply to Flage Lesley Friedman "The chiefexercise of the memory," Hume tells us, "is not to preserve the simple ideas, but their order and position."1 On Daniel Flage's interpretation ofHume, however, it is the only exercise ofthe memory (1985a, 1985b, 1990). Flage's account can accommodate onlymemories of complex ideas; he disallows the possibility of 'preserving* a simple idea in its simplicity. Yet there is an example of a (...) purely simple impression in the Treatise; and since for every impression there is in principle a corresponding idea which we can later recall, this example establishes the existence of a purely simple memory-idea. In what follows I will provide support for this claim, Flage's counterarguments (this volume) notwithstanding. Flage argues that given any perceived object, say a coloured dot, there is a visual field in which we perceive it. This field and the impression we receive from it, "must be a complex impression, that is, an impression that is composed of indefinitely many colour points. In this respect it is analogous to a pointillist painting or, to use a more contemporary example, a computer array composed of pixels" (1993, 190). Flage is probably right about this; from our point of view, it is implausible to suggest that there is any purely simple background, or worse, that there is no impression ofa background at all. Nonetheless, my concern is with what Hume thought and not with what is plausible orimplausible; and Hume does give an example ofa "background" that is notcomplex, namely, the scenarioinwhichwe perceive points oflight in darkness. We may observe, that when two bodies present themselves, where there wasformerly an entire darkness, the onlychange, that is discoverable, is in the appearance ofthese two objects, and that all the rest continues to be as before, a perfect negation oflight, and of every colour'd or visible object. This is not only true of what may be said to be remote from these bodies, but also of the very distance; which is interpos'd betwixt them; that being nothing but darkness, or the negation of light; without parts, without composition, invariable and indivisible. (T 57, bold italics added) I originally considered the ink spot experiment and theidea ofred in the dark as examples ofpurely simple impressions. Let me try this Volume XLX Number 1 199 LESLEYFRIEDMAN again, elaborating a bit more on the latter (what I take to be Hume's example of a version of the ink spot experiment). Early on in the Treatise Hume speaks of"that idea ofred which we form in the dark" (T 3). Let us then consider a red spot in complete darkness. Flage and I agree that this spot is qualitatively simple. Our disagreement is rooted in the nature ofthe "background," in this case the darkness. Flage claims that "the sighted-person sitting in the dark has an impression or impressions, namely, an impression of darkness" (1993, 190); and therefore the impression we have of the spot of red in darkness is not purely simple. In support of this claim he cites the followingevidence: Hume's remarks that (1) "the sighted-person sitting in the dark "receives no other perception... than what is common to him with one born blind' " (ibid., 189; T 55-56), and (2) "the idea of utter darkness can never be the same with that of vacuum" (T 56). Let me take each ofthese in turn. Presumably, the first quote is cited in order to estabUsh that the blind person does indeed have a perception (impression) of darkness. This cannot be right; ifsuch a person had an impression ofdarkness, he would also have an idea of darkness, and if we look to the part of the sentence which Flage leaves out of his quotation, we find the following: "and 'tis certain such-a-one [that is, a blind person] has no idea either of light or darkness" (T 56). Hume's point is simple: the reason that the blind person has no idea ofdarkness is because he has no impression of darkness; and we are in the same position as him when we are sitting in the dark. Nor does the second quote provide evidence for the... (shrink)

Aristotle's doctrine of the four causes--formal, final, efficient and material--is famous. But Posterior Analytics B 11 lists "if certain things hold, it is necessary that this does" in place of a standard expression for the material cause. This cause has been dubbed the grounding cause. It has interested scholars since the Greek commentators, who simply assumed that Aristotle meant the material cause. This traditional thesis has been challenged by two views: first, that the grounding cause is a special type of (...) material cause ; second, that it is no material cause at all . ;I set out two arguments for the traditional thesis and consider nine objections to it. Since most of these objections, which constitute the support for the revisionist thesis, can be answered, I reject the revisionist thesis. But in my treatment of one objection it also becomes clear that the traditional thesis is mistaken. The grounding cause is a necessitating cause, yet in Physics B 9 Aristotle makes it clear that many material causes are not necessitating causes. Thus, some form of the modified traditional thesis is true. ;But which form? D. M. Balme suggests that Aristotle means to include only mathematical causes because hypothetical necessity covers all of the relation between matter and product in things which come to be. But Aristotle seems to accept necessitating material causes in several passages in the biological works. In other passages he seems to adopt the position Balme attributes to him. I argue that he does not actually adopt this position, and that he does accept simple necessity in some things which come to be. Thus, the grounding cause is a necessitating material cause, and such causes are found not only in mathematics, but also among things which come to be. (shrink)

Kruskal proved that finite trees are well-quasi-ordered by hom(e)omorphic embeddability. Friedman observed that this statement is not provable in predicative analysis. Friedman also proposed (see in [Simpson]) some stronger variants of the Kruskal theorem dealing with finite labeled trees under home(e)omorphic embeddability with a certain gap-condition, where labels are arbitrary finite ordinals from a fixed initial segment of ω. The corresponding limit statement, expressing that for all initial segments of ω these labeled trees are well-quasi-ordered, is provable in Π 1 (...) 1 -CA, but not in the analogous theory Π 1 1 -CA 0 with induction restricted to sets. Schutte and Simpson proved that the one-dimensional case of Friedman's limit statement dealing with finite labeled intervals is not provable in Peano arithmetic. However, Friedman's gap-condition fails for finite trees labeled with transfinite ordinals. In [Gordeev 1] I proposed another gap-condition and proved the resulting one-dimensional modified statements for all (countable) transfinite ordinal-labels. The corresponding universal modified one-dimensional statement UM 1 is provable in (in fact, is equivalent to) the familiar theory ATR 0 whose proof-theoretic ordinal is Γ 0 . In [Gordeev 1] I also announced that, in the general case of arbitrarily-branching finite trees labeled with transfinite ordinals, in the proof-theoretic sense the hierarchy of the limit modified statements $\mathbf{M}_{ (which are denoted by LM λ in the present note) is as strong as the hierarchy of the familiar theories of iterated inductive definitions (more precisely, see [Gordeev 1, Concluding Remark 3]). In this note I present a "positive" proof of the full universal modified statement UM, together with a short proof of the crucial "reverse" results which is based on Okada's interpretation of the well-established ordinal notations of Buchholz corresponding to the theories of iterated inductive definitions. Formally the results are summarized in $\S5$ below. (shrink)

In the years spanning the first half of the 20th century Bertrand Russell wavered between two incompatible accounts of physical reality. On one account, physical objects were taken to be logical constructs of phenomenal entities, the immediate data of sense experience. Such a view roughly fits the familiar characterization of being a combination of “Hume plus mathematical logic.” This type of phenomenalism, in the empiricist tradition, contrasted starkly with a variant of scientific realism, including a realistic account of causal (...) connections as relations between universals, that Russell developed between 1912 and 1927, and which was derived from Kant’s distinction between a noumenal and a phenomenal world. My concern in this paper is with the viability of the unique form of scientific realism Russell developed, the role of universals and causal explanation in it, and criticisms that have been directed at it. I will argue that an early refutation of Russell’s realism by the mathematician M. Newman and a recent revival of that refutation by W. Demopoulos and M. Friedman ignore the critical role universals play in Russell’s scientific realism and hence fail to refute his view. I will also briefly consider a recent “anti-realist” argument that repeats Newman’s mistake: interpreting predicates in terms of extensions and not as referring to universal properties and relations. (shrink)

In the years spanning the first half of the 20th century Bertrand Russell wavered between two incompatible accounts of physical reality. On one account, physical objects were taken to be logical constructs of phenomenal entities, the immediate data of sense experience. Such a view roughly fits the familiar characterization of being a combination of “Hume plus mathematical logic.” This type of phenomenalism, in the empiricist tradition, contrasted starkly with a variant of scientific realism, including a realistic account of causal (...) connections as relations between universals, that Russell developed between 1912 and 1927, and which was derived from Kant’s distinction between a noumenal and a phenomenal world. My concern in this paper is with the viability of the unique form of scientific realism Russell developed, the role of universals and causal explanation in it, and criticisms that have been directed at it. I will argue that an early refutation of Russell’s realism by the mathematician M. Newman and a recent revival of that refutation by W. Demopoulos and M. Friedman ignore the critical role universals play in Russell’s scientific realism and hence fail to refute his view. I will also briefly consider a recent “anti-realist” argument that repeats Newman’s mistake: interpreting predicates in terms of extensions and not as referring to universal properties and relations. (shrink)

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such (...) a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)

Kant’s concept of the highest good proportionately unites virtue and happiness—the supreme goods of, respectively, the systems of freedom and of nature. A middle path between theological and secular interpretations of Kant’s highest good is possible if we disentangle two distinct roles played by God: a causal role in promoting the real unity of the highest good, i.e., its actualization; and a conceptual role in modeling its conceptual unity. The highest good is theological in the first case, but neutral—neither directly (...) theological nor secular—in the second. Reconstructing how Kant envisioned the conceptual unity of the highest good requires taking seriously his repeated reference to God as the highest original good, and to the best world as the highest derived good. If, as Kant thought, a moral God forms a triadic unity comprised of holiness, goodness, and divine justice, perhaps he assumed that the conceptual unity of the derived good is likewise triadic, comprised of virtue, happiness, and a form of justice that is not directly divine but “systemic,” designating the unity of the systems of nature and of freedom. Divine justice, in contrast, constitutes the real unity of the highest good. (shrink)

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.

The notion of interpretation is absolutely fundamental to mathematical logic and the foundations of mathematics. It is also crucial for the foundations and philosophy of science - although here some crucial conditions generally need to be imposed; e.g., “the interpretation leaves the mathematical concepts unchanged”.

In broadest terms, this thesis is concerned to answer the question of whether the view that arithmetic is analytic can be maintained consistently. Lest there be much suspense, I will conclude that it can. Those who disagree claim that accounts which defend the analyticity of arithmetic are either unable to give a satisfactory account of the foundations of mathematics due to the incompleteness theorems, or, if steps are taken to mitigate incompleteness, then the view loses the ability to account for (...) the applicability of mathematics in the sciences. I will show that this criticism is not successful against every view whereby arithmetic is analytic by showing that the brand of "conventionalism" about mathematics that Rudolf Carnap advocated in the 1930s, especially in Logical Syntax of Language, does not suffer from these difficulties. There, Carnap develops an account of logic and mathematics that ensures the analyticity of both. It is based on his famous "Principle of Tolerance", and so the major focus of this thesis will to defend this principle from certain criticisms that have arisen in the 80 years since the book was published. I claim that these criticisms all share certain misunderstandings of the principle, and, because my diagnosis of the critiques is that they misunderstand Carnap, the defense I will give is of a primarily historical and exegetical nature. Again speaking broadly, the defense will be split into two parts: one primarily historical and the other argumentative. The historical section concerns the development of Carnap's views on logic and mathematics, from their beginnings in Frege's lectures up through the publication of Logical Syntax. Though this material is well-trod ground, it is necessary background for the second part. In part two we shift gears, and leave aside the historical development of Carnap's views to examine a certain family of critiques of it. We focus on the version due to Kurt Gödel, but also explore four others found in the literature. In the final chapter, I develop a reading of Carnap's Principle - the `wide' reading. It is one whereby there are no antecedent constraints on the construction of linguistic frameworks. I argue that this reading of the principle resolves the purported problems. Though this thesis is not a vindication of Carnap's view of logic and mathematics tout court, it does show that the view has more plausibility than is commonly thought. (shrink)

In this paper we will show that Hempel's covering law model can't deal very well with explanations that are based on incomplete knowledge. In particular the symmetry thesis, which is an important aspect of the covering law model, turns out to be problematic for these explanations. We will discuss an example of an electric circuit, which clearly indicates that the symmetry of explanation and prediction does not always hold. It will be argued that an alternative logic for causal explanation is (...) needed. And we will investigate to what extent non-monotonic epistemic logic can provide such an alternative logical framework. Finally we will show that our non-monotonic logical analysis of explanation is not only suitable for simple cases such as the electric circuit, but that it also sheds new light on more controversial causal explanations such as Milton Friedman's explanation of the business cycle. (shrink)

Many authors show how useful logic can be as a tool for building theories that can account for problems in the philosophy of religion, such as paradoxical assertions. As a consequence, one's philosophy of logic is crucial as well, since it determines which logics, from the set of available and constructible logics, one can use to build a theory. In this paper, we present the relatively recent debate between logical pluralism and monism because the positions in this debate determine (...) which logic(s) can, with justification, be applied to build a theory that addresses problems in the philosophy of religion. We begin by presenting the problem of paradoxical assertions and the debate over logical pluralism that bears on the addressing paradoxical assertions. We then canvass strategies for arguing in favor of logical monism, and pluralism; ultimately, we conclude that the Western tradition has reached a stalemate on this issue. We then turn our attention to the potential for Indian religious traditions to contribute to the debate. We present the five-step-syllogism from Nyāya-Hindu philosophy, the four corners of reasoning from Buddhist philosophy, and the seven-fold theory of predication from Jaina philosophy. The upshot of our presentation is to lay the groundwork for cross-traditional logical debate by identifying the ways in which Indian discussions of debate and dialogue relate to modern approaches to logic and the philosophy of logic. (shrink)

STARTLING OBSERVATION. Any two natural theories S,T, known to interpret EFA, are known (with small numbers of exceptions) to have: S is interpretable in T or T is interpretable in S. The exceptions are believed to also have comparability.

Many recent developments in artificial intelligence research are relevant for traditional issues in the philosophy of science. One of the developments in AI research we want to focus on in this article is diagnostic reasoning, which we consider to be of interest for the theory of explanation in general and for an understanding of explanatory arguments in economic science in particular. Usually, explanation is primarily discussed in terms of deductive inferences in classical logic. However, in recent AI research it is (...) observed that a diagnostic explanation is actually quite different from deductive reasoning. In diagnostic reasoning the emphasis is on restoring consistency rather than on deduction. Intuitively speaking, the problem diagnostic reasoning is concerned with is the following. Consider a description of a system in which the normal behavior of the system is characterized and an observation that conflicts with this normal behavior. The diagnostic problem is to determine which of the components of the system can, when assumed to be functioning abnormally, account for the conflicting observation. A diagnosis is a set of allegedly malfunctioning components that can be used to restore the consistency of the system description and the observation. In this article, this kind of reasoning is formalized and we show its importance for the theory of explanation. We will show how the diagnosis nondeductively explains the discrepancy between the observed and the correct system behavior. The article also shows the relevance of the subject for real scientific arguments by showing that examples of diagnostic reasoning can be found in Friedman's Theory of the Consumption Function. Moreover, it places the philosophical implications of diagnostic reasoning in the context of Mill's aprioristic methodology. (shrink)

Over the course of a fifty-year scholarly career, Frank M. Oppenheim, SJ, has devotedly studied and encouraged others to study the American philosopher Josiah Royce. Early in my own study of Royce, I read and learned a great deal from Oppenheim’s book Reverence for the Relations of Life. I met Oppenheim at a 2007 conference at Harvard on Royce and William James, and he encouraged my continued study. Thus, I am honored to participate in this issue of The Pluralist celebrating (...) Oppenheim’s thought and his study of Royce.In spite of all the efforts of Oppenheim and other scholars, Royce remains too little known.1 It is tempting to ask why a contemporary scholar would devote painstaking and devoted attention... (shrink)

While the work of such expositors as Max H. Fisch, James J. Liszka, Lucia Santaella, Anne Friedman, and Mats Bergman has helped bring into sharp focus why Peirce took the third branch of semiotic (speculative rhetoric) to be "the highest and most living branch of logic," more needs to be done to show the extent to which the least developed branch of his theory of signs is, at once, its potentially most fruitful and important. The author of this paper thus (...) begins to trace out even more fully than these scholars have done the unfinished trajectory of Peirce's eventual realization of the importance of speculative rhetoric. In doing so, he is arguing for a shift from the formalist and taxonomic emphasis of so many commentators to a more thoroughly pragmaticist and "rhetorical" approach to interpreting Peirce's theory of signs. (shrink)

This chapter contains section titled: Baker's New Conception Waismann and Wittgenstein Wittgenstein on the Psychoanalytic Analogy Wittgenstein's Methodology Reconsidered Wittgenstein and Ryle 1: Categorial Confusions Wittgenstein and Ryle 2: Logical Geography Baker's Wittgenstein.

Gordon Baker and I had been colleagues at St John’s for almost ten years when we resolved, in 1976, to undertake the task of writing a commentary on Wittgenstein’s Philosophical Investigations. We had been talking about Wittgenstein since 1969, and when we cooperated in writing a long critical notice on the Philosophical Grammar in 1975, we found that working together was mutually instructive, intellectually stimulating and great fun. We thought that we still had much to say about Wittgenstein’s philosophy, and (...) it seemed to us that misinterpretations of passages in the Investigations were so extensive that it would be worth trying to write a detailed analytical commentary. It is difficult to recapture the excitement of those early days in being among the first to work on the microfilms and, subsequently, on the photocopies of Wittgenstein’s Nachlass. We spent many hundreds of hours poring over the typescripts and the often only semi-legible manuscripts, fascinated and privileged to be able to try to follow the development of the thoughts of a great philosophical genius. We talked endlessly about what we had found in Wittgenstein’s manuscripts and typescripts, and debated how it should be understood. The first fruit of our labours was Wittgenstein – Understanding and Meaning. Its guiding idea was to draw attention to the manner in which Wittgenstein linked the concepts of meaning, understanding and explanation, and so to bypass the connections between meaning, truth and truth-conditions that so fascinated philosophers of the 1970s, and to abandon the red-herring of assertion-conditions and anti-realism. After a hiatus of four years, during which time we wrote a controversial book entitled Frege – Logical Excavations and a polemical book on contemporary philosophy of language – Language, Sense. (shrink)