Natural deduction rules for English

A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as the c, a (an) c, some c, any c, and every c, where c represents a common noun. These latter expressions are called quantifiers, and other expressions of the form that c or that c itself, are called quantified terms. Introduction and elimination rules are presented for any, every, some, a (an), and the, and also for any which, every which, and so on, as well as rules for some other concepts. One outcome of these rules is that Every man loves some woman is implied by, but does not imply, Some woman is loved by every man, since the latter is taken to mean the same as Some woman is loved by all men. Also, Jack knows which woman came is implied by Some woman is known by Jack to have come, but not by Jack knows that some woman came.     

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).     

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.     

Three prepositional calculi of probability

Attempts are made to transform the basis of elementary probability theory into the logical calculus.We obtain the propositional calculus NP by a naive approach. As rules of transformation, NP has rules of the classical propositional logic (for events), rules of the ukasiewicz logic ₀ (for probabilities) and axioms of probability theory, in the form of rules of inference. We prove equivalence of NP with a fragmentary probability theory, in which one may only add and subtract probabilities.The second calculus MP is a usual modal propositional calculus. It has the modal rules x x, x y x y, x x, x y (y x), (y x), in addition to the rules of classical propositional logic. One may read x as x is probable. Imbeddings of NP and of ₀ into MP are given.The third calculus P is a modal extension of ₀. It may be obtained by adding the rule ((xy)y) xy to the modal logic of quantum mechanics Q [5]. One may read x in P as x is observed. An imbedding of NP into P is given.     

When-questions: A study of how children linguistically encode temporal information

Sixty children between the ages of 4 and 7 years and 10 adults were presented with a series of stories illustrated by five pictures in a comic strip format. Each story was follwed by either a when-, why-, or control question. With respect to the when-questions, some of the stories involved causally related events while others did not. An analysis of the responses supported the hypotheses that causal relationships play an important role in the development of the ability to encode temporal relationships in response to when-questions.This research was supported by PSCBHE Grant No. 6-62123 from the City University of New York to the second author. The authors greatly appreciate the assistance of the directors, teachers, and children of the Chatsworth Avenue Elementary School, the Larchmont Avenue Church Nursery School, the Larchmont Temple Nursery School, and the Little School in Larchmont, New York. We would also like to thank Dr. Louis Hsu for his advice concerning     

Omega-consistency and the diamond

G is the result of adjoining the schema (qAA)qA to K; the axioms of G* are the theorems of G and the instances of the schema qAA and the sole rule of G* is modus ponens. A sentence is -provable if it is provable in P(eano) A(rithmetic) by one application of the -rule; equivalently, if its negation is -inconsistent in PA. Let -Bew(x) be the natural formalization of the notion of -provability. For any modal sentence A and function mapping sentence letters to sentences of PA, inductively define A by: p = (p) (p a sentence letter); = ; (AB)su}= (A B); and (qA)= -Bew(A )(S) is the numeral for the Gödel number of the sentence S). Then, applying techniques of Solovay (Israel Journal of Mathematics 25, pp. 287–304), we prove that for every modal sentence A, _G A iff for all , _PA A ; and for every modal sentence A, _G* A iff for all , A is true.I should like to thank David Auerbach and Rohit Parikh.     

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.     

Modal logic with names

We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language _c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in _c. Strong completeness of the normal _c-logics is proved with respect to models in which all worlds are named. Every _c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to _c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched.     

Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

A gentzen system for conditional logic

Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andf<u<t. In this paper we give a Gentzen type axiomatization for conditional logic.Presented byJan Zygmunt     

Internal conflict,language, and metaphor: Implications for psychotherapy

The term conflict has only metaphorical validity when applied to internal dynamics, because an organism can never actually be at war with itself. Drawing upon Maturana's theory of living systems, we argue that the concept of conflict has been taken too literally by therapists and clients. Instead of eliminating conflict, we urge therapists to focus on the interpersonal implications of language habits and to explore with clients the options for more effective action in the social community.The authors would like to express their appreciation to G. Craig Caputo, Elsa R. Efran, Joseph Fiorito, Charles E. Gallagher, Christopher K. Germer, Richard J. Leffel, M. Penny Levin, Alan J. Lipman, Michael D. Lukens, Robert J. Lukens, and Richard Sadowsky, each of whom read earlier drafts and contributed valuable suggestions.     

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.     

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     

Diodorean modality in Minkowski spacetime

The Diodorean interpretation of modality reads the operator as it is now and always will be the case that. In this paper time is modelled by the four-dimensional Minkowskian geometry that forms the basis of Einstein's special theory of relativity, with event y coming after event x just in case a signal can be sent from x to y at a speed at most that of the speed of light (so that y is in the causal future of x).It is shown that the modal sentences valid in this structure are precisely the theorems of the well-known logic S4.2, and that this system axiomatises the logics of two and three dimensional spacetimes as well.Requiring signals to travel slower than light makes no difference to what is valid under the Diodorean interpretation. However if the is now part is deleted, so that the temporal ordering becomes irreflexive, then there are sentences that distinguish two and three dimensions, and sentences that can be falsified by approaching the future at the speed of light, but not otherwise.     

Action incompleteness

The author has previously introduced an operator into dynamic logic which takes formulae to terms; the suggested reading of A was the bringing about of A or the seeing to it that A. After criticism from S. K. Thomason and T. J. Surendonk the author now presents an improved version of his theory. The crucial feature is the introduction of an operatorOK taking terms to formulae; the suggested reading of OK is always terminates.     

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.     

Syntactical investigations intoBI logic andBB′I logic

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6].Presented byHiroakira Ono     

Influence and development: Two basic paradigms of education

The article discusses two basic paradigms of western educational theory, namely the concept of influence and the concept of development. Two historical contextes are analyzed, John Locke's theory of human learning and Jean-Jacques Rousseau's theory of natural development. Both theories are rejected in favour of a position beyond influence and development. This position of a theory of education (Erziehung) is marked with the term moral communication.An earlier and slightly different version of this article was presented to the International Symposion The Crisis of Schools (Corsendonck/Belgium, March 1992). It was translated from the german original by Annette Roeder. The final draft is my own.     

The logical structure of linguistic commitment II: Systems of relevant commitment entailment

In The Logical Structure of Linguistic Commitment I (The Journal of Philosophical Logic 23 (1994), 369–400), we sketch a linguistic theory (inspired by Brandom's Making it Explicit) which includes an expressivist account of the implication connective, : the role of is to make explicit the inferential proprieties among possible commitments which proprieties determine, in part, the significances of sentences. This motivates reading (A B) as commitment to A is, in part, commitment to B. Our project is to study the logic of . LSLC I approximates (A B) as anyone committed to A is committed to B, ignoring issues of whether A is relevant to B. The present paper includes considerations of relevance, motivating systems of relevant commitment entailment related to the systems of commitment entailment of LSLC I. We also consider the relevance logics that result from a commitment reading of Fine's semantics for relevance logics, a reading that Fine suggests.     

A calculus for the common rules of ∧ and ∨

We provide a finite axiomatization of the consequence , i.e. of the set of common sequential rules for and . Moreover, we show that has no proper non-trivial strengthenings other than and . A similar result is true for , but not, e.g., for ⁺.To the memory of Jerzy Supecki