The Judgement-Stroke As A Truth-Operator: A New Interpretation Of The Logical Form Of Sentences In Frege''s Scientific Language

The syntax of Frege's scientific language iscommonly taken to be characterized by two oddities:the representation of the intended illocutionary roleof sentences by a special sign, the judgement-stroke,and the treatment of sentences as a species ofsingular terms. In this paper, an alternative view isdefended. The main theses are: (i) the syntax ofFrege's scientific language aims at an explication ofthe logical form of judgements; (ii) thejudgement-stroke is, therefore, a truth-operator, nota pragmatic operator; (iii) in Frege's first system,` ' expresses that the circumstance is a fact, and in his second system that thetruth-value - is the True; (iv) in bothsystems, the judgement-stroke is construed as a signsui generis, not as a genuine predicate; (v) itscounterpart in natural language is the syntactic ``formof assertoric sentences', not the (redundant)truth-predicate; (vi) neither in Frege's first nor inhis second system sentences are treated as singular terms.     

Newborn screening for cystic fibrosis: Educational implications

We examined the educational implications of newborn screening for cystic fibrosis (CF) as performed by combining the measurement of immunoreactive trypsin with analysis for the most common CF mutation, F508. Four out of 77 (5%) of maternity staff from 11 hospitals in rural New South Wales, Australia had learned about the salient features of the screening protocol from a pamphlet distributed from a central laboratory. In comparison, a didactic lesson resulted in a significantly greater (p<0.00006) number of maternity staff learning about the salient features of the screening protocol. Most maternity staff expanded their explanation to parents of newborn babies because of the didactic lesson.     

Dichotic sequence discrimination: The effect of continued practice

Summary Dichotic sequence discrimination was studied by means of a three-alternative forced-choice method. Two of the alternatives (same) consisted of a single pair of dichotic clicks with the stimulus at one ear preceding the stimulus at the other ear by a given temporal separation (e.g., R-t-L). One of the alternatives consisted of a single pair of clicks with the opposite sequence (e.g., L-t-R). The subjects' task was to discriminate between the different and the same dichotic pairs. The results indicate that discrimination is a nonmonotonic function of t, i.e., V- or U-shaped, with high levels at both short and long temporal separations (t=2 and 4 ms and t=64 and 96 ms) and with lower levels of discrimination for intermediate ts. A second experiment was performed to study the effect of continued practice by subjects trained in dichotic sequence discrimination for ts 4 and 64 ms (high discrimination levels) and for t=16 ms (low discrimination level). There was no systematic trend towards improvement over 8 blocks of 50 trials for each t. Discrimination levels of these ts did not differ between Experiments 1 and 2.Dr. Babkoff is spending the 1979–1981 academic year at the Walter Reed Army Institute of Research, Department of Military Medical Psychophysiology, Forest Glen Annex, Building 189, Washington, D.C. 20012, USAThe experiments were conducted at the Bar-Ilan University, Ramat-Gan, Israel. The authors would like to thank the Bar-Ilan Research Committee for making funds available to conduct the experimentsThis material has been reviewed by the Walter Reed Army Institute of Research, and there is no objection to its presentation and/or publication. The opinions or assertions contained herein are the private views of the authors and are not to be construed as official or as reflecting the views of the Department of the Army or the Department of Defense     

Necessity and contingency

The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator meaning it is non-contingent that.This paper was presented by title at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.     

The non-definability notion and first order logic

The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL .     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

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.     

Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects

In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and ¹ ₁-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising.     

The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory

Andrzej Kisielewicz has proposed three systems of double extension set theory of which we have shown two to be inconsistent in an earlier paper. Kisielewicz presented an argument that the remaining system interprets ZF, which is defective: it actually shows that the surviving possibly consistent system of double extension set theory interprets ZF with Separation and Comprehension restricted to ₀ formulas. We show that this system does interpret ZF, using an analysis of the structure of the ordinals.     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

Valuational semantics of rule derivability

If a certain semantic relation (which we call local consequence) is allowed to guide expectations about which rules are derivable from other rules, these expectations will not always be fulfilled, as we illustrate. An alternative semantic criterion (based on a relation we call global consequence), suggested by work of J.W. Garson, turns out to provide a much better — indeed a perfectly accurate — guide to derivability.     

Rules of Existential Quantification into "Intensional Contexts"

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).     

Illustrating two complementary enterprises at the interface of psychology and religion through reading Winnicott

Our work at the interface of psychology and religion can proceed in two complementary directions. When reading a psychological theory, (1) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used to interpret religious phenomena. We may focus on how those ideas may be involved in doing psychology of religion: the psychological interpretation of religious phenomena. Alternatively, (2) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used, either implicitly or explicitly, to make claims about human nature, about the meaning and purpose of life, about God. We may identify the psychology as religion-theology: psychological ideas potentially functioning in a religious-theological manner. I will illustrate this by: (a) examining D. W. Winnicott's article, Transitional Objects and Transitional Phenomena (1953/1986) in terms of three successive concepts or categories: transitional object, transitional phenomena, and a third intermediate area of experiencing; (b) considering how these categories can be used in psychology of religion; (c) reconsidering how the psychological categories may function as religious-theological. The discussion is intended to illustrate how we might more fully appreciate how and why a psychological theory may work well in doing psychology of religion when we more fully appreciate how that psychology implicitly functions as theology.     

Derivation of likelihood-ratio tests for Guttman quasi-simplex covariance structures

In this paper, maximum-likelihood estimates have been obtained for covariance matrices which have the Guttman quasi-simplex structure under each of the following null hypotheses: (a) The covariance matrix , can be written asTT + where and are both diagonal matrices with unknown elements andT is a known lower triangular matrix, and (b) the covariance matrix *, is expressible asT*T + I where is an unknown scalar. The linear models from which these covariance structures arise are also stated along with the underlying assumptions. Two likelihood-ratio tests have been constructed, one each for the above null hypotheses, against the alternative hypothesis that the population covariance matrix is simply positive definite and has no particular pattern. A numerical example is provided to illustrate the test procedure. Possible applications of the proposed test are also suggested.Adapted from portions of the author's dissertation under the same title submitted to the Department of Psychology, University of North Carolina, in partial fulfillment of the requirements for the Ph.D. degree. The author wishes to express his gratitude to his thesis chairman Dr. R. Darrell Bock and to his committee members Professors Samarendra Nath Roy, Lyle V. Jones, Thelma G. Thurstone, and Dorothy Adkins. Indebtedness is also acknowledged to Dr. Somesh Das Gupta who was quite helpful during the initial stage of the study.Formerly at the Department of Psychology, Indiana University. The author is grateful both to Indiana University and University of North Carolina for the support extended to him during his doctoral studies.     

PROXY FUNCTIONS,TRUTH AND REFERENCE

Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (T) requires.A possible adjustment is to drop (T), retain the satisfaction definition and proxy argument, and appeal to the theory of observation and indeterminacy of reference as grounds of relativity. But as we shall see Quines theories of assent to observation sentences and of reference-learning dont square easily with his naturalism. The first attributes intentional attitudes to observers; and the second assumes a holistic context principle and a concept of individuation which do not withstand scrutiny as empirical notions. Both appear to violate Quines behavorist canon.A saving alternative is a theory of term-reference that appears in Roots of Reference and affords a return to behaviorism, and reinstatement of the proxy argument and relativity in a way compatible with Tarskis (T).     

Reasoning and logic

Gilbert Harman, in Logic and Reasoning (Synthese 60 (1984), 107–127) describes an unsuccessful attempt ... to develop a theory which would give logic a special role in reasoning. Here reasoning is psychological, a procedure for revising one's beliefs. In the present paper, I construe reasoning sociologically, as a process of linguistic interaction; and show how both reasoning in the psychologistic sense and logic are related to that process.     

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.     

Set theory as modal logic

A logical systemBM ⁺ is proposed, which, is a prepositional calculus enlarged with prepositional quantifiers and with two modal signs, and These modalities are submitted to a finite number of axioms. is the usual sign of necessity, corresponds to transmutation of a property (to be white) into the abstract property (to be the whiteness). An imbedding of the usual theory of classesM intoBM ⁺ is constructed, such that a formulaA is provable inM if and only if(A) is provable inBM ⁺. There is also an inverse imbedding with an analogous property.     

Leadership of antireligious propaganda in the Soviet Union

Re-emergent scientific atheism bears the marks of its historical origins in the efforts of Bon-Bruevi and Jaroslavskij. The disciples of the Lenin generation use their fathers somewhat as second-level classics.     

Pseudo two-valued evaluation method for intermediate logics

An evaluation method, similar to the two-valued one for the classical logic, is introduced to give a decision procedure for some of intermediate logics. The logics treated here are obtained from some logics by adding the axiom av a.