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.     

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.     

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     

Are there human rights?

Conclusion In conclusion, I have tried to show that if there are any rights at all, legal, moral and political, there are at least the sorts of human rights cited in the Universal Declaration, rights which extend beyond the slender base provided by Hart's right to be free and which include the right to an adequate human life for everyone, rights shared by all, rights that, as rights, imply correlative duties. Even though the duties thus implied are admittedly imperfect, as rights, they confer upon right-holders, the authority to obligate others.I have argued for the most part against regarding any rights, even some human, rights (interchangable here with manifesto rights, welfare rights, rights of recipience, social and economic rights, programme rights, Fawcett calls them, positive in rem rights) as claims to rights or proposals for adoption as rights. I have argued that to have a right of any kind, including especially a human right, one shared by and held equally by all human beings,while not unconditional or unalterable, is fundamentally important, - to return once again to Feinberg's definition at the opening of this paper. A human right is fundamentally important, however, only if it, too, implies an obligation on the part of other people, one in which other people are obligated to use their power and resources to make things happen. To havea right is to be in a position to impose corresponding obligations on others. As Kant pointed out, a right of any kind gives a right holder a title to compel.

---

     

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.     

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.     

Linear programming techniques for multidimensional analysis of preferences

This paper offers a new methodology for analyzing individual differences in preference judgments with regard to a set of stimuli prespecified in a multidimensional attribute space. The individual is modelled as possessing an ideal point denoting his most preferred stimulus location in this space and a set of weights which reveal the relative saliences of the attributes. He prefers those stimuli which are closer to his ideal point (in terms of a weighted Euclidean distance measure). A linear programming model is proposed for external analysisi.e., estimation of the coordinates of his ideal point and the weights (involved in the Euclidean distance measure) by analyzing his paired comparison preference judgments on a set of stimuli, prespecified by their coordinate locations in the multidimensional space. A measure of poorness of fit is developed and the linear programming model minimizes this measure overall possible solutions. The approach is fully nonmetric, extremely flexible, and uses paired comparison judgments directly. The weights can either be constrained nonnegative or left unconstrained. Generalizations of the model to consider ordinal or interval preference data and to allow an orthogonal transformation of the attribute space are discussed. The methodology is extended to perform internal analysis,i.e., to determine the stimuli locations in addition to weights and ideal points by analyzing the preference judgments of all subjects simultaneously. Computational results show that the methodology for external analysis is unbiased—i.e., on an average it recovers the true ideal point and weights. These studies also indicate that the technique performs satisfactorily even when about 20 percent of the paired comparison judgments are incorrectly specified.The authors wish to express their deep appreciation to J. Douglas Carroll and Joseph B. Kruskal for their most valuable comments on an earlier version of this paper.     

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     

“Paramount reality” in Schutz and Gurwitsch

Conclusion Both Schutz and Gurwitsch describe reality as having a manifold character: Schutz speaks of multiple realities and Gurwitsch of orders of existence. Both hold that one realm of reality has a privileged status compared to the others: common everyday experience. However, in spite of this apparent convergence in their views, a closer reading of their various works reveal the important difference in what they understand under common everyday experience.For Schutz, it is the world of social action, characterized by him as paramount reality because of the constitutive processes of the experiences of time, space, sociality and meaning involved in action. For Gurwitsch, the realm of common everyday experience represents the counterpart and the origin of the constructed realm of science: therein lies its status of paramount reality. But what it really refers to is not ordinary experience, as most of his statements suggest, but pre-predicative experience, wherefrom the categories of the natural sciences, namely space and time, originate. Gurwitsch speaks of this pre-predicative experience, which he also calls primordial experience, as being essentially perceptual experience. However, he limits perceptual experience to sensory perception, leaving out the symbolic, social and action-related components of perception and becomes thus inconsistent with his adherence to the dismissal of the constancy hypothesis in his field theory of consciousness. The dismissal of the constancy hypothesis implies the recognition of the appresentational structures involving symbols, action and Others as inherent components of every perception. Schutz disagrees with Gurwitsch's reduction of the life-world Erlebnisse to sensory perception and this issue becomes the core of their debate on the phenomenon of paramount reality.     

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.     

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.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

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.     

The impact of generic word choices: An empirical investigation of age- and sex-related differences

Previous studies of receivers' responses to generic words have found that adults generally develop masculine imagery for neutral words and that men do this more than women. The present investigation of school-aged children (n=471) found that they, like adults, develop sex-specific masculine imagery in response to apparently neutral messages. Early adolescents, however, reported significantly more inclusive imagery than 6–7-year-olds. Different pronoun conditions elicited different mental imagery for the receivers of the messages with he/she eliciting more of a balance between male and female images and they eliciting more inclusive imagery.This work was supported by a grant from the Indiana University—Purdue University at Fort Wayne Research and Instructional Development Support Program.     

Once More into the Breach of Self-Ownership: Reply to Narveson and Brenkert

In reply to Narveson, I distinguish his no-proviso argument from his liberty argument, and I show that both fail. I also argue that interference lacks the strategic status he assigns to it, because it cannot be appropriately distinguished, conceptually and morally, from prevention; that natural resources do enjoy the importance he denies they have; that laissez-faire economies lack the superiority he attributes to them; that ownership can indeed be a reflexive relation; that anti-paternalism does not entail libertarianism; and that he misrepresents the doctrines of a number of philosophers, including John Locke, Ronald Dworkin, and myself. In reply to Brenkert, I show that he seriously misconstrues my view of the nature of freedom, and of its relationship to self-ownership. I then refute his criticisms of my treatment of the contrasts between self-ownership, on the one hand, and autonomy and non-slavery, on the other. I also show that his attempt to exorcize the demon of self-ownership is multiply flawed.     

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.     

Nohl, Durkheim, and Mead: Three Different Types of "History of Education"

Historiography of education is not only a question of construction but also of selection. In 19th century history of education was typically a genre of great educators, mostly male and only marginally female. This construct is influential up to now, at least in popular contexts of educational reasoning. The article discusses in the introductory section problems of selection of names and meanings within history of education, and then three types of historiographical writing that are not only concerned with great educators but have larger Philosophical impact. The first type is Herman Nohls history of German progressive education, the second one is Emile Durkheims history of Higher Education in France, and the third one is George Herbert Meads Movements of Thought in 19th Century. The article compares them and discusses their implications for further development of historical writing in education.     

Therapeutic Implications of a Social Interaction Model of Posttraumatic Stress

Out of the many aspects of posttraumatic adaptation the role of self-process is emphasized, where self is conceptualized as the representation of social interaction: Not only the messages conveyed by others, but also a person's inner response to that messages, forms ongoing self-processes. Traumatic experiences lead to distorted self-processes, to a great extent due to posttraumatic inner dialogues. Therapeutic implications and experiences from Bosnia are discussed, where this model has been applied.     

Analityczne komponenty definicji arbitralnych

Tre: Wstp. I. Definicje arbitralne. II. Syntetyczne konsekwencje definicji arbitralnych III. Analityczne i rzeczowe komponenty definicji arbitralnych. IV. Zdania analityczne.Artyku ten w nieznacznym tylko stopniu róni si od pracy doktorskiej, któr przedstawiem w 1962 r. Jak najuprzejmiej dzikuj Prof. Dr M. Kokoszyskiej-Lutman, Prof. Dr J. Supeckiemu oraz Doc. Dr M. Przeckiemu za szereg uwag i wskazówek, z których tak wiele skorzystaem przygotowujc ostateczn redakcj pracy.