Sheaves over Heyting lattices

For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.     

Logics of some kripke frames connected with Medvedev notion of informational types

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM ₁. Some other definitions of negation inI() lead to logicsLM _n (n ). We study inclusions between these and other systems, proveLM _n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM from Heyting's logicH, andLM _n (n < ) from Scott's logic (H+S).     

Involuntary retrieval in alphabet-arithmetic tasks: Task-mixing and task-switching costs

This study explores the effects of memory retrieval in task switching. To this end, item-specific stimulus-to-task mappings were manipulated in two alphabet-arithmetic experiments. Letter-stimuli were presented and the responses were verbal letter names. The task was either to name the next letter in the alphabet, (e.g., C D, task plus), or to name the preceding letter (e.g., C B, task minus). The mapping of individual stimuli to the two tasks (and thus to responses) was either consistent (CM) or varied (VM). In Experiment 1, performance was worse for VM items relative to CM items, indicating item-specific task-mapping effects. These task-mapping effects also contributed to mixing costs (i.e., worse performance in mixed-task blocks than in pure-task blocks) but not to switch costs (worse performance in task-switch trials than in repeat trials within mixed blocks). Experiment 2 manipulated pure and mixed tasks between-participants, and the data again showed differential effects of the task-mapping manipulation on mixing costs and switch costs. This suggests that, in these memory-dependent, alphabet-arithmetic tasks, interference due to involuntary task (and/or response) retrieval primarily increases general multi-task effects, such as maintaining activation of the current task.     

Talking lions and lion talk: Davidson on conceptual schemes

This essay is a reconstruction and defense of Davidson's argument against the intelligiblity of the notion of conceptual scheme. After presenting a brief clarification of Davidson's argument in On the Very Idea of a Conceptual Scheme, I turn to reconstructing Davidson's argument. Unlike many commentators, and occasionally Davidson, who hold that the motive force of the argument is the Principle of Charity (or the denial of the Third Dogma), I argue that there is a further principle which underlies the argument. This principle I call the Strong Discrimination Principle.But the argument of the paper is not purely exegetical. Not only do I show how the Strong Discrimination Principle meets certain objections to Davidson's argument, but I show how the Principle clarifies the realist position. In particular, I show how a line of argument advanced by Rorty and Putnam against (metaphysical) realism can be rejected.If a lion could talk, we could not understand him.Wittgenstein,Philosophical Investigations I have a host of friends. I am grateful to Michael Zimmerman for taking the time to read a preliminary draft of this paper, and to Carolyn Morillo for her comments on a central issue in the paper. I am also especially grateful to the relentlessly enthusiastic participants in the Current Research Seminar at Tulane. To mention but a few: Robert Berman, Radu Bogdan, Norton Nelkin, Graeme Forbes, Jim Stone, and again, Michael Zimmerman and Carolyn Morillo. If I have forgotten just whose objection precipitated yet another footnote or modification, I hope they will be as forgiving as they were helpful. I am also grateful to a referee for having pointed out the relevance of Akeel Bilgrami's article.     

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.     

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.     

Confirmation holism and semantic holism

Fodor and Lepore, in their recent book Holism, maintain that if an inference from semantic anatomism to semantic holism is allowed, certain fairly deleterious consequences follow. In Section 1 Fodor and Lepore's terminology is construed and amended where necessary with the result that the aforementioned deleterious consequences are neither so apparent nor straightforward as they had suggested. In Section 2 their Argument A is considered in some detail. In Section 3 their argument attributed to Quine is examined at length and a shorter and more perspicacious argument suggested which avoids their charge that the Quinean argument is guilty of an equivocation on the word statement.     

Modal operators with probabilistic interpretations,I

We present a class of normal modal calculi P_FD, whose syntax is endowed with operators M _r (and their dual ones, L _r), one for each r [0,1]: if a is sentence, M _r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular (see below) probability evaluations with range in a fixed finite subset F of [0,1]: there is one such a function for every world w, P _F(w,-), and this allows to evaluate M ^ra as true in the world w iff p _F(w, ) r.For every fixed F as before, suitable axioms and rules are displayed, so that the resulting system P _FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models.     

Identity in modal logic theorem proving

THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an indirect semantic method, obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logic, and issues concerning the domain of quantification and existence in a world's domain are discussed. Finally, we look at the very interesting issues involved with adding identity to the theorem prover in the realm of modal predicate logic. Various alternatives are discussed.     

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.     

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.     

Envy and Generosity Between Co-Therapists

This paper explores the dynamics of envy and generosity between co-therapists. Generally speaking, co-therapists can be drawn into the same social comparisons (overt and covert), competitiveness, and envy as their group members. The list of valued resources can include the group's affection, appreciation, and recognition, or, more generally, one's status, popularity, creativity, sensitivity, understanding, or parental functioning. The group in turn, will sometimes tend to divide the therapists into the good one and the bad one in order to serve its own developmental needs. This process can increase the tension between the therapists, and feed their envy. I present an argument for processing those feelings and assert that awareness of co-therapist envy can promote the expression of generosity and enhance the capacity of group members for similar experiences. Clinical material will be presented to demonstrate how this works.     

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

- Allatum est die 5 Martii 1970     

Problems and Renewal in American Philosophy

Time in the Ditch presents evidence that the politics of the McCarthy Era has distorted American philosophy, both institutionally and intellectually, ever since that time. It proposes a new paradigm, situating reason, which is free of those distortions. It is neither an account of the new golden age of philosophy outside philosophy departments (as Harding wishes) nor a general history of the rise of analytical philosophy (as Hollinger thinks). I defend myself against Cohen's charges of factual error and historical misreading, and explain mycritical views on the way the history of philosophy is generally taught in the U.S.     

The Therapeutic Relationship as Viewed by Existential Psychotherapy: Re-Embracing the World

Existential psychotherapy places pivotal significance upon the interrelational aspects of human experience. By so doing, the therapeutic relationship itself becomes the principal means through which the client's presenting symptoms and disorders are disclosed as direct expressions and outcomes of the client's overall way of being rather than as isolated and disruptive impediments. This paper examines the therapeutic relationship as viewed from four primary interrelational dimensions. Further, it focuses upon psychotherapy's tendency to exclude the world from the therapeutic relationship and provides two novel and challenging alternatives whose principal aim is to bring the world back into the therapeutic relationship.     

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.     

Groups to Resolve Conflicts Between Groups: Diplomacy with a Therapeutic Dimension

The group self, an individual's self-perception as a member of a group, is distinguished from the group's self, a personification of the group as a person with a self. The perceived group's self of an opposing other group is often a repository for attributes group members are not ready to recognize in their own group's self. Theoretically, the need for an adversarial other to hold one's own group's unwanted attributes—and thus to complete one's own group's self—contributes, however unconsciously, to the apparent intractability of intergroup disputes. In dealing with these issues, I compare intergroup conflict resolution (ICR) groups with therapy groups, on the one hand, and advocacy groups on the other. All of this sets the stage for a presentation of two ICR projects and their analysis in group-developmental terms.     

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.     

Contextualism and the Skeptic: Comments on Engel

Mylan Engels paper (2004) is divided into two parts: a negative part, criticizing the costs of contextualism and a constructive part proposing a noncontextualist resolution of the skeptical problem. I will only address the constructive part here. The constructive part is composed of three elements: (i) a reconstruction or reformulation of the original skeptical argument, which draws on the notion of epistemic possibility (e-possibility), (ii) a distinction between two senses of knowledge (and two corresponding kinds of e-possibility): fallibilistic and infallibilistic, and (iii) an argument which tries to hoist the skeptic by their own petard, namely the closure principle (CP). As I will argue, there are two ways to understand Engels anti-skeptical argument. Only in one interpretation does the argument depend on the proposed reconstruction of the skeptical argument in terms of e-possibility. But this version of the argument is unsound. More importantly, the skeptic has a strong prima facie objection at her disposal, which applies to both interpretations of the argument. If this objection is valid, Engels argument does not hold. But once it is invalidated, his argument is superfluous.     

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.