This article describes a research project in which a qualitative research was carried out consisting of 24 semi-structured interviews and a subsequent data analysis using the MAXQDA software in order to investigate a particular dimorphic emotional expression: tears of joy (TOJ). The working hypothesis is that TOJ are not only an atypical expression due to a “super joy,” or that they are only an attempt by the organism to self-regulate the excess of joyful emotion through the expression of the opposite (...) emotion (sadness), but that it is an emotional experience in its own right—not entirely overlapping with joy—with a specific adaptive function. Through the interviews, conducted in a cross-cultural context (mainly in India and Japan), we explored the following possibility: what if the adaptive function of crying for joy were to signal, to those experiencing it, the meaning of their life; the most important direction given to their existence? The material collected provided positive support for this interpretation. (shrink)

We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, (...) where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic [31]; ii) Galli et al.’s logic of equilibrium [21]; iii) a new logic of “preservation of truth degrees”. (shrink)

I argue for an idealist ontology consistent with empirical observations, which seeks to explain the facts of nature more parsimoniously than physicalism and bottom-up panpsychism. This ontology also attempts to offer more explanatory power than both physicalism and bottom-up panpsychism, in that it does not fall prey to either the ‘hard problem of consciousness’ or the ‘subject combination problem’, respectively. It can be summarized as follows: spatially unbound consciousness is posited to be nature’s sole ontological primitive. We, as well as (...) all other living organisms, are dissociated alters of this unbound consciousness. The universe we see around us is the extrinsic appearance of phenomenality surrounding—but dissociated from—our alter. The living organisms we share the world with are the extrinsic appearances of other dissociated alters. As such, the challenge to artificially create individualized consciousness becomes synonymous with the challenge to artificially induce abiogenesis. (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...) same strategy to counter Quine's meaning variance argument against deviant logics. In a nutshell, we claim that genuine rivalry between (similar) logics *L* and *L'* is possible whenever each constant in *L* has the same operational meaning as its counterpart in *L'* although differences in global meaning arise in at least one case. (shrink)

The strict-tolerant approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the (...) latter calculus, far from coinciding with classical logic, is a close kin of Priest’s LP. (shrink)

Political theory is a field that finds nourishment in others. From economics, history, sociology, psychology, and political science, theorists have drawn a rich repertoire of schemas to parse the social world and make sense of it. With each of these encounters, new subjects are brought into focus as others recede into the background, ushering a change not only in how questions are tackled but also in what questions are thought worth asking.

Can animals think? In this paper I address the proposal that many animals, including insects such as honeybees, have genuine thoughts. I consider one prominent version of this view that claims that honeybees can represent and process information about their environments in a way that satisfies the main hallmarks of human conceptual thought. I shall argue, however, that this view fails to provide convincing grounds for accepting that animals possess concepts. More precisely, I suggest that two important aspects of conceptual (...) thought, viz., concept individuation and the generality constraint, are not satisfied. (shrink)

Several alternatives vie today for recognition as the most plausible ontology, from physicalism to panpsychism. By and large, these ontologies entail that physical structures circumscribe consciousness by bearing phenomenal properties within their physical boundaries. The ontology of idealism, on the other hand, entails that all physical structures are circumscribed by consciousness in that they exist solely as phenomenality in the first place. Unlike the other alternatives, however, idealism is often considered implausible today, particularly by analytic philosophers. A reason for this (...) is the strong intuition that an objective world transcending phenomenality is a self-evident fact. Other arguments—such as the dependency of phenomenal experience on brain function, the evidence for the existence of the universe before the origin of conscious life, etc.—are also often cited. In this essay, I will argue that these objections against the plausibility of idealism are false. As such, this essay seeks to show that idealism is an entirely plausible ontology. (shrink)

Turing’s much debated test has turned 70 and is still fairly controversial. His 1950 paper is seen as a complex and multilayered text, and key questions about it remain largely unanswered. Why did Turing select learning from experience as the best approach to achieve machine intelligence? Why did he spend several years working with chess playing as a task to illustrate and test for machine intelligence only to trade it out for conversational question-answering in 1950? Why did Turing refer to (...) gender imitation in a test for machine intelligence? In this article, I shall address these questions by unveiling social, historical and epistemological roots of the so-called Turing test. I will draw attention to a historical fact that has been only scarcely observed in the secondary literature thus far, namely that Turing’s 1950 test emerged out of a controversy over the cognitive capabilities of digital computers, most notably out of debates with physicist and computer pioneer Douglas Hartree, chemist and philosopher Michael Polanyi, and neurosurgeon Geoffrey Jefferson. Seen in its historical context, Turing’s 1950 paper can be understood as essentially a reply to a series of challenges posed to him by these thinkers arguing against his view that machines can think. Turing did propose gender learning and imitation as one of his various imitation tests for machine intelligence, and I argue here that this was done in response to Jefferson's suggestion that gendered behavior is causally related to the physiology of sex hormones. (shrink)

I argue for an idealist ontology consistent with empirical observations, which seeks to explain the facts of nature more parsimoniously than physicalism and bottom-up panpsychism. This ontology also attempts to offer more explanatory power than both physicalism and bottom-up panpsychism, in that it does not fall prey to either the ‘hard problem of consciousness’ or the ‘subject combination problem’, respectively. It can be summarized as follows: spatially unbound consciousness is posited to be nature’s sole ontological primitive. We, as well as (...) all other living organisms, are dissociated alters of this unbound consciousness. The universe we see around us is the extrinsic appearance of phenomenality surrounding—but dissociated from—our alter. The living organisms we share the world with are the extrinsic appearances of other dissociated alters. As such, the challenge to artificially create individualized consciousness becomes synonymous with the challenge to artificially induce abiogenesis. (shrink)

Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.

I propose an idealist ontology that makes sense of reality in a more parsimonious and empirically rigorous manner than mainstream physicalism, bottom-up panpsychism, and cosmopsychism. The proposed ontology also offers more explanatory power than these three alternatives, in that it does not fall prey to the hard problem of consciousness, the combination problem, or the decombination problem, respectively. It can be summarized as follows: there is only cosmic consciousness. We, as well as all other living organisms, are but dissociated alters (...) of cosmic consciousness, surrounded by its thoughts. The inanimate world we see around us is the extrinsic appearance of these thoughts. The living organisms we share the world with are the extrinsic appearances of other dissociated alters. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

The Turing test has been studied and run as a controlled experiment and found to be underspecified and poorly designed. On the other hand, it has been defended and still attracts interest as a test for true artificial intelligence (AI). Scientists and philosophers regret the test’s current status, acknowledging that the situation is at odds with the intellectual standards of Turing’s works. This article refers to this as the Turing Test Dilemma, following the observation that the test has been under (...) discussion for over seventy years and still is widely seen as either too bad or too good to be a valuable experiment for AI. An argument that solves the dilemma is presented, which relies on reconstructing the Turing test as a thought experiment in the modern scientific tradition. It is argued that Turing’s exposition of the imitation game satisfies Mach’s characterization of the basic method of thought experiments and that Turing’s uses of his test satisfy Popper’s conception of the critical and heuristic uses of thought experiments and Kuhn’s association of thought experiments to conceptual change. It is emphasized how Turing methodically varied the imitation game design to address specific challenges posed to him by other thinkers and how his test illustrates a property of the phenomenon of intelligence and suggests a hypothesis on machine learning. This reconstruction of the Turing test provides a rapprochement to the conflicting views on its value in the literature. (shrink)

We investigate the class of strongly distributive pregroups, a common abstraction of MV-algebras and Abelian l-groups which was introduced by E.Casari. The main result of the paper is a representation theorem which yields both Chang's representation of MV-algebras and Clifford's representation of Abelian l-groups as immediate corollaries.

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in (...) terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic. -/- . (shrink)

The Idea of the World offers a grounded alternative to the frenzy of unrestrained abstractions and unexamined assumptions in philosophy and science today. This book examines what can be learned about the nature of reality based on conceptual parsimony, straightforward logic and empirical evidence from fields as diverse as physics and neuroscience. It compiles an overarching case for idealism - the notion that reality is essentially mental - from ten original articles the author has previously published in leading academic journals. (...) The case begins with an exposition of the logical fallacies and internal contradictions of the reigning physicalist ontology and its popular alternatives, such as bottom-up panpsychism. It then advances a compelling formulation of idealism that elegantly makes sense of - and reconciles - classical and quantum worlds. The main objections to idealism are systematically refuted and empirical evidence is reviewed that corroborates the formulation presented here. The book closes with an analysis of the hidden psychological motivations behind mainstream physicalism and the implications of idealism for the way we relate to the world. (shrink)

Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to relating semantics, particularly whether the direct incorporation of the relation into the language of relating (...) logic is needed. The starting point for our considerations presented here is the 1st Workshop On Relating Logic and the selected papers for this issue. (shrink)

Es innegable que la noción de epoché fue crucial para el surgimiento y el posterior desarrollo de la tradición fenomenológica. Si bien la resignificación que Husserl hace de ésta es sumamente original, él mismo se detiene a reconocer en la filosofía antigua el mérito de haber encontrado el camino idóneo para acceder a la subjetividad trascendental. En el siguiente trabajo buscaré, por un lado, definir la epoché tal como se origina en el pensamiento de los sofistas para luego pasar a (...) analizar el modo en el que Husserl logra reversionar dicha noción hasta convertirla en el método predilecto que nos permite arribar a la esfera trascendental. Por otro lado, continuaré rastreando la evolución de la epoché para llegar a su abandono en la filosofía de Sartre. En relación con esto último, me interesa preguntarme si el existencialismo reniega de la suspensión del juicio por considerarla inapropiada o si, más bien, se trata de una supresión parcial del método fenomenológico. Me propongo defender esta segunda tesis, alegando que, en realidad, la epoché no es una noción que esté totalmente ausente en la filosofía de Sartre sino que se mantiene vigente en términos de angustia existencial. (shrink)

This paper focuses on the role of punishment as a critical social mechanism for cheating prevention in MMORPGs. The role of punishment is empirically investigated in a case study of the MMORPG Tibia and by focusing on the use of bots to cheat. We describe the failure of punishment in Tibia, which is perceived by players as one of the elements facilitating the proliferation of bots. In this process some players act as a moral enterprising group contributing to the reform (...) of the game rules and in particular to the reform of the Tibia punishment system by the game company. In the conclusion we consider the ethical issues raised by our findings and we propose some general reflections on the role of punishment and social mechanisms for the governance of online worlds more generally. (shrink)

The following is an attempt to read Anselm’s treatise De veritate in accordance with its immanent intention by considering the question: to what extent and in which sense does it, in unfolding the concept of truth, more concretely determine the concept of God—and accordingly also the concept of man and his relationship to God? The question of whether and to what extent Anselm argues sola ratione will not be raised, but instead in what way his ratio is capable of developing (...) out of the data of belief a conceptuality that is binding for the intellectus credens. (shrink)

In 2005, an essay was published in Nature asserting that the universe is mental and that we must abandon our tendency to conceptualize observations as things. Since then, experiments have confirmed that — as predicted by quantum mechanics — reality is contextual, which contradicts at least intuitive formulations of realism and corroborates the hypothesis of a mental universe. Yet, to give this hypothesis a coherent rendering, one must explain how a mental universe can — at least in principle — accommodate (...) (a) our experience of ourselves as distinct individual minds sharing a world beyond the control of our volition; and (b) the empirical fact that this world is contextual despite being seemingly shared. By combining a modern formulation of the ontology of idealism with the relational interpretation of quantum mechanics, the present paper attempts to provide a viable explanatory framework for both points. In the process of doing so, the paper also addresses key philosophical qualms of the relational interpretation. (shrink)

Recently, Emil Lask’s work has been the object of renewed interest. As it has been noted, Lask’s work is much closer to phenomenology than that of his fellow Neo-Kantians. Many recent contributions to current discussions on this topic have compared his account of logic to Husserl’s. Less attention has been paid to Lask’s original metaphilosophical insights. In this paper, I explore Lask’s conception of transcendental philosophy to show how it led him to a phenomenological conversion. Lask found in Husserl’s Logical (...) Investigations the possibility of grounding transcendental philosophy in purely objective terms, thus avoiding any risk of psychologism. But he also concluded that the tools found in Logical Investigations needed to be complemented by a method which would inquire back fr om the constituted to the constituting and a way of grounding such a methodological move in experience itself. Lask then provided a model for reduction and motivation without bringing a transcendental ego into the picture. (shrink)

Paraconsistent weak Kleene logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in particular on the order ideal generated by Α$\textrm{lg} $. Applying to this poset a general result by Alexej Pynko, we prove that, exactly like Priest’s logic of paradox, $\textrm{PWK}$ has only one proper nontrivial extension apart from classical logic: $\textrm{PWK}_{\textrm{E}}\textrm{,}$ PWK logic plus explosion. This $6$-valued logic, (...) unlike $\textrm{PWK} $, fails to be paraconsistent. We describe its consequence relation via a variable inclusion criterion and identify its Suszko-reduced models. (shrink)

In order to perceive the world, we need more than just raw sensory input: a subliminal paradigm of thought is required to interpret raw sensory data and, thereby, create the objects and events we perceive around ourselves. As such, the world we see reflects our own unexamined, culture-bound assumptions and expectations, which explains why every generation in history has believed that it more or less understood the world. Today, we perceive a world of objects and events outside and independent of (...) mind, which merely reflects our current paradigm of thought. Anomalies that contradict this paradigm have been accumulated by physicists over the past couple of decades, which will eventually force our culture to move to a new paradigm. Under this new paradigm, a form of universal mind will be viewed as nature’s sole fundamental entity. In this paper, I offer a sketch of what the new paradigm may look like. (shrink)

Seguindo de perto o traço deixado em aberto pelo pensamento de Jacques Derrida, a autora do presente artigo começa por sublinhar os limites da "hospitalidade universal" de Kant. Com efeito, o artigo pretende demonstrar até que ponto estes limites, apesar do espírito das Luzes que inspira Kant, lhe advêm dos seus próprios fundamentos onto-teológicos e jurídico-políticos, em virtude dos quais essa "hospitalidade universal" deixou de corresponder às urgências do nosso hoje cataclísmico. Num segundo momento, a autora tenta igualmente mostrar de (...) que modo a hospitalidade incondicional, tal como Derrida a pensa e a oferece à nossa reflexaão, se descobre justamente como o "passo em frente" que comuta a hospitalidade cosmopolita de Kant ao mesmo tempo que constitui oportunidade para pensar e pôr em obra uma nova ordem política e jurídica mundial, de que a "democracia-por-vir" ou a "nova Internacional" democrática constituem a promessa. Uma promessa igualmente traduzível pelo "conceito "mais recente de altermundialização. /// Following closely the traces of Jacques Derrida's thought, the author of the article starts underlining the limits of the "universal hospitality" de Kant. The article aims in the first place at a demonstration of how these limits, regardless of the enlightened spirit of Kant, derive of his onto-teological and juridicalpolitical foundations. According to the author, it is in virtue of these that such "universal hospitality" no longer corresponds to the urgencies of today's crisis. Secondly, the author also shows how the unconditional hospitality of Jacques Derrida can just represent the needed step in order for us to overcome the cosmopolitan hospitality of Kant as much as it constitutes a royal opportunity for thinking and enacting a new political and juridical order for the world, one of which we can find a promise in the "democracy-to-be" or the democracy's "new International". The article makes clear that such promise can be also translated through the more recent concept of altermondialization. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...) and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional). We argue that an analogous ambiguity affects the quantifiers. Moreover, we show how such a perspective could yield solutions for two well-known logical puzzles: McGee’s counterexample to modus ponens and the lottery paradox.

The present framing of the cultural debate in terms of materialism versus religion has allowed materialism to go unchallenged as the only rationally-viable metaphysics. This book seeks to change this. It uncovers the absurd implications of materialism and then, uniquely, presents a hard-nosed non-materialist metaphysics substantiated by skepticism, hard empirical evidence, and clear logical argumentation. It lays out a coherent framework upon which one can interpret and make sense of every natural phenomenon and physical law, as well as the modalities (...) of human consciousness, without materialist assumptions. According to this framework, the brain is merely the image of a self-localization process of mind, analogously to how a whirlpool is the image of a self-localization process of water. The brain doesn’t generate mind in the same way that a whirlpool doesn’t generate water. It is the brain that is in mind, not mind in the brain. Physical death is merely a de-clenching of awareness. The book closes with a series of educated speculations regarding the afterlife, psychic phenomena, and other related subjects. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

A broad pattern of correlations between mechanisms of brain function impairment and self-transcendence is shown. The pattern includes such mechanisms as cerebral hypoxia, physiological stress, transcranial magnetic stimulation, trance-induced physiological effects, the action of psychoactive substances and even physical trauma to the brain. In all these cases, subjects report self-transcending experiences o en described as ‘mystical’ and ‘awareness-expanding,’ as well as self-transcending skills o en described as ‘savant.’ The idea that these correlations could be rather trivially accounted for on the (...) basis of disruptions to inhibitory neural processes is reviewed and shown to be implausible. Instead, this paper suggests that an as-of-yet unrecognized causal principle underlying the entire pattern might be at work, whose further elucidation through systematic research could hold great promise. (shrink)

Depth psychology finds empirical validation today in a variety of observations that suggest the presence of causally effective mental processes outside conscious experience. I submit that this is due to misinterpretation of the observations: the subset of consciousness called “meta-consciousness” in the literature is often mistaken for consciousness proper, thereby artificially creating space for an “unconscious.” The implied hypothesis is that all mental processes may in fact be conscious, the appearance of unconsciousness arising from our dependence on self-reflective introspection for (...) gauging awareness. After re-interpreting the empirical data according to a philosophically rigorous definition of consciousness, I show that two well-known phenomena corroborate this hypothesis: (a) experiences that, despite being conscious, aren’t re-represented during introspection; and (b) dissociated experiences inaccessible to the executive ego. If consciousness is inherent to all mentation, it may be fundamental in nature, as opposed to a product of particular types of brain function. (shrink)