On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

Stuffed Cabbage in the Old New School Cafeteria

The purpose of this lecture is to celebrate the memory of Aron Gurwitsch by examining and enlarging the domain of phenomenological clarification of some elements of what Gurwitsch called the logic of reality. Chief among those elements are the nature of the taken-for-grantedness of our existential belief, the difference between presentive and non-presentive indices of reality and the ground for the self-illumination of the world of working.     

Dowód aksjomatyzowalności pewnychn-wartościowych rachunków zdań

Praca ta zostaa wykonana pod kierunkiem prof. drJerzego Supeckiego. Jej szczególny przypadek dotyczcyn-wartociowego rachunku zda o jednej wartoci wyrónionej by referowany w Warszawie na zjedzie Grupy Logiki Instytutu Filozofii i Socjologii PAN. Streszczenie tego referatu [5] zostao wydrukowane w Sprawozdaniach Wydziau Nauk Spoecznych PAN.Allatum est die 19 Aprilis 1963     

Utility theory with inexact preferences and degrees of preference

a–b* c–d is taken to mean that your degree of preference for a over b is less than your degree of preference for c over d. Various properties of the strength-of-preference comparison relation * are examined along with properties of simple preferences defined from *. The investigation recognizes an individual's limited ability to make precise judgments. Several utility theorems relating a–b * c–d to u(a)–u(b) are included.     

On some structural aspects of physical problems

Bachelard's concept of the problématique is used in order to classify physical problems and their interrelations. This classification is effectuated along two dimensions. Along the horizontal dimension, physical problems are divided into the kinds that the different modes of physics' development define. These modes are themselves determined by the interplay among the conceptual system, the object and the experimentation transactions specific to physics. Along the vertical dimension, physical problems are classified according to the different stages of maturation they have to undergo before the process of their solution is effectively undertaken. To determine these maturation stages, the Althusserian conception of ideology is used. The interrelations between physical problems are examined through the introduction and elaboration of the notion interdependence network.It is a pleasure to thank Marcello Pera and Kostas Gavroglou for their very helpful comments and criticisms.     

Construction of monadic three-valued Łukasiewicz algebras

The notion of monadic three-valued ukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued ukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued ukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations and ^* such that ^*x=^*x (where ^*x=-^*-x). In this case we shall say that and ^* commutes. If B is finite and is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ^* which commute with .Taking into account R. Mayet [3] we also construct a monadic three-valued ukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Unión Matemática Argentina (October 1989, Rosario, Argentina).     

Demonstrative utterances

Conclusion We have worked out a small part of a program originally devised by Kaplan which included a clarification of the phrase y intends to demonstrate x. The analysis of demonstrative utterances, combined with a theory of deferred ostensive reference, enabled us to account for a much larger class of utterances (accompained by a relevant gesture) than expected. Regrettably, the analysis forces more questions on us than it answers. Although I have used the term gesture quite freely without providing any sort of explication, there is much more to say about gestures and their relation to speech. Especially questions concerning the ontological nature of gestures (What kind of a thing is a gesture anyway?), their epistemological status (How can we tell gestures apart from other actions?), and their semantic status (What makes a gesture have meaning?) have remained largely unexplored. To my knowledge, no philosopher in the analytic tradition has addressed those issues in any systematic manner.     

Vulnerability schemas of individuals in couples relationships: a cognitive perspective

The professional literature has recently given attention to addressing individual schemas in couples relationships, with particular emphasis on the fact that individual vulnerability has a significant impact on couples relationships. This article addresses how this vulnerability can be restructured during the course of couples therapy. Case vignettes are used to illustrate how the model can be applied. Some of the implications of this model are considered in the discussion section.Authors note: Portions of this article were published in Norwegian by the first author and appear in Nordby, T.T. (2002): Kognitiv parterapi. En tilnærming som ivaretar betydningen av den individuelle sårbarheten i samspillet. Reprinted by permission of Fokus på familien 30, 46–60.     

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

A modification of kendall's tau for measuring association in contingency tables

A coefficient of association is described for a contingency table containing data classified into two sets of ordered categories. Within each of the two sets the number of categories or the number of cases in each category need not be the same.=+1 for perfect positive association and has an expectation of 0 for chance association. In many cases also has –1 as a lower limit. The limitations of Kendall's _a and _b and Stuart's _c are discussed, as is the identity of these coefficients to' under certain conditions. Computational procedure for is given.     

Michael Balint's Group Approach: The Boston Balint Group

Michael Balint was a physician/psychoanalyst who trained in Hungary and emigrated to England in 1939 when Nazi Germany began to dominate Europe. At the Tavistock Clinic, he and his wife met with social workers and physicians around case discussion seminars. With his strong interest in medicine and his curiosity about the patient-physician relationship, he initiated research/training groups with interested physicians, which ultimately led to publication of the now-classic The Doctor, His Patient, and the Illness, a rich text that has become a virtual staple of family practice residencies, along with Balint Groups for training. Balint refrained from considering his groups psychotherapy in order to minimize resistance of his physician-students. But because the groups lasted sometimes for years and explored transference and countertransference in patient-physician relationships, he acknowledged that the result was personal growth of the participants. His techniques are described and an example of a Balint Group (Boston Group) are presented here.     

Confusion in philosophy: A comment on Williams (1992)

Patricia Williams made a number of claims concerning the methods and practise of cladistic analysis and classification. Her argument rests upon the distinction of two kinds of hierarchy: a divisional hierarchy depicting evolutionary descent and the Linnean hierarchy describing taxonomic groups in a classification. Williams goes on to outline five problems with cladistics that lead her to the conclusion that systematists should eliminate cladism as a school of biological taxonomy and to replace it either with something that is philosophically coherent or to replace it with pure methodology, untainted by theory (Williams 1992, 151). Williams makes a number of points which she feels collectively add up to insurmountable problems for cladistics. We examine Williams' views concerning the two hierarchies and consider what cladists currently understand about the status of ancestors. We will demonstrate that Williams has seriously misunderstood many modern commentators on this subject and all of her five persistent problems are derivable from this misunderstanding.

Nelson (1989, 67).

     

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.     

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.     

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.     

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.     

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     

The language dependence of accuracy

David Miller has demonstrated to the satisfaction of a variety of philosophers that the accuracy of false quantitative theories is language dependent (cf. Miller 1975). This demonstration renders the accuracy-based mode of comparison for such theories obsolete. The purpose of this essay is to supply an alternate basis for theory comparison which in this paper is deemed the knowledge-based mode of quantitative theory comparison. It is argued that the status of a quantitative theory as knowledge depends primarily on the soundness of the measurement procedure which produced the theory; such soundness is invariant, on my view, under Milleresque translations. This point is the basis for the linguistic invariance of knowledgelikeness. When the aim of science is not construed simply in terms of the truthlikeness or accuracy of theories, but in terms of the knowledge such theories embody, Miller's language dependence problem is overcome. One result of this analysis is that the possibility of objective scientific progress is restored, a possibility that Miller's analysis has prima facie defeated.I am grateful to Noretta Koertge for numerous comments and criticisms. Thanks are also due to David Miller for clarification of several points in his (1975). Veronica Barnes also made a number of pertinent observations.     

Third Men: The Logic of the Sophisms at Arist. SE 22, 178b36–170a10

This article aims at elucidating the logic of Arist. SE 22, 178b36–179a10 and, in particular, of the sophism labelled "Third Man" discussed in it. I suggest that neither the sophistic Walking Man argument, proposed by ancient commentators, nor the Aristotelian Third Man of the , suggested by modern interpreters, can be identified with the fallacious argument Aristotle presents and solves in the passage. I propose an alternative reconstruction of the Third Man sophism and argue that an explanation of the lines regarding the identity of Coriscus and Coriscus the musician (178b39–179a3) is indispensable for its correct understanding, since they hint at another sophism in some important aspects analogous. Finally, I show that two contradictions concerning spotted by scholars in the passage are only apparent and can be dissolved once the assumption that the anti-Platonic Third Man argument is at stake here is discarded, and once the passage is read in the light of its agonistic context.     

Foundations of a new system of probability theory

The aim of my book is to explain the content of the different notions of probability.Based on a concept of logical probability, which is modified as compared with Carnap, we succeed by means of the mathematical results of de Finetti in defining the concept of statistical probability.The starting point is the fundamental concept that certain phenomena are of the same kind, that certain occurrences can be repeated, that certain experiments are identical. We introduce for this idea the notion: concept K of similarity. From concept K of similarity we derive logically some probability-theoretic conclusions:If the events E() are similar —of the same kind - on the basis of such a concept K, it holds good that intersections of n of these events are equiprobable on the basis of K; in formulae: E(₁)...E( _{n K} E('₁)...E(' _n , _{i j} ,' _j ' _j for ij On the basis of some further axioms a partial comparative probability structure results from K, which forms the starting point of our further investigations and which we call logical probability on the basis of K.We investigate a metrisation of this partial comparative structure, i.e. normed -additive functions m _K, which are compatible with this structure; we call these functions m _K measure-functions in relation to K.The measure-functions may be interpreted as subjective probabilities of individuals, who accept the concept K.Now it holds good: For each measure-function there exists with measure one the limit of relative frequencies in a sequence of the E().In such an event, where all measure-functions coincide, we speak of a quantitative logical probability, which is the common measure of this event. In formulae we have: l _K (h _n lim h _n )=1 in words: There is the quantitative logical probability one that the limit of the relative frequencies exists. Another way of saying this is that the event ^* (h_n lim h _n) is a maximal element in the comparative structure resulting from K.Therefore we are entitled to introduce this limit and call it statistical probability P.With the aid of the measure-functions it is possible to calculate the velocity of this convergence. The analog of the Bernoulli inequation holds true: m _K (¦h _n –P¦)1–1/4n².It is further possible in the work to obtain relationships for the concept of statistical independence which are expressed in terms of the comparative probability.The theory has a special significance for quantum mechanics: The similarity of the phenomena in the domain of quantum mechanics explains the statistical behaviour of the phenomena.The usual mathematical statistics are explained in my book. But it seems more expedient on the basis of this new theory to use besides the notion of statistical probability also the notion of logical probability; the notion of subjective probability has only a heuristic function in my system.The following dualism is to be noted: The statistical behaviour of similar phenomena may be described on the one hand according to the model of the classical probability theory by means of a figure called statistical probability, on the other hand we may express all formulae by means of a function, called statistical probability function. This function is defined as the limit of the relative frequencies depending on the respective state of the universe. The statistical probability function is the primary notion, the notion of statistical probability is derived from it; it is defined as the value of the statistical probability function for the true unknown state of the universe.As far as the Hume problem, the problem of inductive inference, is concerned, the book seems to give an example of how to solve it.The developed notions such as concept, measure-function, logical probability, etc. seem to be important beyond the concept of similarity.The present work represents a summary of my book Grundzüge zu einem neuen Aufbau der Wahrscheinlich-keitstheorie [5], For this reason, I have frequently dispensed with providing proof and in this connection refer the interested reader to my book.