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.     

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

- Allatum est die 5 Martii 1970     

Aids,myth, and ethics

The present paper is a commentary on an article by Larry Churchill [1]. Churchill has argued that the negative attitudes and adverse behavior we commonly encounter in connection with (suspected) AIDS patients may be understood in terms of a dualistic myth inspiring a ritual avoidance of dirt, of dirt as something that does not belong to a clean world order. The deep-seated mythical character of attitudes and behavior here makes them less accessible to the kind of rational argument commonly employed in ethics. Churchill also proposes a remedy for the (morally outrageous) dualistic mythical-ritual behavior he has focused — a remedy that may be overly intellectualistic.Three further comments are made: on the metaphorical meaning of myth, on a reductionist tendency in Churchill's deep-looking project, and on an ethically crucial ambiguity in the meaning of the other person's otherness. These (mildly critical) comments do not, however, detract from a positive overall evaluation of Churchill's basic idea that we will understand more about adverse attitudes and behavior in connection with AIDS if we think in terms of myth, ritual, dirt, and cleanliness.     

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.     

"Solar love": Nietzsche,Merleau-Ponty and the fortunes of perception

Both Nietzsche and Merleau-Ponty repudiate the mirror view of perception and embrace what Nietzsche refers to as solar love or creative perception. I argue that Merleau-Ponty thinks of this type of perception primarily in terms of convergence and Nietzsche in terms of divergence. I then show how, contrary to their own emphases, Merleau-Ponty's notion of flesh and Nietzsche's idea of chaos suggest that convergence and divergence are abstractions from an ontologically prior realm of hybrid perceptions. In this realm, each perception is shot through with the others, simultaneously inside and outside one another. The creative tension among these perceptions continually produces new perspectives or voices, that is, a realm whose very being is metamorphosis. Moreover, this realm of hybrid perceptions suggests a political principle that might prove attractive for communities in an age of diversity and cultural hybridity.     

The endorsement of irrational beliefs in a general clinical population

Burgess' Attitude and Belief Scale, a measure of Ellis' irrational beliefs, was administered to a large sample of outpatients. All 13 subscales demonstrate very adequate internal consistency. A factor analysis yielded one factor accounting for 83% of the variance, which was labeled irrationality. Clients endorsed focused items more than overgeneralized items, self-referential items more than non-self-referential items, and preferential items more than irrational items. Clients also received higher scores on the irrational process of demandingness than they did on the irrational process of awfulizing, self-worth and low frustration tolerance. The results were consistent with new formulations in Rational-Emotive theory. Suggestions were made for the construction of measures of irrational beliefs.     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

Depression and Anxiety in Persons with Parkinson's Disease With and Without “On–Off” Phenomena

On–off phenomena in Parkinson's disease (PD) are unpredictable motor fluctuations associated with long-term levodopa use. Mood fluctuations have been found to coincide with the motor fluctuations in that depression and anxiety increase while the person with PD is in the off state. What has been relatively unexplored is whether those persons with PD who have on–off phenomena differ psychologically in fundamental ways from those who do not have on–off phenomena. In the present study, depression and anxiety symptoms were assessed in 36 persons with PD (n = 14 with on–off phenomena, n = 22 without on–off phenomena). All those with on–off phenomena were assessed in their on state. Those persons with PD with on–off phenomena had significantly higher levels of anxiety than those without on–off phenomena. However, both groups, regardless of on–off status, were mildly depressed. Neurobiological interpretations of the results implicate the locus coeruleus in the pathogenesis of both on–off phenomena and anxiety, whereas psychological interpretations of the results involve the issues of learned helplessness and control over health symptoms in PD.     

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.     

Personality organization as an aspect of back pain in a medical setting.

The MMPI profiles of 74 low back pain patients who had previously been classified as "functional,"organic," or "mixed" were sorted into six profile groups. The six profile groups were those used by Pichot, Perse, Lekous, Dureau, Perez, and Rychewaert (1972); denial, "conversion V" without defensiveness, "conversion V" with defensiveness, depressed/anxious, psychotic and normal. Results indicate that all six profile types are well represented in the low back pain group. Evidence is also presented which shows that each of the pathological MMPI profile types examined across "functional," "organic," and "mixed" classification is significantly more elevated than a normal profile group on two scales (Lb, DOR) designed to measure functional aspects of pain. Pathological MMPI profile groups did not differ significantly from each other on the "functional" pain scales. The data presented in this study point to the relationship of various forms of psychopathology with "functional pain." The findings of this study would not support a homogeneous "pain personality" for low back pain patients. However, combined "conversion V" profiles accounted for 58% of the "functional" group, 45% of the "mixed" group and 35% of the "organic" group.     

The amygdala is not necessary for unconditioned stimulus inflation after Pavlovian fear conditioning in rats

The basolateral complex (BLA) and central nucleus (CEA) of the amygdala play critical roles in associative learning, including Pavlovian conditioning. However, the precise role for these structures in Pavlovian conditioning is not clear. Recent work in appetitive conditioning paradigms suggests that the amygdala, particularly the BLA, has an important role in representing the value of the unconditioned stimulus (US). It is not known whether the amygdala performs such a function in aversive paradigms, such as Pavlovian fear conditioning in rats. To address this issue, Experiments 1 and 2 used temporary pharmacological inactivation of the amygdala prior to a US inflation procedure to assess its role in revaluing shock USs after either overtraining (Experiment 1) or limited training (Experiment 2), respectively. Inactivation of the BLA or CEA during the inflation session did not affect subsequent increases in conditioned freezing observed to either the tone conditioned stimulus (CS) or the conditioning context in either experiment. In Experiment 3, NBQX infusions into the BLA impaired the acquisition of auditory fear conditioning with an inflation-magnitude US, indicating that the amygdala is required for associative learning with intense USs. Together, these results suggest that the amygdala is not required for revaluing an aversive US despite being required for the acquisition of fear to that US.Pavlovian fear conditioning in rats is a behavioral model used to investigate the neurobiology underlying the development and maintenance of fear learning and memory (Grillon et al. 1996; LeDoux 1998, 2000; Bouton et al. 2001; Maren 2001b, 2005; Kim and Jung 2006). In this model, an innocuous conditioned stimulus (CS), such as a tone, is paired with an aversive unconditioned stimulus (US), such as a footshock. After one or more pairings, the rat learns that the CS predicts the US. As a consequence, CS presentations alone elicit a conditioned fear response (CR), which includes increases in heart rate, arterial blood pressure, hypoalgesia, potentiated acoustic startle, stress hormone release, and freezing (somatomotor immobility).The amygdala has been identified as one of the major regions in which fear memories are encoded and stored. Within the amygdala, the basolateral complex of the amygdala (BLA; consisting of the lateral, basolateral, and basomedial nuclei) and the central nucleus of the amygdala (CEA) receive convergent CS and US information and are involved in the acquisition of fear memories (LeDoux 1998, 2000; Fendt and Fanselow 1999; Davis and Whalen 2001; Maren 2001b; Schafe et al. 2001; Fanselow and Gale 2003; Wilensky et al. 2006; Zimmerman et al. 2007). In addition, the CEA has an important role in the expression of fear CRs (Fendt and Fanselow 1999; LeDoux 2000; Davis and Whalen 2001; Maren 2001b; Fanselow and Gale 2003). In support of this, many studies have shown that either permanent or temporary lesions of the BLA or CEA prevent the acquisition and/or expression of fear memories (Helmstetter 1992; Helmstetter and Bellgowan 1994; Campeau and Davis 1995; Maren et al. 1996a,b; Killcross et al. 1997; Muller et al. 1997; Walker and Davis 1997; Cousens and Otto 1998; Maren 1998, 1999, 2001a,b; Wilensky et al. 1999, 2000, 2006; Goosens and Maren 2001, 2003; Nader et al. 2001; Fanselow and Gale 2003; Gale et al. 2004; Koo et al. 2004; Zimmerman et al. 2007).In addition to its role in encoding CS–US associations during conditioning, recent work suggests that the amygdala is also involved in representing properties of the US itself. For example, temporary or permanent lesions of the BLA reduce both decrements in conditioned responding after devaluation of a food US (Hatfield et al. 1996; Killcross et al. 1997; Blundell et al. 2001; Balleine et al. 2003; Everitt et al. 2003; Pickens et al. 2003; Holland 2004) and increments in conditional responding after inflation of a shock US (Fanselow and Gale 2003). Moreover, recent electrophysiological studies in primates indicate that amygdala neurons represent the value of both aversive and appetitive outcomes (Paton et al. 2006; Belova et al. 2007, 2008; Salzman et al. 2007). These studies suggest that one function of the BLA is to represent specific properties of biologically significant events, such as the food or shock USs that are typically used in Pavlovian conditioning paradigms. By this view, the BLA may represent specific sensory properties of USs that shape the nature of learned behavioral responses to the US (Balleine and Killcross 2006) and allow CSs to gain access to the incentive value of the US (Everitt et al. 2003).In contrast to this view, we recently reported that rats with neurotoxic BLA lesions exhibit normal US revaluation after Pavlovian fear conditioning (Rabinak and Maren 2008). In this study, auditory fear conditioning (75 CS–US trials) with a moderate footshock (1 mA) was followed by several exposures (five US-alone trials) to an intense footshock (3 mA) during an inflation session. Both intact rats and rats with BLA lesions exhibit a robust increase in conditional freezing to the auditory CS during a subsequent retention test (Rabinak and Maren 2008). Control experiments suggested that this was due to a revaluation of the US with which the CS was associated, rather than nonassociative sensitization of fear engendered by exposure to intense shock. These data reveal that the BLA may not be necessary for representing properties of shock USs during Pavlovian fear conditioning. To address these issues further, we have examined the consequence of reversible pharmacological manipulations of the amygdala during US inflation on conditional fear responses established with either extensive or limited training.     

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.     

The relationship between perceived surface-lightness and perceived illumination

Summary An attempt was made to specify the relationship between perceived surface lightness and perceived illumination under the stimulus conditions where different combinations of albedo and illuminance gave 10 approximately equal-luminance levels of a test field (TF) on three different (black-, gray- and white-appearing) backgrounds. Two types of category judgments for TF-lightness and overall illumination were made on the total of 94 TFs by 5 Ss. The results indicated that under the condition where achromatic surface colors appear, the perceptual scission which produces two different perceptual dimensions (lightness and perceived illumination) from one sort of stimulation (luminance) was clearly observed. The relation between the two judgments was consistent with the lightness-illumination invariance hypothesis: As lightness judgments (A) changed from darker to lighter, illumination judgments (I) shifted form brighter to dimmer, the sum of A and I being kept nearly invariant for a given luminance of the TF; the psychological relationship between lightness and illumination, A+I, changed as a linear function of the photometric combination of albedo and illuminance, log A+log I. It was also found that the albedo of the background was an important factor determining the extent of perceptual scission between lightness and illumination.     

Some notes on the nature of methodological indeterminacy

This paper is an attempt to extend the meaning of the concept of indeterminacy for the human sciences. The authors do this by coining the term methodological indeterminacy and arguing that indeterminacy is better understood when linked to specific methodological techniques. Paradoxically, while specific research techniques demonstrate that the issue of indeterminacy is complex, yielding the possibility of types and degrees, it does not eliminate the problem of translation first raised by Quine. However, the authors go on to argue that, from a research perspective, indeterminacy can and must be approached in such a way that it is possible to reduce cases of it, even though never completely eliminating it in the human sciences.     

Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Following Henkins discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or cardinality quantifiers, e.g., most, few, finitely many, exactly , where is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwises 1979 analysis of the basic case of M POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.     

“Girl,” “woman,” “guy,” “man”: The effects of sexist labeling

An experiment was conducted to investigate the effects of sexist labeling. Sixty males and 60 females were asked to evaluate an artist and a series of paintings on a variety of cognitive and affective measures. For half the subjects, the artist was identified as a male with either a high status label (man), a low status label (guy), or a neutral label (person); for the other half of the subjects, the artist was identified as a female with either a high status label (woman), a low status label (girl), or a neutral label (person). The findings indicated that for the female artist, the low and high status labels had an equally negative effect on subjects' judgments; for the male artist, the low and high status labels had an equally positive effect on subjects' judgments. There were no significant differences between male and female subjects. The social and psychological implications of the findings are discussed.The present study is based in part on a paper presented at the meetings of the Western Psychological Association held in San Diego, California, April 1979, in collaboration with Ms. Julie Horowitz.     

The liar: What paradox?

Most philosophers believe that the Liar Paradox is semantical in character, and arises from difficulties in the predicate true. The author argues that the paradox is pragmatic, not semantic, and arises from violations of essential conditions that define statement-making speech acts. The author shows that his solution to the paradox will not only handle the classical Liar sentences that are necessarily or intrinsically paradoxical, but also sets of Kripke-sentences that are contingently paradoxical.     

Richard Zaner’s Phenomenology of the Clinical Encounter

The clinical ethics propounded by Richard Zaner is unique. Partly because of his phenomenological orientation and partly because of his own daily practice as a clinical ethicist in a large university hospital, Zaner focuses on the particular concrete situations in which patients and their families confront illness and injury and struggle toward workable ways for dealing with them. He locates ethical reality in the clinical encounter. This encounter encompasses not only patient and physician but also the patients family and friends and indeed the entire lifeworld in which the patient is still striving to live. In order to illuminate the central moral constituents of such human predicaments, Zaner discusses the often-overlooked features of disruption and crisis, the changed self, the patients dependence and the physicians power, the violation of personal boundaries and their necessary reconfiguring, and the art of listening.     

“Anchor-range” results with “same” and “different” responses and similar and dissimilar stimuli

Summary Blocks of pairs of dissimilar (anchor-like) circles were unexpectedly followed by single pairs of similar circles and vice versa. The dissimilar circles were 3 and 10 mm in diameter, and the similar circles were 3 and 5 mm, 5 and 7 mm, and 7 and 10 mm in diameter. In a second experiment, the dissimilar and similar circles did not overlap in size (e.g., they were 1.5 and 5 mm and 7 and 10 mm, respectively). The same responses to the unexpected same pairs of similar circles were faster than the same responses to the identical pairs in the blocks. In contrast, the different responses to the unexpected different pairs of similar circles were slower than the different responses to the identical pairs in the blocks. Similar stimuli accelerate same responses and slow down different responses. So the time results (and the error results as well) suggest that the context of the block dissimilar circles increased the perceived similarity of the unexpected similar circles. These anchor-range results are not explained by Thurstonian theories, which are based on the absolute properties of stimuli. Instead, they imply that the relation between the similar circles in the context of the relation between the dissimilar circles affected performance.