The logical structure of linguistic commitment II: Systems of relevant commitment entailment

In The Logical Structure of Linguistic Commitment I (The Journal of Philosophical Logic 23 (1994), 369–400), we sketch a linguistic theory (inspired by Brandom's Making it Explicit) which includes an expressivist account of the implication connective, : the role of is to make explicit the inferential proprieties among possible commitments which proprieties determine, in part, the significances of sentences. This motivates reading (A B) as commitment to A is, in part, commitment to B. Our project is to study the logic of . LSLC I approximates (A B) as anyone committed to A is committed to B, ignoring issues of whether A is relevant to B. The present paper includes considerations of relevance, motivating systems of relevant commitment entailment related to the systems of commitment entailment of LSLC I. We also consider the relevance logics that result from a commitment reading of Fine's semantics for relevance logics, a reading that Fine suggests.     

In and behind a Lenneberg paradigm

Lenneberg suggested that a chimpanzee's linguistic ability could be tested by presenting sentences containing two prepositional phrases joined by a conjunction. This would involve joining two semantic propositions, and thus represents a more complex test of chimpanzee syntactic competence than previously attempted. Jane, a five year-old language trained chimpanzee, was tested on her ability to both produce and comprehend sentences involving a preposition (in or behind) and a conjunction (and). The results from production and comprehension were substantially the same. Jane showed the ability to appropriately deploy and, behind and in, but displayed very little flexibility in their use. It is suggested that a chimpanzee may be able to learn some rules of syntax but is not able to be creative with that syntax.     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

Nietzsche: An intellectual Nebuchadnezzar

The essay introduces and defines the concept of an intellectual Nebuchadnezzar—one who, despite his hostility to religion, serves God's purposes by the depth of his ideas. In terms of this notion, some of Friedrich Nietzsche's views are explored. Specifically, Nietzsche's perspective on artistic creativity is analyzed and applied to the notion of creativity in human relationships. In addition to concluding that Nietzsche is himself an intellectual Nebuchadnezzar, the broader point is made that truth and insight should be welcomed by the religious community even if the source of that truth is one ostensibly hostile to religion.     

The Deep Structure of Group Life: Unconscious Dimensions

There is a reconsideration and renaissance of interest in expanded conceptions of unconscious processes as they affect individuals and groups (Grotstein, 1999). Recent focus on social unconscious (Hopper, 1996) and cultural unconscious processes (Henderson, 1988) and the nature of intersubjectivity (Harwood and Pines, 1998) raise questions about the location of group analysis. This paper considers the deep structure of group life by examining four functions of the unconscious: repressive, conservative, creative, and mythopoetic (Ellenberger, 1970). On an individual level of analysis, these functions are equated respectively with formative ideas about the: personal–subjective, social–political, intersubjective–cultural and collective–objective unconscious. Group level analogs, as they develop and affect groups and their members, are explored as synthetic, shared, symbolicy and synchronous unconscious processes.     

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.     

Distribution of the feature [+animate] in the lexicon of the child

Piaget suggests that animistic thinking is a pervasive feature of children's cognition. To test this notion, 4- to 8-year-old children were shown several inanimate objects and asked to pick those which perform activities characteristic of living organisms. These activities were typified by six verbs: eat, sleep, breathe, grow, die,, and be alive. Fifty percent of the younger children responded animistically, by misattributing life processes to inanimate objects, but only 18% of their total responses were animistic. Twenty percent of the older children responded animistically, but only 20% of their responses were animistic. In Experiment II, children were shown drawings singly and asked if the object could perform activities named by one of the six verbs. Results were similar to those of Experiment I but with somewhat less animism. Experiment III required children to spontaneously name things that are alive. There were no animistic responses. It was concluded that animistic thinking is not a genuine phenomenon but linguistic confusion elicited by novel objects and unfamiliar words.This work was supported by NSF Grant GB 23083.A portion of the data of Experiment I constituted a Bachelor Honors Thesis conducted by the first author under the direction of the second and submitted to Florida State University. These data were presented at the meeting of the Southeastern Psychological Association, New Orleans, April 1973.     

Syntactical investigations intoBI logic andBB′I logic

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6].Presented byHiroakira Ono     

“Emotionally, Soulfully, Spiritually ‘Free to Think and Act’: The Helen Flanders Dunbar (1902–59) Memorial Lecture on Psychosomatic Medicine and Pastoral Care”

This essay aims to stimulate rethinking about religious and medical healing and wholeness. While psychiatrist (Helen) Flanders Dunbar (1902–1959) is well known as a psychosomatic investigator and as Medical Director of the Council for Clinical Training, the initial home of Anton Boisen's groundbreaking movement for the clinical pastoral education of institutional chaplains and parish ministers, she is less appreciated as a theologically-trained scholar. This essay explores an earlier era's understanding of the spiritual and the more soulful components of healing and how Dunbar combined these to focus on helping all peoples become free to think and act. This essay was originally delivered as The Helen Flanders Dunbar Memorial Lecture on Psychosomatic Medicine and Pastoral Care at Columbia Presbyterian Center of the New York-Presbyterian Hospital, New York on November 2, 1999.     

Reflection-impulsivity and information seeking in emotionally disturbed children

Forty-four emotionally disturbed children were administered the Matching Familiar Figures Test by one examiner after which the 13 most impulsive and 13 most reflective were chosen. A second examiner administered the Fixed Alternatives Question-Asking Game in whichSs sought information by asking questions that could be answered either yes or no. These questions were classified on a developmental basis; reflective children were found to employ more mature questions than did impulsive ones. Indirect comparisons between the present results and those obtained with normalSs were made.     

Embeddability,syntax, and semantics in accounts of scientific theories

Recently several philosophers of science have proposed what has come to be known as the semantic account of scientific theories. It is presented as an improvement on the positivist account, which is now called the syntactic account of scientific theories. Bas van Fraassen claims that the syntactic account does not give a satisfactory definition of empirical adequacy and empirical equivalence. He contends that his own semantic account does define these notations acceptably, through the concept of embeddability, a concept which he claims cannot be defined syntactically. Here, I define a syntactic relation which corresponds to the semantic relation of embeddability. I suggest that the critical differences between the positivist account and van Fraassen's account have nothing to do with the distinction between semantics and syntax.     

The Longest Faculty Strike in the History of U.S. Institutions of Higher Education: Perceptions of the Union President

The president of the AAUP faculty union at University of Bridgeport, from 1987 to 1991, offers a first-hand account of the circumstances leading to the fatal strike there. He refutes accusations that the union and its leadership destroyed the university and provides a dramatic, personal account of a faculty union under attack by union busters. The faculty, he argues, was resisting a concerted onslaught on traditional faculty rights. It fought desperately to stifle a retrograde revolution in higher education seeking the substitution of absolute Management Rights to traditional collegiality. He refers to faculty as the soul and mind of a university, and to administration as a necessary evil whose duty is primarily to assist the faculty in the accomplishment of the university's mission.     

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

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 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     

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.     

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.     

On the logic of conscious belief

In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (B BB and B B B) are added to the usual ones. LB is proved to be sound and complete with respect to Boolean algebras equipped with proper filters (Theorem 5). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are further dealt with, one of which turns out to be S5.     

Who Is I?

Whilst it may seem strange to ask to whom I refers, we show that there are occasionswhen it is not always obvious. In demonstratingthis we challenge Kaplan's assumptionthat the utterer, agent and referent of I arealways the same person.We begin by presenting what weregard to be the received view about indexicalreference popularized by David Kaplan in hisinfluential 1972 Demonstratives before goingon, in section 2, to discuss Sidelle'sanswering machine paradox which may be thoughtto threaten this view, and his deferredutterance method of resolving this puzzle. Insection 3 we introduce a novel version of theanswering machine paradox which suggests that,in certain cases, Kaplan's identification ofutterer, agent and referent of I breaks down.In the fourth section we go on to consider arecent revision of Kaplan's picture by Predelliwhich appeals to the intentions of the utterer,before arguing that this picture is committedto unacceptable consequences and, therefore,should be avoided if possible. Finally, insection 5, we present a new revision ofKaplan's account which retains much of thespirit of his original proposal whilst offeringa intuitively acceptable way to explain all ofthe apparently problematic data. In doing so,we also show how this picture is able toexplain the scenario which motivated Predelli'saccount without appealing to speakerintentions.     

On a problem of P(α, δ, π) concerning generalized Alexandroff s cube

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ), .Assuming that P (, , ) holds, in the paper [2], there are given sufficient conditions saying when an , -closure space is an absolute retract for the category of , -closure spaces (see Theorems 2.1 and 3.4 in [2]).It seems that, under assumption that P (, , ) holds, it will be possible to givean uniform characterization of absolute retracts for the category of , -closure-spaces.Except Lemma 3.1 from [1], there is no information when the condition P (, , ) holds or when it does not hold.The main result of this paper says, that there are examples of cardinal numbers, , , such that P (, , ) is not satisfied.Namely it is proved, using elementary properties of Lebesgue measure on the real line, that the condition P (, ₁, 2 ) is not satisfied.Moreover it is shown that fulfillment of the condition is essential assumption in, Theorems 2.1 and 3.4 from [1] i.e. it cannot be eliminated.