Infinity in Ontology and Mind

Two fundamental categories of any ontology are the category of objects and the category of universals. We discuss the question whether either of these categories can be infinite or not. In the category of objects, the subcategory of physical objects is examined within the context of different cosmological theories regarding the different kinds of fundamental objects in the universe. Abstract objects are discussed in terms of sets and the intensional objects of conceptual realism. The category of universals is discussed in terms of the three major theories of universals: nominalism, realism, and conceptualism. The finitude of mind pertains only to conceptualism. We consider the question of whether or not this finitude precludes impredicative concept formation. An explication of potential infinity, especially as applied to concepts and expressions, is given. We also briefly discuss a logic of plural objects, or groups of single objects (individuals), which is based on Bertrand Russell’s (1903, The principles of mathematics, 2nd edn. (1938). Norton & Co, NY) notion of a class as many. The universal class as many does not exist in this logic if there are two or more single objects; but the issue is undecided if there is just one individual. We note that adding plural objects (groups) to an ontology with a countable infinity of individuals (single objects) does not generate an uncountable infinity of classes as many.

Hilbert's epsilon as an operator of indefinite committed choice

Hilbert and Bernays avoided overspecification of Hilbert's ε-operator. They axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the ε-operator underspecified. After briefly reviewing the literature on semantics of Hilbert's epsilon operator, we propose a new semantics with the following features: We avoid overspecification (such as right-uniqueness), but admit indefinite choice, committed choice, and classical logics. Moreover, our semantics for the ε simplifies proof search and is natural in the sense that it mirrors some cases of referential interpretation of indefinite articles in natural language.     

Formal mentoring programs: The relationship of program design and support to mentors’ perceptions of benefits and costs

This study investigates the relationship of formal mentoring program design elements (i.e., voluntary participation, input to matching, and effectiveness of training) and management support to the benefits and costs perceived by formal mentors. Data were collected from 97 formal mentors from a Midwestern financial institution. Multiple regressions were performed controlling for time as a mentor in the program, hours spent mentoring, and number of protégés. Voluntary mentor participation was positively related to perceiving rewarding experiences and negatively related to being more trouble than it was worth. Input to the matching process was negatively related to nepotism, and perceptions of training effectiveness were positively related to generativity. Finally, perceived management support for the program was positively related to rewarding experience and recognition, and negatively related to generativity and bad reflection. Three supplemental group interviews were conducted to further explore some of the survey findings. Directions for future research and implications for formal workplace mentoring programs as well as mentoring programs in cross-disciplinary contexts are discussed.     

Some problems concerning language and physics

We discuss three problems concerning the use of formal languages in theoretical physics: (i) the definability of time and spacetime in classical physical theories; (ii) how to cope with indistinguishable elementary particles in quantum mechanics without labeling them; and (iii) how to get a formal picture of quantum states jumping.     

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

We present a methodology for the verification of multi-agent systems, whose properties are specified by means of a modal logic that includes a temporal, an epistemic, and a modal operator to reason about correct behaviour of agents. The verification technique relies on model checking via ordered binary decision diagrams. We present an implementation and report on experimental results for two scenarios: the bit transmission problem with faults and the protocol of the dining cryptographers.     

赖尔的行为主义心身关系论辩分析

现代哲学家赖尔把笛卡尔的学说称为"机器中的幽灵说",认为笛卡尔犯了范畴错误,并提出了自己所谓的心的理论。但是赖尔虽然正确指出了笛卡尔的错误,却仍然无法解决身心问题,其自身理论面临着困境。赖尔将心的本质理解为行为,然而哲学家对赖尔的批评表明对心的词汇的物理行为分析是不可能成功的。赖尔的困境是其哲学本体论的必然结果,在赖尔那里还是把世界描述为"心-物"的二元对立,而在二元论框架内是无法解决心身问题的。     

Development and validation of the organisational cooperation questionnaire

IntroductionCooperation is an essential framework for the functioning of organisations and society. The limitations of current measures of organisational cooperation led us to construct the measure herein presented.ObjectiveThe paper aims to describe the development and psychometric validation of an organisational cooperation measure based on how the cooperating members view and experience the cooperation process.MethodBased on relevant literature, the items were built and submitted to a panel of experts and fine-tuning procedures. The instrument (31 items) was applied to 1354 employees in local authorities. Exploratory and confirmatory factor analysis were performed (2 sub-samples), as well as validation procedures through Pearson correlation with the Knowledge Management Questionnaire.ResultsResults showed good statistical indicators of a 22-items three-factor structure: principles of cooperative relationship; formal regulation of cooperation; and cooperation focused on organisational mission. The factors are interpreted theoretically and present high internal consistency. The validation process suggests the suitability of the instrument for the population studied.ConclusionThis instrument can be used as a starting point for organisational intervention when cooperation-intensive processes are relevant. It can be useful to characterize the existing cooperation in organisations and to foster cooperation in organisations, especially in the intended dimensions. Future studies can apply the instrument to various sectors of activity. It will also be worth studying cooperation in its relationship with other organisational variables, namely those concerning cooperation-intensive processes.     

Heidegger,Communal Being,and Politics

There are two critical, but opposite interpretations of Heidegger’s understanding of being as a social ontology. One charges Heidegger with adhering to an anti-social “private irony,” while the other charges him with promoting a “self-canceling” totality. The current essay replies to these two charges with a discussion of Heidegger’s understanding of being as “communal being,” which is implicated both in the early Heidegger’s concept of “being-in-the-world-with-others” and in the later Heidegger’s keyword of Ereignis. It argues that Heidegger’s understanding of being as communal being is neither identical with totalitizing publicness nor the same as voluntaristic egotism. According to Heidegger, both the publicness of das Man and voluntaristic egotism are the real threats to humanity at present. Because of them, we human beings are in danger of being uprooted from the earth upon which we—as communal beings—have already and always dwelled and lived with others from the very beginning of human history.     

OBJECT-ORIENTED ONTOLOGY AND THE OTHER OF WE IN ANTHROPOCENTRIC POSTHUMANISM

The object-oriented ontology group of philosophies, and certain strands of posthumanism, overlook important ethical and biological differences, which make a difference. These allied intellectual movements, which have at times found broad popular appeal, attempt to weird life as a rebellion to the forced melting of lifeforms through the artefacts of capitalist realism. They truck, however, in a recursive solipsism resulting in ontological flattening, overlooking that things only show up to us according to our attunement to them. Ecology and biology tend to get lost in the celebration of “thingness,” which puts on par artifacts, trash, and living beings. Such abstractions fail to understand the political, ethical, and ontological implications of eliding the animate/nonanimate distinction, which from the opposite direction (of flattening) reproduce the same violences of historical colonialism (hierarchical humanism). I argue that ontological flattening entails epistemological narcissism, fails to take into account plural (interspecies) perspectives, and propose biosemiotics can address these shortcomings through becoming-with nonhuman knowledge.