The paper investigates how the mathematical languages used to describe and to observe automatic computations influence the accuracy of the obtained results. In particular, we focus our attention on Single and Multi-tape Turing machines which are described and observed through the lens of a new mathematical language which is strongly based on three methodological ideas borrowed from Physics and applied to Mathematics, namely: the distinction between the object (we speak here about a mathematical object) of an observation and the instrument (...) used for this observation; interrelations holding between the object and the tool used for the observation; the accuracy of the observation determined by the tool. Results of the observation executed by the traditional and new languages are compared and discussed. (shrink)

If the cultural variations concerning knowledge and research on ordinary reasoning are part of cultural history, what kind of historiographical method is needed in order to present the history of its evolution? This paper proposes to introduce the study of theories of reasoning into a historiographic perspective because we assume that the answer to the previous question does not only depend of internal controversies about how reasoning performance is explained by current theories of reasoning. [...].

Art has a major role in political critique and in the contemporary world of art, ethics, politics, and aesthetics intersect. Using the work of Alfredo Jaar as an example of these intersections, I argue through my reading of Judith Butler, that his art can provide us with better, more egalitarian versions of populations to be perceived as grievable. Once we apprehend grievability, we can affectively apprehend that lives in the context of war and violence are precarious. Here lies the (...) power of art to challenge the dominant norms and frames. Here also lies the central role of aesthetics as a political critique. From this argument I claim that, instead of accounting for aesthetics being separate from ethics and politics, it is important we understand these fields as intersecting with each other. I analyze the work of Susan Sontag on images of suffering and violence, Butler’s turn to aesthetics in her own work, and Jaar’s own conflict over the use of beauty to convey suffering. I defend that apprehension is a term distinct from recognition but central to understand the intersection between ethics, politics, and aesthetics. -/- Key Words: Aesthetics, Affect, Butler, Ethics, Jaar, Politics, Sontag. (shrink)

Pereira’s “The Projective Theory of Consciousness” is an experimental statement, drawing on many diverse sources, exploring how consciousness might be produced by a projective mechanism that results both in private selves and an experienced world. Unfortunately, pulling together so many unrelated sources and methods means none gets full attention. Furthermore, it seems to me that the uncomfortable breadth of this paper unnecessarily complicates his project; in fact it may hide what it seeks to reveal. If this conglomeration of diverse sources (...) and methods were compared to trees, the reader may feel like the explorer who cannot see the forest for the trees. Then again, it may be the author who is so preoccupied with foreground figures that the everpresent background is ultimately obscured. (shrink)

Contemporary theories of consciousness are based on widely different concepts of its nature, most or all of which probably embody aspects of the truth about it. Starting with a concept of consciousness indicated by the phrase “the feeling of what happens” (the title of a book by Antonio Damásio), we attempt to build a framework capable of supporting and resolving divergent views. We picture consciousness in terms of Reality experiencing itself from the perspective of cognitive agents. Each conscious experience is (...) regarded as composed of momentary feeling events that are combined by recognition and evaluation into extended conscious episodes that bind cognitive contents with a wide range of apparent durations (0.1 secs to 2 or more secs, for us humans, depending on circumstances and context). Three necessary conditions for the existence of consciousness are identified: a) a ground of Reality, envisaged as an universal field of potentiality encompassing all possible manifestations, whether material or 'mental'; b) a transitional zone, leading to; c) a manifest world with its fundamental divisions into material, 'informational' and quale-endowed aspects. We explore ideas about the nature of these necessary conditions, how they may relate to one another and whether our suggestions have empirical implications. (shrink)

The sensorimotor theory of vision and visual consciousness is often described as a radical alternative to the computational and connectionist orthodoxy in the study of visual perception. However, it is far from clear whether the theory represents a significant departure from orthodox approaches or whether it is an enrichment of it. In this study, I tackle this issue by focusing on the explanatory structure of the sensorimotor theory. I argue that the standard formulation of the theory subscribes to the same (...) theses of the dynamical hypothesis and that it affords covering-law explanations. This however exposes the theory to the mere description worry and generates a puzzle about the role of representations. I then argue that the sensorimotor theory is compatible with a mechanistic framework, and show how this can overcome the mere description worry and solve the problem of the explanatory role of representations. By doing so, it will be shown that the theory should be understood as an enrichment of the orthodoxy, rather than an alternative. (shrink)

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of (...) the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfields proof, emphasizing its relation to Herbrands theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content. (shrink)

We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that the (...) relative grounding provided by a standard interpretation can resist being revisable. We start briefly characterizing the expansion of arithmetic `truth' provided by the interpretation in a set theory. Further, we show that, for every well-founded interpretation of recursive extensions of PA in extensions of ZF, the interpreted version of arithmetic has more theorems than the original. This theorem expansion is not complete however. We continue by defining the coordination problem. The problem can be summarized as follows. We consider two independent communities of mathematicians responsible for deciding over new axioms for ZF and PA. How likely are they to be coordinated regarding PA’s interpretation in ZF? We prove that it is possible to have extensions of PA not interpretable in a given set theory ST. We further show that the probability of a random extension of arithmetic being interpretable in ST is zero. (shrink)

In this article, instead of taking a particular method as translation, we ask: what does one expect to do with a translation? The answer to this question will reveal, though, that none of the first order methods are capable of fully represent the required transference of ontological commitments. Lastly, we will show that this view on translation enlarge considerably the scope of translatable, and, therefore, ontologically comparable theories.

Interpretations are generally regarded as the formal representation of the concept of translation.We do not subscribe to this view. A translation method must indeed establish relative consistency or have some uniformity. These are requirements of a translation. Yet, one can both be more strict or more flexible than interpretations are. In this article, we will define a general scheme translation. It should incorporate interpretations but also be compatible with more flexible methods. By doing so, we want to account for methods (...) that seem to imply a sense of translation but are not reducible to interpretations. The main example will be the relative consistent proof between ZF and NBG given by Novak (1950). Further, we will explore a way of combining interpretations. This should account for truth conditions discarded by interpretations in translated theories. (shrink)

In epoca medievale si è molto discusso su alcuni concetti chiave come prova o giustificazione. La teoria della prova contenuta nei trattati di logica medievale prende il nome tecnico di consequentia, che è un tipo di ragionamento fondato sul passaggio dalla concessione (o negazione) di uno o più enunciati denominati antecedenti alla concessione (o negazione) di uno o più enunciati denominati conseguenti. Questo tipo di teoria ha avuto un correlato a livello dei singoli termini che compongono l’enunciato all'interno della teoria (...) nota come suppositio terminorum. Prende, infatti, il nome di descensus, la regola che permette la verifica del passaggio da un termine maggiore (un termine comune) ad un termine minore (che denota individui). La stessa definizione di alcune ramificazioni della teoria della suppositio è col-legata alla possibilità di ammettere o meno il descensus cioè questa "discesa" da un termine comune ad una congiunzione o disgiunzione di termini singolari. Il presente lavoro intende descrivere la teoria del descensus come un tipo particolare di consequentia mostrandone le connessioni con le moderne tecniche logiche. I trattati che si affronteranno appartengono al XIV e al XV secolo, cioè ad un periodo caratterizzato da una sistemazione della materia che li rende confrontabili con un quadro teorico unitario. (shrink)

I argue for a manipulationist-mechanistic framework for content-NCC research in the case of visual consciousness (Bechtel 2008; Neisser 2012). Reference to mechanisms is common in the NCC research. Furthermore, recent developments in non-invasive brain stimulation techniques (NIBS) lend support to a manipulationist standpoint. The crucial question is to understand what is changed after manipulation of a brain mechanism. In the second part of the paper I review the literature on intentionalism, and argue that intervention on the neural mechanism is likely (...) to change the intentional content of consciousness. This urges us to shift from content-NCC to what I call “intentional mechanisms”. Such mechanisms, it is argued, should be understood as neural prerequisites of conscious visual experience. (shrink)

According to the sensorimotor account, vision does not imply theconstruction of internally generated representations of the environment, butit isthe skillful exercise of the sensorimotor contingencies obeying sense-specific laws. In this short study, I focus on the notion of “sensorimotor law” and characterize the kind of explanation providedby the sensorimotor theory as a form of covering law model. I then question the nature of such sensorimotor laws and describe them as mechanisms. I show that a mechanistic interpretation provides a better account (...) of the sensorimotor invariances, which fosters us to rebalance the explanatory burden of sensorimotor action and information. Finally, I show that the question of the roleof representations within the sensorimotor theory should be reconsidered. (shrink)

discussion of contemporary theories of self-consciousness.

Il volume intende presentare in una prospettiva organica la letteratura medievale sugli Insolubilia. Gli insolubili sono stati definiti come proposizioni autoreferenziali che hanno origine direttamente dalla tradizione del paradosso del mentitore. L’impostazione del presente lavoro vuole essere sia filologica che teorica in modo che da un lato si possano inserire le analisi speculative sugli Insolubilia in un contesto critico–storico più ampio che restituisca la peculiarità della trattazione medievale, e dall’altro, possa essere effettuata una analisi precisa dei tentativi di soluzione proposti (...) anche attraverso gli strumenti della logica moderna (quando possibile e non fuorviante). (shrink)

Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Never- theless there is a widespread opinion that this internalization of classes is harmless. In this context, it is common to refer to the conservativeness of (...) NBG in relation to ZF as a sufficient condition to understand those theories as “equivalent”, attributing a sense of virtuality to the use of classes quantified in NBG. We believe, however, that a technique used to estab- lish relationships between theories is not necessarily neutral in relation to its results - so a conservativeness established through models have different meaning and depth of that rela- tionship established by finitary interpretations. We believe, therefore, that the way in which relationships between theories are established influences the analysis result. In the case of the relationship between NBG and ZF, since NBG is finitely axiomatizible and ZF not, we believe that we have sufficient reasons to assert that the use of different analysis tools may re- veal differences such as expressiveness, ontological commitment and logical conservativeness. Therefore, this project aims to clarify the relationship between these two theories through triangulations between them and the different analysis tools. The use of finitary techniques, in this case, may prove greater expressiveness and ontological commitment of NBG in relation to ZF - relation obscured by an infinitary approach. We believe that, through this research, we can contribute to the debate on the basis of mathematics, denaturalizing the supposedly “equivalent” use of NBG and ZF for this purpose. (shrink)

What happens to the inner light of consciousness with the death of the individual body and brain? Reductive materialism assumes it simply fades to black. Others think of consciousness as indicating a continuation of self, a transformation, an awakening or even alternatives based on the quality of life experience. In this issue, speculation drawn from theoretic research are presented. -/- Table of Contents Epigraph: From “The Immortal”, Jorge Luis Borges iii Editor’s Introduction: I Killed a Squirrel the Other Day, Gregory (...) M. Nixon iv-xi Research Essays The Tilde Fallacy and Reincarnation: Variations on a "Skeptical" Argument Teed Rockwell 862-881 Death, Consciousness, and Phenomenology, Steve Bindeman 882-899 The Idealist View of Consciousness After Death, Bernardo Kastrup 900-909 Consciousness, a Cosmic Phenomenon—A Hypothesis, Eva Déli 910-930 The Theory of a Natural Afterlife: A Newfound, Real Possibility for What Awaits Us at Death, Bryon K. Ehlmann 931-950 Near-Death Cases Desegregating Non-Locality/Disembodiment via Quantum Mediated Consciousness: An Extended Version of the Cell-Soul Pathway, Contzen Pereira & J Shashi Kiran Reddy 951-968 On the Possible Existence of Quantum Consciousness After Brain Death, Massimo Pregnolato & Alfredo Pereira Jr. 969-991 Science and Postmortem Survival, Edward F. Kelly 992-1011 Explorations ISS Theory: Cosmic Consciousness, Self, and Life Beyond Death in a Hyperdimensional Physics, Chris H. Hardy 1012-1035 Does the Consciousness End, Remain Awake, or Transform After Death? Radivoj Stankovich (with Micho Durdevich) 1036-1050 Big Bang Spirituality, Life, and Death, Ken Bausch 1051-1063 Death, Consciousness and the Quantum Paradigm, Ronald Peter Glasberg 1064-1077 Living With Limits: The Continuum of Consciousness, Donald Brackett 1078-1098 Mysticism, Consciousness, Death, Mike Sosteric 1099-1118 What Dies? Eternalism and the Afterlife in William James, Jonathan Bricklin 1119-1140 Theories of Consciousness and Death: Does Consciousness End, Continue, Awaken, or Transform When the Body Dies? Roger Cook 1141-1153 It’s the Other Way Around: Matter is a Form of Consciousness and Death is the End of the Illusion of Life in the World, James P. Kowall & Pradeep B. Deshpande 1154-1208 Statements A Feminine Vision for the World Consciousness, & a New Outrageous Ontology, Lorna Green 1209-1217 The Mask of Eternity: The Quest for Immortality and the Afterlife, Iona Miller 1218-1228 Are We Really “such stuff as dreams are made on”? Chris Nunn 1229-1225 Is the Afterlife a Non-Question? (Let's Hope Not), Deepak Chopra 1226-1230 Life After Death? An Improbable Essay, Stuart Kauffman 1231-1236. (shrink)

The aim of this work is to expose the Cartesian Model of the mind in Cognitive Archaeology and point out how it relates to the questions behind this branch of archaeology. Based on this, some of the premises assumed by the Cartesian Model and how they influence the formulation to the problem of epistemological relativism in the branch are explained. According to this problem, since there is no way to evaluate hypotheses in this research area, the investigations on cognition, based (...) on archaeological evidence, are unjustified. Finally, some alternative approaches to the Cartesian Model and its research agendas are summarized. (shrink)