A. W. Moore argues in this bold and unusual book that it is possible to think about the world from no point of view. His argument involves discussion of a very wide range of fundamental philosophical issues, including the nature of persons, the subject-matter of mathematics, realism and anti-realism, value, the inexpressible, and God. The result is a powerful critique of our own finitude. 'imaginative, original, and ambitious' Robert Brandom, Times Literary Supplement.

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem prover which represents (...) proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

We examine the notion of inquiry and argue that philosophic inquiry is a transcendental activity. Activities, viewed as conforming to intelligible canons, applying to appropriate contexts, and directed to specifiable ends, are contrasted with their empirical descriptions. Inquiry, characterized as an internalized, continuous activity directed to an intrinsic end, and fundamentally presupposed by other activities, is considered at the levels of (1) science, (2) philosophy and (3) transcendental philosophy. We argue that (2) is a transcendental activity which determines non-empirical concepts (...) and is presupposed by (1). Alternative philosophic frameworks are grounded on hypothetical canons conceived by intelligence itself, which imply interpretations of objectivity and universality claiming validity for the community of inquirers, but they can always be rejected. We consider the possibility of categorical canons operating as second-order rules necessarily presupposed for the formulation of alternative philosophic frameworks, and (3) would be the activity of identifying, justifying and applying such transcendental canons of inquiry in general. Finally, we suggest that the only possible justification of such categorical canons would be a kind of ontological proof. Thus, a given philosophic approach reflects the transcendental activity of determining non-empirical concepts through the implementation of its fundamental regulative norms; but transcendental philosophy would determine the concept of philosophy itself through implementation of the categorical canons of inquiry in the construction of philosophic systems. (shrink)

I suppose the most obvious difference in fact between dreams and waking life is the chaotic nature of the former. But this somehow seems to be a mere contingency. Some of our dreams are more contingent than others, and it seems hard to impose any upper limit of coherence on them. Also it is usually after we wake up that they seem incoherent. Similarly many dreams are largely matters of sensation and emotion, mood and atmosphere, with little or no reasoning (...) in them; but this again is contingent, and dreams vary; Professor Broad, 56-57) relates a quite detailed scientific experiment which he carried out in a dream. (shrink)

Part I of this trilogy, Historical and Scientific Setting, set out a general context for selecting a certain subclass of inter-theoretic relations as achieving appropriate explanatory and ontological unification – hence for properly being labelled reductive. Something of the complexity of these relations in real science was explored. The present article concentrates on the role which identity plays in structuring the reduction relation and so in achieving ontological and explanatory unification.

Different approaches have been proposed in order to achieve knowledge integration for coronary care monitoring applications, usually in the form of expert systems. The clinical impact of these expert systems, which are based only on "shallow" knowledge, has not been remarkable due to the difficulties associated with the construction and maintenance of a complete knowledge base. Model-based systems represent an alternative to these problems because they allow efficient integration of the "deep" knowledge on the underlying physiological phenomena being monitored. In (...) this work, a brief review of existing model-based systems for cardiac rhythm interpretation is presented, followed by the description of a new system forCardiac Arrhythmia Recognition by Model-Based ECG Matching (CARMEM). Fundamental characteristics of CARMEM are presented; in particular, its ability to provide on-line parameter adaptation to simulate complex rhythms and to match observed ECG signals. The proposed model can be useful for the explanation of the origin of cardiac arrhythmias and contribute towards their robust characterization in the context of coronary care units. (shrink)

Книга рассчитана на тех, кто по своей специальности занимается философией, литературоведением и в дальнейшем углубят свои знания в этом вопросе, а также для широкого круга читателей.

The physician charter on medical professionalism creates standards of ethical behaviour for physicians and has been endorsed by professional organisations worldwide. It is based on the cardinal principles of the primacy of patient welfare, patient autonomy, and social welfare. There has been little discussion in the bioethics community of the doctrine of the charter and none from a Jewish ethical perspective. In this essay the authors discuss the obligations of the charter from a Jewish ethical viewpoint and call on other (...) cultures to develop their own unique perspectives on this important document. (shrink)

In the original article published, the supplementary material is uploaded by mistake which has no association with the content of the article.

В книге говорится о творце, генерирующем творческие акты – непредсказуемые решения and (озарения and ), феномены, которыми обладает только человек-личность. Общественные институты, как и само общество в целом, не могут исключительно своими социальными усилиями генерировать творческий акт. Таким образом, без этого личностного, практически абсолютно автономного, творческого решения общество не может ни обойтись, ни чем-либо его заменить. Используя творческие акты, эти феномены, имманентные только человеку, общество консолидируется и развивается, и, таким образом, человек-творец становится двигателем истории человечества. В этом смысле категория личность (...) имеет не меньшую значимость, чем категория производительные силы или категория общество. Рассматривается концепция природы творчества по Вифляеву, с полным философским обоснованием. (shrink)