Before refraining: Concepts for agency

A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in Tree a set of possible choices, where each possible choice is a set of histories. All of these ingredients are referred to in the semantics suggested for [ stit: Q]. The most complex part of the discussion is the motivation for the definition of what it means for a typically non-terminating chain of moments jointly to witness the truth of [ stit: Q] at a moment.The paper begins with an informal account of the Refref conjecture, which says that the only way to refrain from refraining from seeing to something is to see to it. The paper ends with a consideration of an argument of Prior's that in a certain sense contemplation and action are inconsistent.     

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.     

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.     

Maximization of sums of quotients of quadratic forms and some generalizations

Monotonically convergent algorithms are described for maximizing six (constrained) functions of vectors x, or matricesX with columns x₁, ..., x _r . These functions are h₁(x)= _k (xA _kx)(xC _kx)^–1, H₁(X)= _k tr (XA _k X)(XC _k X)^–1, h₁(X)= _{k l} (x _l A _kx _l ) (x _l C _kx _l )^–1 withX constrained to be columnwise orthonormal, h₂(x)= _k (xA _kx)²(xC _kx)^–1 subject to xx=1, H₂(X)= _k tr(XA _kX)(XA_kX)(XC_kX)^–1 subject toXX=I, and h₂(X)= _{k l} (x _l A _kx _l )² (x _l C _kX _l )^–1 subject toXX=I. In these functions the matricesC _k are assumed to be positive definite. The matricesA _k can be arbitrary square matrices. The general formulation of the functions and the algorithms allows for application of the algorithms in various problems that arise in multivariate analysis. Several applications of the general algorithms are given. Specifically, algorithms are given for reciprocal principal components analysis, binormamin rotation, generalized discriminant analysis, variants of generalized principal components analysis, simple structure rotation for one of the latter variants, and set component analysis. For most of these methods the algorithms appear to be new, for the others the existing algorithms turn out to be special cases of the newly derived general algorithms.This research has been made possible by a fellowship from the Royal Netherlands Academy of Arts and Sciences to the author. The author is obliged to Jos ten Berge for stimulating this research and for helpful comments on an earlier version of this paper.     

Foundations of a new system of probability theory

The aim of my book is to explain the content of the different notions of probability.Based on a concept of logical probability, which is modified as compared with Carnap, we succeed by means of the mathematical results of de Finetti in defining the concept of statistical probability.The starting point is the fundamental concept that certain phenomena are of the same kind, that certain occurrences can be repeated, that certain experiments are identical. We introduce for this idea the notion: concept K of similarity. From concept K of similarity we derive logically some probability-theoretic conclusions:If the events E() are similar —of the same kind - on the basis of such a concept K, it holds good that intersections of n of these events are equiprobable on the basis of K; in formulae: E(₁)...E( _{n K} E('₁)...E(' _n , _{i j} ,' _j ' _j for ij On the basis of some further axioms a partial comparative probability structure results from K, which forms the starting point of our further investigations and which we call logical probability on the basis of K.We investigate a metrisation of this partial comparative structure, i.e. normed -additive functions m _K, which are compatible with this structure; we call these functions m _K measure-functions in relation to K.The measure-functions may be interpreted as subjective probabilities of individuals, who accept the concept K.Now it holds good: For each measure-function there exists with measure one the limit of relative frequencies in a sequence of the E().In such an event, where all measure-functions coincide, we speak of a quantitative logical probability, which is the common measure of this event. In formulae we have: l _K (h _n lim h _n )=1 in words: There is the quantitative logical probability one that the limit of the relative frequencies exists. Another way of saying this is that the event ^* (h_n lim h _n) is a maximal element in the comparative structure resulting from K.Therefore we are entitled to introduce this limit and call it statistical probability P.With the aid of the measure-functions it is possible to calculate the velocity of this convergence. The analog of the Bernoulli inequation holds true: m _K (¦h _n –P¦)1–1/4n².It is further possible in the work to obtain relationships for the concept of statistical independence which are expressed in terms of the comparative probability.The theory has a special significance for quantum mechanics: The similarity of the phenomena in the domain of quantum mechanics explains the statistical behaviour of the phenomena.The usual mathematical statistics are explained in my book. But it seems more expedient on the basis of this new theory to use besides the notion of statistical probability also the notion of logical probability; the notion of subjective probability has only a heuristic function in my system.The following dualism is to be noted: The statistical behaviour of similar phenomena may be described on the one hand according to the model of the classical probability theory by means of a figure called statistical probability, on the other hand we may express all formulae by means of a function, called statistical probability function. This function is defined as the limit of the relative frequencies depending on the respective state of the universe. The statistical probability function is the primary notion, the notion of statistical probability is derived from it; it is defined as the value of the statistical probability function for the true unknown state of the universe.As far as the Hume problem, the problem of inductive inference, is concerned, the book seems to give an example of how to solve it.The developed notions such as concept, measure-function, logical probability, etc. seem to be important beyond the concept of similarity.The present work represents a summary of my book Grundzüge zu einem neuen Aufbau der Wahrscheinlich-keitstheorie [5], For this reason, I have frequently dispensed with providing proof and in this connection refer the interested reader to my book.     

A partially ordered extention of the integers

This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.The editing of this unified version of two previous papers [Epstein, Rasiowa 1990, 1991] by the authors was completed, except for footnotes, while the first author visited at Warsaw University during June–July, 1994. The footnotes were added by the first author in September, 1994.Presented byRyszard Wójcicki     

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.     

Logics of some kripke frames connected with Medvedev notion of informational types

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM ₁. Some other definitions of negation inI() lead to logicsLM _n (n ). We study inclusions between these and other systems, proveLM _n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM from Heyting's logicH, andLM _n (n < ) from Scott's logic (H+S).     

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.     

An extension of the Łukasiewicz logic to the modal logic of quantum mechanics

An attempt is made to include the axioms of Mackey for probabilities of experiments in quantum mechanics into the calculus _x0 of ukasiewicz. The obtained calculusQ contains an additional modal signQ and four modal rules of inference. The propositionQx is read x is confirmed. The most specific rule of inference may be read: for comparable observations implication is equivalent to confirmation of material implication.The semantic truth ofQ is established by the interpretation with the help of physical objects obeying to the rules of quantum mechanics. The embedding of the usual quantum propositional logic inQ is accomplished.Allatum est die 9 Junii 1976     

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

For every sequence |p _n } _n of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory diagonalizable algebras, we associate a formula ⁰ A, called the value ofA inPA with respect to the interpretation. We show that, ifA is true in every diagonalizable algebra, then, for every, ⁰ A is a theorem ofPA.     

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     

Of Orchids,insects, and natural theology: Timing,tactics, and cultural critique in darwin's post-“Origin” strategy

This essay examines the relation of Darwin's orchids book to a central persuasive flaw in theOrigin: Its inability to give variation sufficient presence to break the hold of design in the mind of the reader. Darwin characterized the orchids book as a flank movement on the enemy; this essay identifies the enemy as Paley's natural theology and the flank as thetopoi, maxims, and habits of perception that led Darwin's colleagues and contemporaries to see design in nature. Moreover, this essay examines three aspects of rhetorical timing pertinent toOrchids - time askairos, time as adequate duration, and time as transformation - and then relates those features to Robert Cox's Heideggerian logic of repetition, disavowal, and transcendence. The essay concludes with implications of the tactical and temporal aspects of Darwin's reasoning for understanding both the logic of science and of Darwin as a rhetorical artist.An earlier version of this essay appeared in the Proceedings of the Sixth SCA/AFA Conference on Argumentation.     

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

Second order propositional operators over cantor space

We consider propositional operators defined by propositional quantification in intuitionistic logic. More specifically, we investigate the propositional operators of the formA* :p q(p A(q)) whereA(q) is one of the following formulae: (¬¬q q) V ¬¬q, (¬¬q q) (¬¬q V ¬q), ((¬¬q q) (¬¬q V ¬q)) ((¬¬q q) V ¬¬q). The equivalence ofA*(p) to ¬¬p is proved over the standard topological interpretation of intuitionistic second order propositional logic over Cantor space.We relate topological interpretations of second order intuitionistic propositional logic over Cantor space with the interpretation of propositional quantifiers (as the strongest and weakest interpolant in Heyting calculus) suggested by A. Pitts. One of the merits of Pitts' interpretation is shown to be valid for the interpretation over Cantor space.Presented byJan Zygmunt     

The Poznań school methodology of idealization and concretization from the point of view of a revised structuralist theory conception

My thesis is that some methodological ideas of the Pozna school, i.e., the principles of idealization and concretization (factualization), and the correspondence principle can be represented rather successfully using the relations of theoretization and specialization of revised structuralism.Let <n(i), t(j)> (i=1,...m, j=1,...k) denote the conceptual apparatus of a theory T, and a class M={} (i=1,...m, j=1,...k) the models of T. The n-components refer to the values of dependent variables and t-components to the values of independent variables of the theory. The n- and t-components in turn represent appropriate concepts. Consider T ^* as a conceptual enrichment of T with concepts <n(i ^*), t(j ^*)> (i<i ^* or j<j ^*) and models M ^*={<D ^*, n(i ^*), t(j ^*)>}. If the classes M and M ^* are suitably related, then the situation illustrates both the case of the theoretization-relation of (revised) structuralism and of the factualization-principle of the Pozna school.Assume now that the concepts n(i), t(j) of T for some i, j are operationalized using some special assumptions generating appropriate empirical values n and t for these concepts. Let M denote the class {<D,...n,...t,...>} which is formed by substituting n and t for values of concepts n(i), t(j) in the elements of M. If the classes M and M are related in a suitable way then the situation is an example of both the specialization-relation of (revised) structuralism and the concretization-principle of the Pozna school. The correspondence principle in turn can be represented as a limiting case of the theoretization-relation of (revised) structuralism.Many thanks to my anonymous referees for critical and fruitful comments and special thanks to Dr. Carol Norris for correcting the language of this paper.     

Relevant analytic tableaux

Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.     

Axiomatization of the De Morgan type rules

In Section 1 we show that the De Morgan type rules (= sequential rules in L(, ) which remain correct if and are interchanged) are finitely based. Section 2 contains a similar result for L(). These results are essentially based on special properties of some equational theories.     

On the definability of the quantifier “there exist uncountably many”

In paper [5] it was shown that a great part of model theory of logic with the generalized quantifier Q x = there exist uncountably many x is reducible to the model theory of first order logic with an extra binary relation symbol. In this paper we consider when the quantifier Q x can be syntactically defined in a first order theory T. That problem was raised by Kosta Doen when he asked if the quantifier Q x can be eliminated in Peano arithmetic. We answer that question fully in this paper.I would like to thank Kosta Doen and Zoran Markovi who made valuable suggestions and remarks on a draft of this paper.     

An effective fixed-point theorem in intuitionistic diagonalizable algebras

Summary Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following:LetT be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula inT built up from the propositional variables q, p₁, ..., p_n, using logical connectives and the predicate Pr, has the same fixed-points relative to q (that is, formulas (p₁ ..., p_n) for which for all p₁, ..., p_n T((p₁, ..., p_n), p₁, ..., p_n) (p₁, ..., p_n)) of a formula ^* of the same kind, obtained from in an effective way.Moreover, such ^* is provably equivalent to the formula obtained from substituting with ^* itself all the occurrences of q which are under Pr. In the particular case where q is always under Pr in , ^* is the unique (up to provable equivalence) fixedpoint of .Since this result is proved only assumingPr to be canonical, it can be deduced that Löb's property is, in a sense, equivalent to Gödel's diagonalization lemma.All the results are proved more generally in the intuitionistic case.The algebraization of the theories which express Theor, IXAllatum est die 19 Decembris 1975