A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

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.     

On the Way to a Postmodern Curriculum Theory -- Moving from the Question of Unity to the Question of Difference

This article will examine the consequences of highlighting subject and difference in one of the curriculum theories that has been inspired by postmodernism. The term postmodernism is here first and foremost meant to signify the attempt to combine politics and morality with epistemology in accordance with Levinas, Lyotard and Bauman. The article will highlight some themes that need to be developed further for a postmodernism-inspired curriculum theory. A starting-point is a critique of the type of curriculum theory which has its base in the new sociology of education. From this critique, focused on universal claims, the Habermasian-inspired universalism is quickly and critically dropped and left behind, and another form of reasoning is embarked upon. The latter is inspired by a minotarian politics concept and tries to dissolve universalism as a prerequisite for critical conversations. With this background and with the help of Levinas, the article sets out to talk about difference without reduction to the Same and finally suggest a direction for a postmodern curriculum theory with a normative focus on knowledge.     

Three views of demonstrative reference

Three views of demonstrative reference are examined: contextual, intentional, and quasi-intentional. According to the first, such reference is determined entirely by certain publicly accessible features of the context. According to the second, speaker intentions are criterial in demonstrative reference. And according to the third, both contextual features and intentions come into play in the determination of demonstrative reference. The first two views (both of which enjoy current popularity) are rejected as implausible; the third (originally proposed by Kaplan in Dthat) is argued to be highly plausible.     

O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

A semantical investigation into Leśniewski's axiom of his ontology

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure).     

Frege,Boolos, and Logical Objects

In this paper, the authors discuss Frege's theory of logical objects (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the eta relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the eta relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for Logical Objects and banishes encoding (eta) formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: (a) the theory of extensions, (b) the theory of directions and shapes, and (c) the theory of truth values.     

Beyond verisimilitude: A linguistically invariant basis for scientific progress

This paper proposes a solution to David Miller's Minnesotan-Arizonan demonstration of the language dependence of truthlikeness (Miller 1974), along with Miller's first-order demonstration of the same (Miller 1978). It is assumed, with Peter Urbach, that the implication of these demonstrations is that the very notion of truthlikeness is intrinsically language dependent and thus non-objective. As such, truthlikeness cannot supply a basis for an objective account of scientific progress. I argue that, while Miller is correct in arguing that the number of true atomic sentences of a false theory is language dependent, the number of known sentences (under certain straightforward assumptions) is conserved by translation; degree of knowledge, unlike truthlikeness, is thus a linguistically invariant notion. It is concluded that the objectivity of scientific progress must be grounded on the fact (noted in Cohen 1980) that knowledge, not mere truth, is the aim of science.For criticism and comments I am indebted to Noretta Koertge, David Miller, and an anonymous Synthese referee.     

Once More into the Breach of Self-Ownership: Reply to Narveson and Brenkert

In reply to Narveson, I distinguish his no-proviso argument from his liberty argument, and I show that both fail. I also argue that interference lacks the strategic status he assigns to it, because it cannot be appropriately distinguished, conceptually and morally, from prevention; that natural resources do enjoy the importance he denies they have; that laissez-faire economies lack the superiority he attributes to them; that ownership can indeed be a reflexive relation; that anti-paternalism does not entail libertarianism; and that he misrepresents the doctrines of a number of philosophers, including John Locke, Ronald Dworkin, and myself. In reply to Brenkert, I show that he seriously misconstrues my view of the nature of freedom, and of its relationship to self-ownership. I then refute his criticisms of my treatment of the contrasts between self-ownership, on the one hand, and autonomy and non-slavery, on the other. I also show that his attempt to exorcize the demon of self-ownership is multiply flawed.     

The endorsement of irrational beliefs in a general clinical population

Burgess' Attitude and Belief Scale, a measure of Ellis' irrational beliefs, was administered to a large sample of outpatients. All 13 subscales demonstrate very adequate internal consistency. A factor analysis yielded one factor accounting for 83% of the variance, which was labeled irrationality. Clients endorsed focused items more than overgeneralized items, self-referential items more than non-self-referential items, and preferential items more than irrational items. Clients also received higher scores on the irrational process of demandingness than they did on the irrational process of awfulizing, self-worth and low frustration tolerance. The results were consistent with new formulations in Rational-Emotive theory. Suggestions were made for the construction of measures of irrational beliefs.     

On a new property of partially balanced association schemes useful in psychometric structural analysis

In an earlier paper [Psychometrika,31, 1966, p. 147], Srivastava obtained a test for the HypothesisH ₀ : = ₀₀ + ... + _ll, where i are known matrices,i are unknown constants and is the unknown (p ×p) covariance matrix of a random variablex (withp components) having ap-variate normal distribution. The test therein was obtained under (p ×p) covariance matrix of a random variablex (withp components) the condition that ₀, ₁, ..., l form a commutative linear associative algebra and a certain vector, dependent on these, has non-negative elements. In this paper it is shown that this last condition is always satisfied in the special situation (of importance in structural analysis in psychometrics) where ₀, ₁, ..., l are the association matrices of a partially balanced association scheme.This research was partially supported by the U. S. Air Force under Grant No. AF33(615)-3231, monitored by the Aero Space Research Labs.Now at Colorado State University.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann     

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     

Characteristics of Calls to Israeli Hotlines During the Gulf War

The current study presents results of a survey of 3,215 calls received at seven centers of telephone emergency services (TES) in Israel during the Gulf War, when citizens of Israel experienced severe stress resulting from SCUD missile attacks. Whereas former surveys have shown that characteristics of calls to TES in Israel are generally not affected by external stressogenic events, a remarkable change was recorded in both the quantity and quality of calls received in TES centers in Israel during the Gulf War. The relative frequencies of problem categories presented by callers during the Gulf War revealed a significant increase in environmental pressures, a category that reflected the stressful situation of the war, as opposed to intra- or interpersonal problems typical of peacetime calls. A comparison between this group of war calls and a control group of nonwar calls, revealed that the two groups represented populations of callers differing in sociodemographic characteristics, expectations, and benefits from the calls. Results are discussed in reference to the unique role of TES as a source of psychological first-aid in a community crisis situation.     

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.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

Utility theory with inexact preferences and degrees of preference

a–b* c–d is taken to mean that your degree of preference for a over b is less than your degree of preference for c over d. Various properties of the strength-of-preference comparison relation * are examined along with properties of simple preferences defined from *. The investigation recognizes an individual's limited ability to make precise judgments. Several utility theorems relating a–b * c–d to u(a)–u(b) are included.     

Literal meaning, conventional meaning and first meaning

Literal meaning is often identified with conventional meaning. In A Nice Derangement of Epitaphs Donald Davidson argues (1) that literal meaning is distinct from conventional meaning, and (2) that literal meaning is identical to what he calls first meaning. In this paper it is argued that Davidson has established (1) but not (2), that he has succeeded in showing that there is a distinction between literal meaning and conventional meaning but has failed to see that literal meaning and first meaning are also distinct. This failure is somewhat surprising, since it is through a consideration of Davidson's notion of radical interpretation that the distinction between literal meaning and first meaning becomes apparent.I am grateful to the Social Sciences and Humanities Research Council of Canada for its financial support, and to Mark Mercer, Tom Patton and Gary Wedeking for their helpful comments. I would also like to thank David Checkland, who discussed A Nice Derangement of Epitaphs with me at length some years ago.     

The American plan completed: Alternative classical-style semantics,without stars,for relevant and paraconsistent logics

American-plan semantics with 4 values 1, 0, { {1, 0}} {{}}, interpretable as True, False, Both and Neither, are furnished for a range of logics, including relevant affixing systems. The evaluation rules for extensional connectives take a classical form: in particular, those for negation assume the form 1 (A, a) iff 0 (A, a) and 0 (A, a) iff 1 (A, a), so eliminating the star function *, on which much criticism of relevant logic semantics has focussed. The cost of these classical features is a further relation (or operation), required in evaluating falsity assignments of implication formulae.Two styles of 4 valued relational semantics are developed; firstly a semantics using notions of double truth and double validity for basic relevant systemB and some extensions of it; and secondly, since the first semantics makes heavy weather of validating negation principles such as Contraposition, a reduced semantics using more complex implicational rules for relevant systemC and various of its extensions. To deal satisfactorily with elite systemsR,E andT, however, further complication is inevitable; and a relation of mateship (suggested by the Australian plan) is introduced to permit cross-over from 1 to 0 values and vice versa.