Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

For every sequence |p _n } _n of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory diagonalizable algebras, we associate a formula ⁰ A, called the value ofA inPA with respect to the interpretation. We show that, ifA is true in every diagonalizable algebra, then, for every, ⁰ A is a theorem ofPA.     

Intuitionistic uniformity principles for propositions and some applications

This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements.     

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.     

A Revenge-Immune Solution to the Semantic Paradoxes

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema True(A)A, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in ordinary contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are defective. We can in fact define a hierarchy of defectiveness predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (revenge problems) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various levels of defectiveness can all be made coherent together within a single object language.     

In Defense of Indexicalism:Comments on Davis

Wayne Davis (2004) argues against the thesis that knowledge claims are indexical, and he presents an alternative account of the contextual variability of our use of S knows p. In this commentary I focus on the following three points. First, I want to supplement Daviss considerations about the inability of indexicalism to deal with skeptical paradoxes by considering what the consequence would be if the indexicalists explanation of these paradoxes were satisfactory. Second, I am going to take a brief look at Daviss alternative theory. Third, in the main part of my commentary I try to show that indexicalism may be true in spite of the linguistic evidence Davis presents against it.     

Elementary Extensions of External Classes in a Nonstandard Universe

In continuation of our study of HST, Hrbaek set theory (a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the st--language, and Saturation for well-orderable families of internal sets), we consider the problem of existence of elementary extensions of inner "external" subclasses of the HST universe.We show that, given a standard cardinal , any set R * generates an "internal" class S(R) of all sets standard relatively to elements of R, and an "external" class L[S(R)] of all sets constructible (in a sense close to the Gödel constructibility) from sets in S(R). We prove that under some mild saturation-like requirements for R the class L[S(R)] models a certain -version of HST including the principle of +-saturation; moreover, in this case L[S(R)] is an elementary extension of L[S(R)] in the st--language whenever sets R R satisfy the requirements.     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

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     

Axiomatization and completeness of uncountably valued approximation logic

A first order uncountably valued logicL _Q(0,1) for management of uncertainty is considered. It is obtained from approximation logicsL _T of any poset type (T, ) (see Rasiowa [17], [18], [19]) by assuming (T, )=(Q(0, 1), ) — whereQ(0, 1) is the set of all rational numbersq such that 0<q<1 and is the arithmetic ordering — by eliminating modal connectives and adopting a semantics based onLT-fuzzy sets (see Rasiowa and Cat Ho [20], [21]). LogicL _Q(0,1) can be treated as an important case ofLT-fuzzy logics (introduced in Rasiowa and Cat Ho [21]) for (T, )=(Q(0, 1), ), i.e. asLQ(0, 1)-fuzzy logic announced in [21] but first examined in this paper.L _Q(0,1) deals with vague concepts represented by predicate formulas and applies approximate truth-values being certain subsets ofQ(0, 1). The set of all approximate truth-values consists of the empty set ø and all non-empty subsetss ofQ(0, 1) such that ifqs andqq, thenqs. The setLQ(0, 1) of all approximate truth-values is uncountable and covers up to monomorphism the closed interval [0, 1] of the real line.LQ(0, 1) is a complete set lattice and therefore a pseudo-Boolean (Heyting) algebra. Equipped with some additional operations it is a basic plain semi-Post algebra of typeQ(0, 1) (see Rasiowa and Cat Ho [20]) and is taken as a truth-table forL _Q(0,1) logic.L _Q(0,1) can be considered as a modification of Zadeh's fuzzy logic (see Bellman and Zadeh [2] and Zadeh and Kacprzyk, eds. [29]). The aim of this paper is an axiomatization of logicL _Q(0,1) and proofs of the completeness theorem and of the theorem on the existence ofLQ(0, 1)-models (i.e. models under the semantics introduced) for consistent theories based on any denumerable set of specific axioms. Proofs apply the theory of plain semi-Post algebras investigated in Cat Ho and Rasiowa [4].Presented byCecylia Rauszer     

The Self Psychology of Heinz Kohut: What's It All About Theologically?

As a psychoanalytic thinker who offered by means of his self psychology a new paradigm of psychological development and functioning, Heinz Kohut was also a theologian manqué. With the help of the method of interpretation devised by Paul Tillich and David Tracy, Kohut's limit-concepts of tragic man, the self-object, and empathy, all set within his theory of narcissism, are elucidated as theological constructs. These are critiqued for adequacy from a Christian perspective. The conclusion is that Kohut's understanding of the human dilemma and of the way of salvation correlates well with Christianity, while his view of empathy as the means of salvation has created some confusion. Kohut has thus left an unfinished, profoundly important, agenda for theologians and clinicians.     

From I: A/M to “Who am I?”—Aggregation/Massification and Trauma-Based Affects and Object Relations in Groups: A Response to Earl Hopper

Hopper's portrayal of the fourth basic assumption of Incohesion: Aggregation/Massification has two components: (1) a revision of Turquet's theory of BA Oneness to incorporate the polarity of aggregation and massification stemming from annihilation anxiety; and (2) a conception of the difficult patient as having an encapsulated psychosis. Hopper's theory of the encapsulated psychosis offers an important but incomplete perspective in explaining borderline and narcissistic pathology, as well as psychological trauma. In this response to Hopper, I suggest that the fourth assumption is in fact a still more primitive state of boundary opening and closing. I also see a need to differentiate trauma as such from borderline pathology, and further hold that the relationship between Hopper's British Independent theory and trauma theories based on dissociation needs to be clarified.     

Fallacies and moral dilemmas

The continuing debate between utilitarians and deontologists often takes the form of disagreement over how particular moral dilemmas are to be resolved, but protagonists on both sides tend to overlook the possibility of resolving a dilemma with remainder, such as regret. The importance of remainder is also overlooked by critics of some absolutist ways of resolving or slipping between the horns of certain moral dilemmas. Moreover, deontologists, if not utilitarians, can be criticised for overlooking the possibility that, according to their theory, some dilemmas may be irresolvable. Virtue ethics, with its concentration on the agent, readily accommodates both mention of remainder and irresolvable dilemmas, and yields a specification of tragic dilemmas which the other two theories might like to take on.     

Intellectual fascism

Intellectual fascism is the arbitrary belief that individuals possessing certain good traits (such as intelligence and creativity) are intrinsically superior to those possessing bad traits (such as stupidity or lack of artistry). Although it is true that under certain conditions and for various purposes some human traits are more advantageous or better than others, rating people as good or bad on the basis of their intellectual performances is inaccurate and is often as pernicious as is political-social fascism. Moreover, where political fascists at least rate themselves highly while damning and persecuting others, intellectual fascists tend to severely damn themselves (as well as others) when they lack superlative intellectual and artistic traits. According to RET, all global ratings of people tend to be fascistic overgeneralizations. Intellectual fascism is political-social fascism with the trait names changed—the same hearse with different license plates.This article is a revision of one that originally appeared in a book by Dr. Ellis entitledSuppressed.     

The American plan completed: Alternative classical-style semantics,without stars,for relevant and paraconsistent logics

American-plan semantics with 4 values 1, 0, { {1, 0}} {{}}, interpretable as True, False, Both and Neither, are furnished for a range of logics, including relevant affixing systems. The evaluation rules for extensional connectives take a classical form: in particular, those for negation assume the form 1 (A, a) iff 0 (A, a) and 0 (A, a) iff 1 (A, a), so eliminating the star function *, on which much criticism of relevant logic semantics has focussed. The cost of these classical features is a further relation (or operation), required in evaluating falsity assignments of implication formulae.Two styles of 4 valued relational semantics are developed; firstly a semantics using notions of double truth and double validity for basic relevant systemB and some extensions of it; and secondly, since the first semantics makes heavy weather of validating negation principles such as Contraposition, a reduced semantics using more complex implicational rules for relevant systemC and various of its extensions. To deal satisfactorily with elite systemsR,E andT, however, further complication is inevitable; and a relation of mateship (suggested by the Australian plan) is introduced to permit cross-over from 1 to 0 values and vice versa.     

Structuring argumentation in a social constructivist framework: A pedagogy with computer support

What we usually think of as higher order skills in argumentation can be profitably viewed as systematic structures for organizing and representing information. Standard terms like line of argument, synthesis, analysis and draft can be viewed as ways of constructing, storing, and accessing data in a social context — data structures for social communication. What makes argument difficult are the multiple structures that arguers have to construct and negotiate when reading and composing. In this paper, we describe the WARRANT project, a project designed to identify data structures of written argument and to design and implement computer tools to aid in the reading and design of argument.     

Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

Expletives and woman's place

This study empirically examined the relationship between the expletives, bitch and bastard, and sex-role stereotyping. The expletives were rated by 68 men and 68 women on 80 trait adjectives as to how typical or characteristic each trait was of the stereotypic bitch or bastard in our society. The sex-role implications of the 10 trait terms judged most characteristic of each expletive were then examined. For male subjects, the most distinguishing feature between the two expletives was the inclusion of the stereotypically masculine trait dominant, in their characterization of bitch. Female subjects, on the other hand, did not ascribe such opposite sex-role stereotype traits to bitch, but rather emphasized stereotypically masculine traits in their characterization of bastard. These results are discussed in terms of the regulatory and expressive nature of language, as well as the differential sanction value of the terms bitch and bastard for out-of-role behavior.     

A partially ordered extention of the integers

This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.The editing of this unified version of two previous papers [Epstein, Rasiowa 1990, 1991] by the authors was completed, except for footnotes, while the first author visited at Warsaw University during June–July, 1994. The footnotes were added by the first author in September, 1994.Presented byRyszard Wójcicki     

On seeing oneself as “left out”: The chronically complaining patient in psychotherapy

A clinical observation regarding patients who complain about feeling left out and/or second best provides the framework for this paper. What is expressed is a form of separation anxiety coupled with a loser self-concept. It is suggested that these patients represent a milder form of the moral masochism. Early theoretical formulations include Freud and his emphasis on the superego and Reich's emphasis on the masochist's fear of being left alone. Kramer's little man phenomenon is an example of a more current theoretical formulation which takes account of the complexities of the ego, and composite self and identity in the clinical phenomena observed. A case of a latency-aged child is provided.     

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.