The philosophy of mind is traditionally concerned with the study of mental processes, language, the representation of knowledge and the relation of the mind shares with the body; computational complexity theory is related to the classification of computationally solvable problems (be it via execution time, storage requirements, etc...). While there are well-established links between computer science in general & the philosophy of mind, many possible solutions to traditional problems in the philosophy of mind have not yet been (...) analyzed from the more specific lens of computational complexity theory. In his paper "Why Philosophers Should Care about Computational Complexity", Scott Aaronson argues that many conventional theories of epistemology & mind implicitly make the presupposition of omniscience (by supposing that knowing base facts means a knower necessarily understands derivative facts) - he proposes that computational complexity theory could explain why this is not the case. In this paper, I argue for a theory of mental representation & epistemology compatible with Aaronson's observations on complexity theory, overcoming that presupposition of omniscience. (shrink)

In a series of articles we try to show the need of a novel Theory for Theory of Computation based on considering time as a Fuzzy concept. Time is a central concept In Physics. First we were forced to consider some changes and modifications in the Theories of Physics. In the second step and throughout this article we show the positive Impact of this modification on Theory of Computation and Complexity Theory to rebuild it in (...) a more successful and fruitful approach. We call this novel Theory TC*. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, (...) it is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

One of the possible hypotheses about time is to consider any instant of time as a fuzzy number so that two instances of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas. Brouwer and Husserl are two examples. This article studies the impact of this change on the Theory of Computation and Complexity Theory. In order to rebuild the Theory of Computation in a more successful and productive approach to solve some major (...) problems in Complexity Theory, the present research is done. This novel theory is called here, the fuzzy time theory of computation, TC*. Here, we show the situation of some major problems in Complexity theory and Quantum complexity theory in the new model, and how some major problems would be solved. (shrink)

As a philosophy of mathematics, strict finitism has been traditionally concerned with the notion of feasibility, defended mostly by appealing to the physicality of mathematical practice. This has led the strict finitists to influence and be influenced by the field of computational complexity theory, under the widely held belief that this branch of mathematics is concerned with the study of what is “feasible in practice”. In this paper, I survey these ideas and contend that, contrary to popular (...) belief, complexity theory is not what the ultrafinitists think it is, and that it does not provide a theoretical framework in which to formalize their ideas —at least not while defending the material grounds for feasibility. I conclude that the subject matter of complexity theory is not proving physical resource bounds in computation, but rather proving the absence of exploitable properties in a search space. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in (...) P can feasibly work as computational models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

This paper compares the free energy neuroscience now advocated by Karl Friston and his colleagues with that hypothesised by Freud, arguing that Freud's notions of conflict and trauma can be understood in terms of computational complexity. It relates Hobson and Friston's work on dreaming and the reduction of complexity to contemporary accounts of dreaming and the consolidation of memory, and advances the hypothesis that mental disorder can be understood in terms of computational complexity and the (...) mechanisms, including synaptic pruning, that have evolved to reduce it. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward a (...) natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...) and even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation, and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things, a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’, nor find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 2nd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having (...) to deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

Moral reasoning traditionally distinguishes two types of evil: moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics. It is argued that this goes some way towards providing a methodological explanation of why cyberspace is central to so many of CE’s concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent’s action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil but conversely to ‘receive’ or ‘suffer from’ it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively, in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics is proposed for that theory. It is argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective. In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI (...) safety; and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. (shrink)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv.org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, and even (...) independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation,and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things,a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’ with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’ nor can find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016’ 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

The notion of computability is developed through the study of the behavior of a set of languages interpreted over the natural numbers which contain their own fully defined satisfaction predicate and whose only other vocabulary is limited to "0", individual variables, the successor function, the identity relation and operators for disjunction, conjunction, and existential quantification.

Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...) proposing an ontology, a general theory of knowledge and concept of a person. Kaufmann's work derives, first of all, from the thinking of Gustav Radburch, his teacher, and then from ideas of Karl Engish and Hans-Georg Gadamer. The philosophy undertakes to pursue the ultimate foundation of law, law which is understood by Kaufmann, first of all, as a "concrete judgement" that is, what is right in a concrete situation. Justice belongs to the essence of law and "unjust law" is contradictio in adiectio. Kaufmann opposes all those theories, which as the only foundation for establishing just law (Recht) adopt legal norms (Gesetz). In Kaufmann's opinion , such theories are powerless in the face of all types of distortions of law rendered by political forces. He suggests that the basic phenomenon which needs to be explained and which cannot be disregarded by a philosopher of law is so-called "legal lawlessness" ("Gestzliches Unrecht"). "Legal lawlessness" which forms a part of life experience for the people of twentieth century totalitarian states. It proved "with the accuracy of scientific experiment" that the reality of law consists of something more than bare conformity with legal norms. The existence of lex corrupta indicates that law contains something "non-dispositive" which requires acknowledgment of both law-maker and judge. Kaufmann, accepting the convergent concept of truth and cognition, assumes that "non-dispositive" content, emerging as the conformity of a number of cognitive acts of different subjects (inter-subjective communicativeness and verifiability), indicates the presence of being in this cognition. The questions "What is law?" and "What are the principles of a just solution?" lead straight to the ontology of law, to the question about the ontological foundations of law. Kaufmann discerns the ontological foundations of law in the specifically understood "nature of things" and, ultimately, in a "person". He proposes a procedural theory of justice, founded on a "person". In my work, I undertake to reconstruct the train of thought which led Kaufmann to the recognition of a "person" as the ontological foundation of law. In the first part, the conception of philosophy adopted by Kaufmann, initial characteristics of law — of reality which is the subject of analysis, as well as, the requirements for proper philosophical explanation of law posed by Kaufmann are introduced. In the second, Kaufmann's reconstruction of the process of the realisation of law is presented. Next, the conception of analogy which Kaufmann uses when explaining law is analyzed. In the fourth part, Kaufmann's conception of ontological foundations of law is discussed. A critical analysis is carried out in which I demonstrate that the theory of the ontological foundation of law proposed by Kaufmann and the concept of a person included in it do not allow a satisfac¬tory explanation of the phenomenon of "legal lawlessness" and lead to a number of difficulties in the philosophical explanation of law. Finally, the perspectives of a proper formulation of the issue of the ontological foundations of law are drafted in the context of the analyzed theory. My interest is centered on the conception of philosophy adopted by Kaufmann, according to which the existence of the reality is inferred on the basis of a certain configuration of the content of consciousness, whereas at the point of departure of philosophy of law, the data to be explained is a certain process, which is, basically, a process of cognition, while the reality appears only as a condition for the possibility of the occurrence of the process. I wish to argue that the difficulties which appear in the explanation of law are a consequence of the assumed fundamental philosophical solu¬tions, which seem to be characteristic, though usually not assumed explicitly, in philoso¬phy and theory of law dominant at present in continental Europe. Thereby, I wish to show the significance of ontological and epistemological solutions to the possibility of a proper formulation of the problems posed by philosophy and theory of law. Kaufmann proclaims himself in favour of a philosophy which poses questions about the ultimate foundations of understanding of the reality. In epistemology, he assumes that answers to the questions "What is reality like?" and ultimately "What is real?" are inferred on the basis of uniformity of a cognitive acts of different subjects. Cognition of the reality is accomplished exclusively through the content of conceptual material. The two fundamental questions posed by philosophy of law are "What is just law?" and "How is the just law enacted?" The latter is a question about the process of achieving a solution to a concrete case. Since, in Kaufmann's opinion, law does not exist apart from the process of its realisation, an answer to the question about the manner of realisation of law is of fundamental significance to answering the question: "What is law?" and to the explanation of the question about the ontological grounding of law, which is, as well, the foundation of justice. The proper solution has to take into account the moment of "non-dispositive" content of law; its positiveness understood as the reality and, at the same time, it has to point to the principles of the historical transformation of the content. Law, in the primary meaning of the word, always pertains, in Kaufmann's opinion, to a concrete case. A legal norm is solely the "possibility" of law and the entirely real law is ipsa res iusta, that which is just in a given situation. Determination of what is just takes place in a certain type of process performed by a judge (or by man confronted with a choice). Kaufmann aims to reconstruct this process. A question about the ontological foundation of law is a question about the ontological foundations of this process. In the analyzed theory it is formulated as a question about the transcendental conditions, necessary for the possibility of the occurrence of the process: how the reality should be thought to make possible the reconstructed process of the realisation of law. Kaufmann rejects the model for finding a concrete solution based on simple subsump¬tion and proposes a model in which concrete law ensues, based on inference by analogy, through the process of "bringing to conformity" that which is normative with that which is factual. Kaufmann distinguishes three levels in the process of the realisation of law. On the highest level, there are the fundamental legal principles, on the second legal norms, on the third — concrete solutions. The fundamental principles of law are general inasmuch as they cannot be "applied" directly to concrete conditions of life, however, they play an important part in establishing norms. A judge encounters a concrete situation and a system of legal norms. A life situation and norms are situated on inherently different levels of factuality and normativeness. In order to acquire a definite law both a norm (system of norms) and a life situation (Lebenssachverhalt) should undergo a kind of "treatment" which would allow a mutual conformity to be brought to them. Legal norms and definite conditions of life come together in the process of analogical inference in which the "factual state" ("Tatbestand") — which represents a norm, and in the "state of things" ("Sachverhalt") — which represents a specific situation are constructed. A "factual state" is a sense interpreted from a norm with respect to specific conditions of life. The "state of things" is a sense constructed on the basis of concrete conditions of life with respect to norms (system of norms). Legal norms and concrete conditions of life meet in one common sense established during the process of realisation of law. Mutatis mutandis the same refers to the process of composition of legal norms: as the acquisition of concrete law consists in a mutual "synchronization" of norms and concrete conditions of life, so acquisition of legal norms consists of bringing to conformity fundamental principles and possible conditions of life. According to Kaufmann, both of these processes are based on inference through analogy. As this inference is the heart of these processes it is simultaneously a foundation finding just law and justice. How does Kaufmann understand such an inference? As the basis for all justice he assumes a specifically interpreted distributive justice grounded on proportionality. Equality of relations is required between life conditions and their normative qualification. Concrete conditions of life are ascribed normative qualification not through simple application of a general norm. More likely, when we look for a solution we go from one concrete normative qualified case to another, through already known "applications" of norms to a new "application". The relation between life conditions and their normative qualifica¬tion has to be proportional to other, earlier or possible (thought of) assignments of that which is factual to that which is normative. Law as a whole does not consist of a set of norms, but only of a unity of relations. Since law is a, based on proportion, relative unity of a norm and conditions of life, in order to explain law in philosophical manner, the question about ontological base of this unity has to be asked. What is it that makes the relation between a norm and conditions of life "non-dispositive"? What is the basis for such an interpretation of a norm and case which makes it possible to bring a norm and conditions of life into mutual "conformity"? This is a question about a third thing (next to norms and conditions of life), with respect to which the relative identity between a norm and conditions of life occurs, about the intermediary between that which is normative and that which is factual and which provides for the process of establishing of norms, as well as, finding solutions. It is the "sense" in which the idea of law or legal norm and conditions of life have to be identical to be brought to mutual "conformity". In Kaufmann's opinion such a sense is nothing else but the "nature of things" which determines the normative qualification of the reality. Since establishment of this "sense" appears to be "non-dispositive" and controlled inter-subjectively (namely, other subjects will reach a similar result) so, in conformity with the convergent concept of truth, the "nature of things" must be assigned a certain ontological status. According to Kaufmann this is a real relation which occurs between being and obligation, between the conditions of life and normative quality. However, it should be underlined that from the point of view of the analyzed system the "nature of things" is a correlate of constructed sense, a result of a construction which is based on the principle of consistent understanding of senses ("non-normative" and "normative") and is not a reality which is transcendent against the arrangement of senses. In Kaufmann's theory, inference from analogy appears to be a process of reshaping the concepts (senses) governed by tendency to understand the contents appearing in relations between that which is factual and that which is normative in a consistent way. The analogical structure of language (concepts) and recognition of being as composed of an essence and existence is an indispensable requirement for the possibility of the realisation of law, based on specifically understood inference from analogy. It is necessary to assume a moment of existence without content which ensures unity of cognition. Existence emerges thus as a condition of the possibility of cognition. According to Kaufmann, the "nature of things" is the heart of inference through analogy and the basis for establishment of finding of law. Inference from the "state of things" to a norm or from a norm to the "state of things" always means inference through the "nature of things". The "nature of things" is the proper medium of objective legal sense sought in every cognition of law. In Kaufmann's view, the question whether the "nature of things" is ultima ratio of interpretation of law or is only a means of supplement gaps in law or whether it is one of the sources of law, is posed wrongly. The "nature of things" serves neither to supplement the gaps nor is it a source of law as, for example, a legal norm may be. It is a certain kind of "catalyst" necessary in every act of making law and solving a concrete case. Owing to "nature of things" it is possible to bring to a mutual conformity the idea of law and possible conditions of life or legal norms and concrete conditions of life. In Kaufmann's conception the "nature of things" is not yet the ultimate basis for understanding the "non-dispositiveness" of law. The relation between obligation and being is determined in the process of the realisation of law. Both the process itself and that which is transformed in this process are given. A question about the ontological bases of "material" contents undergoing "treatment" in the process of the realisation of law and about being which is the basis of regularity of the occurrence of the process arises. Only this will allow an explanation that the result of the process is not optional. Thus, a question about reality to which law refers and about the subject realising the law has to be formed. To this, Kaufmann gives the following answer: that which is missing is man but not "empirical man" but man as a "person". A "person" understood as a set of relations between man and other people and things. A "person" is the intermediary between those things which are different — norm and case are brought to conformity. A "person" is that which is given and permanent in the process of the realisation of law. It determines the content of law, is "subject" of law; this aspect is described by Kaufmann as the "what" of the process of realisation of law. A "person" consists of precisely just these relations which undergo "treatment" in the process. On the other hand, a "person" is "a place" in which the processes of realisation of law occur, it is the "how" of normative discourse, a "person" is that which determines the procedure of the process, being "outside" of it. This aspect of a "person" is connected with the formal moment of law. A "person" being, at the same time, the "how" and the "what" of the process of the realisation of law, is also, to put it differently, a structural unity of relation and that which constitutes this relation (unity of relatio and relata). According to this approach a "person" is neither an object nor a subject. It exists only "in between". It is not substance. Law is the relation between being and obligation. That which is obligatory is connected with that which is general. That which is general does not exist on its own, it is not completely real. Accordingly, a "person" as such is also not real. It is relational, dynamic and historical. A "person" is not a state but an event. In Kaufmann's opinion, such a concept of a "person" helps to avoid the difficulties connected with the fungibility of law in classical legal positivism. A "person" is that which is given, which is not at free disposal and secures the moment of "non-dispositiveness" of law. Kaufmann concludes: "The idea (»nature«) of law is either the idea of a personal man or is nothing". Theory points at the structure of realising law and explains the process of adoption of general legal norms for a concrete situation. The analysis has shown however, that in this theory a satisfactory answer to the question about the ultimate foundations of law is not given. It seems that in the analyzed theory the understanding of human being takes place through understanding of law. What is good for man as a "person", what is just, what a "person" deserves may be determined only against the existing system of law. A "per¬son" adopted as a basis of law is the reality postulated in the analysis of the process of the realisation of law. It is a condition of possibility of this process ( explaining, on one hand, its unity and, on the other hand, the non-dispositive moments stated in this process). A "person" in the discussed theory is entirely defined by the structure of law, it can be nothing more than that which is given in law, what law refers to, what law is about. Being, which is a "person", is constituted by relations between people and objects, the relations which are based on fundamental links between norms and conditions of life established in a process of bringing them to conformity. It has to be assumed that man as a "person" is a subject of law only as far as realising law "treats" given senses according to their current configuration. The system of law is a starting point and it describes in content what man is as a "person". Moreover, being a "person" is the condition for entering legal relations. Consistently, Kaufmann writes that "empirical man" is not the subject of law, man is not "out of nature" a "person". People become "persons" due to the fact that they acknowledge each other as "persons" — acknowledging, at the same time, law. This acknowledgement is a con¬dition of existence, of the possibility of the occurrence of process of realisation of law and of constituting legal relations which ultimately constitute a "person". Kaufmann assumes, that law tends towards a moral aim: it may and must create an external freedom, without which the internal freedom to fulfil moral obligations cannot develop. However, this postulate is not based on the necessary structure of human being. From the point of view of his system, it is nothing more than only a condition for the possibility of the occurrence of the process of the realisation of law — lack of freedom would destroy the "how" of this process. Thus, the postulate to protect the freedom of personal acts has to be interpreted, in accordance with the analyzed theory, as a postulate, the fulfilment of which aims ultimately at the accomplishment of the very same process of realisation of law itself and not the realisation of a given man. Kaufmann considers a "person" to be an element which unites the system of law as a whole. Law is a structure of relations, which are interdependent and inter-contingent. Consequently, a "person" which is to form the ontological basis of law has to be entity consisting of all relations. Being also the "how" of the process of realisation of law, if a "person" is to warrant its unity, it has to be a common source for all procedures. Hence, a single "person" would constitute a subject of law. Man appears to be only a moment of a certain entirety, realisation of which should be an aim of his actions. Law, creating a "person" as an object and subject of law becomes a primary entity. In the analyzed theory, the basis for determination of aims which law sets to man is not the allocation of man-subject to something which improves him but rather, such relation is only just constituted by law. A question appears, why should aims set in law also be the aims of "empirical man"? Why is this "empirical man" to be punished in the name of a "person" understood in such a way? If, however, it is assumed that what is man is determined by a system which is superior to him, then man has to be understood only as a part of a whole and there are no grounds to prohibit istrumental treatment of man and so the road to all aspects of totalitarianism might be opened. A problem of the application of created theory to the reality arises, the reality which the theory pretends to explain. Ultimately in his theory Kaufmann does not give any systemic grounds for a radical questioning of the validity of any legal norms. Every new norm becomes an equal part of system of norms. It is only its interpretation and application to given conditions of life that may be disputable, however, this refers to all norms without exception. Cohesive inter-pretation of norms and applications is necessary and sufficient for the acquisition of just law. New norms have to be interpreted in the light of others, correspondingly, the other norms require reinterpretation in the light of the new ones. Contradiction in interpretation of a norm does not form a basis for questioning norms but may serve only to question the manner of their interpretation (understanding). Therefore, no grounds exist to assume any legal norm as criminal or unjust, and in consequence, to question any consistently realised system based on formally, properly established norms, as "legal lawlessness". As law and a "person" do not exist without the process of realisation of law, the role of legal safety becomes crucial as the condition for the possibility of the occurrence of the process of realisation of law. Denying legal safety would be tantamount to negation of law in general (also of moral law) as negation of safety takes away, at the same time, the basis for occurrence of the process of realisation of law. Moreover, any lack of legal safety would also mean lack of a basis for the existence of man as a "person". Kaufmann's thesis, that civil disobedience is legalized only when it has a chance to lead to success, consistent with his concept of the foundations of law, seems to point directly to conclusions which deny the facts taken under consideration and doubtlessly Kaufmann's own intentions, since it would have to be assumed that accordingly there are no grounds to question a legal system in force based on violence which secures its operation. Force finally seems to determine which one of the mutually irreconcilable normative systems constitute law and which does not. A legitimate position is one which leads to success, it is the weaker system which is negated. If so, then basically violent imposition of law is not an act directed against the law in force but, to the contrary, realisation of law. In the context of the new system the former system of law may be talked about as unjust solely in the sense of being incapable of being consistently united with the new. However, at the base, ultimately, lies force which reaffirms differences and excludes from the process of realisation of law certain norms and their interpretations. Kaufmann was aiming at grounding of that which is "non-dispositive" in a certain given framework of interpretation. Nevertheless, he does not provide foundations for the understanding of phenomena, which he undertakes to explain at a point of departure. Instead of explaining them the theory negates the possibility of their existence. The reality postulated in regard to "non-dispositive" moments of the reconstructed process of acquiring law consist of a specifically understood "person", which appears in Kaufmann's conceptions as a condition of the possibility of the realisation of law. According to this approach understanding of a "person" may be only a function of law. To understand "legal lawlessness" and foundations of justice it is necessary to look for such theory of law in which understanding of man as a "person" and being is not a function of understanding of law (in which a "person" is not only a condition for possibility of reconstructed process of realisation of law; for possibility of cognition processes). It seems necessary to start from theory of being and a "person" based on broader experience than the one assumed by Kaufmann and reconstruct the ontological foundations of the process of realisation of law only in such perspective. Kaufmann points out that that to which law refers is ipsa res iusta a concrete relation of man to other people and things. This relation, in his theory, appears to be basically only just constituted by law (normative senses "applied" to conditions of life). Therefore, understanding the relation between a given man and other people and things which constitute the aim of his actions, that is understanding of good, is enacted against the background of constitution of senses; constitution which is a result of a process aiming towards consistent understanding of particular contents (of nor¬mative and non-normative senses). "Being" is secondary towards constructed senses it is only their correlate. The primary relation consists of relation of a man to law (system of norms), while the secondary relation is one of man to something which is the aim of his action (relation between man and good). Considering such approach it is difficult to envision a satisfying answer to the fundamental question: why does law put concrete man under any obligation to obey it? The source of this problem can be seen in reduction of the base for understanding good to content of obligation formulated in auto-reflection. Such reduction seems to be a consequence of Kaufmann's adoption of "convergent concept of truth" and in con¬sequence his recognition of indirect, essentialistic grasp of reality formulated in concepts as the basic and only foundation of theory of being and of law. In view of such an approach, analogy of law, concepts and being is the condition for the possibility of the process of transformation of senses which aims at consistent interpretation of all law. Existence is postulated with respect to the possibility of unity of experience and cognition. However, also a different approach to understanding of the problem of being and good is possible. In spontaneous cognition being is affirmed, first of all, not as a certain, non-contradictory, determined content, but as something existing. Together with a cer¬tain content (passed indirectly through notions) existence of being is co-given. The basis for unity of being is not formed by the consistence of content, as it is in the case of the theories departing from the analysis of cognition processes, but by an act of existence realising content (essence). Such an approach makes it also possible to go beyond the convergent concept of truth. It is worth mentioning that allocation of an agent to good is realised not only by the content of duty. A statement that something is good is primary with respect to determination of this good in content. The recognised good always bears some content, however, there are no reasons to base the concept of good exclusively on indirect, formulated in concepts cognition. As primary, can be adopted the relation of man to good and not of man to law. Determination in content appears to be only an articulation of aspectual cognition of being, as an object of action. In such a case the basis for relative unity of norm and conditions of life is not the "nature of things" understood as correlate of sense but it is relation to good based on internal constitution of man as potential, not self-sufficient being. It does not mean, that the moments of the process of realisation of law singled out by Kaufmann are not important to determination of what is just. He, quite rightly, points to significant role played by norms in the evaluation of concrete situations, in man's search for closer specification in content of good innate to him. The structure of process of determining law for a concrete situation, to a great degree corresponds to the processes of determining law which take place not only in the legal sciences. Kaufmann's analyses of the process of realisation of law show the complexity of the structure of these processes and point towards important moments allowing a better understanding of law and man. Nevertheless, these analyses cannot be a basis for construction of philosophical theory of law, theory which hopes to point out the ultimate, ontological foundations for understanding law. Kaufmann's results may become fully valid only in a more general perspective including broader experience at the point of departure. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the nature (...) of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like (...) many other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach (...) applies methods from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Economies are complicated systems encompassing micro behaviors, interaction patterns, and global regularities. Whether partial or general in scope, studies of economic systems must consider how to handle difficult real-world aspects such as asymmetric information, imperfect competition, strategic interaction, collective learning, and the possibility of multiple equilibria. Recent advances in analytical and computational tools are permitting new approaches to the quantitative study of these aspects. One such approach is Agent-based Computational Economics (ACE), the computational study of economic processes (...) modeled as dynamic systems of interacting agents. This chapter explores the potential advantages and disadvantages of ACE for the study of economic systems. General points are concretely illustrated using an ACE model of a two-sector decentralized market economy. Six issues are highlighted: Constructive understanding of production, pricing, and trade processes; the essential primacy of survival; strategic rivalry and market power; behavioral uncertainty and learning; the role of conventions and organizations; and the complex interactions among structural attributes, institutional arrangements, and behavioral dispositions. (shrink)

Very plausibly, nothing can be a genuine computing system unless it meets an input-sensitivity requirement. Otherwise all sorts of objects, such as rocks or pails of water, can count as performing computations, even such as might suffice for mentality—thus threatening computationalism about the mind with panpsychism. Maudlin in J Philos 86:407–432, ( 1989 ) and Bishop ( 2002a , b ) have argued, however, that such a requirement creates difficulties for computationalism about conscious experience, putting it in conflict with the (...) very intuitive thesis that conscious experience supervenes on physical activity. Klein in Synthese 165:141–153, ( 2008 ) proposes a way for computationalists about experience to avoid panpsychism while still respecting the supervenience of experience on activity. I argue that his attempt to save computational theories of experience from Maudlin’s and Bishop’s critique fails. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner (...) according to the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. (...) They only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Emotions and feelings (i.e. affects) are a central feature of human behavior. Due to complexity and interdisciplinarity of affective phenomena, attempts to define them have often been unsatisfactory. This article provides a simple logical structure, in which affective concepts can be defined. The set of affects defined is similar to the set of emotions covered in the OCC model, but the model presented in this article is fully computationally defined, whereas the OCC model depends on undefined concepts. Following Matthis, (...) affects are seen as unconscious, emotions as preconscious and feelings as conscious. Affects are thus a superclass of emotions and feelings with regards to consciousness. A set of affective states and related affect-specific behaviors and strategies can be defined with unconscious affects only. -/- In addition, affects are defined as processes of change in the body state, that have specific triggers. For example, an affect of hope is defined as a specific body state that is triggered when the agent is becomes informed about a future event, that is positive with regards to the agent’s needs. -/- Affects are differentiated from each other by types of causing events. Affects caused by unexpected positive, neutral and negative events are delight, surprise and fright, respectively. Affects caused by expected positive and negative future events are hope and fear. -/- Affects caused by expected past events are as follows: satisfaction results from a positive expectation being fulfilled, disappointment results from a positive expectation not being fulfilled, fears-confirmed results from a negative expectation being fulfilled, and relief results from a negative expectation not being fulfilled. Pride is targeted towards a self-originated positive event, and shame towards a self-originated negative event. Remorse is targeted towards a self-originated action causing a negative event. Pity is targeted towards a liked agent experiencing a negative event, and happy-for towards a liked agent experiencing a positive event. Resentment is targeted towards a disliked agent experiencing a positive event, and gloating towards a disliked agent experiencing a negative event. An agent is liked/loved if it has produced a net utility greater than zero, and disliked/hated if the net utility is lower than zero. An agent is desired if it is expected to produce a positive net utility in the future, and disliked if the expected net utility is negative. -/- The above model for unconscious affects is easily computationally implementable, and may be used as a starting point in building believable simulation models of human behavior. The models can be used as a starting point in the development of computational psychological, psychiatric, sociological and criminological theories, or in e.g. computer games. -/- [please cite using the arXiv url below.]. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. (...) They only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Cells are cognitive entities possessing great computational power. DNA serves as a multivalent information storage medium for these computations at various time scales. Information is stored in sequences, epigenetic modifications, and rapidly changing nucleoprotein complexes. Because DNA must operate through complexes formed with other molecules in the cell, genome functions are inherently interactive and involve two-way communication with various cellular compartments. Both coding sequences and repetitive sequences contribute to the hierarchical systemic organization of the genome. By virtue of nucleoprotein (...) complexes, epigenetic modifications, and natural genetic engineering activities, the genome can serve as a read-write storage system. An interactive informatic conceptualization of the genome allows us to understand the functional importance of DNA that does not code for protein or RNA structure, clarifies the essential multidirectional and systemic nature of genomic information transfer, and emphasizes the need to investigate how cellular computation operates in reproduction and evolution. (shrink)

I argue that Stich's Syntactic Theory of Mind (STM) and a naturalistic narrow content functionalism run on a Language of Though story have the same exact structure. I elaborate on the argument that narrow content functionalism is either irremediably holistic in a rather destructive sense, or else doesn't have the resources for individuating contents interpersonally. So I show that, contrary to his own advertisement, Stich's STM has exactly the same problems (like holism, vagueness, observer-relativity, etc.) that he claims plague (...) content-based psychologies. So STM can't be any better than the Representational Theory of Mind (RTM) in its prospects for forming the foundations of a scientifically respectable psychology, whether or not RTM has the problems that Stich claims it does. (shrink)

Understanding computation as “a process of the dynamic change of information” brings to look at the different types of computation and information. Computation of information does not exist alone by itself but is to be considered as part of a system that uses it for some given purpose. Information can be meaningless like a thunderstorm noise, it can be meaningful like an alert signal, or like the representation of a desired food. A thunderstorm noise participates to the generation of meaningful (...) information about coming rain. An alert signal has a meaning as allowing a safety constraint to be satisfied. The representation of a desired food participates to the satisfaction of some metabolic constraints for the organism. Computations on information and representations will be different in nature and in complexity as the systems that link them have different constraints to satisfy. Animals have survival constraints to satisfy. Humans have many specific constraints coming in addition. And computers will compute what the designer and programmer ask for. We propose to analyze the different relations between information, meaning and representation by taking an evolutionary approach on the systems that link them. Such a bottom-up approach allows starting with simple organisms and avoids an implicit focus on humans, which is the most complex and difficult case. To make available a common background usable for the many different cases, we use a systemic tool that defines the generation of meaningful information by and for a system submitted to a constraint [Menant, 2003]. This systemic tool allows to position information, meaning and representations for systems relatively to environmental entities in an evolutionary perspective. We begin by positioning the notions of information, meaning and representation and recall the characteristics of the Meaning Generator System (MGS) that link a system submitted to a constraint to its environment. We then use the MGS for animals and highlight the network nature of the interrelated meanings about an entity of the environment. This brings us to define the representation of an item for an agent as being the network of meanings relative to the item for the agent. Such meaningful representations embed the agents in their environments and are far from the Good Old Fashion Artificial Intelligence type ones. The MGS approach is then used for humans with a limitation resulting of the unknown nature of human consciousness. Application of the MGS to artificial systems brings to look for compatibilities with different levels of Artificial Intelligence (AI) like embodied-situated AI, the Guidance Theory of Representations, and enactive AI. Concerns relative to different types of autonomy and organic or artificial constraints are highlighted. We finish by summarizing the points addressed and by proposing some continuations. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I (...) prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need (...) too much computational resource, e.g., time or memory, to be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

Complexity is a relatively new field of study that is still heavily influenced by philosophy. However, with the advent of modern computing, it has become easier to conduct thorough investigations of complex systems using computational simulations. Despite significant progress, there remain certain characteristics of complex systems that are difficult to comprehend. To better understand these features, information can be applied using simple models of complex systems. The concepts of Shannon's information theory, Kolgomorov complexity, and logical depth (...) are helpful in this regard. Computational mathematical models based on recursive processes, recursive functions, and information in functions offer new insights into complexity by exploring its connection with irreversibility and the loss of information. Through these models, it is possible to see complexity as a transformation of input information through algorithmic computation, with time, logical depth, and information loss serving as key factors in understanding the process. (shrink)

Some things look more complex than others. For example, a crenulate and richly organized leaf may seem more complex than a plain stone. What is the nature of this experience—and why do we have it in the first place? Here, we explore how object complexity serves as an efficiently extracted visual signal that the object merits further exploration. We algorithmically generated a library of geometric shapes and determined their complexity by computing the cumulative surprisal of their internal skeletons—essentially (...) quantifying the “amount of information” within each shape—and then used this approach to ask new questions about the perception of complexity. Experiments 1–3 asked what kind of mental process extracts visual complexity: a slow, deliberate, reflective process (as when we decide that an object is expensive or popular) or a fast, effortless, and automatic process (as when we see that an object is big or blue)? We placed simple and complex objects in visual search arrays and discovered that complex objects were easier to find among simple distractors than simple objects are among complex distractors—a classic search asymmetry indicating that complexity is prioritized in visual processing. Next, we explored the function of complexity: Why do we represent object complexity in the first place? Experiments 4–5 asked subjects to study serially presented objects in a self‐paced manner (for a later memory test); subjects dwelled longer on complex objects than simple objects—even when object shape was completely task‐irrelevant—suggesting a connection between visual complexity and exploratory engagement. Finally, Experiment 6 connected these implicit measures of complexity to explicit judgments. Collectively, these findings suggest that visual complexity is extracted efficiently and automatically, and even arouses a kind of “perceptual curiosity” about objects that encourages subsequent attentional engagement. (shrink)

Why should moral philosophers, moral psychologists, and machine ethicists care about computational complexity? Debates on whether artificial intelligence (AI) can or should be used to solve problems in ethical domains have mainly been driven by what AI can or cannot do in terms of human capacities. In this paper, we tackle the problem from the other end by exploring what kind of moral machines are possible based on what computational systems can or cannot do. To do so, (...) we analyze normative ethics through the lens of computational complexity. First, we introduce computational complexity for the uninitiated reader and discuss how the complexity of ethical problems can be framed within Marr’s three levels of analysis. We then study a range of ethical problems based on consequentialism, deontology, and virtue ethics, with the aim of elucidating the complexity associated with the problems themselves (e.g., due to combinatorics, uncertainty, strategic dynamics), the computational methods employed (e.g., probability, logic, learning), and the available resources (e.g., time, knowledge, learning). The results indicate that most problems the normative frameworks pose lead to tractability issues in every category analyzed. Our investigation also provides several insights about the computational nature of normative ethics, including the differences between rule- and outcome-based moral strategies, and the implementation-variance with regard to moral resources. We then discuss the consequences complexity results have for the prospect of moral machines in virtue of the trade-off between optimality and efficiency. Finally, we elucidate how computational complexity can be used to inform both philosophical and cognitive-psychological research on human morality by advancing the moral tractability thesis. (shrink)

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) (...) by different mathematical languages (the instruments of investigation). Together with traditional mathematical languages using such concepts as ‘enumerable sets’ and ‘continuum’ a new computational methodology allowing one to measure the number of elements of different infinite sets is used in this paper. It is shown how mathematical languages used to describe the machines limit our possibilities to observe them. In particular, notions of observable deterministic and non-deterministic Turing machines are introduced and conditions ensuring that the latter can be simulated by the former are established. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner (...) according to the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, (...) I believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really (...) local? - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

Moods have global and profound effects on our thoughts, motivations and behavior. To understand human behavior and cognition fully, we must understand moods. In this paper I critically examine and reject the methodology of conventional ?cognitive theories? of affect. I lay the foundations of a new theory of moods that identifies them with processes of our cognitive functional architecture. Moods differ fundamentally from some of our other affective states and hence require distinct explanatory tools. The computational theory (...) of mood I propose places them within the context of other mental phenomena and is consistent with the empirical data on moods. (shrink)

Instead of postulated fixed structures and abstract principles of usual positivistic science, the unreduced diversity of living world reality is consistently derived as dynamically emerging results of unreduced interaction process development, starting from its simplest configuration of two coupled homogeneous protofields. The dynamically multivalued, or complex and intrinsically chaotic, nature of these real interaction results extends dramatically the artificially reduced, dynamically single-valued projection of standard theory and solves its stagnating old and accumulating new problems, “mysteries” and “paradoxes” within the (...) unified and causally complete picture of intrinsically evolving, dynamically complex reality. The permanently unfolding complexity progress thus revealed is fundamentally unlimited and does not need to stop at the directly observed diversity of usual matter complexity. The exciting, but rigorously substantiated and objectively inevitable prospects of further civilisation complexity development towards its superior levels of genuine sustainability and global Noosphere are outlined, with practically important conclusions for today’s critical problem solution. (shrink)

The reason ability of considering time as a fuzzy concept is demonstrated in [7],[8]. One of the major questions which arise here is the new definitions of Complexity Classes. In [1],[2],…,[11] we show why we should consider time a fuzzy concept. It is noticeable to mention that that there were many attempts to consider time as a Fuzzy concept, in Philosophy, Mathematics and later in Physics but mostly based on the personal intuition of the authors or as a style (...) of Fuzzifying different various of the concepts. Consequently, fuzzifying time doesn’t go to be popular. In the new attempts we are trying to show why we are somewhat forced to consider time as a Fuzzy concept. It is mostly based on the “Unexpected Hanging Paradox” introduced by a Swedish Mathematician Lennart Ekbom. Our question is:” what will be the impact of it in Theory of Computation and Physics?”. Here, we discuss about the impact of fuzzifying time on Theory of Computation. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

This is a presentation about the impacts of Logic and Theory of Computation. It starts by some explanations about Theory of Computation and its relations with the other subjects in science. Then we have some explanations about paradoxes and some historical points. In continuation, we present some of the most important paradoxes. Forthcoming, Five subjects around the relations between Logic and Theory of computation is introduced. Finally, we present a new approach to solve P vs NP problem (...) via Paradoxes (Presentation 6/20/2022 In Persian, Online seminar of The Iranian Association for Logic (IAL) . (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage (...) in cognitive processes that make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which (...) implies the existence of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

The file on this site provides the slides for a lecture given in Hangzhou in May 2018, and the lecture itself is available at the URL beginning 'sms' in the set of links provided in connection with this item. -/- It is commonly assumed that regular physics underpins biology. Here it is proposed, in a synthesis of ideas by various authors, that in reality structures and mechanisms of a biological character underpin the world studied by physicists, in principle supplying detail (...) in the domain that according to regular physics is of an indeterminate character. In regular physics mathematical equations are primary, but this constraint leads to problems with reconciling theory and reality. Biology on the other hand typically does not characterise nature in quantitative terms, instead investigating in detail important complex interrelationships between parts, leading to an understanding of the systems concerned that is in some respects beyond that which prevails in regular physics. It makes contact with quantum physics in various ways, for example in that both involve interactions between observer and observed, an insight that explains what is special about processes involving observation, justifying in the quantum physics context the replacement of the unphysical many-worlds picture by one involving collapse. The link with biology furthermore clarifies Wheeler’s suggestion that a multiplicity of observations can lead to the ‘fabrication of form’, including the insight that this process depends on very specific ‘structures with power’ related to the 'semiotic scaffolding' of the application of sign theory to biology known as biosemiotics. -/- The observer-observed 'circle' of Wheeler and Yardley is a special case of a more general phenomenon, oppositional dynamics, related to the 'intra-action' of Barad's Agential Realism, involving cooperating systems such as mind and matter, abstract and concrete, observer and observed, that preserve their identities while interacting with one another in such a way as to act as a unit. A third system may also be involved, the mediating system of Peirce linking the two together. Such a situation of changing connections and separations may plausibly lead in the future to an understanding of how complex systems are able to evolve to produce 'life, the universe and everything'. -/- (Added 1 July 2018) The general structure proposed here as an alternative to a mathematics-based physics can be usefully characterised by relating it to different disciplines and the specialised concepts utilised therein. In theoretical physics, the test for the correctness of a theory typically involves numerical predictions, corresponding to which theories are expressed in terms of equations, that is to say assertions that two quantities have identical values. Equations have a lesser significance in biology which typically talks in terms of functional mechanisms, dependent for example on details of chemistry and concepts such as genes, natural selection, signals and geometrical or topologically motivated concepts such as the interconnections between systems and the unfolding of DNA. Biosemiotics adds to this the concept of signs and their interpretation, implying novel concepts such as semiotic scaffolding and the semiosphere, code duality, and appreciation of the different types of signs, including symbols and their capacity for abstraction and use in language systems. Circular Theory adds to this picture, as do the ideas of Barad, considerations such as the idea of oppositional dynamics. The proposals in this lecture can be regarded as the idea that concepts such as those deriving from biosemiotics have more general applicability than just conventional biology and may apply, in some circumstances, to nonlinear systems generally, including the domain new to science hypothesised to underlie the phenomena of present-day physics. -/- The task then has to be to restore the mathematical aspect presumed, in this picture, not to be fundamental as it is in conventional theory. Deacon has invoked a complex sequence of evolutionary steps to account for the emergence over time of human language systems, and correspondingly mathematical behaviour can be subsumed under the general evolutionary mechanisms of biosemiotics (cf. also the proposals of Davis and Hersh regarding the nature of mathematics), so that the mathematical behaviour of physical systems is consistent with the proposed scheme. In conclusion, it is suggested that theoretical physicists should cease expecting to find some universal mathematical ‘theory of everything’, and focus instead on understanding in more detail complex systems exhibiting behaviour of a biological character, extending existing understanding. This may in time provide a more fruitful understanding of the natural world than does the regular approach. The essential concepts have an observational basis from both biology and the little-known discipline of cymatics (a discipline concerned with the remarkable patterns that specific waveforms can give rise to), while again computer simulations also offer promise in providing insight into the complex behaviours involved in the above proposals. -/- References -/- Jesper Hoffmeyer, Semiotic Scaffolding of Living Systems. Commens, a Digital Companion to C. S. Peirce (on Commens web site). Terrence Deacon, The Symbolic Species, W.W. Norton & Co. Karen Barad, Meeting the Universe Halfway: Quantum Physics and the Entanglement of Matter and Meaning, Duke University Press. Philip Davis and Reuben Hersh, The Mathematical Experience, Penguin. Ilexa Yardley, Circular Theory. (shrink)

Throughout this paper, we prove TC + CON(TC*)ͰP ≠ NP. To do that, firstly we introduce the definition of scope∗ . This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face finite number of efficient computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach to a (...) world of computation, in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P ≠ NP and P* ≠ NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)

Throughout this paper, we prove TC+CON(〖TC*〗 )ͰP≠NP. To do that, firstly, we introduce the definition of scope*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach a world of computation in (...) which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and P*≠NP*. Throughout this article, we discuss the impact of TC* on TC. -/- . (shrink)