Let be the class of frames satisfying the condition.

IN Hilbert's theory of the foundations of any given branch of mathematics the main problem is to establish the consistency (of a suitable formalisation) of this branch. Since the (intuitionist) criticisms of classical logic, which Hilbert's theory was intended to meet, never even alluded to inconsistencies (in classical arithmetic), and since the investigations of Hilbert's school have always established much more than mere consistency, it is natural to formulate another general problem in the foundations of mathematics: to translate statements of (...) theorems and proofs in the branch considered into those of some preferred system, where the translation must satisfy certain appropriate conditions (interpretation). The problem is relative to the choice of preferred system, as is Hilbert's consistency problem since he required the consistency to be established by particular methods (finitist ones). A finitist interpretation of classical number theory, which has been published in full detail elsewhere, is here described by means of typical examples. Partial results on analysis (theory of arbitrary functions whose arguments and values are the non-negative integers) are here presented for the first time. One of these results is restricted to functions whose values are bounded; its interest derives from the fact that real numbers may be represented by such functions. It is hoped that diverse general observations and comments, which would bore the specialist, may be of help to the general reader. The specialist may find some points of interest in the last two sections of the main text and in the notes following it. (shrink)

The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.

Research has demonstrated that employee reactions to monitoring systems depend on both the characteristics of the monitoring system and how it is implemented. However, little is known about the role individual differences may play in this process. This study proposes that individuals have generalized attitudes toward organizational control and monitoring activities. We examined this argument by assessing the relationship between employees’ baseline attitudes toward a set of monitoring and control techniques that span the employment relationship. We further explore the effects (...) of employees’ generalized attitudes toward monitoring and their individual ethical orientations on their attitudinal reactions to an Internet monitoring system implemented in their workplace. Results of a longitudinal study indicate that as expected, prior beliefs and ethical orientation interact to affect employees’ reactions to monitoring systems. Implications for research and practice are discussed. (shrink)

The problems of this passage were concisely stated by M. Platnauer more than thirty years ago and his suggestions for their solution have been adopted and developed in A. S. F. Gow's magnum opus. Its authority—so the present writer suspects—is liable at this point to eclipse the meaning of the text.

The conceptual framework of behaviorism is reconstructed in a logical scheme rather than along chronological lines. The resulting reconstruction is faithful to the history of behaviorism and yet meets the contemporary challenges arising from cognitive science, psycholinguistics, and philosophy. In this reconstruction, the fundamental premise is that psychology is to be a natural science, and the major corollaries are that psychology is to be objective and empirical. To a great extent, the reconstruction of behaviorism is an elaboration of behaviorist views (...) of what it is for a science to be objective and empirical. The reconstruction examines and evaluates behaviorist positions on observation and the rejection of introspection, the behavioral data language, theory construction, stimulus-response psychology, the organization of behavior, complex processes, agency, and the interpretation of mentalistic language. The resulting reconstruction shows behaviorism to be a pragmatic psychological version of positivism based on a behavioral epistemology. (shrink)

Mathematical modeling is a convenient way for characterization of complex ecosystems. This approach was applied to study the dynamics of zooplankton in Lake Sevan (Armenia) at different stages of anthropogenic eutrophication with the use of a novel method called discrete modeling of dynamical systems with feedback (DMDS). Simulation demonstrated that the application of this method helps in characterization of inter- and intra-component relationships in a natural ecosystem. This method describes all possible pairwise inter-component relationships like “plus–plus,” “minus–minus,” “plus–minus,” “plus–zero,” “minus–zero,” (...) and “zero–zero” that occur in most ecosystems. Based on the results, a working hypothesis was formulated. It was found that the sensitivity to weak external influence in zooplanktons was the greatest during the mid period of eutrophication in Lake Sevan, whereas in the final stages of eutrophication, an outbreak in the biomass production of cyanobacteria was evident. To support this approach, a weak external disturbance in the form of magnetic storm was used to see its effect on species Daphnia longispina sevanica. A statistically significant correlation between the frequency of magnetic storms and the number of this species was revealed and an increase in the number of toxic cyanobacteria species as a consequence of eutrophication. This paper, for the first time, suggests a DMDS method, to diagnose impact of anthropogenic eutrophication on environment. (shrink)

This paper examines an issue that is becoming increasingly relevant as the pressures of a warming planet, changing climate and changing ecosystems ramp up. The broad context for the paper is the intragenerational, intergenerational, and interspecies equity implications of changing the climate and the value orientations of adapting to such change. In addition, the need to stabilize the planetary climate by urgent mitigation of change factors is a foundational ethical assumption. In order to avoid further animal and plant extinctions, or (...) at the very least, their increased vulnerability to becoming rare and endangered; the systematic assisted colonization of “at risk” species is being seriously considered by scientists and managers of biodiversity. The more practical aspects of assisted colonization have been covered in the conservation biology literature; however, the ethical implications of such actions have not been extensively examined. Our discussion of the value issues, using a novel case study approach, will rectify the limited ethical analysis of the issue of assisted colonization of species in the face of climate change pressures. Beyond sustainability ethics, both animal and environmental ethical approaches will be used and intrinsic versus instrumental value orientations in the literature shall form the basis of our discussion. After the application of all the ethical approaches to the case studies, we conclude that without mitigation and the prospect of a future stable climate, assisted colonization will be involved in an inherently unethical process and a “move and lose it” outcome. With mitigation, there is wide-ranging ethical support for assisted colonization. (shrink)

In the article "The Epistemological Nature of Information Modeling" [Gnoseologicheskaia priroda informatsionnogo modelirovaniia], Voprosy filosofii, 1963, No. 10, Academician V. M. Glushkov examines two important methodological aspects of the modeling of natural objects and phenomena in the contemporary natural sciences. The first consists of the informational nature of the models created, and the second of their dynamism. The dynamic nature of today's models in the natural sciences means that it is not so much the material structure of the object that (...) is modeled as its behavior and functions in some sphere of natural phenomena. In this sense, the models under examination may also be termed functional, as distinct from the structural models pertaining to a static description of objects. (shrink)

Wegner (2002) fails to (1) distinguish conscious will and voluntariness; (2) account for everyday willed acts; and (3) individuate thoughts and acts. Wegner incorrectly implies that (4) we experience acts as willed only when they are caused by unwilled thoughts; (5) thoughts are never true causes of actions; and (6) we experience ourselves as first performing mental acts which then cause our intentional actions.