On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

Paraconsistent logic and model theory

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa'sC ₁ ⁼ (obtained by adding the axiom A A) and prove for it results which correspond to many major classical model theories, taken from Shoenfield [5]. In particular we prove counterparts of the theorems of o-Tarski and Chang-o-Suszko, Craig-Robinson and the Beth definability theorem.     

Theor of free choice permission

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application.     

Quantum Mechanical Unbounded Operators and Constructive Mathematics – a Rejoinder to Bridges

As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of closed operator, this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that may still be possible necessarily involve additional incompleteness in the mathematical representation of quantum phenomena. Concerning a second line of reasoning in Hellman (1993), its import is that constructivist practice is consistent with a liberal stance but not with a radical, verificationist philosophical position. Whether such a position is actually espoused by certain leading constructivists, they are invited to clarify.     

WHAT IT FEELS LIKE TO BE IN A SUPERPOSITION. AND WHY

This paper attempts an interpretation of Everett's relative state formulation of quantum mechanics that avoids the commitment to new metaphysical entities like worlds or minds. Starting from Everett's quantum mechanical model of an observer, it is argued that an observer's belief to be in an eigenstate of the measurement (corresponding to the observation of a well-defined measurement outcome) is consistent with the fact that she objectively is in a superposition of such states. Subjective states corresponding to such beliefs are constructed. From an analysis of these subjective states and their dynamics it is argued that Everett's pure wave mechanics is subjectively consistent with von Neumann's classical formulation of quantum mechanics. It follows from the argument that the objective state of a system is in principle unobservable. Nevertheless, an adequate concept of empirical reality can be constructed.     

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     

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     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

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

PROXY FUNCTIONS,TRUTH AND REFERENCE

Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (T) requires.A possible adjustment is to drop (T), retain the satisfaction definition and proxy argument, and appeal to the theory of observation and indeterminacy of reference as grounds of relativity. But as we shall see Quines theories of assent to observation sentences and of reference-learning dont square easily with his naturalism. The first attributes intentional attitudes to observers; and the second assumes a holistic context principle and a concept of individuation which do not withstand scrutiny as empirical notions. Both appear to violate Quines behavorist canon.A saving alternative is a theory of term-reference that appears in Roots of Reference and affords a return to behaviorism, and reinstatement of the proxy argument and relativity in a way compatible with Tarskis (T).     

“The story says that” operator in story semantics

In [2] a semantics for implication is offered that makes use of stories — sets of sentences assembled under various constraints. Sentences are evaluated at an actual world and in each member of a set of stories. A sentence B is true in a story s just when B s. A implies B iff for all stories and the actual world, whenever A is true, B is true. In this article the first-order language of [2] is extended by the addition of the operator the story ... says that ..., as in The story Flashman among the Redskins says that Flashman met Sitting Bull. The resulting language is shown to be sound and complete.     

Naive realism about operators

A source of much difficulty and confusion in the interpretation of quantum mechanics is a naive realism about operators. By this we refer to various ways of taking too seriously the notion of operator-as-observable, and in particular to the all too casual talk about measuring operators that occurs when the subject is quantum mechanics. Without a specification of what should be meant by measuring a quantum observable, such an expression can have no clear meaning. A definite specification is provided by Bohmian mechanics, a theory that emerges from Schrödinger's equation for a system of particles when we merely insist that particles means particles. Bohmian mechanics clarifies the status and the role of operators as observables in quantum mechanics by providing the operational details absent from standard quantum mechanics. It thereby allows us to readily dismiss all the radical claims traditionally enveloping the transition from the classical to the quantum realm — for example, that we must abandon classical logic or classical probability. The moral is rather simple: Beware naive realism, especially about operators!     

Mathematical quantum theory I: Random ultrafilters as hidden variables

The basic purpose of this essay, the first of an intended pair, is to interpret standard von Neumann quantum theory in a framework of iterated measure algebraic truth for mathematical (and thus mathematical-physical) assertions — a framework, that is, in which the truth-values for such assertions are elements of iterated boolean measure-algebras (cf. Sections 2.2.9, 5.2.1–5.2.6 and 5.3 below).The essay itself employs constructions of Takeuti's boolean-valued analysis (whose origins lay in work of Scott, Solovay, Krauss and others) to provide a metamathematical interpretation of ideas sometimes considered disparate, heuristic, or simply ill-defined: the collapse of the wave function, for example; Everett's many worlds'-construal of quantum measurement; and a natural product space of contextual (nonlocal) hidden variables.More precisely, these constructions permit us to write down a category-theoretically natural correlation between ideal outcomes of quantum measurements u of a universal wave function, and possible worlds of an Everett-Wheeler-like many-worlds-theory.The universal wave function, first, is simply a pure state of the Hilbert space (L ₂([0, 1]) ^M in a model M an appropriate mathematical-physical theory T, where T includes enough set-theory to derive all the analysis needed for von Neumann-algebraic formulations of quantum theory.The worlds of this framework can then be given a genuine model-theoretic construal: they are random models M(u) determined by M-random elements u of the unit interval [0, 1], where M is again a fixed model of T.Each choice of a fixed basis for a Hilbert space H in a model of M of T then assigns ideal spectral values for observables A on H (random ultrafilters on the range of A regarded as a projection-valued measure) to such M-random reals u. If is the universal Lebesgue measure-algebra on [0, 1], these assignments are interrelated by the spectral functional calculus with value 1 in the boolean extension (V( )) ^M , and therefore in each M(u).Finally, each such M-random u also generates a corresponding extension M(u) of M, in which ideal outcomes of measurements of all observables A in states are determined by the assignments just mentioned from the random spectral values u for the universal position-observable on L ₂([0, 1]) in M.At the suggestion of the essay's referee, I plan to draw on its ideas in the projected sequel to examine more recent modal and decoherence-interpretations of quantum theory, as well as Schrödinger's traditional construal of time-evolution. A preliminary account of the latter — an obvious prerequisite for any serious many-worlds-theory, given that Everett's original intention was to integrate time-evolution and wave-function collapse — is sketched briefly in Section 5.3. The basic idea is to apply results from the theory of iterated measure-algebras to reinterpret time-ordered processes of measurements (determined, for example, by a given Hamiltonian observable H in M) as individual measurements in somewhat more complexly defined extensions M(u) of M.In plainer English: if one takes a little care to distinguish boolean- from measure-algebraic tensor-products of the universal measure-algebra L, one can reinterpret formal time-evolution so that it becomes internal to the universal random models M(u).     

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.     

Toulmin on Ideals of Natural Order

In this paper I criticize Toulmin's concept of Ideals of Natural Order and his account of the role these Ideals play in scientific explanation as given in his book, Foresight and Understanding. I argue that Toulmin's account of Ideals of Natural Order as those theories taken to be self evident by scientists at a given time introduces an undesirable subjectivism into his account of scientific explanation. I argue also that the history of science, especially the recent history of microphysics, does not support Toulmin's contentions about the supposed self-evidence of the basic explanatory theories in science.     

On a new property of partially balanced association schemes useful in psychometric structural analysis

In an earlier paper [Psychometrika,31, 1966, p. 147], Srivastava obtained a test for the HypothesisH ₀ : = ₀₀ + ... + _ll, where i are known matrices,i are unknown constants and is the unknown (p ×p) covariance matrix of a random variablex (withp components) having ap-variate normal distribution. The test therein was obtained under (p ×p) covariance matrix of a random variablex (withp components) the condition that ₀, ₁, ..., l form a commutative linear associative algebra and a certain vector, dependent on these, has non-negative elements. In this paper it is shown that this last condition is always satisfied in the special situation (of importance in structural analysis in psychometrics) where ₀, ₁, ..., l are the association matrices of a partially balanced association scheme.This research was partially supported by the U. S. Air Force under Grant No. AF33(615)-3231, monitored by the Aero Space Research Labs.Now at Colorado State University.     

Equivalents of Mingle and Positive Paradox

Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.     

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.     

The relativity of perceptual knowledge

Since the most promising path to a solution to the problem of skepticism regarding perceptual knowledge seems to rest on a sharp distinction between perceiving and inferring, I begin by clarifying and defending that distinction. Next, I discuss the chief obstacle to success by this path, the difficulty in making the required distinction between merely logical possibilities that one is mistaken and the real (Austin) or relevant (Dretske) possibilities which would exclude knowledge. I argue that this distinction cannot be drawn in the ways Austin and Dretske suggest without begging the questions at issue. Finally, I sketch and defend a more radical way of identifying relevant possibilities that is inspired by Austin's controversial suggestion of a parallel between saying I know and saying I promise: a claim of knowledge of some particular matter is relative to a context in which questions about the matter have been raised.     

On reduced matrices

It is shown that the class of reduced matrices of a logic is a 1 ^st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 ^st order.