Undecidability without Arithmetization

In the present paper the well-known Gödels – Churchs argument concerning the undecidability of logic (of the first order functional calculus) is exhibited in a way which seems to be philosophically interestingfi The natural numbers are not used. (Neither Chinese Theorem nor other specifically mathematical tricks are applied.) Only elementary logic and very simple set-theoretical constructions are put into the proof. Instead of the arithmetization I use the theory of concatenation (formalized by Alfred Tarski). This theory proves to be an appropriate tool. The decidability is defined directly as the property of graphical discernibility of formulas.     

The logic of questions as a theory of erotetic arguments

This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.This paper was presented at the symposium Erotetic Logic. A Dialogue organized by the Center for the Philosophy and History of Science of Boston University (February, 1994) and prepared during my stay at the Department of Philosophy, University of California, Riverside as a Fulbright grantee.I would like to thank Professors David Harrah and Sylvain Bromberger for valuable suggestions and comments.     

Axiomatic extensions of the constructive logic with strong negation and the disjunction property

We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B εV, thenA×B is a homomorphic image of some well-connected algebra ofV. We prove:

• each varietyV of Nelson algebras with PQWC lies in the fibre σ^?1(W) for some varietyW of Heyting algebras having PQWC,
• for any varietyW of Heyting algebras with PQWC the least and the greatest varieties in σ^?1(W) have PQWC,
• there exist varietiesW of Heyting algebras having PQWC such that σ^?1(W) contains infinitely many varieties (of Nelson algebras) with PQWC.

     

Changes in anaclitic–introjective personality dimensions,outcomes and psychoanalytic technique: a multi-case study

This study investigates changes in latent mental structures along the anaclitic and introjective dimensions in relation to outcomes in 14 cases of publicly financed psychoanalysis. The method of prototype matching was adapted for personality assessment, and multiple outcome measures were applied. For the anaclitic cases, symptom reduction was accompanied by more mature integration of anaclitic and introjective personality dimensions, while the introjective cases showed symptom reduction without such improvement. This could indicate that sustainable change in latent mental structures is more difficult to achieve in introjective than in anaclitic patients. Further research is needed to validate these preliminary results.     

Address by Recipient of Great Man Award: A Rational Explanation of the Irrational: Freud's and Jung's Own Dreams Reinterpreted

Two hypotheses were tested: (a) That information critical of self will disrupt the body boundary; (b) That information which is self-enhancing will bolster the body boundary. Male and female Ss were exposed to tape recorded messages containing either self-critical or self-enhancing information. Holtzman Inkblots were administered before and during exposure to the taped messages. The state of the boundary was measured by means of the Fisher-Cleveland Barrier score. There were also two control conditions in which the taped input did not contain information either critical or enhancing of self. The results supported the hypothesis concerning the boundary disrupting impact of self-critical information; but they were not congruent with the hypothesis concerning the boundary bolstering effect of self-enhancing input.     

The Potential Dual Use of Online Pharmacies

The technological advances of the 20th century resulted in the creation of the Internet and its introduction into everyday life on a global scale. The Internet provides access to information and the sale and purchase of goods. Medications are also subject to trade. Their sale is conducted by online pharmacies and their global turnover amounts to hundreds of billions of dollars. Medications ordered over the Internet are sent by mail all over the world. Considering the events of recent years, we cannot exclude the risk of a terrorist attack through online pharmacies. Terrorists can establish such companies, legally or illegally, or acquire ones already existing. Parcels, which are highly trusted by the customers of online pharmacies, can, for example, be contaminated with dangerous materials. The sale of online medications in the international system is potentially dangerous and requires international regulation.