On relative universality and Q-universality

Adams and Dziobiak proved that any finite-to-finite universal quasivariety must be Q-universal, and then asked whether a somewhat weaker hypothesis could lead to the same conclusion. We show that their original hypothesis cannot be weakened to its naturally extreme form.To Professor Ale Pultr on his 65th birthdayThe authors gratefully acknowledge the support of the NSERC of Canada, of the project LN00A056 of the Czech Ministry of Education, and also of the Grant Agency of Czech Republic under the grant 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     

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     

A. “Verification” of statements in psychology

(1) In contradistinction to mathematics, physics and biology, psychology and psychiatry deal to a large extent with the verbal behaviour of their objects. They are faced with two kinds of sense-problems: those with which the observer has to do in his theory-construction, and those which are characteristic of the verbal behaviour of his subjects.(2) Apart from a schematic and simplified usage, as it occurs in filling-up exercises and other laboratory verbal behaviour, the psychologist has to do with statements the sense of which, on the one hand, is determined by the usage of his subjects and, on the other hand, so far as his records and theory are concerned, by his own language-sense.(3) This situation may give rise, and often gives rise, to all kinds of verbal confusions. If we call object-language the language used in verbal behaviour of people which psychology investigates and meta-language the language psychology uses in its discourse about the verbal behaviour of people, it becomes obvious that in present-day psychology the two languages are inextricably mixed together. The language of the subject is I-language, that of the observer, in relation to the subject, is he-language. Both, investigators and investigated, often use terms without referents or with only verbal associations. There can be a great dispersion between the sense of statements used by the subject and that of statements used by the observer.(4) The use of physical language is not a remedy against a confusing terminology. One can tell highly speculative stories in physical language. The empirical verification of statements used by the investigator would require naming the concrete operations involved in testing them.(5) Objective, in the sense of a class of responses yielding maximum reliability coefficients within or between individuals facing a common observational situation or situational element, refers to a criterion to which the protocol of the tester is subjected. An investigation into the way in which subjects verify their, often mainly emotive, statements requires other means (e.g. looking at the way in which they justify their behaviour or trying to break through the chain of their verbal associations (circular reasonings)).     

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.     

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

The paper deals with the problem of axiomatizing a system 1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 (immediate successor) and -1 (immediate predecessor). 1 is like the Segerberg-Sundholm system W1 in working with so-called infinitary inference rules; on the other hand, it differs from W1 with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a now operator, and, most importantly, with respect to (iii) the presence in of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of 1.The present contribution reports research done under the auspices of the Swedish Council for Research in the Humanities and the Social Sciences (HSFR), project On the Legal Concepts of Rights and Duties: an Analysis Based on Deontic and Causal Conditional Logic. I wish to thank the anonymous referee for his/her extremely patient and accurate revision work, and Krister Segerberg for his helpful suggestions.     

Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics.     

On the logic of conscious belief

In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (B BB and B B B) are added to the usual ones. LB is proved to be sound and complete with respect to Boolean algebras equipped with proper filters (Theorem 5). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are further dealt with, one of which turns out to be S5.     

“Some more” notes,toward a “third” sophistic

Historians of rhetoric refer to two Sophistics, one in the 5th century B.C. and another c. 2nd century A.D. Besides these two, there is a 3rd Sophistic, but it is not necessarily sequential. (The 3rd is counter to counting sequentially.) Whereas the representative Sophists of the 1st Sophistic is Protagoras, and the second, Aeschines, the representative sophists of the 3rd are Gorgias (as proto-Third) and Friedrich Nietzsche, Jean-François Lyotard, Michel Foucault, Jacques Lacan, and Paul de Man.To distinguish between and among Socrates, Plato, and Aristotle, and then Protagoras, Gorgias, and Lacan, the author determines how far each of these personages can count. The model of counting, used semiotically across the topoi of possible/impossible, is that of the people of New Guinea: one thing, two things, many things. It is determined (generally) that the philosophers, including Aristotle, count to one; the Sophists to two; and Gorgias, Lacan, and Lyotard, et al. count to many things, thereby breaking up a monism or binarism. The ancient philosophers employ a substratum of probability to hold together the contraries of possible/impossible; the Sophists employ anti/logic, which keeps the contraries/antitheses separate and therefore without synthesis, but which eventually threatens the integrity of the substratum, or the law of non-contradiction; and Gorgias, Lacan, Lyotard et al. theorize about the impossibility/Resistance of the Logos (reason, logic, law, argumentation, history) to Theory/Totalization, because of the Gorgian Kairos and the Lacanian Real — both of which enter the Logos and break up the cycle of the antitheses and create something new, irrational (Untersteiner).This breaking up has a negative/positive influence on Protagoras's man-measure doctrine, which in turn has a similar influence on the problem of the ethical subject. The subject/agent not only no longer knows (by way of Logos) but also no longer acts (as independent agent); the subject becomes a function of Logos as determined by Kairos/Real; it moves from a hypotaxis/syntaxis of one and two to a radical parataxis/paralogy of some more.From the Impossibility/tragedy of knowledge, however, comes the Possible, or Possibilisms, which allows for the new (though divided) ethical subject to reclaim its position as individual. Such a reclamation of the subject, however, has a profound effect on argumentation, and especially the notion of consensus. What is wanted, then, in a Third Sophistic ethical — as opposed to a political — rhetoric is dissensus through radical parataxes and paralogies.     

Hemingway's Aging Heroes and the Concept of Phronesis

This article explores the concept of phronesis (practical wisdom) in four aging protagonists in Ernest Hemingway's works ranging from the short story A Clean Well-Lighted Place to the novella The Old Man and the Sea. Phronesis represents an understanding of the ways of the world, an acute sensitivity to a critical logic of human existence that can be attained only through extensive experience and suffering. The four aging protagonists are examples of Hemingway's definition of aging productively and profitably by purchasing an inner peace that consists of an intuitive system of continuous adjustment to the exigencies of daily living.     

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.     

Axiomatizing logics closely related to varieties

Let V be a s.f.b. (strongly finitely based, see below) variety of algebras. The central result is Theorem 2 saying that the logic defined by all matrices (A, d) with d A V is finitely based iff the A V have 1^st order definable cosets for their congruences. Theorem 3 states a similar axiomatization criterion for the logic determined by all matrices (A, ^A), A V, a term which is constant in V. Applications are given in a series of examples.     

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.     

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     

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 New Representation Theorem for Contranegative Deontic Logic

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).     

Self and others in “private language”

The aim of this paper is to restore the interdependent or complementary relationship between self and others against the universalistic one (as I call it) that Kant, for example, once insisted on, by reexamining the concept of so-called private language. I shall consider some views in speech act theory and pragmatics, since there has often been discussion about such a private occurrence as the speaker's sincerity. For example, Jürgen Habermas situates it in the speaker's internal nature as will be seen later. In my opinion, alter ego is an ego because we can empathize (einfühlen) with it, and yet it is alter ego because it has some private experiences which we cannot perfectly comprehend.     

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     

Test of the violation of local realism in quantum mechanics with no use of Bell's inequalities

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies and noise.     

On Neat Reducts of Algebras of Logic

SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals < , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if and only if > 1.From this it easily follows that for 1 < < , the operation of forming -neat reducts of algebras in K does not commute with forming subalgebras, a notion to be made precise.We give a contrasting result concerning Halmos' polyadic algebras (with and without equality). For such algebras, we show that the class of infinite dimensional neat reducts forms a variety.We comment on the status of the property of neat reducts commuting with forming subalgebras for various reducts of polyadic algebras that are also expansions of cylindric-like algebras. We try to draw a borderline between reducts that have this property and reducts that do not.Following research initiated by Pigozzi, we also emphasize the strong tie that links the (apparently non-related) property of neat reducts commuting with forming subalgebras with proving amalgamation results in cylindric-like algebras of relations. We show that, like amalgamation, neat reducts commuting with forming subalgebras is another algebraic expression of definability and, accordingly, is also strongly related to the well-known metalogical properties of Craig, Beth and Robinson in the corresponding logics.