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.     

New lower and upper bounds for communality in factor analysis

We derive several relationships between communalities and the eigenvalues for ap ×p correlation matrix under the usual factor analysis model. For suitable choices ofj, _j (), where _j () is thej-th largest eigenvalue of , provides either a lower or an upper bound to the communalities for some of the variables. We show that for at least one variable, 1 - _p () improves on the use of squared mulitiple correlation coefficient as a lower bound.This research was done while the second author was at Tokyo Institute of Technology.     

Reliability for the law of comparative judgment

A variance-components analysis is presented for paired comparisons in terms of three components:s, the scale value of the stimuli;d, a deviation from the linear model specified by the law of comparative judgment; andb, a binomial error component. Estimates are given for each of the three variances, _s ² , _d ² , and _b ² . Several coefficients, analogous to reliability coefficients, based on these three variances are indicated. The techniques are illustrated in a replicated comparison of handwriting specimens.This research was jointly supported in part by Princeton University, the Office of Naval Research under contract Nonr-1858(15), and the National Science Foundation under grant NSF G-642, and in part by Educational Testing Service. Reproduction in whole or in part is permitted for any purpose of the United States Government.Thanks are due to Ledyard Tucker and Frederic Lord for valuable suggestions on the development presented here.     

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.     

Mathematics of Totalities: an alternative to mathematics of sets

I dare say, a set is contranatural if some pair of its elements has a nonempty intersection. So, we consider only collections of disjoint nonempty elements and call them totalities. We propose the propositional logicTT, where a proposition letters some totality. The proposition is true if it letters the greatest totality. There are five connectives inTT: , , , , # and the last is called plexus. The truth of # means that any element of the totality has a nonempty intersection with any element of the totality . An imbeddingG of the classical predicate logicCPL inTT is defined. A formulaf ofCPL is a classical tautology if and only ifG(f) is always true inTT. So, mathematics may be expounded inTT, without quantifiers.     

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that _G H (S) and _GL-LIN H, and the complexity of H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of H with H = char(S) and ( H) = d(S, G).     

Paraconsistent logic and model theory

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa'sC ₁ ⁼ (obtained by adding the axiom A A) and prove for it results which correspond to many major classical model theories, taken from Shoenfield [5]. In particular we prove counterparts of the theorems of o-Tarski and Chang-o-Suszko, Craig-Robinson and the Beth definability theorem.     

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 a statistic arising in testing correlation

This paper is devoted to the study of a certain statistic,u, defined on samples from a bivariate population with variances ₁₁, ₂₂ and correlation . Let the parameter corresponding tou be . Under binormality assumptions the following is demonstrated. (i) If ₁₁ = ₂₂, then the distribution ofu can be obtained rapidly from theF distribution. Statistical inferences about = may be based onF. (ii) In the general case, allowing for _{11 22}, a certain quantity involvingu,r (sample correlation between the variables) and follows at distribution. Statistical inferences about may be based ont. (iii) In the general case a quantityt may be constructed which involves only the statisticu and only the parameter . If treated like at distributed magnitude,t admits conservative statistical inferences. (iv) TheF distributed quantity mentioned in (i) is equivalent to a certaint distributed quantity as follows from an appropriate transformation of the variable. (v) Three test statistics are given which can be utilized in making statistical inferences about = in the case ₁₁ = ₂₂. A comparison of expected lengths of confidence intervals for obtained from the three test statistics is made. (vi) The use of the formulas derived is illustrated by means of an application to coefficient alpha.This research was supported by the National Institute of Child Health and Human Development, under Research Grant 1 PO1 HD01762.     

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 note on syntactical and semantical functions

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class ^–1X is also finitely axiomatizable (i.e. iff is continuous in model class topology).     

A modification of kendall's tau for measuring association in contingency tables

A coefficient of association is described for a contingency table containing data classified into two sets of ordered categories. Within each of the two sets the number of categories or the number of cases in each category need not be the same.=+1 for perfect positive association and has an expectation of 0 for chance association. In many cases also has –1 as a lower limit. The limitations of Kendall's _a and _b and Stuart's _c are discussed, as is the identity of these coefficients to' under certain conditions. Computational procedure for is given.     

Third Men: The Logic of the Sophisms at Arist. SE 22, 178b36–170a10

This article aims at elucidating the logic of Arist. SE 22, 178b36–179a10 and, in particular, of the sophism labelled "Third Man" discussed in it. I suggest that neither the sophistic Walking Man argument, proposed by ancient commentators, nor the Aristotelian Third Man of the , suggested by modern interpreters, can be identified with the fallacious argument Aristotle presents and solves in the passage. I propose an alternative reconstruction of the Third Man sophism and argue that an explanation of the lines regarding the identity of Coriscus and Coriscus the musician (178b39–179a3) is indispensable for its correct understanding, since they hint at another sophism in some important aspects analogous. Finally, I show that two contradictions concerning spotted by scholars in the passage are only apparent and can be dissolved once the assumption that the anti-Platonic Third Man argument is at stake here is discarded, and once the passage is read in the light of its agonistic context.     

Toulmin on Ideals of Natural Order

In this paper I criticize Toulmin's concept of Ideals of Natural Order and his account of the role these Ideals play in scientific explanation as given in his book, Foresight and Understanding. I argue that Toulmin's account of Ideals of Natural Order as those theories taken to be self evident by scientists at a given time introduces an undesirable subjectivism into his account of scientific explanation. I argue also that the history of science, especially the recent history of microphysics, does not support Toulmin's contentions about the supposed self-evidence of the basic explanatory theories in science.     

On defining necessity in terms of entailment

In their book Entailment, Anderson and Belnap investigate the consequences of defining Lp (it is necessary that p) in system E as (pp)p. Since not all theorems are equivalent in E, this raises the question of whether there are reasonable alternative definitions of necessity in E. In this paper, it is shown that a definition of necessity in E satisfies the conditions { _E Lpp, _EL(pq)(LpLq), _E pLp} if and only if its has the form C ₁.C₂ .... C_np, where each C _iis equivalent in E to either pp or ((pp)p)p.     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

Rules in relevant logic — II: Formula representation

This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A ₁ .A ₂ . ... .A _n B, the conjunctive form,A ₁&A ₂ & ...A _n B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A ₁&A ₂& ...A _n B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A B)&(B C) .A C orA B .B C .A C.I acknowledge help from anonymous referees for guidance in preparing Part II, and especially for the suggestion that Theorem 9 could be expanded to fully contraction-less logics.     

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.     

The logic of linear tolerance

A nonempty sequence T₁,...,T_n of theories is tolerant, if there are consistent theories T ₁ ⁺ ,..., T _n ⁺ such that for each 1 i n, T _i ⁺ is an extension of T_i in the same language and, if i n, T _i ⁺ interprets T _i+1 ⁺ . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is shown that TOL (resp. TOL) yields exactly the schemata of PA-provable (resp. true) arithmetical sentences, if (A₁,..., A_n) is understood as (a formalization of) PA+A₁, ..., PA+A_n is tolerant.     

Least-squares theory based on general distributional assumptions with an application to the incomplete observations problem

The linear regression modely=x+ is reanalyzed. Taking the modest position that x is an approximation of the best predictor ofy we derive the asymptotic distribution ofb andR ², under mild assumptions.The method of derivation yields an easy answer to the estimation of from a data set which contains incomplete observations, where the incompleteness is random.