Plural Reference

A plural referring expression ('the F s' or 'Tom, Dick and Harriet') may be used to refer either distributively, saying something which applies to each of the F s individually, or collectively, to the F s taken as a single totality. Predicate Logic has to analyse both uses in terms of singular reference, treating them quite differently in so doing; but we think of such an expression as functioning in basically the same way in both kinds of use. This understanding can be vindicated if we recognise that what a plural referring expression picks out is not either an aggregate simpliciter or a set, but a plurality – an aggregate taken relative to a principle for individuating its constituents; this admits of being seen either as many things or as one. In any given case, it is the nature of what is being said about the plurality which tells us whether the reference to it is to be taken as distributive, collective, or a combination of the two. Talk about pluralities is extensional. Augmenting Predicate Logic to accommodate the distinctive inference-pattern associated with distributive plural reference is simple – and arguably necessary, to cope with cases in which distributive and collective reference are essentially combined (e.g., attributions of concerted action).     

框架效应及其认知机制的研究进展

框架效应违背了不变性原则,是描述性决策理论违背规范性理论的经典异像。以亚洲疾病问题为代表的经典框架效应又称作风险选择框架效应,此外还包括特征框架效应等不同类别。框架效应受损益值类型和大小等社会线索影响。除展望理论可以解释其认知机制外,模糊痕迹理论和概率心理模型等也对此加以解释。框架效应的脑机制在大脑右半球和杏仁核等区域。文章最后对全文做了总结及展望。     

Incompatibilism proved

The consequence argument attempts to show that incompatibilism is true by showing that if there is determinism, then we never had, have or will have any choice about anything. Much of the debate on the consequence argument has focused on the “beta” transfer principle, and its improvements. We shall show that on an appropriate definition of “never have had, have or will have any choice”, a version of the beta principle is a theorem given one plausible axiom for counterfactuals (weakening). Instead of being about transfer principles, the debate should be over whether the distant past and laws are up to us.     

The relationship between purposiveness and information integration: The effect of metamotivational states on cognitive rules in sport

IntroductionInformation integration theory is based on an axiom of purposiveness (i.e. cognition is goal-motivated) and on an axiom of integration (i.e. an action or thought depends on the integration of several stimuli). The relationship between the two axioms has not previously been studied.ObjectiveTo explore the influence of metamotivational states on information integration. We looked at how 70 athletes combined four factors (autonomy, relatedness, competence, and the natural environment) when deciding whether or not to get involved in running under paratelic (activity-oriented) and telic (goal-oriented) conditions.MethodThe participants recorded their decision-making processes for two sets of 24 scenarios built from combinations of the four factors. Repeated-measures ANOVAs were applied to the data.ResultsAll four factors were taken into consideration by the participants when deciding whether or not to get involved in running. The participants used a conjunctive rule under the paratelic condition and an additive rule under the telic condition.ConclusionAn individual's metamotivational state may modify the cognitive algebra in information integration. Further research is required to confirm these initial findings.     

The Simplest Axiom System for Plane Hyperbolic Geometry Revisited

Using the axiom system provided by Carsten Augat in [1], it is shown that the only 6-variable statement among the axioms of the axiom system for plane hyperbolic geometry (in Tarski’s language L _B≡), we had provided in [3], is superfluous. The resulting axiom system is the simplest possible one, in the sense that each axiom is a statement in prenex form about at most 5 points, and there is no axiom system consisting entirely of at most 4-variable statements.     

Are There Enough Injective Sets?

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Löf’s intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argument fails to work in CZF. The aim of this paper is to shed some light on the problem whether there are (enough) injective sets in CZF. We show that no two element set is injective unless the law of excluded middle is admitted for negated formulas, and that the axiom of power set is required for proving that “there are strongly enough injective sets”. The latter notion is abstracted from the singleton embedding into the power set, which ensures enough injectives both in every topos and in IZF. We further show that it is consistent with CZF to assume that the only injective sets are the singletons. In particular, assuming the consistency of CZF one cannot prove in CZF that there are enough injective sets. As a complement we revisit the duality between injective and projective sets from the point of view of intuitionistic type theory.     

Frege's Begriffsschrift is Indeed First-Order Complete

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete.     

The Graph Conception of Set

The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the root of this neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA is justified on the conception, which provides, contra Rieger (Mind 109:241–253, 2000), a rationale for restricting attention to the system based on this axiom. By making use of formal and informal considerations, I then make a case that most of the other axioms of this system are also justified on the conception. I conclude by commenting on the significance of the conception for the debate about the justification of the Axiom of Foundation.     

People's naive understandings of their close relationships: Attributional and personal construct perspectives

In this paper, similarities and differences between attribution theory and personal construct theory are described. In comparing these theories, account making is used as an illustrative phenomenon to show major points of similarity and divergence in possible interpretation. Attribution theory basically involves a focus on the situational determinants of thought and behavior, whereas personal construct theory involves an idiographic approach to human thought and action. Despite this fundamental difference, the two theoretical positions are similar in key ways, including original emphases on people's naive understandings. Major aspects of the construal process as articulated by George Kelly for personal construct theory and the interpretative process as posited by Fritz Heider are similar, it is concluded that scholars from both theoretical persuasions would profit from a closer examination of this interface and of how account making as a natural human reaction to stressful situations reveals interesting areas of overlap for conceptual and empirical exploration.     

论基础公理与反基础公理

"循环并不可恶"。本文在此基础上讨论基础公理和反基础公理。首先指出基础公理原本就是一条有争议的公理;第二,说明基础公理的局限性;第三,详细论述反基础公理家族中的三个成员,并给出它们两两不相容的一个证明;第四,分析反基础公理导致集合论域在V=WF上不断扩张的方法,并指出这种扩张的方法与数系扩张的方法相同;最后结论:良基集合理论(ZFC)与非良基集合理论(ZFC~-+AFA(或者ZFC和ZFC~-+FAFA或者ZFC和ZFC~-+SAFA))之间的关系类似于欧几里得几何学与非欧几何学之间的关系。     

Arithmetic based on the Church numerals in illative combinatory logic

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML.The author wishes to thank Dr. Roger Hindley for proofreading this paper and for making some useful suggestions. This paper was presented at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.     

Normal bimodal logics of ability and action

The basic bimodal systemK/K can be interpreted as an analysis of the logic of ability developed in [1]. Where in [1] we would express the claimI can bring it about that P using the formula, with its non-normal operator, we will now use the formula. Here is a normal alethic possibilitation operator.is a normal necessitation operator, but it is independent of, and not subject to an alethic interpretation. Rather, is interpreted to meanI bring it about that P. The result is a simplification and clarification of a combined logic of ability and action like that in [2], but employing only normal operators.A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability.I am grateful to Valentin Goranko, David K. Lewis, Marion Sarkis Mircheva, and Solomon Passy for helpful discussions and correspondence on these topics.     

Zitierte zeichenreihen

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters which do not occur in our alphabet. That's why Tarski's, Quine's, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. The problem is to construct a Tarskian theory of truth for an object language which contains quotation marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with an axiom which determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since our admitting such contexts does not lead to any difficulties in our recursive truth characterization, we may indeed dispense with extensionalism. Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities.     

Physical violence at the workplace: Consequences on health and measures of prevention

Based on definitions and theoretical models of physical violence at the workplace, this paper presents scientific knowledge and working hypotheses regarding both, the causes and effects of physical violence on health, and pertinent preventive measures of intervention to be taken by enterprises. Four groups of determinants of violence are presented and discussed: determinants relative to the structure and the culture of the enterprise; the aggressor; the victim; and the socio-cultural environment. The theoretical model by Baron and Neumann [Public Admin Q 21 (1998) 446–64] is used to explain the complex origin of violent behavior at work based on these determinants. Moreover, the various and multiple consequences of a violent act are examined. In addition to the direct effects of such an act on the social, organizational and individual level, the indirect effects are also taken into consideration. In this analytical context, health problems are more particularly underlined, such as the psychological trauma suffered by victims of a violent act. Finally, two different areas of intervention will be distinguished: interventions on the physical environment and interventions on the level of company management or an organizational group which aims at changing the behavior of the members of the organization. Different scientific evaluations of action programs to reduce violent acts are presented. In conclusion, this paper calls for further research on physical violence in the workplace.     

一个含有原子的自然模型∑（A）

1989年A.Blass和A.Scedrov构造了含有原子的模型V（A）（A是所有原子的集合,参见文献[1]）并证明了V（A）是ZFA（ZFA=ZF＋A,公理A断言：存在所有原子的集合）的模型。由于集合论的公理系统GB是ZF的一个保守扩充,因此,集合论的公理系统GBA（GBA=GB＋A,其中GB是集合论的含有集合和类的哥德尔－贝奈斯公理系统）也是ZFA的一个保守扩充。本文的目的是在集合论的含有原子和集合的公理系统ZFA的自然模型V（A）的基础上,为集合论的含有原子、集合和类的公理系统GBA建立模型。因此,我们首先介绍了A.Blass和A.Scedrov的含有原子的模型V（A）;第二,给出并证明V（A）具有的一些基本性质;第三,扩充了集合论的公理系统ZFA的形式语言LZFA并定义含有原子和集合的类C;第四,构造含有原子、集合和类的模型∑（A）,称它为自然模型,最后,证明了∑（A）是GBA的模型。     

The nonequivalence of behavioral and mathematical equivalence.

Sidman and his colleagues derived behavioral tests for stimulus equivalence from the axiom in logic and mathematics that defines a relation of equivalence. The analogy has generated abundant research in which match-to-sample methods have been used almost exclusively to study interesting and complex stimulus control phenomena. It has also stimulated considerable discussion regarding interpretation of the analogy and speculation as to its validity and generality. This article reexamines the Sidman stimulus equivalence analogy in the context of a broader consideration of the mathematical axiom than was included in the original presentation of the analogy and some of the data that have accumulated in the interim. We propose that (a) mathematical and behavioral examples of equivalence relations differ substantially, (b) terminology is being used in ways that can lead to erroneous conclusions about the nature of the stimulus control that develops in stimulus equivalence experiments, and (c) complete analyses of equivalence and other types of stimulus-stimulus relations require more than a simple invocation of the analogy. Implications of our analysis for resolving current issues and prompting new research are discussed.     

An examination of premarital sexual behavior among college students in hong kong

Abstract

This study examined the determinants of Hong Kong Chinese college students' intentions to engage in premarital sexual behavior. Fishbein and Ajzen's (1975) theory of reasoned action (TOFA) and Ajzen's (1985) perceived behavioral control were used as the theoretical framework for our investigation. Two hundred and thirty eight students completed a questionnaire designed to measure constructs of the two theories. Results from the regression analysis: (a) support the applicability of TORA in predicting these students' intentions to engage in premarital sex; (b) suggest that while attitudes toward engaging in premarital sex were more important in predicting male students' intentions, subjective norms were more important for female students; (c) reveal that the additional prediction contributed by the behavioral control components was relatively weak. Other findings were basically consistent with premarital sex research conducted in Western societies. Given the fact that promoting abstinence is one way to stop the transmission of the AIDS virus, both the theoretical and applied implications of our results for health intervention are discussed.     

The Simplest Axiom System for Plane Hyperbolic Geometry

We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, all of whose axioms are also at most 4-variable universal sentences. We also provide an axiom system for plane hyperbolic geometry in Tarski's language L _B which might be the simplest possible one in that language.     

Want of Care: An Essay on Wayward Action

Philosophers have taken little heed of the fact that people often act contrary to their better judgment not because they suffer a volitional infirmity like weakness of will or compulsion but instead because they care too little about what they judge best (they are unconcerned) or they care too much about something else (they are compromised). Unconcerned and compromised action, being varieties of akratic action that do not involve volitional infirmity, are phenomena worth examining not only in their own right but also for what they reveal about the better known varieties of akratic action for which they might easily be mistaken, such as weak-willed action and action (or inaction) that stems from accidie. Unconcern and compromise also are worth examining for what they reveal about a topic beyond philosophical psychology, namely, moral and legal accountability. Forgiveness, resentment, and retributive punishment each may have less to do with what an offender (morally) believes than with what he cares about.