An application of Rieger-Nishimura formulas to the intuitionistic modal logics

The main results of the paper are the following: For each monadic prepositional formula which is classically true but not intuitionistically so, there is a continuum of intuitionistic monotone modal logics L such that L+ is inconsistent.There exists a consistent intuitionistic monotone modal logic L such that for any formula of the kind mentioned above the logic L+ is inconsistent.There exist at least countably many maximal intuitionistic monotone modal logics.The author appreciates very much referees' suggestions which helped to improve the exposition.     

Act Without Denial: Slavoj Žižek on Totalitarianism,Revolution and Political Act

iek's thinking departs from the Lacanian claim that we live in a symbolic order, not a real world, and that the Real is what we desire, but can never know or grasp. There is a fundamental virtuality of reality that points to the lie in every truth-claim, and there are two ways of dealing with this:repression and denial. An ideology, a system or a regime becomes totalitarian when it denies the virtual character of both its world and its subject (democracy represses truth's basic lie, which makes it possible for the repressed to return). iek's analysis of totalitarianism, particularly Stalinism, shows how a totalitarian system denies its subject, which, being desire for the Real, cannot act in the name of truth but must acknowledge the contingency of its action (a political act can fail to reach its goal), whereas an established system can no longer fail and has to deny its flaws. Any political act disrupts the (evolution of) the symbolic order and thus is revolutionary, creating an event ex nihilo. An act is a jump into the inconsistency of the symbolic order, i.e. into das Ding, a jump both into and out of the nihil in which our world is grounded. Politics therefore can never be Realpolitik. The realization that politics is a symbolic phenomenon, supported not by the real, but by signifiers, is the Lacanian foundation of iek's political theory.     

Reformulation of the hidden variable problem using entropic measure of uncertainty

Using a recently introduced entropy-like measure of uncertainty of quantum mechanical states, the problem of hidden variables is redefined in operator algebraic framework of quantum mechanics in the following way: if A, , E(A), E() are von Neumann algebras and their state spaces respectively, (, E()) is said to be an entropic hidden theory of (A, E(A)) via a positive map L from onto A if for all states E(A) the composite state ° L E() can be obtained as an average over states in E() that have smaller entropic uncertainty than the entropic uncertainty of . It is shown that if L is a Jordan homomorphism then (, E()) is not an entropic hidden theory of (A, E(A)) via L.     

Influence of Maternal Depressive Symptoms on Ratings of Childhood Behavior

This study uses information collected on two occasions from a probability sample of families with 5- to 12-year-old children (N = 1151) participating in a general population study in 1983 and follow-up in 1987. It evaluated the importance of maternal bias in the assessment of child behavior by comparing the relative strengths of association between maternal depression and childhood behavior and between maternal depression and mother reporting errors. Conduct problems and hyperactivity were measured as latent criterion variables constructed from mother, teacher, and youth (aged 12 to 16 years) ratings and their associations with maternal depression were modeled using covariance structure analysis. The analyses revealed that maternal depression was associated significantly with conduct problems ( = .35) and hyperactivity ( = .38) among 5- to 7-years-olds in 1983 but not 4 years later in 1987. None of the associations between maternal depression and mother reporting errors were significant. Among 8- to 12-year-olds in 1983, maternal depression was associated significantly not only with conduct problems ( = .17) and hyperactivity ( = .15) but also with mother rating errors of these behaviors ( = .13 and .17, respectively). Four years later in 1987 when this cohort was 12 to 16 years old, the only significant association was between maternal depression and conduct disorder ( = .25). Although evidence exists for associations between maternal depressed mood and mother rating errors, there also appears to be a substantive association between maternal depression and childhood behavior.     

Possible-Worlds Semantics for Modal Notions Conceived as Predicates

If is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate , we tackle both problems. Given a frame <W,R> consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret at every world in such a way that A holds at a world wW if and only if A holds at every world vW such that wRv. The arithmetical vocabulary is interpreted by the standard model at every world. Several paradoxes (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the -inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic.     

Semantics for existential graphs

This paper examines Charles Peirce's graphical notation for first-order logic with identity. The notation forms a part of his system of existential graphs, which Peirce considered to be his best work in logic. In this paper a Tarskian semantics is provided for the graphical system.     

Depression and the empty nest

The empty nest syndrome is a depressive reaction in middle-aged mothers attributed to role loss when all her children have grown up and left the nest. However, analyses of data from a large community mental health survey found that parents (both mothers and fathers) whose children were not living with them were significantly less depressed than other respondents of comparable age, income, occupational role, and marital status. This suggests that depression is not a typical reaction to an empty nest.     

Completeness theorem for dummett's LC quantified and some of its extensions

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame Q⁺, ,D, where Q⁺ is the set of non-negative rational numbers, is the numerical relation less or equal then and D is the domain function such that for all v, w Q⁺, D_v and if v w, then D _v . D _v D _w . Moreover, simple completeness proofs of extensions of Q-LC are given.     

Truth,Sentential Non-Compositionalit,and Ontology

The paper attempts to clarify some fundamental aspects of an explanationof the concept of truth which is neither deflationary nor substantive.The main aspect examined in detail concerns the ontological dimension of truth, the mind/language-world connection traditionally associated with the concept of truth. It is claimed that it does not make sense to defend or reject a relatedness of truth to the ontological dimension so long as the kind of presupposed or envisaged ontology is not made explicit and critically examined. In particular, it is shown that generally an objectual ontology is – often only implicitly – presupposed, i.e., an ontology admitting objects (substances), properties, relations, sometimes also facts, events, and the like. The paper demonstrates that such an ontology derives from the Principle of Semantic Sentential Compositionality and that this principle should be rejected. It introduces instead the Principle of Semantic Sentential Contextuality (or Context Principle) as the semantic basis of a new ontology, an ontology of primary states of affairs. After sketching such an ontology, it is shown that the relatedness of truth to the ontological dimension becomes intelligible.     

The Loneliness of the Therapist in the Public Outpatient Clinic

The therapist's work in a public outpatient clinic is a unique combination as an individual and as a team member. Although the therapist may enjoy working within a team framework, sharing common goals and providing support and supervision, when he feels this environment failing to help or becoming critical, he may begin to experience loneliness. Individual psychotherapy occasionally evinces feelings of loneliness. The therapist has to contend with his patient's powerful feelings and try to contain them. We examined issues of loneliness, teamwork, and burnout during open meetings with the staff of three outpatient clinics. In addition, 50 questionnaires were sent to the therapists. Thirty-one were answered anonymously. Most of the therapists (80%) reported interest and enjoyment in their work with only 15% reporting tension and feelings of burnout. In the Pearson statistic correlation, there was a significant relationship between satisfaction at work and the lack of loneliness (p < 0.01). There was an inverse statistical correlation between satisfaction and burnout (p < 0.01) and a connection between staff meetings and not feeling lonely (p < 0.05). We found that the therapist in the outpatient clinic does not feel lonely. The staff meetings and consultations support him as a team member. A disparity was found between feelings felt at the open meetings and those in the questionnaires. Although the therapist is satisfied with his work, problems of overload and the danger of burnout are always present. It should be noted that clinic administrators should pay close attention to the entire picture.     

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.     

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.     

What Is Wrong with External Reasons?

In this paper I argue that only a subset of the reason statementsWilliams defines as external must be rejected as false. `A has areason to ' is necessarily false when the ends and aimsconstitutive of A's good close off the deliberative route from her S to the conclusion she has reason to . But when less important ends are at stake, it seems that a person's needs generally provide reasons for action, contrary to Williams's internalist account. I suspect, however, that there may remain inexorable disagreementover these claims because people value things in two distinct ways. Tosupport my suspicion, I explain how people's valuation can take either an agency-prioritizing or an end-prioritizing form. I then argue thatresolving the disagreement over Williams's internalist account ofreasons depends on whether it can be established that the agency-prioritizingform is the rationally superior form of valuation.     

Moral Philosophy and the Ontology of Relations

The essay undertakes to explore the possibilities of mutually fruitful dialogue between moral philosophy and ontology, in particular, the ontology of relations. The latter copes with the question of how relations relate, whereas moral philosophy often ignores the ontological implications of such crucial relations as love and interpersonality. The paper proceeds as follows. First, the ontology of relations is discussed. Second, various examples are analysed. From this, a conception of relation instantiation emerges, according to which to determine which relation actually obtains, one has to take into account (a) the context, (b) the specific content or meaning of the relation, and (c) some action or decision or mode of existence of the relata. This conception suggests that relation instantiation cannot be explained by a single formula. By the help of this conception, Hume's thesis of the identity of killing relations between human and nonhuman beings is questioned. Then, the relation of love is analysed. It is shown that love as a moral relation is perfectly explicable in terms of ontology. Moreover, its essence is best captured by the interrelation of the particulars, the relation of love as a universal, and by the relating action of the particulars. Finally, the alleged relation of universal fraternity (interpersonality as such), linking up each human being to all other human beings, is discussed.     

Converse Ackermann Croperty and semiclassical negation

A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are provided for each one of the resulting systems (the positive systems plus the semiclassical negation).     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

On the relation between recent neurobiological data on perception (and action) and the Husserlian theory of constitution

The phenomenological theory of constitution promises a solution for the problem of consciousness insofar as it changes the traditional terms of this problem by systematically correlating subject and object in the unifying context of intentional acts. I argue that embodied constitution must depend upon the role of kinesthesia as a constitutive operator. In pursuing the path of intentionality in its descent from an idealistic level of pure constitution to this fully embodied kinesthetic constitution, we are able to gain access to different ontological regions such as physical thing, owned body and shared world. Neuroscience brings to light the somatological correlates of noemata. Bridging the gap between incarnation and naturalisation represents the best way of realizing the foundational program of transcendental phenomenology.     

The price of information

In this paper I apply an old problem of Quine's (the inscrutability of reference in translation) to a new style of theory about mental content (causal/nomological/informational accounts of meaning) and conclude that no naturalization of content of the sort currently popular can solve Quine's gavagai enigma. I show how failure to solve the problem leads to absurd conclusions not about one's own mental life, but about the nonmental world. I discuss various ways of attempting to remedy the accounts so as to avoid the problem and explain why each attempt at solving the problem would take the information theorists further from their self-assigned task of naturalizing semantics.     

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

- Allatum est die 5 Martii 1970     

Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics.