Non-Adjunctive Inference and Classical Modalities

The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A∧B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The unified semantical characterization in terms of neighborhoods permits comparisons between different forms of non-adjunctive inference. For example, we show that the non-adjunctive logic proposed in (Schotch and Jennings, 1980) is not adequate in general for representing the logic of high probability operators. An alternative interpretation of the forcing relation of Schotch and Jennings is derived from the proposed unified semantics and utilized in order to propose a more fine-grained measure of epistemic coherence than the one presented in (Schotch and Jennings, 1980). Finally we propose a syntactic translation of the purely implicative part of Jaśkowski's system D₂ into a classical system preserving all the theorems (and non-theorems) explicilty mentioned in (Jaśkowski, 1969). The translation method can be used in order to develop epistemic semantics for a larger class of non-adjunctive (discursive) logics than the ones historically investigated by Jaśkowski.     

On Modal <Emphasis Type="Italic">μ</Emphasis>-Calculus and Gödel-Löb Logic

We show that the modal μ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after two iterations and answer to a question posed by van Benthem in [4]. Further, we introduce the modal μ ^~-calculus by allowing fixpoint constructors for any formula where the fixpoint variable appears guarded but not necessarily positive and show that this calculus over GL collapses to the modal fragment, too. The latter result allows us a new proof of the de Jongh, Sambin Theorem and provides a simple algorithm to construct the fixpoint formula. Presented by Melvin Fitting     

Kripke Incomplete Logics Containing KTB

It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □² p → □³ p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □⁵ p → □⁶ p). Presented by Michael Zakharyaschev     

Interpolation and Definability in Guarded Fragments

The guarded fragment (GF) was introduced by Andréka, van Benthem and Németi as a fragment of first order logic which combines a great expressive power with nice, modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. Slightly generalizing the admissible relativizations yields the packed fragment (PF). In this paper we investigate interpolation and definability in these fragments. We first show that the interpolation property of first order logic fails in restriction to GF and PF. However, each of these fragments turns out to have an alternative interpolation property that closely resembles the interpolation property usually studied in modal logic. These results are strong enough to entail the Beth definability property for GF and PF. Even better, every guarded or packed finite variable fragment has the Beth property. For interpolation, we characterize exactly which finite variable fragments of GF and PF enjoy this property.     

Identical Twins,Deduction Theorems,and Pattern Functions: Exploring the Implicative BCSK Fragment of S5

We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and 5 we show that for the pure logic of one of these implicational connectives two – in general distinct – consequence relations (global and local) definable in the Kripke semantics for modal logic turn out to coincide, though this is not so for the pure logic of the other connective, and that there is an intimate relation between formulas constructed by means of the former connective and the local consequence relation. (Corollary 5.8. This, as we show in an Appendix, is connected to the fact that the ‘propositional operations’ associated with both of our implicational connectives are close to being what R. Quackenbush has called pattern functions.) Between these discussions Section 4 examines some of the replacement-of-equivalents properties of the two connectives, relative to these consequence relations, and Section 6 closes with some observations about the metaphor of identical twins as applied to such pairs of connectives.     

Everything Else Being Equal: A Modal Logic for <Emphasis Type="Italic">Ceteris Paribus</Emphasis> Preferences

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of “all other things being equal”. This reading goes back to the seminal work of Von Wright in the early 1960’s and has returned in computer science in the 1990’s and in more abstract “dependency logics” today. We show how it differs from ceteris paribus as “all other things being normal”, which is used in contexts with preference defeaters. We provide a semantic analysis and several completeness theorems. We show how our system links up with Von Wright’s work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics.     

Making the Quantum of Relevance

Summary  The two Heisenberg Uncertainties (UR) entail an incompatibility between the two pairs of conjugated variables E, t and p, q. But incompatibility comes in two kinds, exclusive of one another. There is incompatibility defineable as: (p → − q) & (q→ − p) or defineable as [(p →− q) & (q →− p)] ↔ r. The former kind is unconditional, the latter conditional. The former, in accordance, is fact independent, and thus a matter of logic, the latter fact dependent, and thus a matter of fact. The two types are therefore diametrically opposed.In spite of this, however, the existing derivations of the Uncertainties are shown here to entail both types of incompatibility simultaneously. Δ E Δ t ≥ h is known to derive from the quantum relation E = hν plus the Fourier relation Δ ν Δ t ≥ 1. And the Fourier relation assigns a logical incompatibility between Δ ν = 0, Δ t = 0. (Defining a repetitive phenomenon at an instant t → 0 is a self contradictory notion.) An incompatibility, therefore, which is fact independent and unconditional. How can one reconcile this with the fact that Δ EΔ t exists if and only if h > 0, which latter supposition is a factual truth, entailing that a Δ E = 0, Δ t = 0 incompatibility should itself be fact dependent? Are we to say that E and t are unconditionally incompatible (via Δ ν Δ t ≥ 1) on condition that E = hν is at all true? Hence, as presently standing, the UR express a self-contradicting type of incompatibility.To circumvent this undesirable result, I reinterpret E = hν as relating the energy with a period. Though only one such period. And not with frequency literally. (It is false that E = ν . It is true that E = ν times the quantum.) In this way, the literal concept of frequency does not enter as before, rendering Δ ν Δ t ≥ 1 inapplicable. So the above noted contradiction disappears. Nevertheless, the Uncertainties are derived. If energy is only to be defined over a period, momentum only over a distance (formerly a wavelength) resulting during such period, thus yielding quantized action of dimensions Et = pq, then energies will become indefinite at instants, momenta indefinite at points, leading, as demanded, to (symmetric!) Δ E Δ t = Δ p Δ q ≥ h’s.     

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.     

On the non-availability of Dawson-modeling into certain relevance alethic modal logics

This paper shows that the Dawson technique of modelling deontic logics into alethic modal logics to gain insight into deontic formulas is not available for modelling a normal (in the spirit of Anderson) relevance deontic modal logic into either of the normal relevance alethic modal logics R _S4or R _M. The technique is to construct an extension of the well known entailment matrix set M ₀and show that the model of the deontic formula P (A v B). PA v PB is excluded.     

Introduction: Special Issue on Positive Psychology and Adult Development

An adult seems to articulate surprisingly similar meaning themes and similar processes about relationships in several widely disparate domains of behavior, domains of both non-pathological and pathological types. Whether the person is consciously describing early relationships with parental figures, unconsciously acting them out in current relationships, experiencing relationships with God or the Transcendent, or acting on the basis of relational delusions during psychotic episodes, his or his experienced relational reality seems to be filtered through a single, coherent, personally unique spiritual, existential, and epistemological relational lens. Conflicts may involve other relational meanings, but may be conflicts because of the existence of that dominant lens. Two parts of that dominant lens system, specifically the part relating the person’s concept of God to the other parts of the system and the part relating the specifics of psychotic breaks and spiritual emergence to other parts of the system, are seldom discussed. Both understanding the person’s dominant relational lens and the implications of that person’s using the lens to see reality, and sharing that knowledge with the individual (if he or he has stabilized to some degree) can help the troubled or disoriented individual. That person can gradually give a more adaptive meaning to consistent distortions in the many areas of meaning and behavior attached to relationships, and even to very skewed behavior such as hallucinations and delusions during psychotic breaks. Distortions during experiences of spiritual emergence also can be made clearer to the disturbed client if the therapist has a better understanding of the person’s overall coherent relational meaning system and its implications, and can translate the language of that system into spiritually transformative terms. A case is summarized and discussed as an example of these ideas. Then, two theories are described. A useful theory of human-felt connection and a cognitive developmental theory of Postformal Complex Thought have been developed by the author and described in earlier publications. These two theories help make sense of the multiple but coherent themes, cognitive dimensions of theme genesis and change, and the nature of the relational lenses used. Suggestions about interventions in the person’s system of coherently distorted relational themes, suggestions based on the two theories, are discussed. The recommendation is made that all therapists become fluent in the languages of, and especially the connections among, all of the relational areas named in the title of this paper that are part of the coherent relational theme.     

A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes

There is a natural map which assigns to every modelU of typeτ, (U ε St^τ) a groupG (U) in such a way that elementarily equivalent models are mapped into isomorphic groups.G(U) is a subset of a collection whose members are called Fraisse arrows (they are decreasing sequences of sets of partial isomorphisms) and which arise in connection with the Fraisse characterization of elementary equivalence. LetEC _λ ^U be defined as {U εStr ^τ: ℬ ≡U and |ℬ|=λ; thenEG _λ ^U can be faithfully (i.e. 1-1) represented onto G(U) ×π ^*, whereπ ^*, is a collection of partitions over λ∪λ²∪....     

Anderson and Belnap’s Invitation to Sin

Quine has argued that modal logic began with the sin of confusing use and mention. Anderson and Belnap, on the other hand, have offered us a way out through a strategy of nominalization. This paper reviews the history of Lewis’s early work in modal logic, and then proves some results about the system in which “A is necessary” is intepreted as “A is a classical tautology.”     

Stuart’s tau measure of effect size for ordinal variables: Some methodological considerations

The reporting of measures of effect size has become increasingly important in psychology. A Monte Carlo resampling permutation procedure is introduced to find near-optimum maximum values for Stuart’s τ _c measure for two-way ordinal contingency tables, also termed Kendall’s τ _c since Kendall introduced τ _a and τ _b . Comparisons between resampling and exact procedures demonstrate the accuracy and utility of resampling measures of effect size for two-way ordinal contingency tables. The resampling procedure is shown to be more precise than the traditional method of standardizing τ _c .     

Actuality, Necessity, and Logical Truth

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. Earlier versions of this paper were read at the universities of Graz, Maribor, and Salzburg, and at a workshop on the philosophy of logic at the National Autonomous University of Mexico (UNAM) in Mexico City. My thanks to those present at these events for many helpful suggestions. Thanks are also due to an anonymous referee for Philosophical Studies.     

Modal logic and model theory

We propose a first order modal logic, theQS4E-logic, obtained by adding to the well-known first order modal logicQS4 arigidity axiom schemas:A → □A, whereA denotes a basic formula. In this logic, thepossibility entails the possibility of extending a given classical first order model. This allows us to express some important concepts of classical model theory, such as existential completeness and the state of being infinitely generic, that are not expressibile in classical first order logic. Since they can be expressed in -logic, we are also induced to compare the expressive powers ofQS4E and . Some questions concerning the power of rigidity axiom are also examined.     

Note on the relation between Kendall's tau and the Cronholm-Revusky test

It is shown that the rank testR proposed by Cronholm and Revusky for comparing the effect of two treatments on a single group ofn subjects is a linear function of Kendall'sτ-coefficient. The asymptotic results of Bennett for the distribution ofR are also applicable to that ofτ under a class of nonnull hypotheses.     

On the Dao in the Commentary of the Book of Change

The existence of the Dao 道 (the Way), according to the Yizhuan 易传 (the Commentary), is something intangible. The connotation of the Dao is the law of change caused by the interaction between yin and yang. The main functions of the Dao are “to change” and “to generate”. The intangible refers to the law of change caused by the interaction between yin and yang, and the law is expressed by the divinatory symbolic system (卦爻符号, the trigrams or hexagrams). It is through the unique permutation of yin and yang lines of a trigram or hexagram that the law of change is explained as a universal model uniting celestial, terrestrial and human laws. The symbolic system is used to express the universal nature of continual generation of life. __________ Translated from Zhongguo Zhexue Shi 中国哲学史 (History of Chinese Philosophy), 2005(4) by Yun Yufen     

Differential Associations Between Relational and Overt Aggression and Children’s Psychosocial Adjustment

Although much research has focused on the association between childhood aggression and negative psychosocial adjustment, the link between the subtypes of aggression and adjustment is less clear, particularly for relational aggression. The current study examined whether overt and relational aggression in childhood (M = 10.4 years, SD = 1.1) are differentially associated with four psychosocial adjustment outcomes (i.e., academic performance, social problems, depression, and delinquency). Results indicated that relational aggression was negatively associated with academic performance, while overt aggression was positively associated with delinquency. Additionally, findings suggested gender differences in the link between aggression subtypes and social problems. Specifically, overt aggression was positively associated with social problems for boys and relational aggression was positively associated with social problems for girls. Neither subtype of aggression was uniquely associated with depression. Thus, this study suggests that psychosocial outcomes may differ depending on the form of aggression that is utilized.     

Models for relevant modal logics

Semantics are given for modal extensions of relevant logics based on the kind of frames introduced in [7]. By means of a simple recipe we may obtain from a class FRM (L) of unreduced frames characterising a (non-modal) logic L, frame-classes FRM (L.M) characterising conjunctively regular modal extensions L.M of L. By displaying an incompleteness phenomenon, it is shown how the recipe fails when reduced frames are under consideration.     

The <Emphasis Type="Italic">γ</Emphasis>-admissibility of Relevant Modal Logics II — The Method using Metavaluations

The γ-admissibility is one of the most important problems in the realm of relevant logics. To prove the γ-admissibility, either the method of normal models or the method using metavaluations may be employed. The γ-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the γ-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This paper shows that γ is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations.