The two faces of Quine's naturalism

Quine's naturalized epistemology is ambivalent between a modest naturalism according to which epistemology is an a posteriori discipline, an integral part of the web of empirical belief, and a scientistic naturalism according to which epistemology is to be conducted wholly within the natural sciences. This ambivalence is encouraged by Quine's ambiguous use of science, to mean sometimes, broadly, our presumed empirical knowledge and sometimes, narrowly, the natural sciences. Quine's modest naturalism is reformist, tackling the traditional epistemological problems in a novel way; his scientistic naturalism is revolutionary, requiring restriction and reconceptualization of epistemological problems. In particular, his scientistic naturalism trivializes the question of the epistemic standing of the natural sciences, whereas modest naturalism takes it seriously, and can offer a plausible answer.Earlier versions of this paper were read at the Moral Sciences Club, Cambridge, U.K., Temple University, and the University of Miami. I wish to thank those who made helpful comments on these occasions, and Dirk Koppelberg for helpful correspondence.     

On translating logic

The paper comments on Dummett's Significance of Quine's Indeterminacy Thesis and discusses Quine's views on the translation of logical connectives. Some difficulties about the latter related to those raised by Morton (J. Phil. 70 (1973), 503–510) are considered. Quine seems here to be in a position considered by Dummett of not allowing a foreigner to be translated as conflicting with one's own firm theoretical commitment (in this case classical logic). But Dummett seems wrong in holding that entrenched theoretical statements must be stimulus analytic.A revised and expanded version of remarks at the Conference on Language, Intentionality, and Translation Theory, University of Connecticut, Storrs, March 2, 1973, commenting on Michael Dummett, The Significance of Quine's Indeterminacy Thesis. I am greatly indebted to the discussion at the Conference.     

Naturalism, scientism and the independence of epistemology

Naturalists seek continuity between epistemology and science. Critics argue this illegitimately expands science into epistemology and commits the fallacy of scientism. Must naturalists commit this fallacy? I defend a conception of naturalized epistemology which upholds the non-identity of epistemic ends, norms, and concepts with scientific evidential ends, norms, and concepts. I argue it enables naturalists to avoid three leading scientistic fallacies: dogmatism, one dimensionalism, and granting science an epistemic monopoly.     

Branching space-time

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.     

A notorious affair called exportation

In Quantifiers and Propositional Attitudes, Quine held (a) that the rule of exportation is always admissible, and (b) that there is a significant distinction between a believes-true (Ex)Fx and (Ex) a believes-true F of x. An argument of Hintikka's, also urged by Sleigh, persuaded him that these two intuitions are incompatible; and he consequently repudiated the rule of exportation. Hintikka and Kaplan propose to restrict exportation and quantifying in to favoured contexts — Hintikka to contexts where the believer knows who or what the person or thing in question is; Kaplan to contexts where the believer possesses a vivid name of the person or thing in question. The bulk of this paper is taken up with criticisms of these proposals. Its ultimate purpose, however, is to motivate an alternative approach, which imposes no restrictions on exportation or quantifying in, but repudiates Quine's other intuition: this is the approach taken in my A Logical Form for the Propositional Attitudes.This paper is based on my doctoral dissertation (Rockefeller University, 1977). I wish to thank Susan Haack for her help in turning a draft into the present version.     

Barker and Achinstein on Goodman

Barker and Achinstein think that it is not possible for a predicate like grue to serve as well as a predicate like green in the role of a qualitative or non-positional predicate. Their arguments consist in a number of attempts to show that one who possesses green in his language can do things with that predicate which one who must work with grue instead cannot do. However, they succeed in showing only that a qualitative predicate is better adapted to our needs than its positional counterpart, rather than that grue is not capable of being a qualitative predicate.     

Every Dogma has its day

This paper is a reexamination of Two Dogmas in the light of Quine's ongoing debate with Carnap over analyticity. It shows, first, that analytic is a technical term within Carnap's epistemology. As such it is intelligible, and Carnap's position can meet Quine's objections. Second, it shows that the core of Quine's objection is that he (Quine) has an alternative epistemology to advance, one which appears to make no room for analyticity. Finally, the paper shows that Quine's alternative epistemology is itself open to very serious objections. Quine is not thereby refuted, but neither can Carnap's analyticity be dismissed as dogma.     

Theor of free choice permission

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application.     

Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours

In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough.     

Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments.To the memory of Jerzy Supecki     

High risk,low return: The achievement effects of restructuring in disadvantaged schools

Studies of school restructuring have linked the concept to a specific normative agenda of organizational and instructional practices (such as individualized or small-group instruction, heterogeneous grouping, and team teaching). Though a number of theoretical and empirical studies point to the positive direct and indirect effects of these practices on student achievement, they tend to overlook a body of prior work suggesting that students in disadvantaged schools tend to benefit academically from more traditional types of arrangements. Tracing and building upon this literature, this study examines the impact of restructuring on mathematics achievement among students attending a sample of socioeconomically disadvantaged schools. After controlling for salient student background characteristics, our study found no significant difference in math achievement levels between nonrestructured schools and schools that had been restructured for at least three years. However, significantly lower levels of math achievement were found among schools that had been restructured for less than three years. We argue that these findings reflect the fact that the high complexity associated with many restructured practices pose special problems and risks for disadvantaged schools.     

On Alan Turing's anticipation of connectionism

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks unorganised machines. By the application of what he described as appropriate interference, mimicking education an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of neurons is sufficient. Turing proposed simulating both the behaviour of the network and the training process by means of a computer program. We outline Turing's connectionist project of 1948.In Memory of Robin Gandy     

The relativity of perceptual knowledge

Since the most promising path to a solution to the problem of skepticism regarding perceptual knowledge seems to rest on a sharp distinction between perceiving and inferring, I begin by clarifying and defending that distinction. Next, I discuss the chief obstacle to success by this path, the difficulty in making the required distinction between merely logical possibilities that one is mistaken and the real (Austin) or relevant (Dretske) possibilities which would exclude knowledge. I argue that this distinction cannot be drawn in the ways Austin and Dretske suggest without begging the questions at issue. Finally, I sketch and defend a more radical way of identifying relevant possibilities that is inspired by Austin's controversial suggestion of a parallel between saying I know and saying I promise: a claim of knowledge of some particular matter is relative to a context in which questions about the matter have been raised.     

Increasing correct identifications by children

Four new lineup procedures were examined with the goal of increasingchildren's identification accuracy. Participants (329 children aged 10 and11 years, 426 children aged 12 to 14 years, and 265 adults) were presentedwith either a target-present or target-absent lineup. Proceduralmodifications included providing a salient "I don't know" response option,extending standard instructions, and modeling correct responses eitherusing an identification demonstration video or a handout. These conditionswere compared to a standard (control) lineup procedure. Extendingstandard instructions increased correct identifications by the youngerchildren. Presenting a salient "I don't know" response increased overallchoosing for both target-present and target-absent lineups. Experimentalprocedures did not influence correct rejection rates. These data demonstratea variety of techniques that may be useful for improving the identificationaccuracy of child witnesses. Future directions are discussed.     

Becoming: A modest proposal

In this paper I attempt a new approach to an old technical term: becoming. I show how the theory that becoming is coming-to-be could be supported by a semantic derivation of the nominalization becoming from its verbal counterpart, by investigating the properties of the present progressive constructions in which becoming as a verbal appears. My theory denies that dates, or qualitative change, play an essential role in the analysis of becoming.     

Epistemologische betrachtungen zu [S4, S5]

Zusammenfassung Die zahlreichen modallogischen Systeme zwischen den Standardkalkülen S4 und S5 werden vom epistemologischen Standpunkt aus untersucht, indem Notwendigkeit wahlweise als Wissen bzw. als Überzeugt-sein gedeutet wird. Dabei stellt sich heraus, daß — unter gewissen andernorts begründeten Voraussetzungen über epistemische Logik-S4.4 als Logik der wahren Überzeugungen aufgefaßt werden kann, während die Systeme S4.3.2 und S4.2 als Logiken für solche Leute erscheinen, die das Schema Wissen = wahre Überzeugung nur eingeschränkt für ganz spezielle rein doxastische bzw. rein epistemische Sätze akzeptieren. S4.2 ist dabei allem Anschein nach die Logik des Wissens.

---

The numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting necessity either as knowledge or as (strong) belief. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme knowledge = true belief only for certain special instances. There is strong evidence in favor of the assumption that S4.2 is the logic of knowledge.

     

Three theories of nominalized predicates

By the term nominalization I mean any process which transforms a predicate or predicate phrase into a noun or noun phrase, e.g. feminine is transformed into feminity. I call these derivative nouns abstract singular terms. Our aim is to provide a model-theoretic interpretation for a formal language which admits the occurrence of such abstract singular terms.     

The history of philosophy in contemporary philosophy: The view from Germany

Conclusion I have frequently mentioned objective problems and topics in the preceding sections. But what exactly is the force of objective here? As my remarks should have made clear I have been using objective to contrast with purely historical. A purely historical approach never gets beyond reproduction, commentary, and interpretation. I call an approach objective when it involves a philosopher who advances his own theses and claims.This minimal understanding of objectivity (in the context of my remarks in this paper) by no means implies that there are problems and topics, systems of concepts, methods, and similar factors that are eternal, completely independent of the contingencies of history (of philosophy, of the sciences), that are not relative to a language, to a logic, to a model, etc. Indeed whether there are problems, etc., in just this absolute, atemporal sense is itself a question for systematic philosophy. It seems clear that the formulation of a problem can only take place against a cognitive background of some sort and within some conceptual scheme.³⁴ Such an assumption is made by most if not all analytic philosophers. But the fact that a philosophical tradition recognizes conceptual schemes does not make it a purely historical, non-objective philosophy, in the sense already introduced and described. A philosopher who explicitly accepts a certain conceptual scheme proceeds in an entirely objective and systematic (and not purely historical) manner when, within this framework, he formulates his own theses.This paper is the text of a talk. the title is due to Barry Smith.     

“The story says that” operator in story semantics

In [2] a semantics for implication is offered that makes use of stories — sets of sentences assembled under various constraints. Sentences are evaluated at an actual world and in each member of a set of stories. A sentence B is true in a story s just when B s. A implies B iff for all stories and the actual world, whenever A is true, B is true. In this article the first-order language of [2] is extended by the addition of the operator the story ... says that ..., as in The story Flashman among the Redskins says that Flashman met Sitting Bull. The resulting language is shown to be sound and complete.