The following paper discusses from the point of view of the translator the obstacles, both institutional and linguistic, encountered during the introduction of Heidegger’s book Being and Time in the Bulgarian socio-cultural context. In particular some basic terms, which compose the core of Heidegger’s book, have been thoroughly analyzed. These include terms and categories such as: Dasein, Geschichte / Historie, Zeitigkeit / Zeitlichkeit, Gegenwart / Gegen-wart, Zukunft / Zukommen, Gewärtigen, Vergangenheit, Man / Manselbst, Bewandtnis and others. Concrete arguments have been (...) given in order to prove that direct borrowing of some of those terms, existing in translations from Russian and other languages, is not feasible. (shrink)

The following paper discusses from the point of view of the translator the obstacles, both institutional and linguistic, encountered during the introduction of Heidegger’s book Being and Time in the Bulgarian socio-cultural context. In particular some basic terms, which compose the core of Heidegger’s book, have been thoroughly analyzed. These include terms and categories such as: Dasein, Geschichte / Historie, Zeitigkeit / Zeitlichkeit, Gegenwart / Gegen-wart, Zukunft / Zukommen, Gewärtigen, Vergangenheit, Man / Manselbst, Bewandtnis and others. Concrete arguments have been (...) given in order to prove that direct borrowing of some of those terms, existing in translations from Russian and other languages, is not feasible. (shrink)

In this paper I try to underline both the positive and negative circumstances in which I began translating Heidegger's "Sein und Zeit" in Greek. In 1971 I started, as a young student of philosophy, to study and translate this book, although I misunderstood it and considered it as a paradigm of "existentiell", not existential philosophy. I benefited essentially from both the English and the French translations and I've also received great help from my Greek mentor, E. N. Platis. I published (...) my translation in two volumes, one in 1978 and the other in 1985 and the critics have been very positive. At the beginning, I gave extended explanations about the translation problems and my solutions in a paper published in 1974. In the following years, I wrote articles about the Heideggerian concepts, in order to facilitate a better understanding of his philosophy.. (shrink)

For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect to this class. These two computability notions are natural generalizations of certain notions introduced in a previous paper co-authored by Andreas Weiermann and in another previous paper by the same authors, respectively. Under certain weak assumptions about the class in question, (...) we show that conditional computability is preserved by substitution, that all conditionally computable real functions are locally uniformly computable, and that the ones with compact domains are uniformly computable. The introduced notions have some similarity with the uniform computability and its non-uniform extension considered by Katrin Tent and Martin Ziegler, however, there are also essential differences between the conditional computability and the non-uniform computability in question. (shrink)

Capacity of conscious agents to perform genuine choices among future alternatives is a prerequisite for moral responsibility. Determinism that pervades classical physics, however, forbids free will, undermines the foundations of ethics, and precludes meaningful quantification of personal biases. To resolve that impasse, we utilize the characteristic indeterminism of quantum physics and derive a quantitative measure for the amount of free will manifested by the brain cortical network. The interaction between the central nervous system and the surrounding environment is shown to (...) perform a quantum measurement upon the neural constituents, which actualize a single measurement outcome selected from the resulting quantum probability distribution. Inherent biases in the quantum propensities for alternative physical outcomes provide varying amounts of free will, which can be quantified with the expected information gain from learning the actual course of action chosen by the nervous system. For example, neuronal electric spikes evoke deterministic synaptic vesicle release in the synapses of sensory or somatomotor pathways, with no free will manifested. In cortical synapses, however, vesicle release is triggered indeterministically with probability of 0.35 per spike. This grants the brain cortex, with its over 100 trillion synapses, an amount of free will exceeding 96 terabytes per second. Although reliable deterministic transmission of sensory or somatomotor information ensures robust adaptation of animals to their physical environment, unpredictability of behavioral responses initiated by decisions made by the brain cortex is evolutionary advantageous for avoiding predators. Thus, free will may have a survival value and could be optimized through natural selection. (shrink)

In order to avoid the use of individual variables in predicate calculus, several authors proposed language whose expressions can be interpreted, in general, as denotations of predicates . The present author also proposed a language of this kind [5]. The absence of individual variables makes all these languages rather different from the traditional language of predicate calculus and from the usual language of mathematics. The translation procedures from the ordinary predicate languages into the predicate languages without individual variables and vice (...) versa have a technical character. It is desirable to make possible carrying out such procedures by performing some transformations in a suitable new language which comprises both a sublanguage similar to the ordinary predicate languages and another one not using individual variables. We shall propose now a language of the desired kind. The expressions of this language could be interpreted, in general, as denoting predicates which depend on parameters on a given object domain – this predicate has one argument and depends on one parameter). The proposed language will have the modal features noted in [3] and [5]. It is worthy of mention that the language proposed at the end of [4] although containing expressions interpreted as predicates and expressions with parameters does not allow simultaneous availability of argument places and parameters. (shrink)

Given a class ℱ oft otal functions in the set oft he natural numbers, one could study the real numbers that have arbitrarily close rational approximations explicitly expressible by means of functions from ℱ. We do this for classes ℱsatisfying certain closedness conditions. The conditions in question are satisfied for example by the class of all recursive functions, by the class of the primitive recursive ones, by any of the Grzegorczyk classes ℰnwith n ≥ 2, by the class of all (...) functions recursive in a given function and by the class of the functions primitive recursive in it, as well as by the class of all total functions in the set of the natural numbers. (shrink)

A theorem published by A. Grzegorczyk in 1955 states a certain kind of effective uniform continuity of computable functionals whose values are natural numbers and whose arguments range over the total functions in the set of the natural numbers and over the natural numbers. Namely, for any such functional a computable functional with one function-argument and the same number-arguments exists such that the values of the first of the functionals at functions dominated by a given one are completely determined by (...) their restrictions to numbers not exceeding the corresponding values of the second functional at the given function. We prove versions of this theorem for the class of the primitive recursive functionals and for the class of the elementary recursive ones. Analogous results can be proved for many other subrecursive classes of functionals. (shrink)

Our conscious minds exist in the Universe, therefore they should be identified with physical states that are subject to physical laws. In classical theories of mind, the mental states are identified with brain states that satisfy the deterministic laws of classical mechanics. This approach, however, leads to insurmountable paradoxes such as epiphenomenal minds and illusionary free will. Alternatively, one may identify mental states with quantum states realized within the brain and try to resolve the above paradoxes using the standard Hilbert (...) space formalism of quantum mechanics. In this essay, we first show that identification of mind states with quantum states within the brain is biologically feasible, and then elaborating on the mathematical proofs of two quantum mechanical no-go theorems, we explain why quantum theory might have profound implications for the scientific understanding of one's mental states, self identity, beliefs and free will. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

We consider the complexity of the integration operator on real functions with respect to the subrecursive class M^2 . We prove that the definite integral of a uniformly M^2-computable analytic real function with M^2-computable limits is itself M^2-computable real number. We generalise this result to integrals with parameters and with varying limits. As an application, we show that the Euler-Mascheroni constant is M^2-computable.

Investigation of the factors in natural history which conditioned the appearance of consciousness, that specifically human form of mental activity, necessarily presumes, in particular, a study of its functional preconditions or, in other words, of the higher forms of animal activity involving objects and of the corresponding mental processes. It is not enough to know the general psychological qualities of animals, the general principles by which their behavior is shaped, principles and properties offering evidence of a type of vital activity (...) qualitatively different from that of man. The traits of psychology and behavior, characteristic of the preponderance of the animal world, could not have become the immediate functional foundation capable of providing the real opportunity for the onset of the shaping of new regularities of mental activity. (shrink)

In this paper we investigate several extensions of the first order-language with finitely many binary relations. The most interesting of the studied extensions appears to be the monadic second-order one. We show that the extended languages have the same expressive power as the first-order language over the class of all relational structures of equivalence relations in local agreement by providing appropriate translation of formulae. The decidability of the considered extensions over the above mentioned class of structures is also shown.

This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...) This permits us to give new proximity-type models of local connection algebras, to obtain a representation theorem for such algebras and to give a new shorter proof of the main theorem of Roeper's paper [ROE 97]. Finally, the notion of MVD-algebra is introduced. It is similar to Mormann's notion of enriched Boolean algebra [MOR 98], based on a single mereological relation of interior parthood. It is shown that MVD-algebras are equivalent to local connection algebras. This means that the connection relation and boundedness can be incorporated into one, mereological in nature relation. In this way a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained. (shrink)

Four known three-valued logics are formulated axiomatically and several completeness theorems with respect to nonstandard intuitive semantics, connected with the notions of information, contrariety and subcontrariety is given.

The evolution of the human mind through natural selection mandates that our conscious experiences are causally potent in order to leave a tangible impact upon the surrounding physical world. Any attempt to construct a functional theory of the conscious mind within the framework of classical physics, however, inevitably leads to causally impotent conscious experiences in direct contradiction to evolution theory. Here, we derive several rigorous theorems that identify the origin of the latter impasse in the mathematical properties of ordinary differential (...) equations employed in combination with the alleged functional production of the mind by the brain. Then, we demonstrate that a mind--brain theory consistent with causally potent conscious experiences is provided by modern quantum physics, in which the unobservable conscious mind is reductively identified with the quantum state of the brain and the observable brain is constructed by the physical measurement of quantum brain observables. The resulting quantum stochastic dynamics obtained from sequential quantum measurements of the brain is governed by stochastic differential equations, which permit genuine free will exercised through sequential conscious choices of future courses of action. Thus, quantum reductionism provides a solid theoretical foundation for the causal potency of consciousness, free will and cultural transmission. (shrink)

Constructive logic with Nelson negation is an extension of the intuitionistic logic with a special type of negation expressing some features of constructive falsity and refutation by counterexample. In this paper we generalize this logic weakening maximally the underlying intuitionistic negation. The resulting system, called subminimal logic with Nelson negation, is studied by means of a kind of algebras called generalized N-lattices. We show that generalized N-lattices admit representation formalizing the intuitive idea of refutation by means of counterexamples giving in (...) this way a counterexample semantics of the logic in question and some of its natural extensions. Among the extensions which are near to the intuitionistic logic are the minimal logic with Nelson negation which is an extension of the Johansson's minimal logic with Nelson negation and its in a sense dual version — the co-minimal logic with Nelson negation. Among the extensions near to the classical logic are the well known 3-valued logic of Lukasiewicz, two 12-valued logics and one 48-valued logic. Standard questions for all these logics — decidability, Kripke-style semantics, complete axiomatizability, conservativeness are studied. At the end of the paper extensions based on a new connective of self-dual conjunction and an analog of the Lukasiewicz middle value ½ have also been considered. (shrink)

The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation.

This book addresses the fascinating cross-disciplinary field of quantum information theory applied to the study of brain function. It offers a self-study guide to probe the problems of consciousness, including a concise but rigorous introduction to classical and quantum information theory, theoretical neuroscience, and philosophy of the mind. It aims to address long-standing problems related to consciousness within the framework of modern theoretical physics in a comprehensible manner that elucidates the nature of the mind-body relationship. The reader also gains an (...) overview of methods for constructing and testing quantum informational theories of consciousness. (shrink)

The problem of the relationship between consciousness and unconsciousness has proved to be not only a neuralgic point in the interdisciplinary debates throughout the 20th century, but one which maintains its notable place in the present day. Taking the long and complex history of the encounters between Sigmund Freud's psychoanalysis and Edmund Husserl's mature phenomenology as a theoretical background, the present paper offers a novel approach towards the consciousness/unconsciousness problem, situated within the peculiar sphere shaped by the dialogue between Freudian (...) and Husserlian notions. What we offer is a preliminary sketch for an analytics of affectability that opens a path toward reexamining some key psychoanalytical concepts such as unconscious, repression and memory which can be a valuable contribution to the development of phenomenological conceptualizations of different forms of traumatic experience. (shrink)

The building of a developed socialist society is a process of shaping a highly advanced system of intellectual life and forming a new human being. Simultaneous with the creation and perfection of a new basis in material technology and social relationships, a process of comprehensive and harmonious development of the socialist personality takes place. On the level of development of the personality we face the task of creating a scientifically valid system of forms and methods of education and training, which (...) requires the implementation of interdisciplinary sociological, pedagogical, ethical, and psychological studies of the process of molding the new human being. (shrink)

Broad‐complex, Tramtrack, and Bric‐à‐brac/poxvirus and zinc finger (BTB/POZ) is a conserved domain found in many eukaryotic proteins with diverse cellular functions. Recent studies revealed its importance in multiple developmental processes as well as in the onset and progression of oncological diseases. Most BTB domains can form multimers and selectively interact with non‐BTB proteins. Structural studies of BTB domains delineated the presence of different interfaces involved in various interactions mediated by BTBs and provided a basis for the specific inhibition of distinct (...) protein‐interaction interfaces. BTB domains originated early in eukaryotic evolution and progressively adapted their structural elements to perform distinct functions. In this review, we summarize and discuss the structural principles of protein‐protein interactions mediated by BTB domains based on the recently published structural data and advances in protein modeling. We propose an update to the structure‐based classification of BTB domain families and discuss their evolutionary interconnections. (shrink)

Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for (...) instance, the relation of n-ary contact, internal connectedness and some others. To overcome this disadvantage, we introduce a generalisation of contact algebra, replacing the contact with a binary relation between finite sets of regions and a region, satisfying some formal properties of Tarski consequence relation. The obtained system is called sequent algebra, considered as an algebraic counterpart of a new mereotopology. We develop the topological representation theory for sequent algebras showing in this way certain correspondence between point-free and point-based models of space. As a by-product, we show how one logical relation in nature notion, Tarski consequence relation, may have also certain spatial meaning. (shrink)

The natural evolution of consciousness in different animal species mandates that conscious experiences are causally potent in order to confer any advantage in the struggle for survival. Any endeavor to construct a physical theory of consciousness based on emergence within the framework of classical physics, however, leads to causally impotent conscious experiences in direct contradiction to evolutionary theory since epiphenomenal consciousness cannot evolve through natural selection. Here, we review recent theoretical advances in describing sentience and free will as fundamental aspects (...) of reality granted by quantum physical laws. Modern quantum information theory considers quantum states as a physical resource that endows quantum systems with the capacity to perform physical tasks that are classically impossible. Reductive identification of conscious experiences with the quantum information comprised in quantum brain states allows for causally potent consciousness that is capable of performing genuine choices for future courses of physical action. The consequent evolution of brain cortical networks contributes to increased computational power, memory capacity, and cognitive intelligence of the living organisms. (shrink)

This paper describes an attempt to develop a pedagogy for teaching philosophy in science rather than a philosophy of science to be taught in the Bulgarian educational system.

Unter dem Begriff der „Verwissenschaftlichung der Methodologie der Wissenschaft“ verstehen wir den Einfluß wissenschaftlicher Erkenntnis auf die eine oder andere Art und Weise auf die Methodologie der Wissenschaft, insbesondere den Gebrauch von wissenschaftlichen Ideen und Methoden für die Formulierung und Lösung von methodologischen Problemen der Wissenschaft und Problemen der Methodologie selbst. Es werden vier Haupttendenzen im Prozeß der Verwissenschaftlichung der Methodologie vorgestellt: (a) der Übergang vom „statement view“ zum mathematischen Holismus; (b) die Verwissenschaftlichung auf system-theoretischer Basis; (c) der Einzug soziologischer (...) Methoden in die methodologische Analyse der Wissenschaft und (d) die methodologischen Anwendungen von Forschungsresultaten im Bereich der Künstlichen Intelligenz. Darüberhinaus werden einige besondere Formen der Implementierung wissenschaftlicher Konstruktionen in der Methodologie ins Auge gefaßt. (shrink)

In this paper, intuitionistic modal logics which do not admit the law of the excluded middle are studied. The main result is that there exista a continuum of such logics.

The human mind is constituted by inner, subjective, private, first-person conscious experiences that cannot be measured with physical devices or observed from an external, objective, public, third-person perspective. The qualitative, phenomenal nature of conscious experiences also cannot be communicated to others in the form of a message composed of classical bits of information. Because in a classical world everything physical is observable and communicable, it is a daunting task to explain how an empirically unobservable, incommunicable consciousness could have any physical (...) substrates such as neurons composed of biochemical molecules, water, and electrolytes. The challenges encountered by classical physics are exemplified by a number of thought experiments including the inverted qualia argument, the private language argument, the beetle in the box argument and the knowledge argument. These thought experiments, however, do not imply that our consciousness is nonphysical and our introspective conscious testimonies are untrustworthy. The principles of classical physics have been superseded by modern quantum physics, which contains two fundamentally different kinds of physical objects: unobservable quantum state vectors, which define what physically exists, and quantum operators (observables), which define what can physically be observed. Identifying consciousness with the unobservable quantum information contained by quantum physical brain states allows for application of quantum information theorems to resolve possible paradoxes created by the inner privacy of conscious experiences, and explains how the observable brain is constructed by accessible bits of classical information that are bound by Holevo's theorem and extracted from the physically existing quantum brain upon measurement with physical devices. (shrink)

The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer the (...) underlying brain processes toward desired behavior. Yet, this setback does not establish that consciousness is non-physical. Modern quantum physics affirms the interplay between two types of physical entities in Hilbert space: unobservable quantum states, which are vectors describing what exists in the physical world, and quantum observables, which are operators describing what can be observed in quantum measurements. Quantum no-go theorems further provide a framework for studying quantum brain dynamics, which has to be governed by a physically admissible Hamiltonian. Comprising consciousness of unobservable quantum information integrated in quantum brain states explains the origin of the inner privacy of conscious experiences and revisits the dynamic timescale of conscious processes to picosecond conformational transitions of neural biomolecules. The observable brain is then an objective construction created from classical bits of information, which are bound by Holevo’s theorem, and obtained through the measurement of quantum brain observables. Thus, quantum information theory clarifies the distinction between the unobservable mind and the observable brain, and supports a solid physical foundation for consciousness research. (shrink)

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: $$\begin{array}{ll}\mathbf{Some}\, a \,{\rm are} \,R-{\rm related}\, {\rm to}\, \mathbf{some} \,b;\\ \mathbf{Some}\, a \,{\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{some}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all} \,b.\end{array}$$ Such primitives formalize sentences from natural language like ‘ All students read some textbooks’. Here a, b denote arbitrary sets (of objects), and R denotes an (...) arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem. (shrink)

Human creativity generates novel ideas to solve real-world problems. This thereby grants us the power to transform the surrounding world and extend our human attributes beyond what is currently possible. Creative ideas are not just new and unexpected, but are also successful in providing solutions that are useful, efficient and valuable. Thus, creativity optimizes the use of available resources and increases wealth. The origin of human creativity, however, is poorly understood, and semantic measures that could predict the success of generated (...) ideas are currently unknown. Here, we analyze a dataset of design problem-solving conversations in real-world settings by using 49 semantic measures based on WordNet 3.1 and demonstrate that a divergence of semantic similarity, an increased information content, and a decreased polysemy predict the success of generated ideas. The first feedback from clients also enhances information content and leads to a divergence of successful ideas in creative problem solving. These results advance cognitive science by identifying real-world processes in human problem solving that are relevant to the success of produced solutions and provide tools for real-time monitoring of problem solving, student training and skill acquisition. A selected subset of information content (IC Sánchez–Batet) and semantic similarity (Lin/Sánchez–Batet) measures, which are both statistically powerful and computationally fast, could support the development of technologies for computer-assisted enhancements of human creativity or for the implementation of creativity in machines endowed with general artificial intelligence. (shrink)

In this paper we show how modal logic can be applied in the axiomatizations of some dynamic ontologies. As an example we consider the case of mereotopology, which is an extension of mereology with some relations of topological nature like contact relation. We show that in the modal extension of mereotopology we may define some new mereological and mereotopological relations with dynamic nature like stable part-of and stable contact. In some sense such “stable” relations can be considered as approximations of (...) the “essential relations” in the domain of mereotopology. (shrink)