A Formal Characterisation of Hamblin’s Action-State Semantics

Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction.     

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono's Kripke semantics for the predicate version of FL_ew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order.     

Ultimate concern, reflection of civilization, and the idea of ��Man�� in Yin Haiguang

Yin Haiguang’s investigation and pursuit of the idea of “Man” reflect not merely a limited historical or parochial academic interest, but indeed address an ultimate concern of humanity which transcends any spatio-temporal limitations. In criticizing “modern man” for its faceless and non-self-identical figure, Yin Haiguang brings the conditions, purposes and noble values of humanity to light. His work has extraordinary significance for the highest aims of humanity and civilization.     

V.A. Smirnov’s Results in the Field of Modern Formal Logic

This paper is a survey of V.A. Smirnovs main results in modern logic.     

Completeness and Correspondence in Chellas–Segerberg Semantics

We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.     

Compositionality,Relevance, and Peirce’s Logic of Existential Graphs

Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber and Wilson’s Relevance Theory (RT) may be applied in the spirit of Peirce’s Pragmatic Maxim (PM): the weighing of information depends on (i) the practical consequences of accommodating the chosen piece of information introduced in communication, and (ii) what will ensue in actually using that piece in further cycles of discourse. Peirce’s unpublished papers suggest a relevance-like approach to meaning. Contextual features influenced his logic of Existential Graphs (EG). Arguments are presented pro and con the view in which EGs endorse non-compositionality of meaning.     

Consequence and Interpolation in ?ukasiewicz Logic

Building on Wójcicki??s work on infinite-valued ?ukasiewicz logic ?_??, we give a self-contained proof of the deductive interpolation theorem for ?_??. This paper aims at introducing the reader to the geometry of ?ukasiewicz logic.     

On “Interactional Semantics” and Problems of Meaning

This article is a comment on papers being published in this special issue concerned with interactional semantics. As these papers are concerned with abstractions, formulations, generalizations, and other uses of categorizations whereby participants’ everyday understandings and interpretations come to the foreground of analysis, I explore the wider issue with which the papers wrestle. That issue is whether problems of meaning—related to subjectivity, intersubjectivity, mutual comprehension, and the like—are pervasive in interaction, or are limited and situational. I examine problems of meaning through the lenses of social theory and ethnomethodology, and take the position that analytic preoccupation with interpretation should be one that follows participants’ own orientations to problems of meaning. This is different from but related to what each author argues in his own paper.     

Are there ��His�� and ��Her�� Types of Decisions? Exploring Gender Differences in the Confirmation Bias

Research on biased information seeking demonstrates that after decisions, people show a preference for supporting rather than conflicting information (confirmation bias). In a laboratory study (N?=?86 German undergraduates), we examined the interactive effects of different decision types and gender on the confirmation bias. Our study revealed that women showed less confirmation bias when the decision concerned themselves and their mate (interdependent decision) compared to a decision concerning only themselves (independent decision). In contrast, men showed less confirmation bias when they made an independent compared to an interdependent decision. Results were discussed in terms of self-construal differences between men and women leading to different motivations (defense vs. accuracy) during the information seeking depending on the decision type.     

Proofs,Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics

Journal of Philosophical Logic - Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative...     

The Role of Masculinity/Femininity, Values, and Occupational Value Affordances in Shaping Young Men��s and Women��s Occupational Choices

Gender differences in occupational values have been well-established, yet little research has examined the predictive qualities of individual difference variables such as self-perceived masculinity/femininity on values and these constructs?? predictive role in the traditionality and perceived value affordances of future occupations??or the values persons expect a job to fulfill. Undergraduates (185 males, 401 females) from the Eastern, Southern, and Midwestern United States reported their occupational values, self-perceived masculinity/femininity, expected occupations, and the perceived value affordances of these jobs. Results indicated significant relationships among self-perceived masculinity/femininity, value endorsements, and the perceptions of value affordances. Results also indicated some differences among the three subsamples as well as gender differences across subsamples. Also, value endorsements mediated the relationships between self-perceived masculinity/femininity and traditionality and self-perceived masculinity/femininity and perceived value affordances. Thus, the values associated with jobs and personal value endorsements are important variables in career choice. The implications of these findings are discussed, and it is suggested that perceptions of occupational value affordances may be an entry point for intervention when trying to reduce occupational gender segregation.     

Rosenkranz’s Logic of Justification and Unprovability

Journal of Philosophical Logic - Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a...     

Syncategoremata in Arabic Logic,al-Fārābī and Avicenna

Presented here are translations of two essays of the Austrian logician, philosopher and experimental psychologist Ernst Mally, originally delivered at the Third International Congress of Philosophy in Heidelberg, Germany. Both essays conclude with discussion between Mally and Kurt Grelling. Mally was a student of Alexius Meinong and a contributor to logical investigations in the field of object theory (Gegenstandstheorie). In these essays, Mally introduces a vital distinction between formal and extra-formal ‘determinations’ (Bestimmungen), and he argues that formal determinations are not part of the identity conditions for intended objects, but provide the basis for a theory of pure logical and mathematical relations. Mally then proceeds to develop a formal logic of formal and extra-formal determinations, whose interrelations of ontic and modal predications provide an analysis of fundamental object theory concepts.     

Towards a Philosophy of Chemistry. A short extract of this paper was first read at the 10th International Congress of Logic, Methodology and Philosophy of Science, Florence, August 19–25, 1995.

The paper shows epistemological, methodological and ontological peculiarities of chemistry taken as a classificatory science of materials using experimental methods. Without succumbing to standard interpretations of physical science, chemical methods of experimental investigation, classification, reference, theorizing, prediction and production of new entities are developed one by one as first steps towards a philosophy of chemistry. Chemistry challenges traditional concepts of empirical object, empirical predicate, reference frame and theory, but also the distinction commonly drawn between natural science and technology. Due to its many peculiarities, I propose to treat chemistry philosophically as a special type of science, apart from other sciences.     

Some Notes on Boolos’ Semantics: Genesis,Ontological Quests and Model-Theoretic Equivalence to Standard Semantics

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a semantics of pluralities for Boolos’ plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ (directly) second-order languages (theories) to second-order entities (and to set theory), contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics.     

From ��Water Boiling in a Peruvian Town�� to ��Letting them Die��: Culture, Community Intervention, and the Metabolic Balance Between Patience and Zeal

While the concept of culture has long been central to community psychology research and intervention, it has most frequently referred to the communities in which such work occurs. The purpose of this paper is to reframe this discussion by viewing community interventions as instances of intercultural contact between the culture of science, reflected in community intervention research, and the culture of the communities in which those interventions occur. Following a brief discussion of the complexities of culture as a concept, two illustrative stories of failed community interventions are provided to highlight the centrality of cultural and contextual understanding as prelude to community intervention. These stories, set 50 years apart, reflect the depth and pervasive influence of both the culture of science and the culture of communities. Next, a series of propositions about the culture of social science as a partial reflection of the broader culture of the United States are offered, and their implications for the conduct of community interventions drawn. The paper concludes with a series of recommendations which, together, provide an ecological mind-set for taking culture seriously in community interventions. Central to this mind set are the importance of focusing on communities rather than programs and emphasizing the intervention goal of choice over change.     

The autonomy of cultural practice: Basis, limit and significance of the possibility of developing ��cultural automatism��

Culture has always led a “problematic existence.” As a result, the diagnosis and treatment of various cultural diseases continue to depend on the embarrassing double identity of culture as both patient and doctor, hence making it difficult for culture to explore its own obscure recesses. The question of whether culture is autonomous and can be itself in its own way should therefore be considered theoretically. Since culture is closely associated with civilization, real culture must be generated from the florescence of a civilization based on a logic of human integrity within a certain historical period of time. In order to illuminate and adhere to this cultural attribute, some “cultural truths” must be made clear by establishing and maintaining public order and good customs from a properly lofty spiritual view. We must prudently and critically inquire after the ideological promise of culture regarding reasonable existence and the evolution of humans, and present an ideal prophecy in line with the human demand for a good life so as to assure culture’s healthy, benign, and sustainable advancement and stable performance of its function of molding graceful, noble, and tasteful means of life.