Goodstein’s principle is arguably the first purely number-theoretic statement known to be independent of Peano arithmetic. It involves sequences of natural numbers which at first appear to diverge, but eventually decrease to zero. These sequences are defined relative to a notation system based on exponentiation for the natural numbers. In this article, we provide a self-contained and modern analysis of Goodstein’s principle, obtaining some variations and improvements. We explore notions of optimality for notation systems and apply them to the classical (...) Goodstein process and to a weaker variant based on multiplication rather than exponentiation. In particular, we introduce the notion of base-change maximality, and show how it leads to far-reaching extensions of Goodstein’s result. We moreover show that by varying the initial base of the Goodstein process, one readily obtains independence results for each of the fragments $\mathsf {I}\Sigma _n$ of Peano arithmetic. (shrink)

Scientific concepts are defined by metaphors. These metaphors determine what atten- tion is and what count as adequate explanations of the phenomenon. The authors analyze these metaphors within 3 types of attention theories: (a) --cause-- theories, in which attention is presumed to modulate information processing (e.g., attention as a spotlight; attention as a limited resource); (b) --effect-- theories, in which attention is considered to be a by-product of information processing (e.g., the competition meta- phor); and (c) hybrid theories that combine (...) cause and effect aspects (e.g., biased- competition models). The present analysis reveals the crucial role of metaphors in cognitive psychology, neuroscience, and the efforts of scientists to find a resolution to the classic problem of cause versus effect interpretations. (shrink)

ABSTRACT This study analyses the impact of Oswald Spengler’s work in Spain during the interwar period. It proceeds with three steps as follows: The first part investigates the reception of Spengler’s historic morphology of cultures in the so-called circle of the Revista de Occidente. The second part delves into the early echo of Spengler’s work among the Spanish left up to the Second Spanish Republic. The third part focuses on the impact of Spengler’s historic morphology among conservative traditionalists and members (...) of the radical right prior to the Spanish Civil War. This analysis point towards broad, transideological debate on Spengler in Spain that the Spanish right then usurped and radicalised during the 1930s. (shrink)

The following dialogue is a product of the accessibility and attention of the master Raul Fornet-Betancourt (virtues that are rarely found at this level and height of thought which the philosophy of Fornet-Betancourt enjoys internationally) for students who like my self, are initiating the ac..

¿En qué momento la palabra “crisis” se convirtió en un lugar común para interpretar el presente? ¿De qué vocabularios filosóficos disponemos y/o necesitamos crear para pensar el presente? En este artículo, mi objetivo consiste en plantear un diálogo entre el feminismo posthumano de Rosi Braidotti y la práctica teórica de la descolonización de Silvia Rivera Cusicanqui para elaborar una lectura afirmativa del presente a partir de la visión que estas pensadoras proponen sobre el tiempo, problemática común en la obra de (...) ambas autoras. Se trata de dos prespectivas contemporáneas de pensamiento y práctica política densas e imaginativas que, hasta el momento, no han sido puestas en relación. Establecer y desarrollar los términos conceptuales en que esta conversación puede ser relevante para el análisis crítico de nuestra contemporaneidad y para configurar una comprensión creativa de la temporalidad constituirá el principal aporte de este trabajo. Para abordar esta temática, en primer lugar, atenderé al análisis de la experiencia contemporánea del tiempo como la vivencia de una “crisis sin fin” y me preguntaré, con Myriam Revault, acerca de la capacidad explicativa del término “crisis” para dar cuenta del presente. En segundo lugar, expondré el estudio llevado a cabo por Braidotti sobre la experiencia temporal en el capitalismo actual y discutiré su noción de “sincronización”. Por último, explicaré las fuentes y repercusiones de la multiplicidad y heterogeneidad de los tiempos según la epistemología ch’ixi de Rivera Cusicanqui. (shrink)

Kentridge and Heywood (this issue) extend the concept of metacognition to include unconscious processes. We acknowledge the possible contribution of unconscious processes, but favor a central role of awareness in metacognition. We welcome Shimamura's (this issue) extension of the concept of metacognitive regulation to include aspects of working memory, and its relation to executive attention.

¿Cuántas imágenes hacen un poema? ¿Cuántas palabras se necesitan para construir un pensamiento? Vemos palabras de la misma manera que vemos árboles y casas, pero no vemos el bosque ni la ciudad como no vemos el poema y el pensamiento; lo verdaderamente esencial de ambos permanece oculto a nuestra simple y cotidiana mirada. El ojo y el oído se han acostumbrado a ver y a oír, es natural, es lo que se espera de dos órganos que están hechos para cumplir (...) esta misión. Pero ni vemos ni oímos más allá de los límites creados por la rutina de nuestra cotidianidad, hemos fijado a la superficie el paisaje y todo cuanto lo contiene: colores, olores, sonidos y texturas; vemos sin ver, oímos sin oír, olemos sin oler, tocamos sin sentir; esto es, sin diferenciar. Sin duda, establecer la diferencia, en cada acontecimiento particular, nos permitiría ir más allá de lo que simplemente se pone frente a nosotros; estamos tentados a nombrar esta diferencia como profundidad, pero mucho me temo que la profundidad también es una trampa, se trataría más bien de saber moverse entre ambas; sería algo así como dejarse sorprender por lo nuevo que hay en lo mismo, por lo imperceptible e invisible que existe en lo real y visible de la cotidianidad. (shrink)

In this paper I will examine Vandana Shiva’s ecofeminist thought with two goals: on the one hand, I will argue that her ecofeminism defines a vitalist materialist approach of feminine roots, since Shiva concedes an epistemological value to the practices and knowledge historically originated from the sustainability tasks that women have carried out. On the other hand and as a consequence, I will defend that she presents a political proposal, which entails a suggestive and radical redefinition of the traditional concept (...) of politics. Finally, I will try to show that the ability of attributing political meaning to experiences and actions of specific women allows for a change in perspective that Shiva accomplishes in an extremely fruitful double movement: the recognition of the existing and the affirmation of politics as present. (shrink)

Las acciones que articulan simbióticamente élites empresariales y políticas, mafias, grupos militares legales e ilegales, se posibilitan bajo la búsqueda de dos fines: uno, reordenar el territorio de manera violenta hiper-acumulando tierras, con el fin de salvaguardar sus intereses económicos e inversiones; dos, hiper-acumular poder político con el fin de sostener sus privilegios, usando dicho poder para la reconfiguración del diseño institucional y la planeación de los territorios imponiendo sus condiciones. Este fenómeno que marca la historia de Colombia es lo (...) que ampliamente podríamos comprender como Criminalidad Corporativa Instaurada. Es el caso y modelo impuesto en el Urabá el cual se fue extendiendo al resto del país. (shrink)

Evidence from many different paradigms (e.g. change blindness, inattentional blindness, transsaccadic integration) indicate that observers are often very poor at reporting changes to their visual environment. Such evidence has been used to suggest that the spatio-temporal coherence needed to represent change can only occur in the presence of focused attention. In four experiments we use modified change blindness tasks to demonstrate (a) that sensitivity to change does occur in the absence of awareness, and (b) this sensitivity does not rely on (...) the redeploy- ment of attention. We discuss these results in relation to theories of scene percep- tion, and propose a reinterpretatio n of the role of attention in representing change. (shrink)

En este artículo se discuten las críticas de John Dupré contra la unidad metodológica de la ciencia. Como se sabe, a partir de la premisa del desorden de las cosas, Dupré rechaza tanto las versiones fuertes como las variantes débiles de unificación, pero construye sus mejores argumentos contra las últimas a partir de la tesis de que no hay una solución satisfactoria del problema de la demarcación. Tras exponer los argumentos de Dupré en favor de la implausibilidad de cualquier formulación (...) débil de la tesis de la unidad de la ciencia (incluyendo aquellas que se enfocan en la unidad metodológica), explicaré su formulación del problema de la demarcación, examinaré su caracterización de la teoría de la falsabilidad de Popper y responderé a sus argumentos en contra de la posición de Popper sobre la cientificidad. Mis argumentos mostrarán la inadecuación del tratamiento que da Dupré a este problema y señalarán una ruta para mostrar que la solución de Popper al problema de la demarcación, por medio del criterio de falsabilidad, permite defender una forma no reduccionista de la unidad de la ciencia. (shrink)

Metacognition refers to any knowledge or cognitive process that monitors or controls cognition. We highlight similarities between metacognitive and executive control functions, and ask how these processes might be implemented in the human brain. A review of brain imaging studies reveals a circuitry of attentional networks involved in these control processes, with its source located in midfrontal areas. These areas are active during conflict resolution, error correction, and emotional regulation. A developmental approach to the organization of the anatomy involved in (...) executive control provides an added perspective on how these mechanisms are influenced by maturation and learning, and how they relate to metacognitive activity. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

La astucia de separar la esfera pública de la privada, hurtando a esta última todo valor, empaña los orígenes de las teorías políticas más importantes de la actualidad, como es el caso de la teoría liberal de la justicia de Rawls, que presupone elementos no discutidos en el foro. La teoría feminista ha interrogado y desplazado la frontera entre estos dos mundos. Consecuencia de lo anterior es que, de manera sibilina, se produce una sistemática apropiación de la fuerza emocional y (...) afectiva y de las capacidades de cuidado de las mujeres, principales cuidadoras, con consecuencias negativas para ellas y para la cohesión social. La familia absorbe, a menudo, sin compensación, las acciones de las mujeres como constructoras de identidades, curadoras gratuitas de heridas de otros y alimentadoras de egos ajenos. Pero el amplio espectro de trabajos que deben desenvolverse para asegurar el relevo generacional y el funcionamiento social, algunos de ellos arduos pero invisibles, es responsabilidad colectiva. (shrink)

& Awareness of change within a visual scene only occurs in subjects were aware of, replicated those attentional effects, but the presence of focused attention. When two versions of a.

Es paradójico cómo la vida suele entenderse de manera menos equivocada desde la ficción, la realidad en sí y por sí se convierte en una trampa donde la razón que la justifica termina por dibujarle sus propios barrotes. Tal vez lo que sucede es que la razón no tiene tan completamente asegurada una razón, de la misma manera que la locura no está ausente de razón y de sentido; es evidente que siempre hallaremos una razón en la locura y una (...) locura en cada razón. Exacerbar la razón o la locura nos pondrá siempre en el ojo del huracán, nos hará visibles ante los demás, nos personalizará, es decir, descubrirá en cada uno de nosotros a un personaje. (shrink)

Ficción y mito son algo más que lenguajes o formas narrativas, son estructuras arquitectónicas a través de las que se fija el pensamiento y su forma manifiesta de aparecer en la cotidianidad; este texto pretende rastrear la fundación de América Latina a través de la literatura en su forma de ficción y mito.

¿Estamos los seres humanos predeterminado o somos creadores de nuestro propio destino? La respuesta puede ser inmediata, algo parecido al texto de Erich Fromm que nos sirvió de epigrafe, o demorarse un poco en algunas consideraciones históricas que nos permitan hacer el recorrido de aquello que hemos pensado a lo largo de una historia en la cual no nos conformamos con simplemente ser o existir, sino que buscamos razones que expliquen esos modos de ser y de existir, intentando claridad sobre (...) nuestro ethos. (shrink)

El presente número de la Revista Escritos recoge algunos artículos cuyos resultados fueron presentados en el II Congreso Iberoamericano de Bioética e Investigación, llevado a cabo por la Universidad Pontificia Bolivariana en convenio con la Corporación Universitaria Lasallista, entre el 17 y 19 de agosto de 2016. Así mismo, se incluyen algunas de las ponencias leídas por los invitados centrales del evento.

Provability logics are modal or polymodal systems designed for modeling the behavior of Gödel’s provability predicate and its natural extensions. If Λ is any ordinal, the Gödel-Löb calculus GLPΛ contains one modality [λ] for each λ < Λ, representing provability predicates of increasing strength. GLPω has no non-trivial Kripke frames, but it is sound and complete for its topological semantics, as was shown by Icard for the variable-free fragment and more recently by Beklemishev and Gabelaia for the full logic. In (...) this paper we generalize Beklemishev and Gabelaia’s result to GLPΛ for countable Λ. We also introduce provability ambiances, which are topological models where valuations of formulas are restricted. With this we show completeness of GLPΛ for the class of provability ambiances based on Icard polytopologies. (shrink)

b>—Several paradigms (e.g. change blindness, inattentional blindness, transsaccadic integra- tion) indicate that observers are often very poor at reporting changes to their visual environment. Such evidence has been used to suggest that the spatio-temporal coherence needed to represent change can only occur in the presence of focused attention. However, those studies almost always rely on explicit reports. It remains a possibility that the visual system can implicitly detect change, but that in the absence of focused attention, the change does not (...) reach awareness and consequently is not reported. To test this possibility, we used a simple change detection paradigm coupled with a speeded orien- tation discrimination task. Even when observers reported being unaware of a change in an item’s orientation, its nal orientation effectively biased their response in the orientation discrimination task. Both in aware and unaware trials, errors were most frequent when the changed item and the probe had incongruent orientations. These results demonstrate that the _nature _of the change can be represented in the absence of awareness. (shrink)

The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an evidence logic for epistemic agents faced with possibly contradictory evidence from different sources. The logic is based on a neighborhood semantics, where a neighborhood N indicates that the agent has reason to believe that the true state of the world lies in N. Further notions of relative plausibility between worlds and beliefs based on the latter ordering are then defined in terms of this (...) evidence structure, yielding our intended models for evidence-based beliefs. In addition, we also consider a second more general flavor, where belief and plausibility are modeled using additional primitive relations, and we prove a representation theorem showing that each such general model is a p-morphic image of an intended one. This semantics invites a number of natural special cases, depending on how uniform we make the evidence sets, and how coherent their total structure. We give a structural study of the resulting ‘uniform’ and ‘flat’ models. Our main result are sound and complete axiomatizations for the logics of all four major model classes with respect to the modal language of evidence, belief and safe belief. We conclude with an outlook toward logics for the dynamics of changing evidence, and the resulting language extensions and connections with logics of plausibility change. (shrink)