Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics

Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept ofp-morphisms between Kripke sheaves is introduced. It is shown that if there exists ap-morphism from a Kripke sheaf ₁ into ₂ then the logic characterized by ₁ is contained in the logic characterized by ₂. Examples of Kripke-sheaf complete and finitely axiomatizable super-intuitionistic (and intermediate) predicate logics each of which is Kripke-frame incomplete are given. A correction to the author's previous paper Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Studia Logica, 49(1990), pp. 289–306 ) is stated.Dedicated to Professor Takeshi Kotake on his 60th birthdayThis research was partially supported by Grant-in-Aid for Encouragement of Young Scientists No. 03740107, Ministry of Educatin, Science and Culture, Japan.     

Complete Infinitary Type Logics

For each regular cardinal , we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are < . For a fixed , these three versions are, in the order of increasing strength: the local system ₍₎, the global system g₍₎ (the difference concerns the conditions on eigenvariables) and the -system ₍₎ (which has anti-selection terms or Hilbertian -terms, and no conditions on eigenvariables). A full cut elimination theorem is proved for the local systems, and about the -systems we prove that they admit cut-free proofs for sequents in the -free language common to the local and global systems. These two results follow from semantic completeness proofs. Thus every sequent provable in a global system has a cut-free proof in the corresponding -systems. It is, however, an open question whether the global systems in themselves admit cut elimination.     

Retest stability of DSM-III-R diagnoses among adolescents using the diagnostic interview schedule for children (DISC-2.1C)

Retest stability of DSM-III-R diagnoses was assessed using the DISC-2.1C with a sample of Anglo, African, and Hispanic American adolescent patients 12 to 17 years of age. Based on the kappa statistic, retest stability was fair for any disorder ( =.50), for any anxiety disorder ( =.44), for any affective disorder ( =.53), for any disruptive behavior disorder ( =.58), and for substance use disorders ( =.46). Although there was a trend for reliability to be somewhat higher for African Americans ( =.58) than for Anglos ( =.42) or Hispanics ( =.49), these differences were not statistically significant. In general, 15- to 17-year-olds had somewhat better reliability ( =.58) than did 12- to 14-year-olds ( =.44). Males had somewhat higher reliability ( =.63) than females ( =.43). These findings are congruent with those reported recently using the DISC-R (Schwab-Stone et al., 1993) and suggest that the DISC appears to be at least as reliable as other available child diagnostic instruments. In view of the fair-to-moderate levels of reliability of these instruments in general, future research should focus on the joint effects of instrument, subject, interviewer, and nomenclature on operating characteristics of diagnostic interview schedules, focusing in particular on factors affecting accurate recall and reporting of symptoms and episodes. This research was supported in part by grants MH44214 and MH44773 from the National Institute of Mental Health, and by the Hogg Foundation for Mental Health. The authors wish to acknowledge the participation and collaboration of A. J. Pumariega, J. W. Swanson, and C. E. Holzer III and staff of the Center for Cross-Cultural Research, directed by F. M. Treviño.     

Ramifications of a population model forκ as a coefficient of reliability

Coefficient is generally defined in terms of procedures of computation rather than in terms of a population. Here a population definition is proposed. On this basis, the interpretation of as a measure of diagnostic reliability in characterizing an individual, and the effect of reliability, as measured by, on estimation bias, precision, and test power are examined. Factors influencing the magnitude of are identified. Strategies to improve reliability are proposed, including that of combining multiple unreliable diagnoses.This investigation was supported in part by the National Institute of Mental Health Specialized Research Center Grant # MH-30854.     

Variations in use of the term “or”

Two studies showed that adults' responses to questions involving the term or varied markedly depending upon the type of question presented. When presented with various objects (A's and B's) and asked to circle all things which are A or B subjects tended to circle A's as well as B's, whereas when asked to circle all the A's or B's subjects showed a relatively stronger tendency to circle one or the other. Moreover the nature of the sets of objects (As and Bs) influenced behavior as well. There was also evidence that the effects due to question wording or set type transferred.     

Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours

In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough.     

Leadership of antireligious propaganda in the Soviet Union

Re-emergent scientific atheism bears the marks of its historical origins in the efforts of Bon-Bruevi and Jaroslavskij. The disciples of the Lenin generation use their fathers somewhat as second-level classics.     

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.     

The relevance of Habermas' communicative turn

This paper points out the way in which educational and communicative action (Habermas) are to be related. It is shown that earlier attempts to put Habermas ideas to use have led to a dead end because they do not realize clearly that the new basic notion introduced by Habermas, namely communicative action, is the expression of a communicative turn. It is argued that Habermas' concept expresses a radical new attempt to grasp the intersubjective character of social action. Next implications of this communicative turn for the concept of education as a social praxis are indicated. Education can be conceived of as a praxis responding to the vulnerability of a communicative self.     

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     

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.     

On two arguments for the indeterminacy of personal identity

Both arguments are based on the breakdown of normal criteria of identity in certain science-fictional circumstances. In one case, normal criteria would support the identity of person A with each of two other persons, B and C; and it is argued that, in the imagined circumstances, A=B and A=C have no truth value. In the other, a series or spectrum of cases is tailored to a sorites argument. At one end of the spectrum, persons A and B are such that A=B is clearly true; at the other end, A and B are such that the identity is clearly false. In between, normal criteria of identity leave the truth or falsehood of A=B undecided, and it is argued that in these circumstances A=B has no truth value.These arguments are to be understood counterfactually. My claim is that, so understood, neither establishes its conclusion. The first involves a pair of counterfactual situations that are equally possible or tied. If A=B and A=C have no truth value, a counterfactual conditional with one of them as consequent and an antecedent that is true in circumstances in which either is true should have no truth value. Intuitively, however, any such counterfactual is false. The second argument can be seen to invite an analogous response. If this is right, however, there is an important disanalogy between this and the classical paradox of the heap. If the disanalogy is only apparent, the argument shows at most that the existence of persons can be indeterminate.     

Happiness and virtue in Socrates' moral theory

Conclusion In Section IV above we start with texts whose prima facie import speaks so strongly for the Identity Thesis that any interpretation which stops short of it looks like a shabby, timorous, thesis-saving move. What else could Socrates mean when he declares with such conviction that no evil can come to a good man (T19), that his prosecutors could not harm him (T16(a)), that if a man has not been made more unjust he has not been harmed (T20), that all of happiness is in culture and justice (T16(a)), that living well is the same as living justly (T15)? But then doubts begin to creep in. Recalling that inflation of the quantifier is normal and innocuous in common speech (that job means everything to him, he'll do anything to get it, will stick at nothing) we ask if there is really no chance at all that no evil in T19, not harmed in T20 might be meant in the same way? The shift from no harm at T16(a) to no great harm at T16(b), once noticed, strengthens the doubt. It gets further impetus in T21(b) when to explain how all of happiness is in culture and justice he depicts a relation (that recurs more elaborately in T22) which, though still enormously strong, is not quite as strong as would be required by identity. The doubt seeps into T15 when we note that current usage did allow just that relation as a respectable use of the same.At that point we begin to wonder if resort to the Identity Thesis might not be just a first approximation to a subtler, more finely nuanced, doctrine which would give Socrates as sound a foundation for what we know he wants to maintain at all costs - the Sovereignty of Virtue - without obliterating the eudaemonic value of everything else in his world. We cast about for a credible model of such a relation of virtue to happiness and hit on that multicomponent pattern sketched on p. 9 above. We ascertain that this will afford a comprehensively coherent eudaemonist theory of rational action, while its rival would not, and will fit perfectly a flock of texts in Section V which the latter will not fit at all. Are we not entitled to conclude that this is our best guide to the true relation of virtue to happiness in Socrates' thought - the one for which he would have declared if he had formulated explicitly those two alternative theses and made a reasoned choice between them?The Socrates of this paper is the protagonist of Plato's earlier dialogues. I list these (by self-explanatory abbreviations), borrowed from T. Irwin, Plato's Moral Theory [1974] (hereafter PMT): Ap., Ch., Cr., Eud., Eu., G., HMa., HMi, Ion, La., Ly., Pr., R., I. I assume, but shall not argue here, that in this segment of his corpus, Plato aims to recreate the doctrines and arguments of his teacher in dramatic scenes, all of which (except for the Ap.) may be, and most of which undoubtedly are, fictional; I shall be referring these works, under this proviso, as Plato's Socratic dialogues. (I did not include the Menexenus in the above list, since the parody of a funeral oration in this dialogue is implicitly dissociated from Socrates.)     

Branching space-time

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.     

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

- Allatum est die 5 Martii 1970     

Peer Contagion of Depressogenic Attributional Styles Among Adolescents: A Longitudinal Study

This study examined longitudinal associations between adolescents and their friends depressive symptoms and depressogenic attributional style. Participants included 398 adolescents in grades six through eight at the outset of the study. Adolescents completed peer nominations to identify reciprocated and unreciprocated best friendships as well as measures of depressive symptoms and depressogenic attributional style at an initial time point, and again 11 months later. Results revealed that best friends reported level of depressive symptoms was prospectively associated with adolescents own depressive symptoms and with adolescents depressogenic attributional style. Moderator effects suggested that friends attributional styles were prospectively associated with adolescents own attributional styles for those involved in reciprocated friendships. Lastly, findings offered preliminary support for adolescents Time 2 depressive symptoms as a mediator of the association between friends depressive symptoms and adolescents attributional style. Findings have important implications for cognitive and interpersonal models of adolescent depression, as well as the study of peer contagion effects.     

The relativity of perceptual knowledge

Since the most promising path to a solution to the problem of skepticism regarding perceptual knowledge seems to rest on a sharp distinction between perceiving and inferring, I begin by clarifying and defending that distinction. Next, I discuss the chief obstacle to success by this path, the difficulty in making the required distinction between merely logical possibilities that one is mistaken and the real (Austin) or relevant (Dretske) possibilities which would exclude knowledge. I argue that this distinction cannot be drawn in the ways Austin and Dretske suggest without begging the questions at issue. Finally, I sketch and defend a more radical way of identifying relevant possibilities that is inspired by Austin's controversial suggestion of a parallel between saying I know and saying I promise: a claim of knowledge of some particular matter is relative to a context in which questions about the matter have been raised.     

O liczbach kardynalnych

Tre: Wstp. I. Niektóre pojcia i prawa teorii klas stosunków. II. O klasach abstrakcji. III. O równoskadnikowoci. IV. O kardynalnych liczbach skadników. V. O. stosowanej teorii równoskadnikowoci. VI. O relacji równej liczby elementów. VII. Stosunek obu poj liczb kardynalnych. Zakoczenie.Allatum est die 30 Augusti 1961     

The probabilistic import of illatives

It is not only overtly probabilistic illatives like makes it certain that but also apparently non-probabilistic ones like therefore that have probabilistic import. Illatives like therefore convey the meaning that the premise confers on the conclusion a probability not only greater than 0 but also greater than 1/2. But because they do not say whether that probability is equal to or less than 1, these illatives are appropriately called neutral.