A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

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.     

Distance and fusion in Robinson Jeffers' “the purse-seine” and other poems

Distance and fusion are fundamental ideas in Bowenian thinking, especially as expressed in the dynamic of distancing and pursuing. In this paper I have used these ideas as a means to briefly examine a short selection of Robinson Jeffers' poetry, which provides us with a literary example of these concepts in action.My thanks to M. K. Lane and the anonymous reviewers of an earlier draft of this article for their many suggestions, especially to the reviewer who helped me better distinguish between distance and fusion, and intimacy and autonomy.     

Lexical insertion,inflection, and derivation: Creative processes in word production

This study examines the distinction between creative and noncreative behavior as applied to the production of words and sentences. Under one hypothesis words such as governor and government are stored as independent units and produced by rote, but under another these nouns are not produced as fully integrated units but are generated by rules for combining stems (govern) and affixes (-ment and -or). Analyses of German and English speech errors supported the generation-by-rule thesis and indicated that word stems, prefixes, and suffixes must be separately stored in the internal lexicon and marked as to syntactic function in combining with other word components. The data also suggested a three-stage model of lexical processes in the production of speech: a lexical insertion stage whereby abstract lexical formatives are called on or introduced into sentences by means of abstract syntactic and semantic features; a rule application stage whereby feature agreement rules are applied to the formative and then inflectional, derivational, and phonological rules are applied to derive the phonetic string; finally a serial output stage whereby the phonetic string is translated into serially ordered motor commands.This research was supported by NIMH Grant RO 19964 to Donald Mackay.     

The Origin of the Concept of “Allgemeinbildung” in 18th Century Germany

The German theory of education refers mainly to what is called Bildung. The historical sense of Bildung is not cultivaion, but cultivation for inwardness. This concept has two sources, the neo-platonic inner soul on one hand, pietistic piety on the other hand. The article shows that these sources had been part of European discussions before the development of national cultures after 1750. So the German concept of Bildung, famous for the German Sonderweg in culture and politics, had been composed out of non-German sources. The nationalizaiton of inwardness began at the end of the 18th century and was established in 19th century German Higher Education.     

Ideal Epistemic Situations and the Accessibility of Realist Truth

There is a widespread opinion that the realist idea that whether a proposition is true or false typically depends on how things are independently of ourselves is bound to turn truth, in Davidson's words, into something to which humans can never legitimately aspire. This opinion accounts for the ongoing popularity of epistemic theories of truth, that is, of those theories that explain what it is for a proposition (or statement, or sentence, or what have you) to be true or false in terms of some epistemic notion, such as provability, justifiability, verifiability, rational acceptability, warranted assertibility, and so forth, in some suitably characterized epistemic situation. My aim in this paper is to show that the widespread opinion is erroneous and that the (legitimate) epistemological preoccupation with the accessibility of truth does not warrant the rejection of the realist intuition that truth is, at least for certain types of propositions, radically nonepistemic.     

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.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann     

Care and the dynamics of social world

The concept of social world is formulated for the purpose of deepening our understanding of the dynamics of inclusion, exclusion, and care in interpersonal interaction. World is defined as an irreducible subject-object polarity.Social world is the extremely fragile environment within which people meet, and is easily destroyed. With special attention to family and church life, the conditions for maintaining or losing this environment are examined. Three levels of social world are defined. On the highest level, mutual care, rather than shared opinion, is seen as the factor that facilitates the preservation of social world in the face of world-threatening issues.     

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.     

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.     

O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962     

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     

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.     

Development of Gender Differences in Children's Responses to Animated Entertainment

This study examined gender differences in children's responses to animated scenes from an action adventure versus a sad film, and to animated previews of a prototypical male versus female movie. Females were more likely than males to express sadness in response to the sad scene, and gender differences in intensities of sadness increased with age. Children were much more likely to stereotype the male preview as most liked by other boys, whereas the majority of children perceived the female preview as liked by either gender equally. In terms of enjoyment of the male and female previews, gender differences in enjoyment of the male preview were apparent only among children who perceived the film as more appealing to boys, and gender differences in enjoyment of the female preview were apparent only among children who perceived the film as more appealing to girls. Implications for children's programming are discussed.     

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

A further analysis of the affective meanings associated with male and female sex-trait stereotypes

This study was concerned with the qualitative differences in the male and female sex-trait stereotypes. Previous research employing the item pool of the Adjective Check List (ACL) had indicated no relationship between the stereotype loading of the adjectives and their favorability ratings. In the present study, university students rated the ACL items for strength and activity, and these ratings were used to demonstrate that the male stereotype was appreciably stronger and more active than the female stereotype. It was found that the strength ratings were highly correlated with both activity and favorability ratings which were, themselves, unrelated. It was concluded that the principal qualitative difference between the stereotypes lay in the connotations of activity and passivity associated, respectively, with the male and female stereotype traits, and that any assertion of greater social desirability for the male stereotype was based on its greater activity and not, as is often supposed, on its greater favorability.     

Независимость одной системы аксиом и правила вывода пропозиционального исчисления

- Allatum est die 5 Martii 1970     

Ghost Gestures: Phenomenological Investigations of Bodily Micromovements and Their Intercorporeal Implications

This paper thematizes the operative kinaesthetic style of world-experiencing life by turning to the ongoing how of our habitual bodily comportment: to our deeply sedimented way(s) of making a body; to schematic inner vectors or tendencies toward movement that persist as bodily ghost gestures even if one is not making the larger, visible gestures they imply; and to inadvertent isometrics, i.e., persisting patterns of trying, bracing, freezing, etc. All such micromovements witness to our sociality insofar as they are not only socially shaped, but perpetuate certain styles of intercorporeal interaction and sustain certain modes of responsivity. Reactivating the sediment -- retrieving the tacit choreography of everyday life from its anonymity and sensing our ongoing ways of living out the legacy of our communal body -- not only allows one's individual bodily style to shift, but can open new possibilities for healthy interkinaesthetic comportment. Such work can thus contribute to an embodied ethics in both theory and practice.     

Action incompleteness

The author has previously introduced an operator into dynamic logic which takes formulae to terms; the suggested reading of A was the bringing about of A or the seeing to it that A. After criticism from S. K. Thomason and T. J. Surendonk the author now presents an improved version of his theory. The crucial feature is the introduction of an operatorOK taking terms to formulae; the suggested reading of OK is always terminates.