This article considers the problem of how employees and observers of business ethics behaviors often do not know how to safely and effectively engage with business ethics issues and cases. The ameliorative method of social situational business ethics framing was analyzed. Key parts of the related literature from philosophy, sociology, organizational studies, and business ethics are reviewed. A literature gap between general framing theory and business ethics was identified with respect to the need for social situational framing in business ethics (...) at the micro individual, meso organizational, and macro institutional levels. Theoretical propositions for bridging the literature gap and a wide variety of business ethics engagement case examples are developed as illustrations of and support for the propositions. Practical social situational business ethics framing implications for safe and effective business ethics engagement are considered. (shrink)

This article considers the problem of how employees and observers of business ethics behaviors often do not know how to safely and effectively engage with business ethics issues and cases. The ameliorative method of social situational business ethics framing was analyzed. Key parts of the related literature from philosophy, sociology, organizational studies, and business ethics are reviewed. A literature gap between general framing theory and business ethics was identified with respect to the need for social situational framing in business ethics (...) at the micro individual, meso organizational, and macro institutional levels. Theoretical propositions for bridging the literature gap and a wide variety of business ethics engagement case examples are developed as illustrations of and support for the propositions. Practical social situational business ethics framing implications for safe and effective business ethics engagement are considered. (shrink)

The shapes of neurons and glial cells dictate many important aspects of their functions. In olfactory systems, certain architectural features are characteristics of these two cell types across a wide variety of species. The accumulated evidence suggests that these common features may play fundamental roles in olfactoryinformation processing. For instance, the primary olfactory neuropil in most vertebrate and invertebrate olfactory systems is organized into discrete modules called glomeruli. Inside each glomerulus, sensory axons and CNS neurons branch and synapse in patterns (...) that are repeated across species. In many species, moreover, the glomeruli are enveloped by a thin and ordered layer of glial processes. Theglomerular arrangement reflects the processing of odor information in modules that encode the discrete molecular attributes of odorant stimuli being processed. Recent studies of the mechanisms that guide the development of olfactory neurons and glial cells have revealed complex reciprocal interactions between these two cell types, which may be necessary for the establishment of modular compartments. Collectively, the findings reviewed here suggest that specialized cellular architecture plays key functional roles in the detection, analysis, and discrimination of odors at early steps in olfactory processing. (shrink)

The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An agent , working as a slave for its master , can carry out the task αβ if it can carry out any one of the two tasks α, β, depending on which of them was requested by the master; similarly, it can carry out xα if it can carry out α for any particular (...) value for x selected by the master; an agent can carry out α→β if it can carry out β as long as it has, as a slave , an agent who carries out α; finally, carrying out P, where P is an atomic formula, simply means making P true; in particular, is a task that no agent can carry out. When restricted to the language of classical logic, the meaning of formulas is isomorphic to their classical meaning, which makes our semantics a conservative extension of classical semantics.This semantics can claim to be a formalization of the resource philosophy associated with linear logic, if resources are understood as agents carrying out tasks. The classical operators of our language correspond to the multiplicative operators of linear logic, while and correspond to the additive conjunction and universal quantifier, respectively.Our formalism may also have a potential to be used in AI as an alternative logic of planning and action. Its main appeal is that it is immune to the frame problem and the knowledge preconditions problem.The paper axiomatically defines a logic L in the above language and proves its soundness and completeness with respect to the task semantics in the following intuitive sense: L α iff α can be carried out by an agent who has nothing but its intelligence for carrying out tasks. This logic is shown to be semidecidable in the full language and decidable when the classical quantifier is forbidden in it. (shrink)

Recent years have seen an increasing interest in the study of continuous-time computational models. However, not so much has been done with respect to setting up a complexity theoretic framework for such models. The present paper intends to go a step into this direction. We consider problems over the real numbers which we try to relate to Lyapunov theory for dynamical systems: The global minimizers of particular energy functions are supposed to give solutions of the problem. The structure of such (...) energy functions leads to the introduction of problem classes U and NU; for the systems we are considering they parallel the classical complexity classes P and NP. We then introduce a notion of reducibility among problems and show existence of complete problems for NU and for PU, a polynomial hierarchy of continuous-time problems.For previous work on the computational capabilities of continuous-time systems see the surveys by Cris Moore [9] and by Pekka Orponen [10]. Our paper presents a step into the direction of creating a general framework for a complexity theory of continuous-time systems as outlined in [10]. It is closely related to work done by A. Ben-Hur, H. Siegelmann, and S. Fishman [12, 11]. (shrink)

Malebranche and the Search after Lost Identity. Legacy and Uncertainty of His Philosophy between the Eighteenth and Twentieth Centuries. Starting from the Œuvres complètes edited by Robinet, the article summarizes the vicissitudes through which the French historical scholarship with its leading figure Victor Cousin have restored the imagine and the correspondence of Malebranche, beginning with the dissemination of the original documents, conserved throughout the eighteenth century by P. Lelong, P. André, and finally P. Adry. In spite of his great historical (...) contribution, the French scholarship generally stressed an inadequate assessment of this philosophy, sharply suspected of spinozism, a judgment inherited by the handbooks of the history of philosophy edited between the XIX and the XX Century, as proved by the case of Grundriss der Geschichte der Philosophie by Überweg. The article concludes with three minimalist but creative readings of Malebranche by Proust, Heisenberg, Dalì. (shrink)

We make several remarks concerning properties of functions in parabolic De Giorgi classes of order p. There are new perspectives including a novel mechanism of propagating positivity in measure, the reservation of membership under convex composition, and a logarithmic type estimate. Based on them, we are able to give new proofs of known properties. In particular, we prove local boundedness and local Hölder continuity of these functions via Moser’s ideas, thus avoiding De Giorgi’s heavy machinery. We also seize (...) this opportunity to give a transparent proof of a weak Harnack inequality for nonnegative members of some super-class of De Giorgi, without any covering argument. (shrink)

Discusses the phenomenological foundations for qualitative research in psychology which operates out of the intersection of phenomenological philosophy, science, and psychology; challenges long-standing assumptions about the practice of grounding the science of psychology in empiricism and asserts that the broader philosophy of phenomenological theory of science permits more adequate psychological development"--Provided by publisher.

"Absolute Beginners" is a multi-approach study of the founding role of the Absolute as the very beginning of knowledge in medieval philosophy (Henry of Ghent, Richard Conington), the subject being addressed from historical, methodological, ...

This paper shows how Aquinas gradually developed his view on angelic speech. His major texts are summarized and compared to those of contemporaries (sections II-III). Next the texts are analyzed, focusing on three issues: the notion of ‘word’ (section IV), the role of the will (section V), and the need of signification (section VI). With regard to each of these topics, Aquinas’ thought evolved, first by juxtaposing and later by integrating Augustinian and Aristotelian viewpoints. Aquinas reaches his mature position in (...) the Summa Theologiae by radically reinterpretating the meaning of ‘word’ and denying that angelic speech has a semiotic structure. (shrink)

Au nom d'un "rationalisme économique morbide" une nouvelle colonisation des esprits envahit la planète. Avec ses agences d'évaluation et ses hommes de main, cette "religion du marché" interdit de penser le monde, notre monde, autrement que comme un stock de marchandises ou de produits financiers. Pour réaliser cette nouvelle manière de civiliser les moeurs il fallait faire chuter la valeur de l'expérience et celle du récit - de la parole - qui la transmet. En faisant baisser le cours de la (...) parole au profit de l'information, de sa part la plus technique et mesurable, nous perdons le monde commun, nous perdons notre monde. Et plus encore en Occident, nous nous habituons à lâcher la démocratie pour l'ombre d'une technocratie qui organise insidieusement nos servitudes volontaires. Cet ouvrage invite au retour du politique pour retrouver les conditions sociales et culturelles permettant de penser, de juger et de décider. Cela exige que soit d'abord interrogé le statut du savoir dans la culture, son rapport à l'expérience et aux pratiques sociales. Mais comment retrouver aujourd'hui la dignité de penser dans une culture qui ignore la légitimité du savoir du conte, du rêve, du jeu et de leurs récits? La France qui se lève tôt a-t-elle encore le temps de raconter sa vie, son histoire et ses rêves? (shrink)

In the 1881 note 11 [156], Nietzsche mentions the “infinitely small moment” as “the highest reality and truth” for the individual who tries to contrast the “uniformity of sensations” and to affirm his “idiosyncratic taste”. The fragment explores some ideas on the herd instinct that will be developed in "The Gay Science"; observations on the cultural and anthropological value of science; critical refections on metaphysical realism. Most important, these considerations focus on the relationship between man and society, which is the (...) plane of the standardized “normal taste” selected throughout the evolution of mankind. The paper explores these issues and especially deals with the dialectic relationship between the individual and the community viewpoint that Nietzsche seems to take into account. (shrink)

We show that there exist downwards properly $\Sigma _{2}^{0}$ (in fact noncuppable) e-degrees that are not high. We also show that every high e-degree bounds a noncuppable e-degree.

Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable logics TLR (...) and TLRω. It is proved that TLR yields exactly the schemata of PA-provable sentences, if Tr is understood as “Tr is tolerant”. In fact, TLR axiomatizes a considerable fragment of provability logic with quantifiers over ∑1-sentences, and many relations that have been studied in the literature can be expressed in terms of tolerance. We introduce and study two more relations between theories: cointerpretability and cotolerance which are, in a sense, dual to interpretability and tolerance. Cointerpretability is a characterization of ∑1-conservativity for essentially reflexive theories in terms of translations. (shrink)

This work is an attempt to lay foundations for a theory of interactive computation and bring logic and theory of computing closer together. It semantically introduces a logic of computability and sets a program for studying various aspects of that logic. The intuitive notion of computational problems is formalized as a certain new, procedural-rule-free sort of games between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any possible (...) environment. The formalism used as a specification language for computational problems, called the universal language, is a non-disjoint union of the formalisms of classical, intuitionistic and linear logics, with logical operators interpreted as certain—most basic and natural—operations on problems. Validity of a formula is understood as being “always computable”, and the set of all valid formulas is called the universal logic. The name “universal” is related to the potential of this logic to integrate, on the basis of one semantics, classical, intuitionistic and linear logics, with their seemingly unrelated or even antagonistic philosophies. In particular, the classical notion of truth turns out to be nothing but computability restricted to the formulas of the classical fragment of the universal language, which makes classical logic a natural syntactic fragment of the universal logic. The same appears to be the case for intuitionistic and linear logics . Unlike classical logic, these two do not have a good concept of truth, and the notion of computability restricted to the corresponding two fragments of the universal language, based on the intuitions that it formalizes, can well qualify as “intuitionistic truth” and “linear-logic truth”. The paper also provides illustrations of potential applications of the universal logic in knowledgebase, resourcebase and planning systems, as well as constructive applied theories. The author has tried to make this article easy to read. It is fully self-contained and can be understood without any specialized knowledge of any particular subfield of logic or computer science. (shrink)

The paper demonstrates that a detailed analysis of Hegel’s criticism of rationalist metaphysics in the “Vorbegriff” (Preliminary Conception) chapter of the Encyclopedia Logic can shed light on the following critical features of Hegel’s metaphysics: (1) advancing semantic holism as an alternative to semantic atomism; (2) renouncing the projection of a substance-attribute formal structure onto actuality; (3) dismissing sense perception as the source of conceptual content; and (4) rejecting dualist ontology.

This book argues that the Doctrine of the Concept is the centerpiece of Hegel’s philosophical system and, through a close analysis of this final part of the Science of Logic, presents a detailed account of the key features of Hegel’s ontology.

This paper means to demonstrate the theoretical-and- methodological potential of a particular pattern of thought about culture. Employing an end-means and absolute value plus concept of reality approach, the continuous model of culture aims to embrace from one holistic standpoint various concepts and debates of the modern human, social, and political sciences. The paper revisits the debates of fact versus value, nature versus culture, culture versus structure, agency versus structure, and economics versus politics and offers the concepts of the rule (...) of law, state capitalism, a dialectical model of progress, and interpretative qualitative research, as well as of cultural diffusion, autonomy, alienation, and individuality. This model distinguishes between the ideal-symbolical and the instrumental functions of culture, sees culture as being sewn from universal binaries, and provides a certain understanding of the cognitive function of a value judgment, with positivism so far vague about the topic. It, too, suggests an extra method for investigating culture : the comparative literature study of culture enables social science to view literature as its potential in-depth interviewee— a case for arguing for a certain conception of interdisciplinarity as well. In addition, it predicts that cultural particularism or individuality remains an essential factor of human existence. Analyzing the issue of Eurocentrism in social science, the model finds modernity ’s concept of reality to be involved in ” methodological ” intellectualistic reductionism, characterizing it since the empiricism/ rationalism origination. Systematically confusing the universal oppositions in a Eurocentric manner, intellectualism becomes a contributing factor in unfolding post- modernity. (shrink)

Friedrich Nietzsche's criticism towards the substance-concept «I» plays an important role in his late thought, and can be properly understood by making reference to the 19th century debate on the scientific psychology. Friedrich Lange and Ernst Mach gave an important contribution to that debate. Both of them developed the ideas of Gustav Fechner, and thought about a «psychology without a soul», i.e. an investigation that gives up with the old metaphysics of substance in dealing with the mind-body problem. In this (...) paper I shall deal with Lange's and Mach's view of the I/soul, in order to shed some light on Nietzsche's rejection of the «I» in philosophy. (shrink)

Formulas of the propositional modal language with the unary modal operators □, Σ1, 1, Σ2, 2,… are considered as schemata of sentences of arithmetic , where □A is interpreted as “A is PA-provable”, ΣnA as “A is PA-equivalent to a Σn-sentence” and nA as “A is PA-equivalent to a Boolean combination of Σn-sentences”. We give an axiomatization and show decidability of the sets of the modal formulas which are schemata of: PA-provable, true arithmetical sentences.

In this paper we will be concerned with the interpretability logic of PA and in particular with the fact that this logic, which is denoted by ILM, does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express Σ₁-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for Σ₁-ness, which might give us a logic with the interpolation property. We will formulate (...) this extension, give an axiomatization which is modally complete and arithmetically complete (although for proofs of these theorems we refer to an earlier paper), and investigate interpolation. We show that this logic still does not have the interpolation property. (shrink)

The phenomenon of "social alchemy", containing the idea of the possibility of creating a new man and a new world and passing through all radical thought, especially of the New and Modern times, had and has a habit of pouring out into violence, in the broadest sense of the word, — from the guillotine and concentration camps to modern "information colonization of consciousness". Having received technological support, when digital technologies and new communication systems cover almost the entire world community, leaving (...) no one outside of their comprehensive influence, the phenomenon of "social alchemy" has acquired a qualitatively different, special and global significance. At the same time, the goals, means and actors have changed, only its radical component has remained unchanged, striving to transform society and build such social, political and economic structures and relations, that would correspond to certain ideas of some elites (economic, political, intellectual) about what should the global world be like in order to ensure their interests to the greatest extent. (shrink)

Nei paragrafi conclusivi della terza dissertazione della "Genealogia della morale" Nietzsche espone l'obiettivo della propria filosofia matura e circoscrive il compito al quale intende dedicarsi negli anni a venire. Quest'ultimo consiste principalmente nel porre in questione ciò che la filosofia non ha mai affrontato problematicamente e operare in particolare una critica del «valore della verità», che è per Nietzsche anche una critica della morale e della cultura europee.

A nonempty sequence T1,...,Tn of theories is tolerant, if there are consistent theories T 1 + ,..., T n + such that for each 1 i n, T i + is an extension of Ti in the same language and, if i n, T i + interprets T i+1 + . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is (...) shown that TOL (resp. TOL) yields exactly the schemata of PA-provable (resp. true) arithmetical sentences, if (A1,..., An) is understood as (a formalization of) PA+A1, ..., PA+An is tolerant. (shrink)