Determinism, Indeterminism And The Flow Of Time

A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core meaning, the way in which they are formally introduced here represents the only right way to do this, given that we restrict ourselves to one real world and make no use of the many real worlds assumption. But then the result is that the very truth conditions for sentences about indeterministic events imply the existence of tensed truths, in spite of the fact that these conditions are formulated (in the indeterministic axiom) in terms of tenseless language. The tenseless theory of time implies determinism, while indeterminism requires the flow of time assumption.     

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.     

Allgemeinpsychologische Untersuchungen zum Vigilanzverhalten

Zusammenfassung Mit Hilfe eines 2×2×2-Designs wurde die Wirkung der Anzahl der Signalflächen, Anzahl der irrelevanten Reize und Art der Motivation auf die Vigilanzleistung untersucht. Dabei zeigte sich, daß die Wahrscheinlichkeiten von verpaßten Signalen und falschen Alarmen mit der Anzahl der Signalquellen zunehmen. Die Menge der Nicht-Signale gleicher Modalität wie die Signalreize beeinflußt weder die Signalentdeckungen noch die falschen Alarme.Weiterhin wurde versucht, eine Systematisierung von Motivationswirkungen in Vigilanzaufgaben im Rahmen des detection-Modells vorzunehmen. Bei großen Gewinnen für richtige Signalentdeckungen und geringen Verlusten für falsche Alarme (Risiko-Motivation) ergab sich eine wesentlich höhere Entdeckungswahrscheinlichkeit und eine geringfügig höhere Rate von falschen Alarmen als bei geringen Gewinnen für richtige Signalentdeckungen und hohen Kosten für falsche Alarme (Vorsichts-Motivation). Weiterhin zeigte sich unter Risiko-Motivation ein Abfall der Entdeckungswahrscheinlichkeit und bei Vorsichts-Motivation ein Anstieg, während sich die entsprechenden Raten der falschen Alarme im Verlauf der Aufgabe nicht signifikant veränderten.

---

Experimental application of detection theory to vigilance behaviour

Summary In a 2×2×2-design the effects of number of dials, number of irrelevant stimuli and kind of motivation were combined. It was found out, that probabilities of missed signals and false alarms increased with spatial uncertainty. The number of irrelevant stimuli, which were of equal sensory modality as the relevant stimuli, had no influence either on detection probability or on false alarms rate.Further attempt was made to systematize effects of motivation on vigilance performance in the detection model. With great values for hits and small costs for false alarms (risky motivation) there was an essentially higher detection pobability and a slightly higher false alarms rate than with small values for hits and high costs for false detections (cautious motivation). The probabilities of detections decreased under risky motivation and increased under cautious motivation as the watch prolonged, whereas the corresponding probabilities of false alarms showed no significant changes.

---

---

Teil I der Dissertation, die im Januar 1969 der Philosophischen Fakultät der Freien Universität Berlin vorgelegt wurde.     

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 elimination of de re formulas

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme x x.     

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.     

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.     

Egalitarian sex role attitudes: Scale development and comparison of American and Japanese women

The English Form of the Scale of Egalitarian Sex Role Attitudes was administered to 238 American women after the original Japanese Form was developed and administered to 420 Japanese women. The results reveal that the English Form has a potential for use as a measurement of American women's sex role attitudes. The results of cross-cultural comparisons suggest that American women have more egalitarian attitudes than their Japanese counterparts. However, they have basically similar attitudes toward more general egalitarian values. Among the four roles of woman, wife, mother, and person, the majority of the American women choose person as the most important role, whereas the Japanese women do not claim any clear dominant role. But the results show that the Japanese women's attitudes toward women's roles have become more egalitarian and individualistic during the past two decades.This research was partly supported by a grant from the Dentsu Corporation's Yoshida Hideo Memorial Foundation. The author wishes to thank Roger Brown, Cynthia Chataway, Matina Horner, Ellen Langer, and Annemette Sorensen, Yoshiyasu Uno, and the reviewers for their critical and helpful comments on an earlier version of this article. The statistical help by Ellen Herbener and Valerie Leiter are gratefully acknowledged.     

Endogenous Ketamine-Like Compounds and the NDE: If So, So What?

This commentary on Karl Jansen's ketamine model for the near-death experience expands upon and raises additional questions about several issues and hypotheses: self-experimentation as a source of data; ketamine's similarities to and differences from classical hallucinogens; the need for quantification of unusual subjective states; clinical research and toxicological implications of this model; drugs as gateways to religious states; and evolutionary versus religious significance of naturally occurring compounds released in the near-death state. I suggest future research that could help explicate several of these areas.Formerly Associate Professor of Psychiatry at the University of New Mexico School of Medicine     

Nohl, Durkheim, and Mead: Three Different Types of "History of Education"

Historiography of education is not only a question of construction but also of selection. In 19th century history of education was typically a genre of great educators, mostly male and only marginally female. This construct is influential up to now, at least in popular contexts of educational reasoning. The article discusses in the introductory section problems of selection of names and meanings within history of education, and then three types of historiographical writing that are not only concerned with great educators but have larger Philosophical impact. The first type is Herman Nohls history of German progressive education, the second one is Emile Durkheims history of Higher Education in France, and the third one is George Herbert Meads Movements of Thought in 19th Century. The article compares them and discusses their implications for further development of historical writing in education.     

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.     

Belief change as change in epistemic entrenchment

In this paper, it is argued that both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation, and an axiomatic characterization of this operation is given. Unlike most belief revision operations, the one developed here can handle both multiple belief revision and iterated belief revision.The authors are thankful to John G. Bennett, Henry E. Kyburg, Jr., Norman Foo, Pavlos Pepas, Maurizio Pagnucco, Bob Hadley, members of the Knowledge Systems Group at the University of Sydney and participants of the AI'93 workshop on Belief Revision: Bridging the Gap Between Theory and Practice at Melbourne where a version of this paper was presented, for their suggestions. The authors also express their gratitude to the two anonymous referees for Synthese for their excellent comments and suggestions. Of course it is only the authors that are responsible for the errors that remain.     

Models for stronger normal intuitionistic modal logics

This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated.This paper presents results of an investigation of intuitionistic modal logic conducted in collaboration with Dr Milan Boi.     

The fallacy of fallacies

Several of the so-called fallacies in Aristotle are not in fact mistaken inference-types, but mistakes or breaches of rules in the questioning games which were practiced in the Academy and in the Lyceum. Hence the entire Aristotelian theory of fallacies ought to be studied by reference to the author's interrogative model of inquiry, based on his theory of questions and answers, rather than as a part of the theory of inference. Most of the fallacies mentioned by Aristotle can in fact be diagnosed by means of the interrogative model, including petitio principii, multiple questions, babbling, etc., and so can Aristotle's alleged anticipation of the fallacy of argumentum ad hominem. The entire Aristotelian conception of inquiry is an interrogative one. Deductive conclusions caught Aristotle's attention in the form of answers that every rational interlocutor must give, assuming only his own earlier answers. Several features of Aristotle's methodology can be understood by means of the interrogative model, including the role of endoxa in it. Theoretically, there is also considerable leeway as to whether fallacies are conceived of as mistakes in questioning or as breaches of the rules that govern questioning games.     

A hermeneutics of the natural sciences? The debate updated

The initial obstacle to the development of a hermeneutics of the natural sciences has been the inadequate translation, and thus misunderstanding, of the basic terms of Heidegger's ontological analysis ofthe protopractical human situation and its progressive technicization. Pragmatism's parallel analyses of the problem situation of scientists has promoted a more idiomatically English vocabulary. But 1) Gadamer's exclusion of domains and disciplines working with technical methods from his universal hermeneutics continues to be influential, this in spite of the genesis of his project in Helmholtz's insights into the process of scientific discovery. 2) Markus thus depicts a distinctly different style of production, transmission, and reception of the technological texts of natural science. 3) Rouse's 1987 extension of pragmatic hermeneutics into the incipient politics of knowledge/power relations in laboratory science presents the usual frightening prospects connected with laboratory experimentation impacting on disciplinary social institutions. 4) Rouse's 1996 analysis of scientific practices in local narrative situations eschews the banner of hermeneutics and instead proposes to examine scientific-technological work by way of interdisciplinary cultural studies, once the traditional loci of hermeneutic methodology. 5) A hermeneutic phenomenology of the natural sciences thus finds itself fundamentally challenged with respect to its rightful topics and roles in the analysis of increasingly technicized disciplines and domains.     

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that _G H (S) and _GL-LIN H, and the complexity of H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of H with H = char(S) and ( H) = d(S, G).     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

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.     

Impulse and Self-Reflection: Frankfurtian Responsibility versus Free Will

Harry Frankfurt's early work makes an important distinction between moral responsibility and free will. Frankfurt begins by focusing on the notion of responsibility, as supplying counterexamples to the principle of alternative possibilities; he then turns to an apparently independent account of free will, in terms of his well-known hierarchy of desires. But the two notions seem to reestablish contact in Frankfurt's later discussion of issues and cases. The present article sets up a putative Frankfurtian account of moral responsibility that involves the potential for free will, as suggested by some of Frankfurt's later remarks about taking responsibility. While correcting what seem to be some common misinterpretations of Frankfurt's view, the article attempts to extract some reasons for dissatisfaction with it from consideration of cases of unfreedom, particularly cases involving addiction.