On Intermediate Predicate Logics of some Finite Kripke Frames,I. Levelwise Uniform Trees

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.     

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.     

A new formulation of discussive logic

S. Jakowski introduced the discussive prepositional calculus D ₂as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D ₂has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the quoted paper). In this paper we present a natural version of D ₂, in the sense of Jakowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus (with equality). A semantics for the new calculus is also presented.     

A pragmatic interpretation of intuitionistic propositional logic

We construct an extension ^P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of ^P;rfs preceded by theassertion sign constituteelementary assertive formulas of ^P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of ^P is endowed with atruth value defined classically, and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in ^P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of ^P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic.This paper is an enlarged and entirely revised version of the paper by Dalla Pozza (1991) worked out in the framework of C.N.R. project n. 89.02281.08, and published in Italian. The basic ideas in it have been propounded since 1986 by Dalla Pozza in a series of seminars given at the University of Lecce and in other Italian Universities. C. Garola collected the scattered parts of the work, helped in solving some conceptual difficulties and refining the formalism, yielded the proofs of some propositions (in particular, in Section 3) and provided physical examples (see in particular Remark 2.3.1).     

Graded modalities. I

We study a modal system ¯T, that extends the classical (prepositional) modal system T and whose language is provided with modal operators M inn (nN) to be interpreted, in the usual kripkean semantics, as there are more than n accessible worlds such that.... We find reasonable axioms for ¯T and we prove for it completeness, compactness and decidability theorems.The authors are very indebted to the referee for Ms consideration and appreciation of their work.     

The Geometry of Enhancement in Multiple Regression

In linear multiple regression, “enhancement” is said to occur when R ²=b′r>r′r, where b is a p×1 vector of standardized regression coefficients and r is a p×1 vector of correlations between a criterion y and a set of standardized regressors, x. When p=1 then b≡r and enhancement cannot occur. When p=2, for all full-rank R _xx≠I, R _xx=E[xx′]=V Λ V′ (where V Λ V′ denotes the eigen decomposition of R _xx; λ ₁>λ ₂), the set B₁:={b_i:R²=b_i￠r_i=r_i￠r_i;0 < R² ￡ 1}\boldsymbol{B}_{1}:=\{\boldsymbol{b}_{i}:R^{2}=\boldsymbol{b}_{i}'\boldsymbol{r}_{i}=\boldsymbol{r}_{i}'\boldsymbol{r}_{i};0R² ￡ 1;R²l_p ￡ r_i￠r_i < R²}0p≥3 (and λ ₁>λ ₂>⋯>λ _p ), both sets contain an uncountably infinite number of vectors. Geometrical arguments demonstrate that B ₁ occurs at the intersection of two hyper-ellipsoids in ℝ ^p . Equations are provided for populating the sets B ₁ and B ₂ and for demonstrating that maximum enhancement occurs when b is collinear with the eigenvector that is associated with λ _p (the smallest eigenvalue of the predictor correlation matrix). These equations are used to illustrate the logic and the underlying geometry of enhancement in population, multiple-regression models. R code for simulating population regression models that exhibit enhancement of any degree and any number of predictors is included in Appendices A and B.     

Models for stronger normal intuitionistic modal logics

This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated.This paper presents results of an investigation of intuitionistic modal logic conducted in collaboration with Dr Milan Boi.     

On quasivarieties and varieties as categories

Finitary quasivarieties are characterized categorically by the existence of colimits and of an abstractly finite, regularly projective regular generator G. Analogously, infinitary quasivarieties are characterized: one drops the assumption that G be abstractly finite. For (finitary) varieties the characterization is similar: the regular generator is assumed to be exactly projective, i.e., hom(G, –) is an exact functor. These results sharpen the classical characterization theorems of Lawvere, Isbell and other authors.Supported by the Czech Grant Agency (Project 201/02/0148).Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko     

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.     

Frames and MV-algebras

We describe a class of MV-algebras which is a natural generalization of the class of “algebras of continuous functions”. More specifically, we're interested in the algebra of frame maps Hom (Ω(A), K) in the category T of frames, where A is a topological MV-algebra, Ω(A) the lattice of open sets of A, and K an arbitrary frame. Given a topological space X and a topological MV-algebra A, we have the algebra C (X, A) of continuous functions from X to A. We can look at this from a frame point of view. Among others we have the result: if K is spatial, then C(pt(K), A), pt(K) the points of K, embeds into Hom (Ω(A), K) analogous to the case of C (X, A) embedding into Hom (Ω(A), Ω (X)). 1991 Mathematics Subject Classification: 06F20, 06F25, 06D30 Presented by Ewa Orlowska     

On Reid's ‘Inconsistent Triad’: A Reply To McDermid

Thomas Hobbes, The Correspondence edited by Noel Malcolm. Clarendon Press, Oxford, 1994 (The Clarendon Edition of the Works of Thomas Hobbes, vols. VI and VII), pp. lxxvi‐1008. ISBN 0–19–824065–1 (v. 1), 0–19–824099–6 (v. 2). £60.00 each     

Equivalential logics (I)

The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logicSCI and many Others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices (models) are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of all simpleC-matrices for any equivalential logicC (Theorem I.14). In corollaries we give necessary and sufficient conditions for the class of all simple models for a given equivalential logic to be closed under free products (Theorem I.18). Theorem I.17 can be generalized as follows:For any equivalential logic C, clauses (i), (iii)and (v),formulated in Th.I.17,are equivalent.     

Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

The relative consistency of system RRC* and some of its extensions

We present a relative consistency proof for second order systemRRC* and for certain important extensions of this system. The proof proceeds as follows: we prove first the equiconsistency of the strongest of such extensions (viz., systemH RRC*+(/CP**)) with second order systemT ^* . Now, N. Cocchiarella has shown thatT ^* is relatively consistent to systemT*+Ext; clearly, it follows thatH RRC*+(/CP**) is relatively consistent toT*+E _xt. As an immediate consequence, the relative consistency ofRRC* and the other extensions also follows, being all of them subsystems ofH RRC*+(/CP**).I am grateful to the referee for some modifications suggested to an earlier draft of this paper.Presented byMelvin Fitting