Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

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.     

Retour(s) sur “Mir Rose” ou comment analyser et représenter le texte argumentatif (écrit)?

The main purpose of this paper is to account for the varying analysis and formalisations of a same advertisement text, Mir Rose, by Jean Michel Adam. First, we draw the methodological frame of this psycholinguistic approach of composing and understanding-memorizing texts. We refer to the notions of prototypical textual schema, semantic macrostructure and superstructure. Then we point out the differences between argumentative text and argumentative discourse. Last, we try to explain why it has been possible for Adam to analyse and formalise the same text first as a narrative one and a few years later as an argumentative one. We suggest that his narrative approach is not specific and textual narrative means here temporal-causative sequence or problem solving, i.e., deeper and more general psychological devices than those involved in processing narrative text per se. From Toulmin and van Dijk approaches of argumentation, we propose our own analysis and formalisation of Mir Rose, the psychological validity or plausibility of which should be tested in experimental tasks of reading-memorising.

     

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.     

Modifying Violent Communities by Enhancing Altruism: A Vision of Possibilities

A model for diagnosing and treating violent communities is outlined. The treatment consists of enhancing a form of pragmatic altruism by building relationships and mutual understanding between community leaders who are derived from task groups called community stabilizing systems, defined as groups essential for peaceful, creative stability in a community. Two examples of an intervention derived from this theory are described.     

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.     

Micro-economic models of problem choice in basic science

This paper describes the way in which a certain representation of basic scientific knowledge can be coupled with traditional microeconomic analysis to provide an analysis of rational research planning or agenda setting in basic science. Research planning is conceived as a resource allocation decision in which resources are being allocated to activities directed towards the solution of basic scientific problems. A structuralist representation of scientific knowledge is employed to provide a relatively precise characterization of a basic scientific problem.The research reported here was partially supported by a grant from the EXXON Foundation.     

Chris: The “crazy” kid as a family hero

A case is discussed of an eleven-year-old schizophrenic male who had made a conscious decision several years earlier to act crazy to keep his parents from fighting and divorcing. A relabeling of his crazy behavior as that of a family hero was a first step in releasing him from marital difficulties and beginning to return him to a normal life.     

The responsive order: A new empiricism

The uniqueness of logic is upheld and contrasted with twenty roles of a wider responsive order that includes us and our procedures. Empirical responses are precise, but different in different approaches. Procedures and findings are independent of (not separable from) their concepts. Two-way feedback obviates a top-down derivation of findings from assumptions, hypotheses, history, or language. The postmodern problems of interpretation, conditions of appearances and relativism involve the ancient error of making perception the model-instance of experience. Instead, bodily interaction functions in language and precedes perception and interpretation. Logic, space time locations and individuated referents involve positional relations derived from comparing. Beyond Kuhn, Feyerabend, Newton and Einstein, if we can give interaction priority over comparing, the responsive objectivity of both can be upheld. A new empiricism, neither naive nor constructivist, uses the words order, explication, truth, and exactly to build on Wittgenstein and on Dilthey's hermeneutic. Natural language is metaphor-like, originally crossed. Logic must ignore its assumptions. It must render everything as a machine and drop humans and animals out. A new discipline is proposed, to move between the logical and the responsive orders, to deal with the machine/human interface and the social uses of science such as bioengineering.     

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.     

Critique of the unconscious: Kantian influences in the works of Lucian Blaga

Lucian Blaga was the creator of a speculative and metaphoric philosophical system that placed mystery at its very core. Mystery, according to Blaga, veils existence and represents both a stimulus and a brake for human knowledge. His articulation of this view is strongly indebted to Kant, whose transcendental philosophy he sought to extend by critically examining the forms of sensibility and categories of the understanding, not so much in relation to consciousness, but as they are duplicated, or doubled, in the unconscious. The result is Blaga's stylistic apriorism, according to which the unconscious always manages consciousness through abyssal categories in terms of which different regions and peoples at once reveal and remain isolated from mystery.     

The Origin of the Concept of “Allgemeinbildung” in 18th Century Germany

The German theory of education refers mainly to what is called Bildung. The historical sense of Bildung is not cultivaion, but cultivation for inwardness. This concept has two sources, the neo-platonic inner soul on one hand, pietistic piety on the other hand. The article shows that these sources had been part of European discussions before the development of national cultures after 1750. So the German concept of Bildung, famous for the German Sonderweg in culture and politics, had been composed out of non-German sources. The nationalizaiton of inwardness began at the end of the 18th century and was established in 19th century German Higher Education.     

Time,quantum mechanics,and decoherence

State-reduction and the notion of actuality are compared to passage through time and the notion of the present; already in classical relativity the latter give rise to difficulties. The solution proposed here is to treat both tense and value-definiteness as relational properties or facts as relations; likewise the notions of change and probability. In both cases essential characteristics are absent: temporal relations are tenselessly true; probabilistic relations are deterministically true.The basic ideas go back to Everett, although the technical development makes use of the decoherent histories theory of Griffiths, Omnès, and Gell-Mann and Hartle. Alternative interpretations of the decoherent histories framework are also considered.I would like to thank Abner Shimony for valuable criticism.     

Yes,Virginia, Lemons are Yellow

This paper discusses a number of themes and arguments in The Quest for Reality: Stroud's distinction between philosophical and ordinary questions about reality; the similarity he finds between the view that coloris unreal and the view that it is subjective; his argument against thesecondary quality theory; his argument against the error theory; and the disappointing conclusion of the book.     

On seeing oneself as “left out”: The chronically complaining patient in psychotherapy

A clinical observation regarding patients who complain about feeling left out and/or second best provides the framework for this paper. What is expressed is a form of separation anxiety coupled with a loser self-concept. It is suggested that these patients represent a milder form of the moral masochism. Early theoretical formulations include Freud and his emphasis on the superego and Reich's emphasis on the masochist's fear of being left alone. Kramer's little man phenomenon is an example of a more current theoretical formulation which takes account of the complexities of the ego, and composite self and identity in the clinical phenomena observed. A case of a latency-aged child is provided.     

The group member's view of inner and outer reality: The Janus phenomenon applied to the group

This paper surveys some theoretical aspects of psychodynamic group treatment from the vantage point of the Janus phenomenon. This focus may provide some clarification in understanding how group therapy facilitates growth, especially in the relationships between inner realities and the realities of the external world. The paper explores and seeks bridges and connections between the dynamics of the group and intrapsychic dynamics. The inner view may be understood as intimately connected with intrapsychic concerns, whereas the issues for patients in groups do, to a degree, concern interpersonal processes in and projections onto the external world. The paper concludes that, thus far, we must accept less than perfect integration of theory and settle for limited domain reasoning (Scheidlinger, 1982). Erlebnis is the term coined by Paul Federn (1952) to refer to subjective experience of the self.     

Influence and development: Two basic paradigms of education

The article discusses two basic paradigms of western educational theory, namely the concept of influence and the concept of development. Two historical contextes are analyzed, John Locke's theory of human learning and Jean-Jacques Rousseau's theory of natural development. Both theories are rejected in favour of a position beyond influence and development. This position of a theory of education (Erziehung) is marked with the term moral communication.An earlier and slightly different version of this article was presented to the International Symposion The Crisis of Schools (Corsendonck/Belgium, March 1992). It was translated from the german original by Annette Roeder. The final draft is my own.     

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.     

Die Rechtsansichten der Eurasier -- Rechtsordnung oder Wertordnung?

In their juridical doctrines, the members of the Evrazijstvo movement advocated the idea of a Russian special path criticizing at the same time the formalism and coldness of the western conception of law, based principally on Roman law. Their views are characterized by an evident priority accorded to justice over law, to the order of values over legal order.