En este artículo se argumenta que la existencia de leyes invariantes frente a inversión temporal no es condición indispensable para la existencia de la flecha del tiempo. Esta última puede definirse como una propiedad global y geométrica del espacio-tiempo que no se basa en consideraciones entrópicas ni requiere de la existencia de leyes no invariantes frente a la inversión temporal. A su vez, si el espacio-tiempo cumple ciertas condiciones, la flecha global se traslada a (...) los contextos locales como un flujo tetradimensional de energía que apunta en la misma dirección temporal en todos los puntos espacio-temporales. (shrink)

BackgroundTemporal interference (TI) stimulation is a novel technique that enables the non-invasive modulation of deep brain regions. However, the implementation of this technology in humans has not been well-characterized or examined, including its safety and feasibility.ObjectiveWe aimed to examine the feasibility, safety, and blinding of using TI on human participants in this pilot study.Materials and methodsIn a randomized, single-blinded, and sham-controlled pilot study, healthy young participants were randomly divided into four groups [TI and transcranial alternating current stimulation (tACS) targeting the (...) right frontoparietal region, TI-sham, and tACS-sham]. Each participant was asked to complete N-back (N = 1 to 3) tasks before, during, and after one session of stimulation to assess their working memory (WM). The side effects and blinding efficacy were carefully assessed. The accuracy, reaction time (RT), and inverse efficiency score (IES, reaction time/accuracy) of the N-back tasks were measured.ResultsNo severe side effects were reported. Only mild-to-moderate side effects were observed in those who received TI, which was similar to those observed in participants receiving tACS. The blinding efficacy was excellent, and there was no correlation between the severity of the reported side effects and the predicted type of stimulation that the participants received. WM appeared to be only marginally improved by TI compared to tACS-sham, and this improvement was only observed under high-load cognitive tasks. WM seemed to have improved a little in the TI-sham group. However, it was not observed significant differences between TI and TI-sham or TI and tACS in all N-back tests.ConclusionOur pilot study suggests that TI is a promising technique that can be safely implemented in human participants. Studies are warranted to confirm the findings of this study and to further examine the effects of TI-sham stimulation as well as the effects of TI on deeper brain regions. (shrink)

This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product. We also express a true statement that an agent’s beliefs about another agent’s knowledge flipped twice, and use a sound proof system to prove this statement. Adding a next-time operator to PAL, we provide formulas that express that belief revision does not take (...) place in PAL. We also discuss relationships between announcements and the new knowledge agents thus acquire; such relationships are related to learning and to Fitch’s paradox. We also show how inverse programs and hybrid logic each can be used to help determine whether or not an arbitrary structure represents the play of a game. We then add a past-time operator to DEL, and discuss the importance of adding yet another component to the language in order to prove completeness. (shrink)

In terms of temporality of logic, the relation between "before" and "after" is an inverse relation, as is the relation between intension and extension. Reversal of temporality of human cognition is accompanied by corresponding reversal between intension and extension. Such reversal is based on lateral reversal of brain hemisphere locus of time information. A similar inverse relation exists between self as subject and self as object. Extreme objectification of self is associated with brain hemisphere lateral reversal of time information, indicating (...) that subject-object reversal is similar in nature to reversal of temporality of cognition. Dialectical nature of self is based on contradiction between self as subject and self as object. Synthesis arising from such contradiction may be regarded as reality of self. (shrink)

Aunque el denominado problema de marco generó múltiples debates a finales del siglo pasado, aún es un problema fundamental para el avance en las Ciencias Cognitivas, en general, y para la Inteligencia Artificial, en particular. En este trabajo, y restringiéndonos al aspecto lógico del problema, postulamos que la discusión actual y subyacente a este aspecto gira en torno a cómo determinar lo que no cambia en términos de acciones y propiedades dentro de un sistema lógico formal. Es sobre este aspecto, (...) y en función de sus dificultades (i) definicional y (ii) resolutiva, que en este trabajo argumentaremos que el denominado “criterio temporal” no solamente puede estimarse como uno los principales requerimientos teóricos para (i) resolverlo sino también para (ii) explicitar más claramente su dificultad principal, a saber, “lo que es relevante” frente al cambio en el tiempo. De esta manera, sostenemos que el razonamiento lógico-temporal resulta necesario para construir cualquier solución íntegramente satisfactoria del aspecto lógico del problema de marco entendido como el modo en que, inmediatamente, determinamos relevancia frente al cambio. (shrink)

Frente al paradigma diádico preponderante en la teoría social, recientes propuestas reivindican la función del tercero. En estas teorías, el tercero personaliza el orden social normativo –surgido en la relación diádica– y atribuye empíricamente el reconocimiento como persona. Frente a este planteamiento empírico, proponemos un enfoque trascendental antropológico-filosófico, según el cual la estructura tri-posicional de las relaciones sociales constituye la condición de posibilidad de la cultura normativa y del modo de ser propio del hombre en cuanto que persona.

El presente artículo propone un estudio comparativo de la idea de fuga presente en la época del Barroco, como una herramienta crítica capaz de afrontar la crisis temporal contemporánea provocada por una hegemonía aceleracionista. El objetivo es demostrar que, simbólicamente, la fuga permite analizar comparativamente el tiempo en la contemporaneidad y en el Barroco, pues en ambos casos esta noción infiere cambio y transitoriedad. Sin embargo, mientras en el primero la fuga se vincula con un tiempo prospectivo enmarcado en (...) la aceleración y el hiper-consumo; en el Barroco la fuga potencia el momento, posibilitando la inflexión y la coyuntura. Bajo esta consideración, se estudia a la fuga como una alegoría temporal de la producción intelectual y cultural del Barroco que, a partir de las nociones y los usos del movimiento, el contrapunto, la retórica y el pliegue; lega una significación polisémica capaz de extender la constricción de la fugacidad temporal en la actualidad. (shrink)

In this paper we take as our starting point Greta Thunberg’s message to an audience of adults at a recent climate change summit: ‘This is all wrong. I shouldn’t be up here. I should be back in school on the other side of the ocean. Yet you all come to us young people for hope. How dare you!’ We take Thunberg at her word and endeavour to investigate what is wrong and how it might be wrong. Through this investigation we (...) consider how education may be implicated in the problem to which Thunberg alludes: a problem about both climate change and intergenerational change. We draw upon Hannah Arendt’s seminal work, ‘A Crisis in Education’, to consider how an ecological crisis coincides with an educational crisis symptomatic of an inversion of the traditional adult and child relationship in which education serves to introduce the young to the world – a public world, which is distinct from the ecological world. Arendt’s position on education, we argue, reveals concerns that movements like School Strike for Climate expose young people prematurely to the risks of indoctrination that attend adult, public life, and hinders their renewal of the world. Science too may add to these risks. (shrink)

A principios del siglo XIV algunos autores, como Juan de París y Dante, se apoyaron en el aristotelismo para defender la separación del poder religioso y del poder secular. Marsilio de Padua, en cambio, combatió el supremo poder del Papa sobre la base de que no existe poder religioso, porque no hay más que un solo poder: el gobernante civil. El artículo muestra las principales diferencias entre la concepción dualista de los primeros y el monismo marsiliano.

Resumen: El presente artículo constituye un estudio sobre el concepto de determinación trascendental temporal expuesto por Kant en el marco del esquematismo trascendental kantiano en KrV. Con este objeto, se exponen las razones de la preminencia de la definición de esquema como transzendentale Zeitbestimmung, frente a otras asociadas a la interpretación estática del esquematismo y, fundamentalmente, frente aquella donde se presenta como un proceso de subsunción o de aplicación de las categorías a las intuiciones puras, reconstruyendo a (...) su vez el alcance de dicha noción a partir del análisis del estatuto de la determinación temporal en otras obras del corpus kantiano. Abstract: In this paper, I focus on the concept of transcendental time-determination exposed by Kant in relation with the transcendental schematism in KrV. With this aim, I discuss why the definition of "schema" as transzendentale Zeitbestimmung is more relevant than other kinds of definitions: the one derived from a static interpretation of the schematism and the one where the schematism is understood as a process of subsumption or application of categories to pure intuitions. Finally, I reconstruct the role of the schema through an analysis of the time-determination as it is developed in the rest of Kant's corpus. (shrink)

We investigate, for several modal logics but concentrating on KT, KD45, S4 and S5, the set of formulas B for which ${\square B}$ is provably equivalent to ${\square A}$ for a selected formula A (such as p, a sentence letter). In the exceptional case in which a modal logic is closed under the (‘cancellation’) rule taking us from ${\square C \leftrightarrow \square D}$ to ${C \leftrightarrow D}$ , there is only one formula B, to within equivalence, in this inverse image, (...) as we shall call it, of ${\square A}$ (relative to the logic concerned); for logics for which the intended reading of “ ${\square}$ ” is epistemic or doxastic, failure to be closed under this rule indicates that from the proposition expressed by a knowledge- or belief-attribution, the propositional object of the attitude in question cannot be recovered: arguably, a somewhat disconcerting situation. More generally, the inverse image of ${\square A}$ may comprise a range of non-equivalent formulas, all those provably implied by one fixed formula and provably implying another—though we shall see that for several choices of logic and of the formula A, there is not even such an ‘interval characterization’ of the inverse image (of ${\square A}$ ) to be found. (shrink)

In this paper, we will consider a phenomenon known as inverse linking, a term coined by May (1977) to describe the most salient readings of sentences such as “Someone from every city despises it.”.

David Albert claims that classical electromagnetic theory is not time reversal invariant. He acknowledges that all physics books say that it is, but claims they are ``simply wrong" because they rely on an incorrect account of how the time reversal operator acts on magnetic fields. On that account, electric fields are left intact by the operator, but magnetic fields are inverted. Albert sees no reason for the asymmetric treatment, and insists that neither field should be inverted. I argue, to the (...) contrary, that the inversion of magnetic fields makes good sense and is, in fact, forced by elementary geometric considerations. I also suggest a way of thinking about the time reversal invariance of classical electromagnetic theory -- one that makes use of the invariant (four-dimensional) formulation of the theory -- that makes no reference to magnetic fields at all. It is my hope that it will be of interest in its own right, Albert aside. It has the advantage that it allows for arbitrary curvature in the background spacetime structure, and is therefore suitable for the framework of general relativity. (The only assumption one needs is temporal orientability.). (shrink)

The contributions to this volume originate from a symposium in honour of Hermann von Helmholtz. The authors are concerned with different aspects of the inverse methodology being a powerful tool in modern science. There is emphasized its role for understanding the concept of physical observation, for interpreting experimental results and for developing constructive strategies as well.

The phenomenon of inverse linking, where a noun phrase embedded within another behaves with respect to binding as though it were structurally independent, has proven challenging for theories of the syntax–semantics interface. In this paper I show that, using an LF-movement style approach to the syntax–semantics interface, we can derive all and only the appropriate meanings for such constructions using no semantic operations other than function application and composition. The solution relies neither on a proliferation of lexical ambiguity nor on (...) abandoning the idea that pronouns denote variables, but rather on a straightforward (and standard) reification of assignment functions, which allows us to define abstraction operators within our models. (shrink)

El objetivo de este artículo es reflexionar sobre las posibilidades y posiciones de la producción literaria en un momento histórico en el que pululan los discursos apocalípticos sobre toda una serie de finales diferentes. Ante las especificidades de los imaginarios temporales contemporáneos, ¿cómo pensar la literatura y las posibilidades de «empezar» o de repetir el gesto de comienzo? después de recorrer algunas posiciones de la crítica se proponen algunas características de respuesta o de resistencia por parte de los escritores; relatos (...) de filiación, visión del pasado como novedad, anacronismo voluntario, inversión o digresión frente a las obsesiones memoríales, serían algunas de estas posibilidades. En todas ellas habría una defensa de lo literario ante una percepción degradada de su función colectiva y de sus capacidades para narrar lo social. This article considers the positions in literary production at an historic time characterized by a proliferation of apocalyptic discourse. Taking into account specific contemporary conceptions of time, how does one think about literature and the strategies for "beginning"? After a review of various critical approaches about "la fin de la littérature" in French criticism, or the incompleteness of literature in cultural critique, we propose an examination of the characteristics of the authors' responses to or their resistance to this proliferation. Genealogies, visioning the past as novelty, voluntary anachronism, inversion or regression in the face of the obsession of memory are, for example, some of the possibilities. In all of these there would seem to be a defense of literary work in light of the degraded perception of its collective function and its capacities for talking about society. (shrink)

RESUMEN: El propósito del presente trabajo consiste en analizar los vínculos entre la interpretación modal-hamiltoniana de la mecánica cuántica y las transformaciones de Galileo, a fin de poner de manifiesto que el grupo de tales transformaciones permite reformular la regla de actualización de un modo más básico desde un punto de vista teórico, aplicable a otras teorías cuánticas. Además se argumentará que, bajo esta nueva forma, la regla de actualización manifiesta explícitamente su invariancia frente al grupo de Galileo.ABSTRACT: (...) The purpose of the present work consists in analyzing the links between the modal-Hamiltonian interpretation of quantummechanics and the Galilean transformations, with the aim of showing that the group of such transformations allows to reformulate the actualization rule in a theoretically more basic way, applicable to other quantum theories. Moreover, it will be argued that, under this new form, the actualization rule explicitly manifests its invariance with respect to the Galilean group. (shrink)

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...) rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

Spectrum inversion is a thought experiment, and I would wager that there is no better diagnostic test to the disciplinary affiliation of a randomly selected member of the audience than your reaction to a thought experiment. It is a litmus test. If you find that you are paying close attention, subvocalizing objections, and that your heart-rate and metabolism go up, you have turned pink: you are a philosopher. If on the other hand the thought experiment leaves you cold, and you (...) wonder why otherwise sensible people would worry about such things, you have turned blue and you are a psychologist. (shrink)

A recent report in Consciousness and Cognition provided evidence from a study of the rubber hand illusion that supports the multisensory principle of inverse effectiveness . I describe two methods of assessing the principle of inverse effectiveness , and discuss how the post-hoc method is affected by the statistical artefact of ‘regression towards the mean’. I identify several cases where this artefact may have affected particular conclusions about the PoIE, and relate these to the historical origins of ‘regression towards the (...) mean’. Although the conclusions of the recent report may not have been grossly affected, some of the inferential statistics were almost certainly biased by the methods used. I conclude that, unless such artefacts are fully dealt with in the future, and unless the statistical methods for assessing the PoIE evolve, strong evidence in support of the PoIE will remain lacking. (shrink)

This paper examines an important issue facing academia-pay inversion. It discusses how inversion is accompanied by ethical issues including secrecy, moral dilemmas for faculty, honesty, and keeping promises. It then examines this issue from five ethical viewpoints: a legalistic perspective, ethical egoism, utilitarianism, distributive justice, and Kants deontological approach. As part of the discussion, the effect of the moral philosophy on the universitys corporate culture is examined, with attention given to morale and productivity. Finally, alternatives to pay inversion that universities (...) may want to consider are discussed. (shrink)

This chapter contains sections titled: Why Being and Time? The Temporality of Human Existence But Why Call It “Time?” Residual Issues: Authenticity and Historicality Temporality and Ontology.

This chapter contains sections titled: Modal Concepts The Semantics of Modalities and Systems of Modal Logic Modality and Quantification Deontic, Epistemic, and Temporal Modalities Epistemic Logic Deontic Logic Temporal Frames Conditional Obligations and Rules of Detachment.

Dans « Games and the Art of Agency » puis dans Games : Agency as Art, Thi Nguyen introduit l’inversion motivationnelle, un état motivationnel adopté par certain·e·s agent·e·s qui ne visent la victoire que pour éprouver les défis qui se présentent dans le cadre du jeu. Celleux-ci sont amené·e·s à considérer les objectifs largables du jeu comme des fins, bien qu’iels sachent ne désirer les rencontrer que dans une perspective instrumentale. Il s’agit ici de préciser la description de ce phénomène (...) et de la comparer aux perspectives prévalentes de la duperie de soi. Si j’insiste sur les ressemblances entre ces dernières et l’état d’inversion motivationnelle, je ne tente pas de le réduire à un cas d’irrationalité. Il semble cependant que la nécessité de préciser davantage le concept d’agentivité chez Thi Nguyen se dessine pour éviter de traiter l’inversion motivationnelle comme un simple cas de duperie de soi ainsi que certaines conséquences curieuses se dégageant de leurs ressemblances. (shrink)

Inverted sensation arguments such as the inverted spectrum thought experiment are often criticized for relying on an unconstrained notion of 'qualia'. In reply to this criticism, 'qualia-free' arguments for inversion have been proposed, in which only physical changes happen: inversions in the world, such as the replacement of surface colors by their complements, and a rewiring of peripheral input cables to more central areas in the nervous system. I show why such constrained inversion arguments won't work. The first problem is (...) that the world lacks the symmetry required to invert physical properties in the way required. The second problem concerns 'rewiring'. Empirical evidence indicates that the rewirings are either impossible, or would not result in an inversion of sensation. I propose the deeper reason for the failure of constrained inversion arguments lies in the fact that sensations are not properties of brain states, but spread into the world and the body. (shrink)

Suppose λ is a singular cardinal of uncountable cofinality κ. For a model M of cardinality λ, let No (M) denote the number of isomorphism types of models N of cardinality λ which are L ∞λ - equivalent to M. In [7] Shelah considered inverse κ- systems A of abelian groups and their certain kind of quotient limits Gr(A)/ Fact(A). In particular Shelah proved in [7, Fact 3.10] that for every cardinal μ there exists an inverse κ-system A such that (...) A consists of abelian groups having cardinality at most μ κ and card(Gr(A)/Fact(A)) = μ. Later in [8, Theorem 3.3] Shelah showed a strict connection between inverse κ-systems and possible values of No (under the assumption that $\theta^\kappa for every $\theta ): if A is an inverse κ- system of abelian groups having cardinality $\theta^\kappa for every $\theta ): for every nonzero $\mu or μ = λ κ there is a model M μ of cardinality λ with No(M μ ) = μ. In this paper we show: for every nonzero μ ≤ λ κ there is an inverse κ-system A of abelian groups having cardinality $2^\kappa and $\theta^{ for all $\theta when $\mu > \lambda$ ), with the obvious new consequence concerning the possible value of No. Specifically, the case No(M) = λ is possible when $\theta^\kappa for every $\theta. (shrink)

The development of a metaphysics of actuality is reconstructed from Plato through Bergson to capitalize on Bergson's suggestion that mind and matter can be understood as inversions of each other, or as respectively a centering and an extending of forms. This view avoids the pitfalls of reductive monism and disjunctive dualism: it is dyadic (cognizant at once of mind-matter difference and of the unity of reality), symmetrical (not apt to close off prematurely our reckoning with complexity and change, on either (...) side), and correlational (able to track relations of form, energy, and sequence between mental and material items). (shrink)

The paper first introduces the concept of implicit and explicit temporality, referring to time as pre-reflectively lived vs. consciously experienced. Implicit time is based on the constitutive synthesis of inner time consciousness on the one hand, and on the conative–affective dynamics of life on the other hand. Explicit time results from an interruption or negation of implicit time and unfolds itself in the dimensions of present, past and future. It is further shown that temporality, embodiment and intersubjectivity are closely connected: (...) While implicit temporality is characterised by tacit bodily functioning and by synchronisation with others, explicit temporality arises with states of desynchronisation, that is, of a retardation or acceleration of inner time in relation to external or social processes. These states often bring the body to awareness as an obstacle as well. On this basis, schizophrenia and melancholic depression are investigated as paradigm cases for a psychopathology of temporality. Major symptoms of schizophrenia such as thought disorder, thought insertion, hallucinations or passivity experiences may be regarded as manifesting a disturbance of the constitutive synthesis of time consciousness, closely connected with a weakening of the underlying pre-reflective self-awareness or ipseity. This results in a fragmentation of the intentional arc, a loss of self-coherence and the appearance of major self-disturbances. Depression, on the other hand, is mostly triggered by a desynchronisation from the social environment and further develops into an inhibition of the conative–affective dynamics of life. As will be shown, both mental illnesses bear witness of the close connection of temporality, embodiment and intersubjectivity. (shrink)

In this paper I examine whether representationalism can account for various thought experiments about colour inversions. Representationalism is, at minimum, the view that, necessarily, if two experiences have the same representational content then they have the same phenomenal character. I argue that representationalism ought to be rejected if one holds externalist views about experiential content and one holds traditional exter- nalist views about the nature of the content of propositional attitudes. Thus, colour inver- sion scenarios are more damaging to externalist (...) representationalist views than have been previously thought. More specifically, I argue that representationalists who endorse externalism about experiential content either have to become internalists about the content of propositional attitudes or they have to adopt a novel variety of externalism about the content of propositional attitudes. This novel type of propositional attitude externalism is investigated. It can be seen that adopting it forces one to reject Putnam. (shrink)

Material objects extend through space by having different spatial parts in different places. But how do they persist through time? According to some philosophers, things have temporal parts as well as spatial parts: accepting this is supposed to help us solve a whole bunch of metaphysical problems, and keep our philosophy in line with modern physics. Other philosophers disagree, arguing that neither metaphysics nor physics give us good reason to believe in temporal parts.

El presente trabajo pretende establecer una íntima conexión entre el que considera un falso debate en torno a la modernidad y la posmodernidad y expresiones como fin de la historia, fin de las ideologías, y otras que desde ámbitos diversos vienen compitiendo por caracterizar el mundo actual. La hipótesis central es que esa constelación obedece a una lógica muy similar a la que llevó, a fines del XVIIII, a utilizar por primera vez el término nihilismo frente a la que (...) consideraba la Ilustración. La llamada posmodernidad no haría sino culminar esa tendencia, aunque en apariencia invirtiéndola mediante un mecanismo sutil fruto de la confluencia de tradiciones dispares como la filosofía analítica anglosajona o la hermeneútica. De esa inversión surgiría una nueva teología, atea, invulnerable en virtud de su "nihilismo", en la medida en que se asienta en la ausencia del fundamento, del referente o incluso de lo real mismo, y en cuyo seno se da incluso la apariencia de pluralismo o de la más plena secularización. A modo de ejemplo se contrastan los planteamientos básicos de Habermas y Foucault, en cuanto ya clásicos de ese debate, y como compartiendo esa teología desde posiciones en apariencia dispares. (shrink)

El presente trabajo pretende establecer una íntima conexión entre el que considera un falso debate en torno a la modernidad y la posmodernidad y expresiones como fin de la historia, fin de las ideologías, y otras que desde ámbitos diversos vienen compitiendo por caracterizar el mundo actual. La hipótesis central es que esa constelación obedece a una lógica muy similar a la que llevó, a fines del XVIIII, a utilizar por primera vez el término nihilismo frente a la que (...) consideraba la Ilustración. La llamada posmodernidad no haría sino culminar esa tendencia, aunque en apariencia invirtiéndola mediante un mecanismo sutil fruto de la confluencia de tradiciones dispares como la filosofía analítica anglosajona o la hermeneútica. De esa inversión surgiría una nueva teología, atea, invulnerable en virtud de su "nihilismo", en la medida en que se asienta en la ausencia del fundamento, del referente o incluso de lo real mismo, y en cuyo seno se da incluso la apariencia de pluralismo o de la más plena secularización. A modo de ejemplo se contrastan los planteamientos básicos de Habermas y Foucault, en cuanto ya clásicos de ese debate, y como compartiendo esa teología desde posiciones en apariencia dispares. (shrink)

The idea of an ?inversion principle?, and the name itself, originated in the work of Paul Lorenzen in the 1950s, as a method to generate new admissible rules within a certain syntactic context. Some fifteen years later, the idea was taken up by Dag Prawitz to devise a strategy of normalization for natural deduction calculi (this being an analogue of Gentzen's cut-elimination theorem for sequent calculi). Later, Prawitz used the inversion principle again, attributing it with a semantic role. Still working (...) in natural deduction calculi, he formulated a general type of schematic introduction rules to be matched ? thanks to the idea supporting the inversion principle ? by a corresponding general schematic Elimination rule. This was an attempt to provide a solution to the problem suggested by the often quoted note of Gentzen. According to Gentzen ?it should be possible to display the elimination rules as unique functions of the corresponding introduction rules on the basis of certain requirements?. Many people have since worked on this topic, which can be appropriately seen as the birthplace of what are now referred to as ?general elimination rules?, recently studied thoroughly by Sara Negri and Jan von Plato. In this study, we retrace the main threads of this chapter of proof-theoretical investigation, using Lorenzen's original framework as a general guide. (shrink)

The paper points out that Adam Smith’s famous argument about the “invisible hand” (IH) of markets can be inverted. While the IH argument suggests that the baker and butcher do what is in their costumers’ interests not because they care for their costumers, but out of their own self-interest, one can also defend the converse claim: if one cares for other people and finds a way to satisfy their needs, one can expect that those others will be willing to pay (...) for the satisfaction of their needs. The paper argues that the IH argument has a strong link to the view that the ultimate goal of management should be “profit maximization” and to neo-liberalism’s tenet that in a market economy where companies attempt to maximize profits, a “socially optimal” allocation will be achieved. It is argued, however, that profit maximization is well-defined only within a mathematical model, while real-world decision-making requires one to choose the “relevant set” of options before any assessment of associated profits can be attempted. “Profit maximization” is therefore characterized as a heuristic for managerial decision-making, and it is pointed out that it is by no means essential for management to be successful and sustainable. The inverse IH argument supports natural alternatives, such as Prahalad and Hart’s “bottom-of-the-pyramid” and Yunus’s “social entrepreneurship” approach. Both require the manager to focus on people’s needs first, and regard the “money-making” aspect as secondary. (shrink)

This chapter examines the spectrum inversion hypothesis as an argument against certain kinds of account of what it’s like to be conscious of color. The hypothesis aims to provide a counterexample to accounts of what it’s like to be conscious of color in non-qualitative terms, as well as to accounts of what it’s like to be conscious of color in terms of the representational content of conscious visual states (which, according to some philosophers, is in turn given an account in (...) non-qualitative terms). I explain the hypothesis’s reasoning in sections 1 and 2. I then take up background issues: since the counterexample provided by the hypothesis is typically given as a possibility rather than an actuality, I briefly discuss the kind of possibility involved in section 3, and the methodologies used to evaluate the plausibility of possibilities in section 4. In section 5, I describe some general considerations that are commonly used against the spectrum inversion hypothesis. I take up attempts to support the hypothesis with findings from color science in section 6. I end with comments skeptical of both the motivation for the spectrum inversion hypothesis and the methodology used to support it. (shrink)

Although to live is to face problems, the general concept of a problem has been significantly understudied. So much so, that the publication of Polya’s delightful How to Solve It caused quite a stir. And, although the concept of a conceptual problem is philosophical because it is deep and occurs across fields, from mathematics to politics, no philosophers have produced any memorable studies of it. Moreover, the word ‘problem’ is absent from most philosophical reference works. There are plenty of texts (...) on particular problems such as those of evil and induction, but none on the general concept of a conceptual problem—as if it were not a problematic concept. Worse, we are seldom told that doing original mathematics, science or technology is to wrestle with original problems. Nor have we been told that the hardest problems are likely to be inverse, in that they go from effect to cause, or from sketch to implementation, or from conclusion to premises—as in diagnosing disease from symptoms, looking for a westward passage from Europe to Asia, and designing public policies to attack social issues. The existence of this significant gap in the philosophical literature justifies the publication of the present study. (shrink)

Temporal non-dynamists hold that there is no temporal passage, but concede that many of us judge that it seems as though time passes. Phenomenal Illusionists suppose that things do seem this way, even though things are not this way. They attempt to explain how it is that we are subject to a pervasive phenomenal illusion. More recently, Cognitive Error Theorists have argued that our experiences do not seem that way; rather, we are subject to an error that leads (...) us mistakenly to believe that our experiences seem that way. Cognitive Error Theory is a relatively new view and little has been said to explain why we make such an error, or where, in the cognitive architecture, such an error might creep in. In this paper we remedy this by offering a number of hypotheses about the source of error. In so doing we aim to show that Cognitive Error Theory is a plausible competitor to Phenomenal Illusion Theory. (shrink)

We extend the results of Laver on using inverse limits to reflect large cardinals of the form, there exists an elementary embedding Lα → Lα. Using these inverse limit reflection embeddings directly and by broadening the collection of U-representable sets, we prove structural results of L under the assumption that there exists an elementary embedding j : L → L. As a consequence we show the impossibility of a generalized inverse limit X-reflection result for X ⊆ Vλ+1, thus focusing the (...) study of L generalizations on L. (shrink)

The standard account of weakness of will identifies it with akrasia, that is, with action against one's best judgment. Elsewhere I have argued that weakness of will is better understood as over-readily giving up on one's resolutions. Many cases of weak willed action will not be akratic: in over-readily abandoning a resolution an agent may well do something that they judge at the time to be best. Indeed, in so far as temptation typically gives rise to judgment shift -- to (...) a tendency to change one's judgment so that one values the tempting option as the best -- weak willed action will typically be akratic. But conversely, strong willed action now looks as though it will be akratic. I argue though that it need not be, once we distinguish between actual judgment, and dispositions to judge. Within this framework, the issue of inverse akrasia looks rather different. I argue that whilst Huckleberry Finn plausibly does show weakness of will in abandoning his resolve to turn Jim in, it is far from clear that he is akratic: a point brought out well in Twain's later additions to the text. Whilst cases of inverse akrasia are clearly theoretically possible, I suggest that, given cognitive dissonance mechanisms, they are unlikely to be very common. (shrink)

Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended (...) by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right. (shrink)

The essays in this topical volume inquire into one of the most fundamental issues of philosophy and the cognitive and natural sciences: the riddle of time. The central feature is the tension between the experience and the conceptualization of time, reflecting an apparently unavoidable antinomy of subjective first-person accounts and objective traditional science. Is time based in the physics of inanimate matter, or does it originate in the operation of our minds? Is it essential for the constitution of reality, or (...) is it just an illusion? Issues of time, temporality, and nowness are paradigms for interdisciplinary work in many contemporary fields of research. The authors of this volume discuss profoundly the mutual relationships and inspiring perspectives. They address a general audience with academic background knowledge. (shrink)

Apart from positive priming effects, masked prime stimuli can impair responses to a subsequent target stimulus which shares response-critical features in contrast to a target assigned to the opposite response. This counterintuitive phenomenon is called inverse priming . Here we examine the generality of this phenomenon beyond priming of motor responses. We used a non-motor cue-priming paradigm to study the underlying mechanism of inverse priming for relevant features masks which include task-relevant stimulus features and for irrelevant masks which omit task-relevant (...) features. We found inverse cue-priming effects with both types of masks. With task-irrelevant masks inverse cue-priming was emphasized in those participants being unable to perceive the prime. The existence of inverse non-motor priming under conditions where simple perceptual interactions between the stimuli are ruled out as the source of inverse priming is at odds with the view that inverse priming reflects motor inhibition. Alternatives are discussed. (shrink)

The two essays included here are parts of a longer study of temporality, and the genesis of the “religious.” The first part, “Multiple Nows,” depicts a universe in which a present to past relation is establishable from any and every point in consciousness. The resulting perspective differs from that offered by the linear timeline of chronological history. Remembering where I put my glasses is an historicizing act, as fully as is remembering when the Battle of Zama was fought or who (...) won there. On this alternate view of temporality the genesis of the historical perspective is the historicizing subject. The second essay, “The History of a House,” places the observer before an historical structure, then asks where the historicity in the structure is. We discover that the historicity is put there by the observer/subject. This discovery resembles our earlier discovery that historicity is generated by an infinite sequence of nows. The two essays converge on a description of historical cognition as subject-generated. (shrink)