‘Complexics’ denotes the meta-transdisciplinary field specifically concerned with giving us suitable cognitive tools to understand the world’s complexity. Additionally, the use of the adjective ‘complexical’ would avoid the common confusion caused by the adjective ‘complex’, which belongs to everyday usage and already has its own connotations of complication and confusion. Thus, ‘complexical’ thinking and ‘complexical’ perspective would provide clearer terms, be freer of confusion, and refer more precisely to epistemic elements in contrast to the ‘complexity’ typical of many phenomena of (...) reality. In short, the world would be ‘complex’, but our way of looking at the world would be ‘complexical’. As a meta-transdiscipline, ‘complexics’ would carry on the perspective of cybernetics: “Cybernetics deals with all forms of behaviour insofar as they are regular, or determinate, or reproducible. The materiality is irrelevant… The truths of cybernetics are not conditional on their being derived from some other branch of science. Cybernetics has its own foundations” (Ashby, 1956:1). Thus, it has a distinctly transdisciplinary mission to provide concepts, schema and possibilities of thinking and representation able to express the multidimensional and systemic interwovenness and interdependence of the many, highly significant phenomena of reality that have these characteristics. On the level of theory, complexics needs to provide a set of principles, concepts and conceptual landscapes that can be applied transversally to distinct areas of knowledge and phenomena of reality, enabling us to gain a much firmer grasp of the complex aspects of their existence than we currently have. For this reason, our aim needs to be, as Morin says, not “to reduce complexity to simplicity, [but] to translate complexity into theory” (1994:315). (shrink)

The “language-communication-society” triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress in understanding how it works. The highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodological body of knowledge that can effectively convey the characteristic properties of phenomena in human terms. New complexity approaches (...) allow us to rethink our limited and mechanistic images of human societies and create more appropriate emo-cognitive dynamic and holistic models. We have to enter into dialogue with the complexity views coming out of other more ‘material’ sciences, but we also need to take steps in the linguistic and psycho-sociological fields towards creating perspectives and concepts better fitted to human characteristics. Our understanding of complexity is different – but not opposed – to the one that is more commonly found in texts written by people working in physics or computer science, for example. The goal of this book is to extend the knowledge of these other more ‘human’ or socially oriented perspectives on complexity, taking account of the language and communication singularities of human agents in society. (shrink)

Throughout most of the 20th century, analytical and reductionist approaches have dominated in biological, social, and humanistic sciences, including linguistics and communication. We generally believed we could account for fundamental phenomena in invoking basic elemental units. Although the amount of knowledge generated was certainly impressive, we have also seen limitations of this approach. Discovering the sound formants of human languages, for example, has allowed us to know vital aspects of the ‘material’ plane of verbal codes, but it tells us little (...) about significant aspects of their social functions. I firmly believe, therefore, that alongside a linguistics that looks ‘inward’ there should also be a linguistics that looks ‘outward’, or one even that is constructed ‘from the outside’, a linguistics that I refer to elsewhere as ‘holistic’ though it could be identified by a different name. My current vision is to promote simultaneously the perspective that goes from the part to the whole and that which goes from the whole to the parts, i.e., both from the top down and from the bottom up. This goal is shared with other disciplines which recognize that many phenomena related to life are interwoven, self-organising, emergent and processual. Thus, we need to re-examine how we have conceived of reality, both the way we have looked at it and the images we have used to talk about it. Several approaches now grouped under the label of complexity have been elaborated towards this objective of finding new concepts and ways of thinking that better fit the complex organisation of facts and events. (shrink)

Contact between culturally distinct human groups in the contemporary ‘glocal’ -global and local- world is much greater than at any point in history. The challenge we face is the identification of the most convenient ways to organise the coexistence of different human language groups in order that we might promote their solidarity as members of the same culturally developed biological species. Processes of economic and political integration currently in motion are seeing increasing numbers of people seeking to become polyglots. Thus, (...) English is establishing itself as the usual world supra-language, although it coexists with other lingua francas that are widely used in certain parts of the globe. All this communicative reorganization of the human species may very well pose new problems and aggravate existing tensions as regards language and identity. It would seem that these processes comprise at least four major conceptual dimensions which must be taken into account above all else, as they are both widespread and, left unaddressed, may lead to significant social instability. These dimensions concern linguistic recognition, communicability, sustainability and integration. While accepting the utility of having an inter-national language, the keystone of the system is clearly that it must ensure the linguistic sustainability of each group. The basic principle is likely to be functional subsidiarity, i.e., whatever can be done by the local language should not be done by another one which is more global. As in the quote from Paracelsus --“the dose alone makes the poison”-- contact between languages is not ‘poisonous’ per se, but when the correct dose is exceeded it can prove harmful to the language whose position is weaker. A multilingual and communicated humanity is possible. (shrink)

In recent years the term ‘family language policy’ has begun to circulate in the international sociolinguistics literature (cf. Spolsky 2004, 2007, 2012, King et al. 2008; Caldas 2012; Schwartz & Verschik 2013)1. From a conceptual standpoint, however, the creation and/or use of this syntagma, applied directly to the language decisions taken by family members to speak to one another, can raise questions about whether one should apply what appears rather to be a framework that pertains to actions arising out of (...) institutionalisation, public debate, and formal decisions to a phenomenon produced ‘spontaneously’. ‘Language policy’, which is also commonly associated with the term ‘planning’, has traditionally evoked the study of actions taken by public authorities at the level of the institutional and social use of languages and of their process of decision-making, implementation and any effects on social language behaviours that may ensue. The expansion of this concept to the level of interpersonal uses in families, which corresponds to another sphere involving elements that are distinct from those of the political level or of a formally constituted organisation, can be misleading and conceal phenomena specific to this level of social reality. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

As figurational sociologists and sociolinguists, we need to know that we currently find support from other fields in our efforts to construct a sociocultural science focused on interdependencies and processes, creating a multidimensional picture of human beings, one in which the brain and its mental and emotional processes are properly recognized. The paradigmatic revolutions in 20th-century physics, the contributions made by biology to our understanding of living beings, the conceptual constructions built around the theories of systems, self-organization and complexity, all (...) these implore that we reflect on social sciences paradigms in the light of the great changes in these other disciplines. The application of metaphors or theoretical images of complexity and figurational sociology in understanding language and socio-communication phenomena is of great use, since language is not an ‘object’, but a ‘complex’; it exists simultaneously in and among different domains. ‘Languaging’ and interaction are co-phenomena. The former exists within the latter, and the latter within the former. By visualizing, for instance, the different levels of linguistic structure not as separate entities but rather as united and integrated within the same theoretical frame, by seeing their functional interdependencies, by situating them in a greater multidimensionality that includes what for a long time was considered ‘external’ – the individual and his or her mind-brain, the sociocultural system, the physical world, etc. – and expanding in this way our classical view, we should be able to make important, if not essential, theoretical and practical advances. (shrink)

Transdisciplinary analogies and metaphors are potential useful tools for thinking and creativity. The exploration of other conceptual philosophies and fields can be rewarding and can contribute to produce new useful ideas to be applied on different problems and parts of reality. The development of the so-called 'sustainability' approach allows us to explore the possibility of translate and adapt some of its main ideas to the organisation of human language diversity. The concept of 'sustainability' clearly comes from the tradition of thinking (...) that criticises the perspective of economic development that overlooks almost totally the natural environment -the precise context where this development takes place -and which thus leads it to a final end devoid of resources and clearly harmful for the life of human beings. Against this economicist view, which is blind to its very important side effects, some academic and activist enclaves have proposed the perspective of 'sustainable development' or 'lasting development'. In other words, they have theorised, constructed, and begun to practice an economic and urbanistic development respectful of, integrated into, and in keeping with the dynamics of nature. Such perspective provides a way of improving the material aspects of human life while at the same time not damaging other environmental aspects still more necessary and fundamental for the quality —and even for the simple possibility- of human existence. In fact, the view is a synthesis of possible opposed patterns. It does not renounce material and economic improvement, but nor does it exclude a fully healthy environment that is appropriate for the continuation of the species. If we now try to transfer and to apply this way of thinking to the linguodiversity reality, are there useful analogies and metaphors to be made? We believe there are, and ones that can be used to good advantage, and linked, moreover, to the traditions of thought that have always been present but perhaps even more so these last years with the drive to develop the thinking we are calling ‘eco-linguistic’. From the outset, we would underscore the will to connect apparent ‘opposites’ in an integrative conceptualisation, such as the very syntagm ‘sustainable development’. On the sociolinguistic plane, our debate should probably be about our ‘opposites’, which could be on the one hand the expansion of the dominant languages and, on the other hand, the maintenance and development of human linguistic diversity. (shrink)

Historical processes exert an influence on the current state and evolution of situations of language contact, brought to bear from different domains, the economic and the political, the ideological and group identities, geo-demographics, and the habits of inter-group use. Clearly, this kind of phenomenon requires study from a complexical and holistic perspective in order to accommodate the variety of factors that belong to different levels and that interrelate with one another in the evolving dynamic of human languaging. Therefore, there is (...) a need for the restricted and general complexity approaches to come to a meeting of the minds, and take steps toward a mutual integration based on the acceptance of the shortcomings of each approach, achieving progress through a non-contradictory complementarity of perspectives. It must be conceded that the practical and methodological applications of basic complexical ideas need to be developed much farther in order to apply them to specific research. At the same time, the limits of complex adaptive systems as computational strategies must be accepted in the pursuit of a better understanding of the dynamic and evolutionary processes typical of human beings. New tools for the conception, apprehension and treatment of the data will need to be devised to complement existing ones and to enable us to make headway toward practices that better fit complexical perspectives. It seems obvious that human complexics must be seen as multi-methodological, insofar as necessary combining quantitative-computation methodologies and more qualitative methodologies aimed at understanding the historical mental and emotional world of people. (shrink)

As a sort of intellectual provocation and as a lateral thinking strategy for creativity, this chapter seeks to determine what the study of the dynamics of biodiversity can offer linguists. In recent years, the analogical equation "language = biological species" has become more widespread as a metaphorical source for conceptual renovation, and, at the same time, as a justification for the defense of language diversity. Language diversity would be protected in a way similar to the mobilization that has taken place (...) to protect endangered species. Nevertheless, one must be careful when uncritically transferring conceptualizations and theoretical frameworks from one field to another, since obviously, these two phenomena are quite different in the real world. The dialogue with bioecologists starts by asking about the formation of diversity, i.e., about specialization. Here, one can observe the similarity between the processes of linguistic and genetic fragmentation, in the sense that both phenomena have a (socio)geographical basis for dispersion and consequently, for the loss of their original compact nature and their intercommunication. The self-organizing and creative properties of human beings favor the development of specific varieties for each subset, varieties that continue to evolve constantly, through the unceasing "languaging" of humanity. Regarding the continuity of species or languages, one can also observe the decisive role of intragroup relations. The staying power of linguistic varieties will increase in direct proportion to the intensity of the relationship among the components of the subset. On the other hand, if exotic elements are introduced, especially if these elements are aggressive in nature, the alteration of the ecological niche may turn out to be fatal for the continuity of the previously existing forms. This suggests to us the need to make an in-depth study of what the minimal contextual conditions would be so that a set linguistic group could be assured a sustainable continuity within a framework of linguistic contact. What type of minimum (socio-)ecological niche would a language have to have if we wished to ensure its habitual reproduction? A proposal is made here to explore the ideas of "exclusive functions" and "non-hierarchical functional distribution" for codes in situations where there is high contact and a danger of disuse. As regards change, this phenomenon is seen as an inherent element in the tendency of life to create new developments, which may or not be accompanied by an adaptation to changing environmental conditions. It is pointed out that, similar to what happens in biology, much of linguistic innovation stems from a systemically reorganized mixture of solutions from different codes. An important research question would be, however, to determine why some of these innovations disappear and others survive and extend throughout the community. The big question mark, as Mufwene points out, is, then how to manage to understand how "the evolution of language proceeds by naturally selecting from among the competing alternatives available through the idiolects of individual speakers". Extinction, whether it be of languages or of species, is caused in most cases "by a combination of demographic processes and environmental changes", as Brown points out. Thus, the environment plays a fundamental role in the direction of evolution, since the "the survival of the fittest is, in actuality, the survival of those who fit into the context (Allen and Hoekstra)". This allows us to see the great degree of importance of political-economic contexts in the case of languages. In the same way, migratory movements are also one of the major variables determining the extinction of biodiversity and language diversity. Species and habitat form the basic unit of existence, and this is the major point of departure for understanding the problem of the preservation and recovery of species or languages. Given the increase in the degree of linguistic contact, the continuity of language diversity depends on determining, as exactly as possible, as Prigogine, the physicist, would say, what precise conditions of imbalance may prove to be stable. The great challenge is not so much avoiding contact but managing it. And "restorative ecology" can also be of help to us here. Being able to reach sustainable solutions for language diversity implies a profound knowledge of the dynamics for determining the ways in which language is used in contact situations. The general conclusion is that linguistics is still terminologically and conceptually ill prepared to deal with the dynamic character of human languages. The world and our objects must be conceived of as elements in a state of flux, as changing systems in an unstable equilibrium. With respect to language policy, it would be necessary to make an effort to manage to establish some general principles regarding the linguistic organization of the human species that would make it possible for local linguistic diversity and communication on a planetary scale, which must necessarily take place, to be compatible with each other. To succeed, it will be necessary to continue promoting an autonomous socio-ecological perspective devoted to the comprehension of language phenomena. Such a perspective would be based on a paradigm of complexity, and would, at the same time, place human beings at the center of its theoretical underpinnings. (shrink)

The 'complexity' approach can be positive and very helpful for General Linguistics theory because departs from: a) the idea that knowledge or meaning can exist without a being who produces them, b) the fragmented and reductionist view of reality and its too mechanistic oriented images, c) the 'linear' causality models, d) the tendency to dichotomise the categories about reality, e) the 'third excluded' Aristotelian principle (binary logic: if something is here it is not there), f) the disappearance of the mind (...) in some 'higher' social sciences, g) an inadequate approach of the relationships between the whole and its parts, and, h) a perspective on creativity too much based on logic and not on 'artistic' intuition and imagination in science. (shrink)

Los fenómenos del nivel intermedio de la realidad presentan unas características particulares de autoorganización sistémica, de interrelación polinivelada, de recursividad, de emergencia de nuevos «objetos» con propiedades distintas a las de los elementos que los forman, y de dinamicidad evolutiva, que necesitan probablemente la formulación de nuevas concepciones teóricas y de principios paradigmáticos distintos. A esa «complejidad» de la realidad es a lo que intenta dar respuesta adecuada lo que se ha venido llamando perspectivas o ciencias de la complejidad o (...) también pensamiento complejo. Esta aproximación adopta una manera multidimensional, integrada y dinámica de ver la realidad: el mundo está constituido por la sobreposición emergente de distintos elementos que van produciendo entrelazadamente nuevas propiedades o nuevas organizaciones a medida que se va complexificando en niveles más altos. Si tratamos lo que llamamos lenguas como si fueran objetos simples y descontextualizados, podemos avanzar en la comprensión de algunos de sus aspectos más mecánicos pero podemos ignorar totalmente sus condiciones de existencia, funcionalidad, mantenimiento, variación, cambio o desaparición. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

Human linguistic phenomenon is at one and the same time an individual, social, and political fact. As such, its study should bear in mind these complex interrelations, which are produced inside the framework of the sociocultural and historical ecosystem of each human community. Understanding this phenomenon is often no easy task, due to the range of elements involved and their interrelations. The absence of valid, clearly developed paradigms adds to the problem and means that the theoretical conclusions that emerge may (...) be unclear on certain points. It is true that in the last fifty years sociolinguistic studies have advanced considerably, and today we have access to an impressive set of data and a wide variety of theoretical reflections. But as a discipline sociolinguistics does not yet have unified, powerful theoretical models able to account rigorously and clearly for the phenomena it studies. Sociolinguistic studies are today a diverse set of contributions in which certain and theoretical schools and lines of research emerged; but as is to be expected in a relatively new field, there is not enough communication between the various schools and they cannot yet be said to be integrated in terms of their conceptual and theoretical postulates. Against this background, our work aims to contribute to the overall, integrated understanding of the processes of language contact. Via an interdisciplinary, eclectic approach, it also aims to aid the theoretical grounding and integration of a unified, common sociolinguistic paradigm. Our strategy will not be merely to combine the contributions from ongoing research lines, but to address the question from a more global viewpoint which, together with the more innovative contemporary scientific disciplines, permits a harmonious integration of the various sociolinguistic perspectives in a broad, deep and unitary approach to the reality. The materials used to construct this unified approach are taken from many sources: Theoretical physics, ecology, the philosophy of science and mind, anthropology, phenomenological and process sociology, cognitive sciences, political science, pragmatics, history, systems theory, approaches to complexity and obviously sociolinguistics, are all involved in a dialogue in this desire for integration. (shrink)

This book aims to contribute to the overall, integrated understanding of the processes of language contact and their evolution, be they the result of political or economic (dis)integrations or migrations or for technological reasons. Via an interdisciplinary, holistic approach, it also aims to aid the theoretical grounding of a unified, common sociolinguistic paradigm, based on an ecological and complexical perspective. This perspective is based on the fact that linguistic structures do not live in isolation from their social functions and must (...) be situated in relation to the sub- and supra-systems that determine their existence if we are to understand their fortunes. It is a contribution in understanding and promoting the processes of linguistic revitalization in the world, combining at the same time the maintenance and development of diversity while ensuring the intercommunication of human species. (shrink)

Medium-sized language communities face competition between local and global languages such as Spanish, Russian, French and, above all, English. The various regions of Spain where Catalan is spoken, Denmark, the Czech Republic, and Lithuania show how their medium-sized languages (a term used to distinguish them as much from minority codes as from more widely-spoken codes) coexist alongside or struggle with their big brothers in multilingual families. This comparative analysis offers unique insight into language contact in present-day Europe.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)

The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...) Fichte’s work completely subordinated to the project of explicit self-constitution of human being based in practical-theoretical mastering of consciousness of its own ontological-ontical priority. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

Memories of our personal past are the building blocks of our narrative identity. So, when we depend on objects and other people to remember and construct our personal past, our narrative identity is distributed across our embodied brains and an ecology of environmental resources. This paper uses a cognitive niche construction approach to conceptualise how we engineer our memory ecology and construct our distributed narrative identities. It does so by identifying three types of niche construction processes that govern how we (...) interact with our memory ecology, namely creating, editing, and using resources in our memory ecology. It also conceptualises how identity-relevant information in objects and (family) stories is transmitted vertically, i.e., across different generations of people. Identifying these processes allows us to better understand the cultural information trajectories that constitute our memory ecologies. Thus, what I’ll argue is that our memory ecology distributes our narrative identity and that engineering our memory ecology is a form of narrative niche construction. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that "numbers are objects", not if that claim is intended in a form that forces the Caesar problem upon us.

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our (unfolding) life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of (...) artifacts in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally-laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)

In recent times we have seen an explosion in the amount of attention paid to the conscious brain from scientists and philosophers alike. One message that has emerged loud and clear from scientific work is that the brain is a dynamical system whose operations unfold in time. Any theory of consciousness that is going to be physically realistic must take account of the intrinsic nature of neurons and brain activity. At the same time a long discussion on consciousness among philosophers (...) has resulted in our distinguishing several kinds of consciousness. So when we ask where the place of consciousness is in nature we may mean several different things. In this chapter I will argue that it is plausible that all of the kinds of consciousness turn out to be nothing but patterns of synchronized neural activity in various frequencies against a dynamically changing chemical background. (shrink)

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...) counterarguments against the extended self. The main focus is on the link between the extended mind and extended self, which has received the most attention in recent literature. But accounts of the extended self developed independently of the extended mind are also briefly discussed. This article ends by drawing out some of the conceptual, methodological, and normative implications of the extended self and suggesting some directions for future research. (shrink)

According to the Asymmetry, we’ve strong moral reason to prevent miserable lives from coming into existence, but no moral reason to bring happy lives into existence. This procreative asymmetry is often thought to be part of commonsense morality, however theoretically puzzling it might prove to be. I argue that this is a mistake. The Asymmetry is merely prima facie intuitive, and loses its appeal on further reflection. Mature commonsense morality recognizes no fundamental procreative asymmetry. It may recognize some superficially similar (...) theses, but we will see that they derive from more familiar principles, and are compatible with there being moral reason to bring happy lives into existence. (shrink)