Myhill-Shepherdson property in recursive function theory states that extensional effective program transformations determine continuous operations on partial functions. Case showed that this property fails to characterize acceptability of numberings of partial recursive functions. In this note we present a higher type analogue to Myhill-Shepherdson property. Our purpose is to show that higher type Myhill-Shepherdson property characterizes weak acceptability under a natural condition.

Recent defenders of nationalism have pointed to the fact that most people feel that their obligations towards their compatriots are either more numerous or more stringent than those which bind them to people from other countries. They point to this fact as evidence that something is seriously amiss with the universalism which allegedly underpins liberal theory. That people believe quite strongly that they have such special obligations is taken as a datum for which different theories of justice must somehow offer (...) an account. It is taken to be a measure of the theoretical success of a theory of justice that what we might call the "special-obligations thesis" can be derived from it. (shrink)

Recent defenders of nationalism have pointed to the fact that most people feel that their obligations towards their compatriots are either more numerous or more stringent than those which bind them to people from other countries. They point to this fact as evidence that something is seriously amiss with the universalism which allegedly underpins liberal theory. That people believe quite strongly that they have such special obligations is taken as a datum for which different theories of justice must somehow offer (...) an account. It is taken to be a measure of the theoretical success of a theory of justice that what we might call the "special-obligations thesis" can be derived from it. (shrink)

In reliability engineering and lifetime analysis, many units of the product fail with different causes of failure, and some tests require stress higher than normal stress. Also, we need to design the life experiments which present methodology for formulating scientific and engineering problems using statistical models. So, in this paper, we adopted a partially constant stress accelerated life test model to present times to failure in a small period of time for Gompertz life products. Also, considering that, units are failing (...) with the only two independent causes of failure and tested under type-I generalized hybrid censoring scheme the data built. Obtained data are analyzed with two methods of estimations, maximum likelihood and Bayes methods. These two methods are used to construct the point and interval estimators with the help of the MCMC method. The developed results are measured and compared under Monte Carlo studying. Also, a data set is analyzed for illustration purposes. Finally, some comments are presented to describe the numerical results. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our (...) main computability concepts are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

This work presents and discusses the conception of instantiation as ‘partial identity’. The theory has been previously proposed in two different guises by Baxter and Armstrong . Attention will be paid mostly to Baxter’s presentation, which seems the best de veloped, and where instantiation is understood as identity of ‘aspects’ of a universal and a particular. The theory seems to offer a solution to the vexed question of Bradley’s Regress, because instantiation is no longer conceived as a relation between (...) numerically different entities. The proposed solution requires an ontology of ‘aspects’ in order to work. Aspects are presented in the form [ x insofar as j] where x is filled by the entity to which the aspect pertains and j is filled by the respect in which the entity in question is considered. Aspects are numerically identical with the entity to which they pertain and with the other aspects of the same entity. Aspects, nonetheless, are not mere ways in which one can conceive an entity. Aspects are objective. Rejection of the principle of indiscernibility of identicals is crucial to this theory. The attributions of one aspect are not also attributions to the other aspects of the same entity. Hence, aspects offer ways to deal with seemingly incoherent attributions to the same entity. Baxter uses them to solve the problem of the multi-location of universals, temporary intrinsics and trans-world identity, besides the nature of instantiation. Several difficulties are presented, both to the general metaphysics of aspects, and to the conception of instantiation as identity of aspects. In general: it is not clear how to distinguish objective aspects from the mere forms in which we conceive an entity; it is not clear what are the conditions of identity of an aspect; and although the necessity of identity is rejected in general, it reappears as necessity of ‘aspectual’ identity. The necessity of aspectual identity raises concerns about the stability of the view. In respect to the specific conception of instantiation as identity of aspects, it will be pointed out that the theory implies the complete identity of universals and particulars that instantiate them and, further, that it implies the identity of everything with everything. (shrink)

Verification and validation of numerical models of natural systems is impossible. This is because natural systems are never closed and because model results are always nonunique. Models can be confirmed by the demonstration of agreement between observation and prediction, but confirmation is inherently partial. Complete confirmation is logically precluded by the fallacy of affirming the consequent and by incomplete access to natural phenomena. Models can only be evaluated in relative terms, and their predictive value is always open to question. (...) The primary value of models is heuristic. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our (...) main computability concepts are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

In Feb. 2022 Sungho Kimlee passed away. In his memory, we present this revised and abridged version of a portion of his dissertation, Factions and Orders: from Machiavelli to Madison. Sungho summarized the work as follows: “Since antiquity, thinkers have held that every society consists of two hostile orders – the few and the many. But they have disagreed on the proper method for defusing this civic divide, and their various proposed remedies can be classified into three approaches. The first (...) approach aims to eliminate the division between the rich and the poor by abolishing private property. Plato’s Republic inaugurated this method, which was later embraced with ambivalence by Thomas More and vigorously defended by Karl Marx. The second approach merely aims to contain the harmful effects of the binary civic divide. Plato proposed two methods for accomplishing this in the Laws: Plutarch championed the first method, and Aristotle the second. My dissertation traces the genealogy of the third approach – the method of supplanting the binary civic divide with more numerous divisions. This oft-neglected method was pioneered by Rousseau, who prescribed the creation of artificial divisions by the state as a remedy for majority factions. (shrink)

The paper deals with the general peculiarities of numerals. Cases where the sense of numeral cannot simply be explained by the idea of counting, of number, or of order are considered. Special types of texts folklore on the one band, propaganda on the other hand - are analyzed. For the latter the examples from two Soviet central official newspapers - Pravda and lzvestija of May 1986 have been chosen. These texts partially reflect common stylistic features of Soviet propagandistic discourse of (...) the "period of stagnation"; their specificity is caused by the special situation, which obtained in the country in those days - the catastrophe in the atomic power station in Chemobyl. It is claimed that all the considered examples reflect several aspects of meaning of numerals contained in their general semantics. Thus, the development of the evaluative meaning is explained by the semantics of degree contained in the numerals. These data contribute to Frege's idea of relativity of number, but from another, purely linguistic, point of view. (shrink)

Partial order optimality theory is a conservative generalization of classical optimality theory that makes possible the modeling of free variation and quantitative regularities without any numerical parameters. Solving the ranking problem for PoOT has so far remained an outstanding problem: allowing for free variation, given a finite set of input/output pairs, i.e., a dataset, \ that a speaker S knows to be part of some language L, how can S learn the set of all grammars G under some constraint (...) set C compatible with \?. Here, allowing for free variation, given the set of all PoOT grammars GPoOT over a constraint set C, for an arbitrary \, I provide set-theoretic means for constructing the actual set G compatible with \. Specifically, I determine the set of all STRICT ORDERS of C that are compatible with \. As every strict total order is a strict order, our solution is applicable in both PoOT and COT, showing that the ranking problem in COT is a special instance of a more general one in PoOT. (shrink)

Chemicals have penetrated everyday lives of men who have sex with men as never before, along with new online and mobile technologies used to seek pleasures and connections. Poststructuralist (including queer) explorations of these new intensities show how bodies exist in the form of (political) surfaces able to connect with other bodies and with other objects where they may find/create a function (e.g., reproduce or disrupt hegemonies). This federally funded netnographic study explored how a variety of chemicals such as recreational (...) drugs, pharmaceuticals and steroids are contributing to the construction of gay, bisexual and other men having sex with men (GBMSM) communities and their interactions with idealized masculinities in the age of increasing technology. Five major thematic categories emerged from our analysis: (1) assembling bodies and technologies, (2) becoming orgiastic, (3) experiencing stigma, (4) becoming machinic and (5) negotiating practices. Our analysis explores how and why GBMSM pursue excesses of pleasure and connection through the assemblages they make with sexualized drug use, online platforms and other men. (shrink)

It is well known that any finitary operation is recursive in a suitable total numeration. A. Orlicki showed that there is an ω-operation not recursive in any total numeration. We will show that any ω-operation is recursive in a partial numeration.

Development strategy of using modern portfolio theory focused on the short term. However, macroeconomic uncertainty and geopolitical environment makes their use ineffective. And challenge is to provide a reasonable balance between the short and long term profitability. Another issue, which is to some extent related to the previous observation is the absence in most matrices strategic recommendations for non-standard "behavior" of business units with dynamic analysis. This applies to the use of a relatively new tool matrix approach to development strategies (...) the company and its strategic business units - SPACE-analysis that also takes into account not forecasts of changes in the environment impact on the company. The aim of this paper is to develop methods of portfolio analysis on the basis of SPACE-dynamic analysis and formation of the list of possible strategic initiatives for definite basic trajectories of its strategic business units energy holding DTEK. Methods. SPACE-analysis, analytic hierarchy process, expert analysis. Results. The authors proposed a methodological approach to the implementation of dynamic SPACE-analysis company. The technique involves a strategic segmentation of the company, the formation of an expert group to assess reliable energy holding the current forecast period and on four aspects of SPACE-analysis. Also, using the analytic hierarchy determined by weighting the partial evaluation criteria. Methodology offers a "weighting" expert estimates within a particular group of partial criteria: sectors to "competitive advantage" and "stability branch" scale ratings is positive. The next phase involves the construction of vectors for the current and projected state holding that can be placed in one of four quadrants. Each quadrant has 4 basic strategic trajectory states, they can also be interpreted as a strategic gaps. In other words diagnosis of trajectories allows to identify and evaluate strategic gaps company or its individual business units according to specific criteria and receive partial numerical values of generalized gaps on key evaluation criteria. Conclusions. The authors matrix formed strategic decisions SPACE-dynamic analysis. The article graphically interpreted SPACE-analysis for the energy holding in three strategic business units. The study offers an integrated approach to the definition of policy recommendations for each strategic unit based on an analysis of superposition defined basic trajectories. S-trajectory or S-vectors can be represented as the sum of two vectors : numbers and appropriate call intensity factors relevant basic trajectories since their values determine the degree of contribution of each of these basic paths in the integrated S-vector is a vector strategic set of strategic business units to achieve strategic objectives, transfered into numerical form by partial criteria by expert predictive testing. These coefficients also make it possible to calculate the value of integrated strategic gaps generalized criteria. (shrink)

Numerous approaches to a quantum theory of gravity posit fundamental ontologies that exclude spacetime, either partially or wholly. This situation raises deep questions about how such theories could relate to the empirical realm, since arguably only entities localized in spacetime can ever be observed. Are such entities even possible in a theory without fundamental spacetime? How might they be derived, formally speaking? Moreover, since by assumption the fundamental entities cannot be smaller than the derived and so cannot ‘compose’ them in (...) any ordinary sense, would a formal derivation actually show the physical reality of localized entities? We address these questions via a survey of a range of theories of quantum gravity, and generally sketch how they may be answered positively. (shrink)

Entanglement measures quantify the amount of quantum entanglement that is contained in quantum states. Typically, different entanglement measures do not have to be partially ordered. The presence of a definite partial order between two entanglement measures for all quantum states, however, allows for meaningful conceptualization of sensitivity to entanglement, which will be greater for the entanglement measure that produces the larger numerical values. Here, we have investigated the partial order between the normalized versions of four entanglement measures based (...) on Schmidt decomposition of bipartite pure quantum states, namely, concurrence, tangle, entanglement robustness and Schmidt number. We have shown that among those four measures, the concurrence and the Schmidt number have the highest and the lowest sensitivity to quantum entanglement, respectively. Further, we have demonstrated how these measures could be used to track the dynamics of quantum entanglement in a simple quantum toy model composed of two qutrits. Lastly, we have employed state-dependent entanglement statistics to compute measurable correlations between the outcomes of quantum observables in agreement with the uncertainty principle. The presented results could be helpful in quantum applications that require monitoring of the available quantum resources for sharp identification of temporal points of maximal entanglement or system separability. (shrink)

Numerous philosophers in recent decades have argued that a partial explanation for how the blessed in heaven are impeccable while remaining free and responsible is that they have cultivated or developed such a virtuous character prior to heaven that once in heaven they are incapable of acting contrary to their virtuously cultivated characters. Further, because the agents are at least partially responsible for the construction of their characters, they can be considered free and responsible with regard to the choices (...) or actions such virtuous characters allow. In what follows I will argue that the impeccability of the blessed is not achieved through a character-development process performed by the blessed themselves. (shrink)

Numerous studies of the beliefs of people with anorexia nervosa (AN) suggest that a subset of such individuals may experience delusions. We first describe what makes a belief delusional and conclude that such characteristics can be appropriately applied to some beliefs of people with AN. Next, we outline how delusional beliefs may relate to the broader psychopathological process in AN, including: (1) they may be epiphenomenal; (2) they may be an initial partial cause of AN; (3) they may be (...) caused by aspects of AN; or (4) they may be sustaining causes, possibly involved in reciprocal causal relations with aspects of AN. We argue that there is good reason to believe that delusional beliefs of people with AN are not merely epiphenomenal, but rather that they’re causally connected to AN. Because of this, empirical studies can be designed to test for the presence of causal relations. We describe how these studies should be designed. The results of such studies have important implications for understanding the experience of individuals with AN and for the treatment of AN. We outline these implications. (shrink)

Numerous philosophers, among them Carl G. Hempel and Wesley C. Salmon, have attempted to explicate the notion of explanatory relevance in terms of the statistical relevance of various properties of an individual to the explanandum property itself (or what is here called narrow statistical relevance). This approach seems plausible if one assumes that to explain an occurrence is to show that it was to be expected or to exhibit its degree of expectability and the factors which influence its expectability. But (...) considerations of narrow statistical relevance do not provide an adequate basis for explanatory classification, and the aforementioned views of explanation are accordingly mistaken. Explanatory classification must provide at least a partial account of the nature of a thing, and such an account will generally go beyond what is required as a basis for correct expectation. (shrink)

Numerous approaches to a quantum theory of gravity posit fundamental ontologies that exclude spacetime, either partially or wholly. This situation raises deep questions about how such theories could relate to the empirical realm, since arguably only entities localized in spacetime can ever be observed. Are such entities even possible in a theory without fundamental spacetime? How might they be derived, formally speaking? Moreover, since the fundamental entities can't be smaller than the derived by assumption and so can't 'compose' them in (...) any ordinary sense, would a formal derivation actually show the physical reality of localized entities? We address these questions via a survey of a range of theories of quantum gravity, and generally sketch how they may be answered positively. (shrink)

Luck looms large in numerous different philosophical subfields. Unfortunately, work focused exclusively on the nature of luck is in short supply on the contemporary analytic scene. In his highly impressive recent book Epistemic Luck, Duncan Pritchard helps rectify this neglect by presenting a partial account of luck that he uses to illuminate various ways luck can figure in cognition. In this paper, I critically evaluate both Pritchard’s account of luck and another account to which Pritchard’s discussion draws our attention—viz., (...) that due to Nicholas Rescher. I also assess some novel analyses of luck that incorporate plausible elements of Pritchard’s and Rescher’s accounts. (shrink)

Representations of the fingers are embodied in our cognition and influence performance in enumeration tasks. Among deaf signers, the fingers also serve as a tool for communication in sign language. Previous studies in normal hearing (NH) participants showed effects of embodiment (i.e., embodied numerosity) on tactile enumeration using the fingers of one hand. In this research, we examined the influence of extensive visuo‐manual use on tactile enumeration among the deaf. We carried out four enumeration task experiments, using 1–5 stimuli, on (...) a profoundly deaf group (n = 16) and a matching NH group (n = 15): (a) tactile enumeration using one hand, (b) tactile enumeration using two hands, (c) visual enumeration of finger signs, and (d) visual enumeration of dots. In the tactile tasks, we found salient embodied effects in the deaf group compared to the NH group. In the visual enumeration of finger signs task, we controlled the meanings of the stimuli presentation type (e.g., finger‐counting habit, fingerspelled letters, both or neither). Interestingly, when comparing fingerspelled letters to neutrals (i.e., not letters or numerical finger‐counting signs), an inhibition pattern was observed among the deaf. The findings uncover the influence of rich visuo‐manual experiences and language on embodied representations. In addition, we propose that these influences can partially account for the lag in mathematical competencies in the deaf compared to NH peers. Lastly, we further discuss how our findings support a contemporary model for mental numerical representations and finger‐counting habits. (shrink)

Plant morphogenesis exhibits numerous bifurcations with particular angle values such as 41°, 53°, which, in lower plants, can be measured in the thallus, and, in higher plants, in the ribs of the leaves. An interpretation of these angles is attempted. Since they characterize the functioning of a morphogenetic field, a formalism was constructed suitable for the study of living systems. The mathematical tool devised here, named the Arithmetical Relator, combines Geometry and Arithmetic, and assumes that a general system results from (...) the interaction between an internal cyclic structure and an environment to which this structure is adapted. The formalism described therefore takes into account partial self-reference and changes in the level of organization. Within this framework, the particular values of the ramification angles are extreme for slight shifts in the internal structure. A pattern of the relations between the genome, the cell and the organ is suggested. (shrink)

There have been numerous studies on Kant’s concept of the ‘Fact of Reason’, drawing on various intellectual resources, ranging from metaphysics to psychology, from Aristotle to Mencius, from analytic philosophy to phenomenology, and beyond. How should we evaluate these studies? Is it possible that these studies can contribute both to an understanding of Kantian philosophy and to an understanding of Western philosophy as a whole, as well as shed light on the development of philosophy after Kant and on the philosophical (...) questions of our own era? In order to at least partially clarify the above questions, this article will draw on the work of philosohers such as Karl-Otto Apel, Jürgen Habermas, C.I. Lewis, Jin Yuelin and Feng Qi, and discuss how certain presuppositions of communicative action can be both regulative and constitutive, how the same propositions can be both empirical and a priori, how the same concepts can both describe reality and regulate it, and how the ‘Fact of Reason’ can be understood as the ‘Fact of Learning’, in order to offer a new interpretation of Kant’s concept of the ‘Fact of Reason’. (shrink)

Ischemic stroke involves numerous and complex pathophysiological mechanisms including blood flow reduction, ionic exchanges, spreading depressions and cell death through necrosis or apoptosis. We used a mathematical model based on these phenomena to study the influences of intensity and duration of ischemia on the final size of the infarcted area. This model relies on a set of ordinary and partial differential equations. After a sensibility study, the model was used to carry out in silico experiments in various ischemic conditions. (...) The simulation results show that the proportion of apoptotic cells increases when the intensity of ischemia decreases, which contributes to the model validation. The simulation results also show that the influence of ischemia duration on the infarct size is more complicated. They suggest that reperfusion is beneficial when performed in the early stroke but may be either inefficacious or even deleterious when performed later after the stroke onset. This aggravation could be explained by the depolarisation waves which might continue to spread ischemic damage and by the speeding up of the apoptotic process leading to cell death. The effect of reperfusion on cell death through these two phenomena needs to be further studied in order to develop new therapeutic strategies for stroke patients. (shrink)

Evidence from functional neuroimaging of the human brain indicates that information about salient properties of an object¿such as what it looks like, how it moves, and how it is used¿is stored in sensory and motor systems active when that information was acquired. As a result, object concepts belonging to different categories like animals and tools are represented in partially distinct, sensory- and motor property-based neural networks. This suggests that object concepts are not explicitly represented, but rather emerge from weighted activity (...) within property-based brain regions. However, some property-based regions seem to show a categorical organization, thus providing evidence consistent with category-based, domain-specific formulations as well.Acronyms and DefinitionsBiological motion: motion of animate agents characterized by highly flexible, fully articulated motion vectors, in contrast to the rigid, unarticulated motion vectors associated with most tools.Category-specific disorder: a relatively greater impairment in retrieving information about members of one superordinate object category (e.g., animals) as compared with other categories following brain injury or diseaseIPS: intraparietal sulcusLO: lateral occipital cortexObject concept: memory representations of a class or category of objects. Necessary for numerous cognitive functions including identifying an object as a member of a specific category and drawing inferences about object propertiespMTG: posterior middle temporal gyruspSTS: posterior superior temporal sulcusRepetition suppression: decreased neural response associated with repeated presentation of an identical, or a semantically/conceptually related, stimulusSD: semantic dementiaSemantic memory: a large division of long-term memory containing knowledge about the world including facts, ideas, beliefs, and conceptsSemantic priming: a short-lasting facilitation in processing a stimulus due to the prior presentation of a semantically related stimulusTMS: transcranial magnetic stimulationVPMC: ventral premotor cortex. (shrink)

A class of problems is called decidable if there is an algorithm which will give the answer to any problem of the class after a finite length of time. The purpose of this paper is to discuss the classes of problems that can be solved by infinitely long decision procedures in the following sense: An algorithm is given which, for any problem of the class, generates an infinitely long sequence of guesses. The problem will be said to be solved in (...) the limit if, after some finite point in the sequence, all the guesses are correct and the same. Functions, sets, and functionals which are decidable by such infinite algorithms will be calledlimiting recursive. These, together with classes of objects which can beidentified in the limit, are the subjects of this report.Without qualification,setwill mean set of numbers;functionwill mean number-theoretic function of 1 variable, possibly partial;functionalswill take numerical values and have any number of numerical and/or function variables, the latter ranging solely over total functions of 1 variable. Thus a function is a special case of a functional,xwill invariably stand for a numerical variable;φfor a function variable;gfor a guess ;nfor the numerical variable which indexes the guesses, referred to as thetime. (shrink)

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

The brain represents the body in different ways for different purposes. Several concepts and even more numerous labels have historically been proposed to define these representations in operational terms. Recent evidence of embodiment of external objects has added complexity to an already quite intricate picture. In particular, because of their perceptual and motor effects, both rubber hands and tools can be conceived as embodied, that is, represented in the brain as if they were parts of one's own body. But are (...) there any limits to what we can embody? What constraints lay upon embodiment? And are they similar both for motor embodiment and for perceptual embodiment? Here, we consider the implications emerging from the different, and up-to-now relatively separate research domains of tool use and rubber hand illusion for understanding the rules of embodiment. In particular, we compare what the embodiment of tools and prostheses may or may not have in common. We conclude that in both cases, although for different reasons and with different constraints, embodiment is only partial. (shrink)

Many studies have shown that about three biological motions can be maintained in working memory. However, no study has yet analyzed the difficulties of experiment materials used, which partially affect the ecological validity of the experiment results. We use the perspective of system anatomy to decompose BM, and thoroughly explore the influencing factors of difficulties of BMs, including presentation duration, joints to execute motions, limbs to execute motions, type of articulation interference tasks, and number of joints and planes involved in (...) the BM. We apply the change detection paradigm supplemented by the articulation interference task to measure the BM working memory capacity of participants. Findings show the following: the shorter the presentation duration, the less participants remembered; the more their wrist moved, the less accurate their memory was; repeating verbs provided better results than did repeating numerals to suppress verbal encoding; the more complex the BM, the less participants remembered; and whether the action was executed by the handed limbs did not affect the WMC. These results indicate that there are many factors that can be used to adjust BM memory load. These factors can help sports psychology professionals to better evaluate the difficulty of BMs, and can also partially explain the differences in estimations of BM WMC in previous studies. (shrink)

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (shrink)

Loosely put, colour constancy for example occurs when you experience a partly shadowed wall to be uniformly coloured, or experience your favourite shirt to be the same colour both with and without sunglasses on. Controversy ensues when one seeks to interpret ‘experience’ in these contexts, for evidence of a constant colour may be indicative a constant colour in the objective world, a judgement that a constant colour would be present were things thus and so, et cetera. My primary aim is (...) to articulate a viable conception of Present Constancy, of what occurs when a constant colour is present in experience, despite the additional presence of some experienced colour variation (e.g., correlating to a change in illumination). My proposed conception involves experienced colour layering – experiencing one opaque colour through another transparent one – and in particular requires one of those experienced layers to remain constant while the other changes. The aim is not to propose this layering conception of colour constancy as the correct interpretation of all constancy cases, but rather to develop the conception enough to demonstrate how it could and plausibly should be applied to various cases, and the virtues it has over rivals. Its virtues include a seamless application to constancy cases involving variations in filters (e.g., sunglasses) and illuminants; its ability to accommodate experiences of partial colours and error-free interpretations of difficult cases; and its broad theoretical-neutrality, allowing it to be incorporated into numerous perceptual epistemologies and ontologies. If layered constancy is prevalent, as I suspect it is, then our experiential access to colours is critically nuanced: we have been plunged into a world of colour without being told that we will rarely, if ever, look to a location and experience just one of them. (shrink)

Interest in sensory atmospheres and architectural and urban ambiances has been growing for over 30 years. A key figure in this field is acclaimed German philosopher Gernot Böhme whose influential conception of what atmospheres are and how they function has been only partially available to the English-speaking public. This translation of key essays along with an original introduction charts the development of Gernot Böhme's philosophy of atmospheres and how it can be applied in various contexts such as scenography, commodity aesthetics, (...) advertising, architecture, design, and art. The phenomenological analysis of atmospheres has proved very fruitful and its most important, and successful, application has been within aesthetics. The material background of this success may be seen in the ubiquitous aestheticization of our lifeworld, or from another perspective, of the staging of everything, every event and performance. The theory of atmospheres becoming an aesthetic theory thus reveals the theatrical, not to say manipulative, character of politics, commerce, of the event-society. But, taken as a positive theory of certain phenomena, it offers new perspectives on architecture, design, and art. It made the spatial and the experience of space and places a central subject and hence rehabilitated the ephemeral in the arts. Taking its numerous impacts in many fields together, it initiated a new humanism: the individual as a living person and his or her perspective are taken seriously, and this fosters the ongoing democratization of culture, in particular the possibility for everybody to participate in art and its works. (shrink)

Lockean theories of personal identity maintain that we persist by virtue of psychological continuity, and most Lockeans say that we are material things coinciding with animals. Some animalists argue that if persons and animals coincide, they must have the same intrinsic properties, including thinking, and, as a result, there are ‘too many thinkers’ associated with each human being. Further, Lockeans have trouble explaining how animals and persons can be numerically different and have different persistence conditions. For these reasons, the idea (...) of a person being numerically distinct but coincident with an animal is rejected and animalists conclude that we simply are animals. However, animalists face a similar problem when confronted with the vagueness of composition. Animals are entities with vague boundaries. According to the linguistic account of vagueness, the vagueness of a term consists in there being a number of candidates for the denotatum of the vague term. It seems to imply that where we see an animal, there are, in fact, a lot of distinct but overlapping entities with basically the same intrinsic properties, including thinking. As a result, the animalist must also posit ‘too many thinkers’ where we thought there was only one. This seems to imply that the animalist cannot accept the linguistic account of vagueness. In this paper the author argues that the animalist can accept the linguistic account of vagueness and retain her argument against Lockeanism. (shrink)

Various authors have argued that in the future not only will it be technically feasible for human minds to be transferred to other substrates, but this will become, for most humans, the preferred option over the current biological limitations. It has even been claimed that such a scenario is inevitable in order to solve the challenging, but imperative, multi-agent value alignment problem. In all these considerations, it has been overlooked that, in order to create a suitable environment for a particular (...) mind – for example, a personal universe in a computational substrate – numerous other potentially sentient beings will have to be created. These range from non-player characters to subroutines. This article analyzes the additional suffering and mind crimes that these scenarios might entail. We offer a partial solution to reduce the suffering by imposing on the transferred mind the perception of indicators to measure potential suffering in non-player characters. This approach can be seen as implementing literal empathy through enhanced cognition. (shrink)

This book is an attempt to understand a significant part of the complex thought of Charles Sanders Peirce, especially in those areas which interested him most: scientific method and related philosophical questions. It is organized primarily from Peirce's own writings, taking chronological settings into account where appropriate, and pointing out the close connections of several major themes in Peirce's work which show the rich diversity of his thought and its systematic unity. Following an introductory sketch of Peirce the thinking and (...) writer is a study of the spirit and phases of scientific inquiry, and a consideration of its relevance to certain outstanding philosophical views which Peirce held. This double approach is necessary because his views on scientific method are interlaces with a profound and elaborate philosophy of the cosmos. Peirce's thought is unusually close-knit, and his difficulty as a writer lies in his inability to achieve a partial focus without bringing into view numerous connections and relations with the whole picture of reality. Peirce received some of the esteem he deserves when the publication of his Collected Papers began more than thirty-five years ago. Some reviewers and critics, however, have attempted to fit Peirce into their own molds in justification of a particular position; others have disinterestedly sought to present him in completely detached fashion. Here, the author has attempted to understand Peirce as Peirce intended himself to be understood, and has presented what he believes Perice's philosophy of scientific method to be. He singles out for praise Peirce's Greek insistence on the primacy of theoretical knowledge and his almost Teilhardian synthesis of evolutionary themes. Primarily philosophical, this volume analyzes Peirce's thought using a theory of knowledge and metaphysics rather than formal logic. (shrink)

Reinforcement Learning is a kind of machine learning. We know Profit Sharing, the Rational Policy Making algorithm, the Penalty Avoiding Rational Policy Making algorithm and PS-r* to guarantee the rationality in a typical class of the Partially Observable Markov Decision Processes. However they cannot treat continuous state spaces. In this paper, we present a solution to adapt them in continuous state spaces. We give RPM a mechanism to treat continuous state spaces in the environment that has the same type of (...) a reward. We show the effectiveness of the proposed method in numerical examples. (shrink)

Abstract1915 ist Ernst Troeltsch nach Berlin gezogen, wo er Professor für Philosophie wurde. Sein Wechsel aus der Heidelberger Theologischen Fakultät in die Philosophische Fakultät der Berliner Universität und sein zunehmendes Interesse am Historismus hat ihn nicht daran gehindert, theologische Studien fortzuführen. Ein Ergebnis dieser Studien war eine noch in Heidelberg geschriebene detaillierte Untersuchung über Augustins Theologie und im besonderen über De Civitate Dei. Troeltsch hat diese Studie unternommen, um zum einen eine Lücke in seinen Soziallehren der christlichen Kirchen und Gruppen (...) zu füllen und zum anderen wegen seinem zunehmenden Interesse an Augustins Philosophie. Das Ergebnis dieser Untersuchung ist Troeltschs Buch Augustin, die christliche Antike und das Mittelalter. Dieses Buch ist aus vielen Gründen ein bemerkenswertes Werk, unter anderem, weil es eine objektive und eine prägnante Untersuchung über Ethik und Naturgesetz darstellt. Troeltschs Buch über Augustin ist sehr wichtig zu untersuchen, aber genauso wichtig ist der Prozess, der ihn dazu geführt, es zu schreiben. Dabei handelt es sich um mehrere Rezensionen, die Troeltsch über Bücher zu Augustins Theologie, Ethik und politischer Philosophie geschrieben hat. Indem wir Troeltschs Rezensionen und sein Buch Augustin studieren, lernen wir nicht nur, was in seiner Sicht besonders wertvoll sei in den Schriften des großen Kirchenvaters, sondern wir lernen auch Troeltschs eigenes Denken zu Ethik, Geschichte und sogar Politik besser kennen.By 1915 Ernst Troeltsch had moved to Berlin where he became professor of philosophy. His move from the Faculty of Theology to philosophy and his increasing concern with historicism did not hinder him from continuing with his theological studies. One of the results of these studies was his detailed investigation of Augustine’s theology and he focused specifically on de Civitate Dei. Troeltsch undertook this study partially to rectify an omission in his Soziallehren der christlichen Kirchen und Gruppen and partially because of his increasing interest in Augustine’s philosophy. The result of this study was Troeltsch’s book Augustin, die christliche Antike und das Mittelalter. This is a remarkable work for many reasons, including that it was an objective and appreciative investigations on ethics and natural law – and it was written by a prominent Protestant theologian. However, this book has been mostly neglected which is unfortunate. Troeltsch’s book on Augustine is well-worth exploring but so is the process which led him to write it. That entails consulting the numerous reviews that Troeltsch wrote about a number of books devoted to certain aspects of Augustine’s theology, ethics, and political philosophy. By studying Troeltsch’s book reviews and his Augustin, we not only learn what Troeltsch regarded as so valuable in the writings of this particular Church Father, but we also learn about Troeltsch’s own thinking about ethics, history, and even politics. (shrink)

Abstract1915 ist Ernst Troeltsch nach Berlin gezogen, wo er Professor für Philosophie wurde. Sein Wechsel aus der Heidelberger Theologischen Fakultät in die Philosophische Fakultät der Berliner Universität und sein zunehmendes Interesse am Historismus hat ihn nicht daran gehindert, theologische Studien fortzuführen. Ein Ergebnis dieser Studien war eine noch in Heidelberg geschriebene detaillierte Untersuchung über Augustins Theologie und im besonderen über De Civitate Dei. Troeltsch hat diese Studie unternommen, um zum einen eine Lücke in seinen Soziallehren der christlichen Kirchen und Gruppen (...) zu füllen und zum anderen wegen seinem zunehmenden Interesse an Augustins Philosophie. Das Ergebnis dieser Untersuchung ist Troeltschs Buch Augustin, die christliche Antike und das Mittelalter. Dieses Buch ist aus vielen Gründen ein bemerkenswertes Werk, unter anderem, weil es eine objektive und eine prägnante Untersuchung über Ethik und Naturgesetz darstellt. Troeltschs Buch über Augustin ist sehr wichtig zu untersuchen, aber genauso wichtig ist der Prozess, der ihn dazu geführt, es zu schreiben. Dabei handelt es sich um mehrere Rezensionen, die Troeltsch über Bücher zu Augustins Theologie, Ethik und politischer Philosophie geschrieben hat. Indem wir Troeltschs Rezensionen und sein Buch Augustin studieren, lernen wir nicht nur, was in seiner Sicht besonders wertvoll sei in den Schriften des großen Kirchenvaters, sondern wir lernen auch Troeltschs eigenes Denken zu Ethik, Geschichte und sogar Politik besser kennen.By 1915 Ernst Troeltsch had moved to Berlin where he became professor of philosophy. His move from the Faculty of Theology to philosophy and his increasing concern with historicism did not hinder him from continuing with his theological studies. One of the results of these studies was his detailed investigation of Augustine’s theology and he focused specifically on de Civitate Dei. Troeltsch undertook this study partially to rectify an omission in his Soziallehren der christlichen Kirchen und Gruppen and partially because of his increasing interest in Augustine’s philosophy. The result of this study was Troeltsch’s book Augustin, die christliche Antike und das Mittelalter. This is a remarkable work for many reasons, including that it was an objective and appreciative investigations on ethics and natural law – and it was written by a prominent Protestant theologian. However, this book has been mostly neglected which is unfortunate. Troeltsch’s book on Augustine is well-worth exploring but so is the process which led him to write it. That entails consulting the numerous reviews that Troeltsch wrote about a number of books devoted to certain aspects of Augustine’s theology, ethics, and political philosophy. By studying Troeltsch’s book reviews and his Augustin, we not only learn what Troeltsch regarded as so valuable in the writings of this particular Church Father, but we also learn about Troeltsch’s own thinking about ethics, history, and even politics. (shrink)

In the Appendix to the Transcendental Dialectic, Kant formulates teleological principles, or rather ideas, and explicates them referring to concrete examples of natural science such as chemistry, astronomy, biology, empirical psychology, and physical geography. Despite the increasing interest in the systematic relevance of the Appendix to the Transcendental Dialectic and its importance for Kant’s conception of natural science, the numerous historical sources for the regulative use of reason have not yet been investigated. One that is very central is Maupertuis’ principle (...) of least action. In 1781, Kant transformed teleology into heuristics and methodology, but in doing so, he partially develops a teleology which was disqualified by Maupertuis because its starting point lies in the construction of animals or plants, the structure of the earth, and the immensity of the celestial bodies. Based on Maupertuis’ principle of action, it can be shown that the Appendix forms a systematic interface between Universal Natural History and Theory of the Heavens and Critique of Judgement which allows the reconstruction of Kant’s regulative use of reason and its specific status in the context of natural science and his critical appraisal of Maupertuis. (shrink)

One of the greatest philosophical disputes in Germany in the latter half of the 19th century concerned the value of life. Following Arthur Schopenhauer, numerous philosophers sought to defend the provocative view that life is not worth living. A persistent objection to pessimism is that it is not really a philosophical theory at all, but rather a psychological state; a mood or disposition which is the product of socio-economic circumstance. A developed and influential version of this view was advanced in (...) the 1870’s by the English psychologist James Sully. Yet, as important as Sully’s critique was for the pessimism dispute, it has been almost entirely overlooked in the history of philosophy. With some growing recent attention to 19th century pessimism, this paper aims to reconstruct Sully’s view, and what I argue is his primary argument for it in terms of the best explanation for an alleged historical correlation between pessimistic belief and social hardship in the form of frustrated ideals. The paper then presents and analyses some challenges to this argument, some of which are argued to have been at least partially anticipated in the 19th century by the likes of Schopenhauer and Olga Plümacher. (shrink)

The author integrates, expands, and deepens his previous publications about irregular (or "metalinguistic") negations. A total of ten distinct negatives-several previously unclassified-are analyzed. The logically irregular negations deny different implicatures of their root. All are partially non-compositional but completely conventional. The author argues that two of the irregular negative meanings are implicatures. The others are semantically rather than pragmatically ambiguous. Since their ambiguity is neither lexical nor structural, direct irregular negatives satisfy the standard definition of idioms as syntactically complex expressions (...) whose meaning is non-compositional. Unlike stereotypical idioms, idiomatic negatives lack fixed syntactic forms and are highly compositional. The final chapter analyzes other "free form" idioms, including irregular interrogatives and comparatives, self-restricted verb phrases, numerical verb phrases, and transparent propositional attitude and speech act reports. (shrink)

Attempts to explain the origin of macroevolutionary innovations have been only partially successful. Here it is proposed that the patterns of major evolutionary transitions have to be understood first, before it is possible to further analyse the forces behind the process. The hypothesis is that major evolutionary innovations are characterized by an increase in organismal autonomy, in the sense of emancipation from the environment. After a brief overview of the literature on this subject, increasing autonomy is defined as the evolutionary (...) shift in the individual system–environment relationship, such that the direct influences of the environment are gradually reduced and a stabilization of self-referential, intrinsic functions within the system is generated. This is described as relative autonomy because numerous interconnections with the environment and dependencies upon it are retained. Features of increasing autonomy are spatial separations, an increase in homeostatic functions and in body size, internalizations and an increase in physiological and behavioral flexibility. It is described how these features are present in different combinations in the major evolutionary transitions of metazoans and, consequently, how they should be taken into consideration when evolutionary innovations are studied. The hypothesis contributes to a reconsideration of the relationship between organisms and their environment. (shrink)

A definition of emotion common to the affective sciences is an urgent desideratum. Lack of such a definition is a constant source of numerous misunderstandings and a series of mostly fruitless debates. There is little hope that there ever will be agreement on a common definition of emotion, given the sacred traditions of the disciplines involved and the egos of the scholars working in these disciplines. Our aim here is more modest. We propose a list of elements for a working (...) definition of emotion and discuss the justification for the inclusion of elements from our respective perspectives (philosophy and psychology). This working partial definition may at least serve as a litmus test to examine theories of emotion, old and new, across disciplinary boundaries. (shrink)

Since the time, about a century ago, when DeMorgan, Boole and Jevons, inaugurated the study of the logic of numerically definite reasoning, no one has been concerned to establish the validity rules for a very general type of numerically definite inference which is a strong analogue of the classical syllogism. The reader will readily agree that the traditional rules of syllogistic inference cannot even begin to decide whether the following proportionally quantified syllogism is a valid argument: at most 4/7 p (...) are at most 2/3 not-m and at least 3/5 s are precisely 7/8 m, hence, at most 1/3 s are p. Likely reasons, of broad methodological interest, why this readily definable type of formal inference has been neglected will presently be proposed. Among the masters of twentieth century logic, Hilbert and Bernays have, to be sure, meticulously shown how such numerically definite propositions as “at least 7 individuals have the property p” can be expressed in the predicate calculus with the use of the identity relation. They do not, since their concern with such propositions is indirect, proceed to establish a systematic calculus of classes whose “size” or extent is numerically definite. As we shall always notice, traditional logic and even ordinary Boolean algebra prefer to generalize about the laws governing the interrelationship of classes in inference systems without making any hypotheses concerning class “size” or extent except by the classical quantifier “some”, which quantifier admits the measure or extent of a class only in terms of the proposition that a given class contains or does not contain at least one member. Such a restricted admission of the relevance for inference of class size is among the fundamental reasons for the neglect of proportional quantifiers, i.e., quantifiers where numerical value is any rational number r such that 0/100 ≤ r ≤ 100/100. It can, of course, also be pointed out that the traditional syllogism and ordinary Boolean algebra do not i.e. measure, numerically define, the degree of inclusion of one class in another. Inclusion is taken either as total or partial, with no discrimination of the degree of partial inclusion. (shrink)

Some years ago Edward Regis, Jr. pointed to a serious gap in Aristotelian studies: "The centrality of the . . . 'problem of universals' to epistemology and metaphysics is hardly an issue for argument. Questions regarding the metaphysical status of universals and their relation to individuals, the process of 'concept formation,' and the epistemological function of universals in predication are classic ones in philosophy . . . In view of the contemporary interest in these problems as well as the numerous (...) studies of other topics treated of by Aristotle, it is a matter for at least initial surprise that there exists no systematic account of his views on universals." This essay attempts to fill this gap in Aristotelian studies partially. ;Aristotle's view of the universal went through three phases, and the essay attempts to give a systematic account of his early concept of it, as well as briefer accounts of his middle and late views. His early concept may be defined as 'an existent by nature asserted of several existents'. The essay attempts to explain this concept by explicating the two major terms of its definition, 'an existent' and 'is asserted of'. 'An existent' is explained on the basis of his doctrine of the categories and 'is asserted of' on the basis of some fundamentals of his early theory of the simple statement. His middle view of the universal may be defined as 'an existent which by nature belongs to several existents'. According to his late view, however, the universal is a mere potency, no longer an actually existing thing. ;After its account of Aristotle's three views, the essay reconsiders the commonly-held view that he is a moderate realist, arguing that, although moderate realism can be truly ascribed to him, it gives us neither an accurate nor an adequate statement of the nature of his universal. It concludes by briefly tracing the movement of thought on universals in Socrates, Plato and Aristotle. (shrink)

This paper undertakes a comparative legal study to analyze the challenges of privacy and personal data protection posed by Artificial Intelligence embedded in Robots, and to offer policy suggestions. After identifying the benefits from various AI usages and the risks posed by AI-related technologies, I then analyze legal frameworks and relevant discussions in the EU, USA, Canada, and Japan, and further consider the efforts of Privacy by Design originating in Ontario, Canada. While various AI usages provide great convenience, many issues, (...) including profiling, discriminatory decisions, lack of transparency, and impeding consent, have emerged. The unpredictability arising from the AI machine learning function poses further difficulties, which have only been partially addressed by legal frameworks in the aforementioned jurisdictions. However, analyzing the relevant discussions yielded several suggestions. The first priority is adopting PbD as the most flexible, soft-legal, and preferable approach toward AI-oriented issues. Implementing PbD will protect individual privacy and personal data without specific efforts, and achieve both the development of AI and the advancement of privacy and personal data protection. Technical measures that can adapt to an individual’s dynamic choices according to the “context” should be further developed. Furthermore, alternative technical measures, including those to solve the “algorithmic black box” or achieve differential privacy, warrant thorough examination. If AI surpasses human intelligence, a terminating function, such as a “kill switch” will be the last resort to preserve individual choice. Despite numerous difficulties, we must prepare for the coming AI-prevalent society by taking a flexible approach. (shrink)