Nuestro principal objetivo en este trabajo es el de analizar si es posible construir sistemas lógicos temporales-epistémicos lo suficientemente satisfactorios. Sin embargo, las principales dificultades para lograr este propósito provienen del hecho de tener que combinar una perspectiva temporal absoluta con una perspectiva epistémica relativa a cada agente; es decir, por un lado, los instantes de tiempo vienen determinados desde el punto de vista de un observador situado fuera del mundo, y, por otro lado, las alternativas epistémicas de cada (...) agente son relativas a dicho agente. Pensamos que algunas de estas dificultades podrían ser superadas con la ayuda de las lógicas híbridas, puesto que este tipo de lógicas simplifica la combinación de sistemas temporales y epistémicos, y así podemos evitar tener que construir modelos excesivamente complicados. Our main goal in this paper is to analyse if it is possible to build some suitable Temporal-Epistemic Systems. However, the main difficulties in order to aim this goal come from the fact of having to combine an absolute temporal perspective with a relative epistemic perspective; that is, on one hand, temporal points are determined from the point of view of an observer placed outside the world, and, on the other hand, the epistemic alternatives of each agent are relative to that agent. We think that some of these difficulties could be solved with the help of hybrid logics, because this kind of logics simplifies the combination of temporal and epistemic systems, and so we can avoid building highly complicated models. (shrink)

When is a proposition true? It is common to expert an answer of the form “at instant x”. In section I) I present an example of the consequences that such instantaneous semantics in tense logic can have, and review some of the problems that have led to the proposal of using intervals, rather than instants, as the indices at which to evaluate propositions. In the section II) I present some of the problems with the intervals themselves, and in section III) (...) I consider the possibilities of having he best of both worlds. Due to the still tentative character of interval semantics, I focus on the consideration of metatheoretical issues rather than on the technical points of the particular systems of interval semantics so far proposed. (shrink)

A presente investigação questiona a essência teo-lógica dos futuros contingentes. Para o efeito, analisa-se, primeiramente, a argumentação segundo a qual, sob certas con­dições lógicas, teológicas, ontológicas e cosmológicas anti-necessitantes, detetadas por G. W. Leibniz (conciliando a posição de St. Agostinho com a de L. Molina e W. Ockham), a abertura contingente do futuro parece ser compatível com o regime das “verdades contingentes pré-determinadas”, regime enquadrado teologicamente pelo princípio do “futuro melhor” ou do “único futuro verdadeiro”. No entanto, os futuros (...) contingentes incitam, com e contra Aristóteles, ao desenvolvimento de uma lógica temporal e plurivalente, ao modo de J. Łukasiewicz ou A. Prior. Esta lógica garante a abertura do futuro sem o oneroso custo metafísico da adesão a uma teo-lógica omni-determinante. A crítica do determinismo lógico, daí resultante, afigura-se mais coadunável com as condições pós-metafísicas ine­rentes à episteme agnóstica contemporânea, mas, nesse caso, a abertura do futuro impli­caria uma profunda redefinição das próprias ideias e funções de “Deus”, “matéria”, “história” e “verdade”. (shrink)

La tarea de selección de Peter Wason presenta el problema de que un alto porcentaje de los participantes que la ejecutan ofrecen una respuesta equivocada. En este trabajo, proponemos una explicación posible de la selección mayoritaria en dicha tarea. Nuestra explicación, por una parte, asume que los participantes tienden a perfeccionar el condicional que aparece en la regla de la tarea de selección y, por otra, recurre al marco de la lógica temporal, del que toma una semántica basada (...) en instantes en el tiempo y el operador unario Next. Nuestras ideas básicas son que el participante interpreta que la regla sólo afecta a las tarjetas que muestran los términos mencionados en sus caras visibles y que el hecho de girar una tarjeta implica el tránsito a un instante posterior en el tiempo. (shrink)

The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator B t and a non-normal information operator I t which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the proposed logic, the AGM theory of belief revision and the notion of plausibility (...) is discussed. (shrink)

In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL [14] plays a major rôle. The completeness theorem proved in [7] shows that BL is the logic of all continuous t -norms and their residua. This result, however, does not directly yield any meaningful interpretation of the truth values in BL per se . In an attempt to address this issue, in this paper we introduce a complete temporal semantics for BL. Specifically, we show that BL (...) formulas can be interpreted as modal formulas over a flow of time, where the logic of each instant is Łukasiewicz, with a finite or infinite number of truth values. As a main result, we obtain validity with respect to all flows of times that are non-branching to the future, and completeness with respect to all finite linear flows of time, or to an appropriate single infinite linear flow of time. It may be argued that this reduces the problem of establishing a meaningful interpretation of the truth values in BL logic to the analogous problem for Łukasiewicz logic. (shrink)

The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, (...) and the proof-theoretical apparatus of semantic tableaux. The ‘quantified part’ of the systems includes relational predicates and the identity symbol. The quantifiers are, in effect, a kind of possibilist quantifiers that vary over every object in the domain. The tableaux rules are classical. The alethic part contains two types of modal operators for absolute and historical necessity and possibility. According to ‘boulesic logic’ (the logic of the will), ‘willing’ (‘consenting’, ‘rejecting’, ‘indifference’ and ‘non-indifference’) is a kind of modal operator. Doxastic logic is the logic of beliefs; it treats ‘believing’ (and ‘conceiving’) as a kind of modal operator. I will explore some possible relationships between these different parts, and investigate some principles that include more than one type of logical expression. I will show that every tableau system in the paper is sound and complete with respect to its semantics. Finally, I consider an example of a valid argument and an example of an invalid sentence. I show how one can use semantic tableaux to establish validity and invalidity and read off countermodels. These examples illustrate the philosophical usefulness of the systems that are introduced in this paper. (shrink)

Temporal necessity and the subjunctive conditional appear to be related by the principle of Past Predominance, according to which past similarities and differences take priority over future similarities and differences in determining the comparative similarity of alternative possible histories with respect to the present moment. R. H. Thomason and Anil Gupta have formalized Past Predominance in a semantics that combines selection functions with branching time; in this paper I show that Past Predominance can be formalized and axiomatized using ordinary (...) possible worlds semantics (without branching time). (shrink)

Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic $Q_t $ and give its axiomatization and semantics. We also argue that $Q_t $ provides a smooth solution to the problem of future contingents.

A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.

With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.

We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The (...) key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Deontic logic handles not only deontic modalities, but also alethic and temporal ones. In addition, individuals like authorities and addressees play an important role. R5-D5 is a system handling alethic, deontic and temporal modalities, whose adequacy has been proved in an earlier paper. Similarly for KD*UXY with sets of individuals . The present article is an attempt to construct a general system mixing R5-D5 and KD*UXY.

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as "Alternating-time Temporal Logic". The key (...) insight in ATL is that the path quantifiers of CTL could be replaced by "cooperation modalities", of the form $\langle \langle \Gamma \rangle \rangle $, where Γ is a set of agents. The intended interpretation of an ATL formula $\langle \langle \Gamma \rangle \rangle \varphi $ is that the agents Γ can cooperate to ensure that φ holds. In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as "group Γ can cooperate to bring about φ iff it is common knowledge in Γ that ψ". The resulting logic -- Alternating-time Temporal Epistemic Logic -- shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

The homogeneity of time (i.e. the fact that there are no privileged moments) underlies a fundamental symmetry relating to the energy conservation law. On the other hand the obvious asymmetry between past and future, expressed by the metaphor of the arrow of time or flow of time accounts for the irreversibility of what happens. One takes this for granted but the conceptual tension it creates against the background of time''s presumed homogeneity calls for an explanation of temporal becoming. Here, (...) it is approached with the help of a claim to the effect that the instant (moment) itself has a structure isomorphic to that of time as a whole. Then the asymmetry of past and future in regard to temporal becoming is associated with the internal structure of the very moment, and not with external relations between different moments of time. In this paper ideas of ancient atomism and contemporary dialectics are brought together. It is for the sake of a contrast to what is known as logical atomism that I choose to call this view dialectical atomism. The latter admits dialectical contradictions and, so far as the logical status of contradictions is concerned, bears reference to paraconsistent logics. In the paper there is an outline of a method of converting any consistent axiomatic formal system into a paraconsistent theory. (shrink)

This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal logic. The sequent calculi and semantics are constructed on the basis of the refutation-aware setting for Nelson’s paraconsistent logic. The cut-elimination and completeness theorems for the proposed sequent calculi and semantics are proven.

Durante deacute;cadas, la historia de la filosofiacute;a ha separado a Kierkegaard de Hegel y a Hegel de Kierkegaard, en detrimento tanto de la grandeza especulativa del pensamiento kierkegaardiano como de la vena existencial del sistema de Hegel. En oposicioacute;n a esta desafortunada lectura, el presente artiacute;culo intenta mostrar la profunda convergencia que une internamente el estadio eacute;tico de Kierkegaard con las maacute;s importantes categoriacute;as loacute;gicas de Hegel. Ambos pensadores conciben la idea como el poder real del devenir subjetivo y la (...) existencia como la concrecioacute;n actual de lo ideal. Para ambos, la pura eneacute;rgeia de la libertad, que comienza en la posibilidad abstracta y esteacute;tica de la inmediatez subjetiva, se realiza a siacute; misma como la actual concrecioacute;n de la finitud, capaz de asumir lo temporal y contingente por la fuerza eterna y necesaria del deber. La repeticioacute;n kierkegaardiana no es nada sino el poder de lo ideal, capaz de mediar el flujo de las diferencias finitas en la eterna identidad del sujeto. Sin embargo, tanto para Kierkegaard como para Hegel existe una absoluta contradiccioacute;n, llamada a promover la superacioacute;n de lo eacute;tico. (shrink)

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution of linearity representation (...) is rather independent of the underlying proof method, provided that some form of (analytic) cut is admissible. We will also discuss some generalisations of the system and compare it with other formalizations of linearity. (shrink)

In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.

In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are sound and complete. Decision procedures using the calculi have been constructed for the considered logic. In the present paper we restrict ourselves to the logic with the unary temporal operators “next” and “henceforth always”. Proof-theory of the sequent calculus of this logic is considered, focusing on loop specification in backward proof-search. We describe cyclic sequents and prove that (...) any loop consists of only cyclic sequents. A class of sequents for which backward proof-search do not require loop-check is presented. It is shown how sequents can be coded by binary strings that are used in backward proof-search for the sake of more efficient loop-check. (shrink)

We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be decided with EXPSPACE-complete complexity. A single rigid function is sufficient to make the logic not recursively enumerable. However, the monadic monodic fragment with rigid functions, where no two distinct terms have variables bound by the same quantifier, is decidable and EXPSPACE-complete.

The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help framing two possible interpretations of the logic in question - a `subjective' and an `objective' one - and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.

RESUMO: A presente investigação questiona a essência teo-lógica dos futuros contingentes. Para o efeito, analisa-se, primeiramente, a argumentação segundo a qual, sob certas condições lógicas, teológicas, ontológicas e cosmológicas antinecessitantes, detetadas por G. W. Leibniz, a abertura contingente do futuro parece ser compatível com o regime das "verdades contingentes pré-determinadas", regime enquadrado teologicamente pelo princípio do "futuro melhor" ou do "único futuro verdadeiro". No entanto, os futuros contingentes incitam, com e contra Aristóteles, ao desenvolvimento de uma lógica (...) class='Hi'>temporal e plurivalente, ao modo de J. Łukasiewicz ou A. Prior. Essa lógica garante a abertura do futuro sem o oneroso custo metafísico da adesão a uma teo-lógica omnideterminante. A crítica do determinismo lógico, daí resultante, afigura-se mais coadunável com as condições pós-metafísicas inerentes à episteme agnósticacontemporânea, mas, nesse caso, a abertura do futuro implicaria uma profunda redefinição das próprias ideias e funções de "Deus", "matéria", "história" e "verdade". ABSTRACT: This paper investigates the theological essence of contingent futures. First, it analyses the argument according to which, under certain logical, theological, ontological, and cosmological conditions detected by Leibniz, the contingent openness of the future may be compatible with the regime of "pre- determined contingent truths", theologically grounded in the principle of an "optimal future" or a "single true future". However, the examination of contingent futures has also fostered, both for and against Aristotle's position, the development of a many-valued and temporal logic as proposed by J. Łukasiewicz or A. Prior. This logic safeguards the openness of future without the metaphysically expensive cost of adhering to an all-determining theo-logic. It hence follows that the critique of logical determinism seems to be more appropriate to express the post-metaphysical conditions of our present agnostic mentality. In this case, however, the openness of the future would entail a profound redefinition of the very ideas and functions of "God", "matter", "history", and "truth". (shrink)

Gran parte de la filosofía más interesante y original los escolásticos la hacían en la teología. Un buen ejemplo es el dilema en el Siglo de Oro sobre el libre albedrío: ¿cómo podemos actuar libremente si Dios causa y conoce nuestros actos? La discusión incluye varios temas fundamentales como la antinomia entre la libertad y la determinación, la semántica modal, la lógica temporal y la lógica de los estados de cosas contrafácticos. Los jesuitas mexicanos Matías Blanco y (...) Antonio Peralta escribieron libros sobre la cuestión. Se describirá aquí la solución “disyuntiva” que Blanco propuso en su Funiculus triplex, publicado póstumamente en México en 1746. Cuando alguien ha de eligir entre las alternativas B y C, barrunta Blanco, Dios no actualiza ni B ni C, sino su disyunción B-o-C. Blanco propone una tregua en la “guerra” entre las escuelas contrincantes para que consideren su solución– pues cree podría ser aceptable para todos. (shrink)

RESUMEN El mundo moderno creó un régimen temporal de horarios, presiones, exigencias de efectividad, rendimientos, etc., que somete a los individuos a procesos de alienación, pero esa lógica temporal no ha sido suficientemente politizada ni se ha llegado a ver qué pasa con nuestra experiencia de tiempo. La lógica temporal de la modernidad parece natural. El propósito de este artículo es volver sobre la realidad del tiempo. Aquí nos apoyamos en un primer momento en el (...) proyecto crítico de Hartmut Rosa y lo conectamos con una consideración del tiempo que debemos buscar en otros autores, presuntamente ajenos a la teoría crítica, a saber, Heidegger y Gadamer. ABSTRACT The modern world created a temporal regime of schedules, pressures, demands of efficiency, performances, etc., that submits individuals to processes of alienation, but that temporal logic has not been politicized neither has it been seen what happens with our experience of the time. The logic of time in modernity seems natural. The purpose of this article is to return to the reality of the time. Here we support in a first moment in the critical project of Hartmut Rosa and we connect it with a consideration of the time that we must look for in other authors, supposedly foreign to the critical theory, namely Heidegger and Gadamer. (shrink)

Las nociones epistémicas modales se definen como aquellos conceptos epistémicos que, como el de cognoscibilidad o el de indudabilidad, incluyen una nota modal. Segun se defiende en este trabajo, la semántica de mundos posibles y algunas de sus extensiones (especialmente las llevadas a cabo para logica temporal, logica epistemica y logica condicional) son instrumentos adecuados para deshacer el nudo de las intensionalidades superpuestas en estas nociones especialmente esquivas al análisis. Para mostrarlo, se proporcionan una serie de análisis sucesivos de (...) la nocion de cognoscibilidad que a partir de una interpretación naif van salvando una serie de presuposiciones, problemas y paradojas hasta dar con una analisis que se presume satisfactorio.“Modal epistemic notions” are those epistemic concepts which in some way or another has a modal element. These modal epistemic notions, although they could appear intuitively clear, they turn out to be particularly obscure, slippery, when one subjects them to a formal analysis. In this paper we will try to show that possible world semantics (and its extensions for epistemic, temporal and conditional logic) is an appropriate instrument for the explanation ofthese notions. Four successive analysis of the notion of “knowability” are given, ranging from a naive account to an analysis that gets to the bottom ofthe problem. (shrink)

La digitalización del mundo del trabajo es una arista ineludible a la hora de acercarnos a los modos de trabajar en la actualidad. Este artículo se propone indagar las percepciones sobre trabajo digital en la ciudad de Rafaela (Santa Fe) en el siglo XXI. Desde una sociología de los cuerpos/emociones, entendemos que las percepciones son el trasfondo de las prácticas sociales y que, en los trabajos digitales, estas se reconfiguran junto a los cambios estructurales en la lógica temporal (...) y espacial. Para ello, implementamos una estrategia metodológica cualitativa con muestreo intencional y bola de nieve, a través de la técnica de entrevistas en línea semiestructuradas. Pudimos dar cuenta de que, con respecto a las características del trabajo digital, la relación de los/as trabajadores/as con sus clientes se ve intensificada, a veces más directamente (como jefe) y otras más indirectamente según la modalidad de ocupación. Además, valoran positivamente el trabajo como lugar de formación profesional y personal: la experiencia se mide por la diversidad de trabajos/clientes y no por la cantidad de años de actividad. Con respecto a las percepciones temporales, pudimos identificar que el tiempo productivo se prioriza sobre otros tiempos y su control se vuelve una fantasía difícil de lograr. Las variables de tiempo y espacio están íntimamente relacionadas: los/las trabajadores/as realizan su actividad en cualquier tiempo y lugar mientras haya siempre cuerpos disponibles y accesibles como una mercancía. Las percepciones de estos/as trabajadores/as digitales configuran sensibilidades sociales de adaptación y autodisciplina, que intensifican la expropiación de energías corporales/sociales. (shrink)

Este artículo parte de mi propio archivo de investigación para revisar ‒desde una perspectiva etnográfica‒ experiencias en y con archivos estatales locales y memorias mapuches vinculadas con políticas de forestación implementados durante el siglo XX en El Hoyo ‒Comarca Andina del Paralelo 42°, Chubut, Patagonia Argentina‒. Me interesa discutir no tanto el contenido referencial de los documentos, sino ciertos lenguajes del archivo que considero que son pistas claves para comprender cómo operan lógicas de poder y entramados de funcionamiento de las (...) instituciones locales; aunque también donde observar subjetividades y tiempos de desacuerdos y desbordes respecto a lo que ha sido y/o sigue siendo instituido. Me refiero, particularmente, al lenguaje temporal y los tempos de dos archivos estatales provinciales. Me detengo a analizar ese lenguaje del archivo como clave que expresa el campo de fuerzas que, en cada momento, constituyó a los mismos; y reviso su devenir en articulación con memorias de comunidades mapuches de la región que fueron a recuperar sus espacios territoriales. (shrink)

Este artículo parte de mi propio archivo de investigación para revisar ‒desde una perspectiva etnográfica‒ experiencias en y con archivos estatales locales y memorias mapuches vinculadas con políticas de forestación implementados durante el siglo XX en El Hoyo ‒Comarca Andina del Paralelo 42°, Chubut, Patagonia Argentina‒. Me interesa discutir no tanto el contenido referencial de los documentos, sino ciertos lenguajes del archivo que considero que son pistas claves para comprender cómo operan lógicas de poder y entramados de funcionamiento de las (...) instituciones locales; aunque también donde observar subjetividades y tiempos de desacuerdos y desbordes respecto a lo que ha sido y/o sigue siendo instituido. Me refiero, particularmente, al lenguaje temporal y los tempos de dos archivos estatales provinciales. Me detengo a analizar ese lenguaje del archivo como clave que expresa el campo de fuerzas que, en cada momento, constituyó a los mismos; y reviso su devenir en articulación con memorias de comunidades mapuches de la región que fueron a recuperar sus espacios territoriales. (shrink)

La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...) del linguaggio. Lo scopo del volume è offrire una panoramica di questo dialogo al contempo accessibile e rigorosa, pensata sia per gli studenti di un corso universitario, sia per il lettore non specialista. Se da un lato tutte le necessarie nozioni tecniche sono rese accessibili ai non addetti ai lavori, dall'altro si restituisce un'immagine fedele delle sfide concettuali che la ricerca in questi settori è oggi chiamata ad affrontare. (shrink)

A implementação e o uso das Tecnologias da Informação e da Comunicação na vida em geral, e aqui com destaque nas esferas do mundo do trabalho e da educação, têm acarretado mudanças significativas na vida das pessoas e nos cenários e estruturas sociais contemporâneos. Na pós-graduação essas mudanças vêm atingindo todos os envolvidos no que diz respeito à produção e veiculação do conhecimento e à necessidade de defrontar-se qualificadamente com o redimensionamento espácio-temporal proporcionado pela inserção das TIC nos processos (...) de estudo e trabalho. Neste artigo, decorrente de uma pesquisa vinculada a um Programa de Pós-graduação e realizada com doutorandos em Educação de uma universidade pública, analisamos como estes relacionam a categoria tempo com o uso das TIC para fazer frente ao desafio do processo do doutorado no contexto atual. Por meio de entrevistas com os participantes e à luz da análise de conteúdo, identificamos que os doutorandos estão adaptando-se à lógica do denominado produtivismo acadêmico, embora muitas vezes sentindo-se paralisados frente às exigências induzidas pelos órgãos de avaliação e fomento da PG. E nesse sentido, paradoxalmente afirmam encontrar nas TIC um importante aliado para a consecução do doutoramento, embora perpassado pela intensificação do tempo. Além disso, o próprio redimensionamento de tempos e espaços na consecução do doutoramento e no processo de pesquisa e escrita da tese com a mediação das TIC configura-se como uma “faca de dois gumes”, cujas contradições são inerentes ao modelo de regulação e avaliação da PG no Brasil. Finalmente, com base nos depoimentos dos entrevistados e nas relações entre produtividade, intensificação do tempo e mediação tecnológica nesse contexto da PG, questionamos a respeito da possibilidade de resgate da perspectiva omnilateral nesse processo formativo de futuros doutores. Palavras-chave: Doutorado. TICs. Tempo. Trabalho e educação. (shrink)

O desenvolvimento da filosofia acadêmica no Brasil é direcionada, entre vários fatores, pelas investigações dos diversos Grupos de Trabalho (GTs) da Associação Nacional de Pós-Graduação em Filosofia (ANPOF). Esses GTs se dividem de acordo com a temática investigada. O GT de Metafísica Analítica é relativamente novo e ainda tem poucos membros, mas os temas nele trabalhados são variados e todos centrais no debate metafísico contemporâneo internacional. A sua investigação se caracteriza pelo rigor lógico e conceitual com o qual aborda esses (...) tradicionais tópicos da metafísica. Embora os assuntos tratados tenham sido, em sua grande maioria, tópicos abordados e discutidos em reuniões remotas do GT, nem todos os membros do nosso grupo estão aqui representados. Esperamos apresentar seus trabalhos em futuros livros. Por enquanto, queremos apenas divulgar ao público acadêmico algumas de nossas produções, trabalhadas e produzidas exclusivamente para este livro. Segundo a caracterização tradicional, com a qual plenamente concordamos, a metafísica se ocupa com a natureza mais íntima e geral da realidade. Essa metafísica é, por um lado, ambiciosa: não pretende apenas expor a realidade segundo o modo como ela se apresenta para nós, mas como ela é ‘em si mesma’. Por outro lado, ela é modesta: ela sabe da sua dívida para com as outras disciplinas, especialmente lógica, linguagem e epistemologia. Além disso, ela se entende como sempre tentativa, provisória, aberta a críticas e revisões. Neste livro, tratamos temas como as categorias ontológicas fundamentais e as suas relações de dependência e de fundamentalidade, a natureza da composição mereológica, da persistência temporal e do próprio tempo, a natureza dos objetos abstratos e dos mundos possíveis, as naturezas do mundo quântico, da causalidade nômica do mundo físico, e, finalmente, de um dos objetos mais característicos da presença humana no nosso mundo físico, que é o objeto de arte. É claro que essa coletânea está longe de apresentar exaustivamente todos os tópicos da metafísica. Tentamos selecionar e organizar os textos da forma mais fluida possível, de modo que eles possam levar tanto a uma reflexão específica quanto a uma reflexão geral sobre a natureza da realidade. Ainda que tenha uma inerente incompletude, o livro serve à finalidade de levar o/a estudante de graduação e pós-graduação a refletir sobre temas contemporâneos da Metafísica Analítica. Justamente por ter esse objetivo de formentar a pesquisa em metafísica analítica nacional, optamos por traduzir muitos termos do inglês que ainda não tem uma tradução canônica, a fim de evitar anglicismos e contribuir para uma leitura mais natural. Muito mais do que leitores complacentes, esse livro pede por leitores críticos, debatedores corajosos, que estejam dispostos a contribuir e a propor novas teorias e argumentos. Agradecemos a todos os membros do GT de Metafísica Analítica da ANPOF e a todos os autores deste livro, que decidiram apresentar publicamente suas pesquisas à academia; aos membros do Grupo de Pesquisa Investigação Filosófica, que decidiram pela publicação deste livro; à Pró-Reitoria de PósGraduação e Pesquisa da Universidade Federal do Amapá, que o financiou; e ao NEPFIL Online e à Editora da UFPel, que o editaram e publicaram. [Guido Imaguire e Rodrigo Reis Lastra Cid, Organizadores] . (shrink)

Educar implica, en gran medida, transgredir la flecha del tiempo y actuar a modo de contratiempo. Los profesores saben bien que, en numerosas ocasiones, para asegurar el éxito de su acción, deben a menudo "perder tiempo" dejándose paradójicamente llevar por él. El conocimiento del tiempo educativo nos introduce en el estudio de este peculiar contratiempo que, a diferencia del tiempo objetivo, predecible y cronométrico que sirve para racionalizar las actividades pedagógicas, permite a los educadores impedir que en educación el tiempo (...) pase, se consuma sin más, fluya o simplemente suceda. De ahí que la autora plantee las relaciones tiempo y educación desde una perspectiva más integradora, incorporando para ello los múltiples tiempos que confluyen en la realidad educativa junto aquéllos que confieren legitimidad al proyecto educativo. La escuela ha venido recreando un modelo no normativo tiempo -básicamente predictivo y probabilístico- y ha aplicado una racionalidad ahistórica que dificulta la emergencia del sujeto al que se dirige y el modelo de sociedad hacia la que se proyecta. En la actualidad se plantea la necesidad de educar desde una nueva perspectiva ética que integre el tiempo como categoría normativa de acción. Educar hoy para mañana exigirá, en este sentido, atender a dos lógicas temporales: impregnar de historicidad la dimensión de sentido de todo proyecto educativo y planificar las acciones pedagógicas de acuerdo con una nueva tecnología temporal que incorpore la incertidumbre, la complejidad, la interdependencia y la sostenibilidad temporal. (shrink)

En este volumen José de Faria ofrece una muestra de los fundamentos que brindan una forma propia de pensar en cuanto pensamiento pensado, pero también en tanto que pensamiento pensante, con todo lo que esto acarrea de frágil, de nuevo, e incluso de ruptura a la filosofía del derecho a partir de un étimo onto-antropológico. -- En esta perspectiva es donde el derecho, en cuanto orden sumergido en la historia, se concibe como un enorme y genuino pedazo de lo real (...) construido que pertenece a la galaxia de la razón práctica.No se trata simplemente de un (válido) deber-ser que es. -- En realidad, y sobre todo, se trata de un válido es que debe ser. -- A lo largo del texto, el lector podrá encontrar reflexiones actuales e importantes, no sólo sobre el problema de la obediencia al derecho, con la búsqueda de una respuesta posible de nuestro tiempo, sino que también podrá indagar sobre aspectos más analíticos de la normatividad jurídica, especialmente en lo referente a la dimensión del derecho como categoría del pensamiento, realizado en el horizonte de una lógica comprensiva.Todo eso sin perder de vista la necesidad de analizar una vertiente crucial para la fundamentación antropológica del Derecho: su dimensión temporal, críticamente reflejada en la temporalidad de lo justo. (shrink)

Neste artigo pretendo mostrar que o desenvolvimento temporal da política na história mundial deve ser considerado como uma encenação da dialética hegeliana. Encenação deve ser aqui tomado como uma apresentação na efetividade de um texto pressuposto. Tal texto é a Ciência da Lógica. Minha intenção é mostrar a utilização, não deste texto na sua totalidade, mas de algumas sequências preferenciais da lógica. Tal será mostrado: 1) na figura do senhor/servo; 2) na relação eticidade e moralidade. Neste segundo (...) momento, procurarei mostrar como a política e seu julgamento encenam essas categorias. Por fim, indicarei em que medida a ideia de encenação resolve algumas aporias referentes a necessidade e acaso da filosofia hegeliana. (shrink)

Este artículo analiza el pensamiento de Agustín respecto a la incorporeidad de Dios, una doctrina que él desarrolló principalmente como una reacción contra las reflexiones maniqueas y arrianas sobre este tema. La decisión de Agustín de integrar la Iglesia católica estuvo fuertemente influenciada por su manera de entender la incorporeidad divina, un concepto con el cual se familiarizó hacia la mitad del año 380 en Milán. Esta implica que Dios no es sujeto de tiempo ni espacio en ningún sentido, compromiso (...) metafísico que le permite a Agustín responder a varias objeciones dirigidas a la cristiandad. Poco después de su bautizo, Agustín aplicó su visión de la divinidad a sus críticas de los maniqueos. En ese artículo vemos cómo, décadas después, este compromiso doctrinal fue desarrollado y expresado en sus homilías y en sus polémicas contra el arrianismo. Knotts examina tanto fuentes del 390, como homilías de la segunda década del 400. Esto nos permite apreciar cómo el tema de la incorporeidad es desarrollado y movilizado en mayor grado en los contextos homiléticos y polémicos. Así, dos temas íntimamente relacionados emergen: primero, Agustín mantiene que no debemos concebir la generación del hijo en los términos de la lógica terrena, no debemos buscar una duración temporal en la eternidad; segundo, debemos tener la humildad intelectual para constatar que nuestras categorías terrenas no son suficientes para pensar acerca de Dios. Agustín opta por confesar su ignorancia acerca de lo que significa que el hijo sea eterno y más bien funda su teología sobre las escrituras. Estos son los dos puntos cruciales que surgen de la crítica de Agustín hacia los arrianos. Veremos también cómo el Evangelio de Juan forma un locus theologicus para Agustín. El desarrollo de la incorporeidad divina aparece en las homilías y polémicas de Agustín como una vía para neutralizar a sus oponentes y le ofrece a su audiencia mayores herramientas. (shrink)

Aproximaciones a la escuela francesa de epistemología Los problemas que dominan a la epistemología pueden contextualizarse históricamente como una forma de racionalidad filosófica. La filosofía se ha presentado a lo largo de la historia como un discurso en el que sus diversos componentes (metafísica, ontología, gnoseología, ética, lógica, etc.) se mostraron unidos en el molde de la ?unidad del saber?. En este marco unitario alguna de las formas del saber filosófico detenta usualmente una posición dominante. El énfasis colocado en (...) la unidad del saber filosófico, o en ?la unidad del pensamiento humano?, es una herencia que el pensamiento filosófico recibe de sus raíces mítico-teológicas. Dicha visión se vio sometida, en la historia de la filosofía, a un proceso de secularización por el cual la instancia dominante pasó de la teología a la metafísica y de ésta a la teoría del conocimiento. Entre los siglos XIX y XX, este proceso atestiguó un cambio ulterior, colocando a la epistemología como instancia dominante de la racionalidad filosófica. La sucesión debe verse como una consecuencia de la funcionalización social de los dispositivos de creencias (ideología), lo que provoca que los mismos se conviertan, en determinado momento, en un obstáculo para la producción de nuevos conocimientos. De esta manera, los nuevos conocimientos, para desarrollarse, se ven forzados a provocar reestructuraciones en el campo filosófico, ya sea mediante el reemplazo de la instancia dominante, la incorporación o creación de nuevas formas de saber filosófico -tal el caso de la epistemología-, o de la marginalización relativa de otras. Se trata de en un proceso complejo (que no es ni lineal, ni biunívoco), en el que cabe no obstante discernir un esquema de la sucesión temporal de las formas filosóficas que dominan la pretendida ?unidad del pensamiento humano? (filosofía). El que acabamos de describir es un proceso lento de sustitución y reemplazo en el tipo de garantías que se le exige elaborar a la filosofía. Algunos momentos, como el ocaso de las garantías de la fe, acaecido con el surgimiento de la filosofía moderna, podrían parecer a primera vista contrajemplos para esta concepción de la evolución del saber filosófico. Podría creerse, en efecto, que con la constitución de esferas autónomas de discurso (teología, ciencia, filosofía), del discurso filosófico se desgajó en un discurso de una naturaleza diferente: la ciencia. Sin embargo, una mirada más atenta revela un paisaje diferente, puesto que esta transformación estuvo acompañada, primero, por la aparición de una nueva instancia dominante de la unificación del conocimiento filosófico. Se trata de la búsqueda de una nueva clase de garantías, las del origen y el fundamento del conocimiento, es decir, las de la gnoseología o teoría del conocimiento, en el interior de la cual se verificó finalmente un nuevo desplazamiento, con la constitución, a fines del siglo XIX y principios del siglo XX, de la ?filosofía de la ciencia? o epistemología. Este modelo para la conceptualización del desarrollo del discurso filosófico tiene la ventaja de permitirnos pensar la relación que la epistemología guarda con la instancia de saber filosófico dominante en el seno de la cual se desarrolla: la de la gnoseología. A partir de las relaciones que la epistemología guarda con la temática de las garantías del conocimiento podemos apresar, en un esquema heurístico que será complejizado de diversos modos en este libro, la diferencia entre las tesis características de la epistemología anglosajona y de la epistemología francesa. De acuerdo con en este esquema heurístico, el rasgo más característico de la epistemología anglosajona es su sujeción, en la mayor parte de su desarrollo, a la teoría del conocimiento, lo que se revela en la persistencia de algunos aspectos de la filosofía de la representación y en la reproducción de la oposición idealista entre sujeto y objeto como dos polos cuya armonía debería establecerse, filosóficamente, en términos de la verdad. En su lugar, la epistemología francesa se propuso el estudio de los mecanismos de producción de los conocimientos. La epistemología, desde esta perspectiva, ya no fue vista primordialmente como el estudio de los fundamentos del conocimiento científico, sino como la teoría de las condiciones y las formas de la práctica científica y la historia de esta práctica, tal como aparece en las distintas ciencias concretas. Expresado de otra manera, el contraste se podría establecer mediante la observación de que mientras los anglosajones hacen filosofía de la ciencia como una extensión de la lógica, los franceses la hacen como una extensión de la historia de la ciencia, es decir, encontrando en la historia el laboratorio del epistemólogo. Ahora bien, según veremos, el campo de la epistemología francesa ha cobijado una buena cantidad de debates que tienen que ver primordialmente con dos tendencias en tensión: la que enfatiza la autonomía de lo epistemológico y aquella que destaca la determinación social del pensamiento. Los trabajos de este libro esperan problematizar este y otros ejes, explorando las perspectivas de los ?clásicos? de la escuela francesa en epistemología (Bachelard, Canguilhem, Althusser, Foucault, etc.), las relaciones entre los mismos y los diálogos que cabe establecer entre estos y otras corrientes de pensamiento. ÍNDICE: La ruptura epistemológica, de Bachelard a Balibar y Pêcheux, Pedro Karczmarczyk La ruptura epistemológica según Bachelard, Althusser y Badiou, Carlos Gassmann Visitaciones Derrideanas, Jazmín Anahí Acosta Epistemología sin sujeto cognoscente. Superación, disolución o sujeción de la subjetividad en Popper, Wittgenstein y Foucault, Silvia Rivera; La torsión política del concepto de verdad en Michel Foucault, Manuel Cuervo Sola Canguilhem y Foucault. De la norma biológica a la norma política, Andrea Torrano Psicología e ideología: Foucault, Canguilhem y Althusser, Matías Abeijón . (shrink)

Este artigo enfoca o modo como a teoria husserliana da lembrança se insere, por um lado, na estrutura significativa formulada primeiramente nas Investigações lógicas e, por outro, nos moldes da percepção como unidade temporal. Para tanto, apresenta-se, respectivamente na primeira e na segunda seções, o arcabouço das teorias husserlianas da significação e da percepção como retenção. Na terceira seção, é analisada a segunda forma de lembrança — a rememoração —, segundo o fio condutor em que Husserl a investiga nos (...) contextos da atenção, retenção, afecção e inconsciente. Finalmente, será considerado se o núcleo teórico da primazia do significado e do fluxo da consciência é, de fato, uma base propícia para a compreensão da lembrança em seu caráter de signo. --------------------------------------------------------------------------- This paper focuses on how Husserl's theory of memory is introduced, both in his significant structure, that was first formulated in the Logical Investigations and in the patterns of perception as a temporal unit. The first and second sections show, respectively, the framework of Husserl's theories of meaning and perception as retention. In the third section, the second mode of memory — recollection — is analyzed according to the thread that Husserl investigates in the contexts of attention, retention, affection and unconscious. Finally, we will consider whether the theoretical core of the primacy of meaning and the flow of consciousness is, in fact, an adequate basis for the comprehension of memory as a sign. (shrink)

O objetivo deste artigo é associar a lógica de abdução de Peirce à cibernética de sistemas vivos. Sistemas vivos não podem ser entendidos através de uma epistemologia causalista, pois se comportam conforme os efeitos e não conforme as causas. A cibernética analisou o modo pelo qual máquinas não triviais se movem através de retroação, ou circuito de retorno: a cada etapa, o sistema corrige a etapa anterior, dependendo de até onde a etapa anterior pode ir em relação a um (...) possível equilíbrio. A dinâmica implica uma possível inibição da energia excessiva seguida de um possível aumento da energia insuficiente. Cada uma dessas condições é um erro que se corrige automaticamente, atingindo um estado temporário de homeostase. A auto-correção significa que é preciso adicionar à saída um impulso adicional “criativo” que seja singular e imprevisível. A lógica que é capaz de fazer sentido dessa dinâmica é a abdução de Peirce, também chamada retrodução, onde o ato inferencial retroage sobre um fato incompreensível, um “erro” epistemológico, inventando sua causa. O pensar e a auto-poiesis de sistemas vivos percorrem o mesmo caminho, substituindo estratégias ocasionais por causas universais atemporais. A abdução é a evidência de que é possível atingir uma condição de “conhecimento” sem apelar para causalidade. A possibilidade que as “leis da natureza”, possa seguir este caminho conclui o ensaio ao adicionar a noção do físico Lee Smolin do “princípio de precedência”, conforme foi inspirado pela ideia de Peirce da evolução das leis da natureza e seu caráter temporal, ou seja, contingente. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 83 three different manuscripts, none of them Descartes's original (which is lost). An edition utilizing all three sources seemed to be called for. 2. The Crapulli edition offers (a) a careful introductory study of the three sources; (b) the Regulae in the newly established Latin text, with the Dutch translation on facing pages and the variants in the footnotes; (c) notes containing the editorial apparatus; and (d) (...) an Appendix giving the contemporary texts relating to the Regulae more fully than does AT. 3. The Crapulli edition is superior by virtue of the meticulous care and balanced judgment that went into it, and because of its use of all three sources. One unexpected result is a much smoother, more idiomatic and therefore more readable Latin text. However, meaning is affected only in a few instances, despite the large number of new readings. Excepting trivial emendations (changed word order, better grammar, etc.) I find some twenty-two materiM changes. 0nly seven or eight of them alter the meaning significantly; none of them affects a vital text. Three examples must suffice (I cite page and line in AT, Volume X, and italicize CrapuUi's reading): 368.13 inductio/deductio; 448.26 relatum/rotatum; 46725 discursu/ decursu. 4. Scholars and translators will henceforth have to work with Crapulli's version, using their judgment where he, too, had to resort to conjecture. But Scholars are unlikely to abandon the habit of citing AT as well--it would make the use of earlier work difficult. Unfortunately Crapulli does not give a tabular concordance between his edition and AT (though he indicates the AT pagination), and the complex organization of his book makes correcting one's AT volume extremely time-consuming and tedious. It would be appropriate for the editors of the revised AT edition to provide such a concordance. Meanwhile a short list of the more significantnew readings may be obtained from this reviewer. Ga~ott SEnsA Emory University Convenzione e Ipotesl nella Formazione della Filosofia Naturale di Thomas Hobbes. By Arrigo Pacchi. (Firenze: La Nuova Italia, 1965,Pp. xiii + 250. L. 2,500.) This volume is a detailed, critical examination of the various drafts of Hobbes's De Corpore from 1636to 1655,taking into account a series of his unpublished manuscripts that are devoted to the subject matter of that treatise. Most important among these (with presumed dates) are : De Principlls Cognitionis et Actionis (1636); Logica (1645); Philosophia Prima (De Motu, Loco, et Tempore) (1646); First Draft of De Corpore (1648-49); Revision of this version (1651); Published version, De Corpore (1655). The first of these is known only through an English summary, discovered by Mario M. Rossi and discussed by him in his L'evoluzione del pensiero di Hobbes aUa luee di un nuovo manoo scritto, in "Civilt~ Modero~", 1941. Arrigo Pacchi accepts, with most interesting implications, Rossi's interpretation that this essay must have been il risultato di quel periodo di raccoglimento che fece seguito al viaggio di Hobbes in Europa nel 1634-36,periodo nel quale il pensatore inglese cerc5 di dare una prima forma alle intuizioni che avevano occupato la sua mente durante l'intera traversata del continente, e che egli aveva (solo verbatmente, forse) communicato a Mersenne. In questa fase, il pensiero di Hobbes denuncla ancora una stratifieazione degli influssi successlvamente recevuti, dagli scolastici di Oxford a Bacone, dagli aristotelici padovani a Galileo, pur dimostrando gi~ l'indubbia originalit ~ di talune prese di poslzione che caratterizzerano la filosofia hobbesiana nell'intero arco della sua evoluzione (pp. 42-43). Pacchi then explores the various attempts of Hobbes to arrive at an adequate empirical basis for the principles of modern science, especially for the analysis of "motion, time, and 84 HISTORY OF PHILOSOPHY space" as presented by Galileo. The implications of Scholastic nominalism, of Grosseteste)s "metaphysics of light", of the Renaissance idea (adopted by Francis Bacon) that the mind is a mirror of nature, and the new French geometry, are all considered by Hobbes. They yield two very different philosophies of science, with both of which Hobbes works: (a) the hypothetical nature of scientific knowledge; (b) the conventional nature of its basic concepts. After several years of experimentation... (shrink)

El presente artículo correlaciona el temple de ánimo utilizado por Heidegger en su análisis ontológico en Ser y tiempo y en el curso sobre Los conceptos fundamentales de la metafísica y la caracterización de la temporariedad que surge de él. Nuestra hipótesis es que la diferencia de su caracterización se debe fundamentalmente a la desaparición en el curso de 1929-30 del comprender y del aislamiento al que conducía la angustia. Aunque el planteo temporal de este curso quede trunco, el (...) contraste con Ser y tiempo aporta elementos de valor para desentrañar la lógica interna de esta obra, así como también para poner de manifiesto de qué modo la caracterización que la analítica existencial hace del Dasein, incide en la caracterización del tiempo. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Possibility and Necessity in the Time of Peter Abelard by Irene BininiWolfgang LenzenIrene Binini. Possibility and Necessity in the Time of Peter Abelard. Investigating Medieval Philosophy Series. Leiden: Brill, 2021. Pp. xii + 326. Hardback, $166.00.This book is an impressive work written by a young Italian scholar who received her PhD only five years ago in Pisa. It is divided into three parts. Part 1 gives a survey (...) of "Early 12th-Century Debates on Modal Propositions"; part 2 is devoted to "Abelard's Modal Logic"; [End Page 327] part 3 deals with the views of "Abelard on the Metaphysics and Epistemology of Modalities." The author displays a profound knowledge of the relevant literature. The primary sources comprise twenty manuscripts preserved in various European libraries, plus forty-eight printed works (from Abelard to William of Sherwood). The list of secondary sources contains altogether 136 items from A (Astroh) to Z (Zagzebski), but, interestingly, it does not mention a monograph that, by its very title, claims to give an exposition of Abelard's logic, namely Maria Teresa Beonio-Brocchieri Fumagalli's La Logica di Abelardo (Firenze: La Nuova Italia, 1964).As far as I can judge (as a nonnative English-speaker), the linguistic quality of Binini's book is quite good. The explanations in the main text, including the translations from Latin sources, are easily comprehensible, and the many quotations (distributed over no less than 655 footnotes) are almost without any fault. Thus, the book rightly deserves inclusion in the prestigious series Investigating Medieval Philosophy. Yet, at least according to my taste, the book contains many redundancies. Again and again, the author first explains a certain issue at some length, then confirms the correctness of her interpretation by means of a longer (English) quotation, and finally reconfirms it by fully quoting the Latin text in the footnotes.As Binini explains in the book's concluding chapter, her aim is to present "an all-encompassing reflection on [Abelard's] works on modalities" and "a comparison between these works and the parallel reflections advanced by other masters and logicians in the early 12th century" (308). She undoubtedly achieves this goal. The comparison of Abelard's views on possibility and necessity with the views of other logicians is mainly carried out in chapters 1–3. Ancient and early medieval logicians such as, in particular, the Stoics and Boethius favored the basic idea that "something," p, is necessary if and only if p is always the case (or true). Accordingly, p is possible if and only if p is at least sometime the case. Abelard, however, was not willing to accept that each possibility has to become realized at some time. He instead offered a "nature-based characterization of possibility" that can "account for unrealized, past, counterfactual, and even unactualizable possibilities" (308). Abelard's idea is that something, x, is possibly a P if and only if the property of being P is compatible with the nature of x. Hence this view basically amounts to a de re conception of possibility that attributes modalities to things, while the temporal view attributes modal properties primarily to propositions (or states of affairs) and hence can be labeled de dicto (or de sensu).Let us now turn to Binini's twofold aim (as formulated on the back cover of her book) to present a "uniform and consistent" reassessment of Abelard's theory of modalities and of his modal logic. The former task is tackled in chapters 8–10. After summarizing, in chapter 8, Abelard's general views on "Nature and Modalities," chapter 9 is devoted to a detailed discussion of the "Many Senses of Possibility." In five consecutive sections, Binini investigates the conception of (1) possibility as "non-repugnancy with nature" (illustrated by the thesis that "any man can be a bishop" [235]); (2) unrealizable but "conceivable" possibilities (such as the existence of humans lacking the ability to laugh [240]); (3) determinate potencies (like that of an amputee who nevertheless "can walk" [248]); (4) past and counterfactual potencies (like that of a blind person who might be able to see); and (5) other puzzling de re possibilities (such as "irrational humans" [261]).The final... (shrink)

O presente artigo tem por finalidade ensaiar uma reflexão sobre a aporia imposta pela catástrofe. Para isso, inicialmente, apresenta-se alguns dados de catástrofes a serem tomadas como exemplares: a cheia no Vale do Taquari (RS) e a seca nos rios da bacia amazônica (AM). A seguir, busca-se pensar a questão da catástrofe desde seu índice temporal, e para isso, se recorrerá a duas propostas: de Jean-Pierre Dupuy e de Alain Brossat. Intentou-se outra alternativa, ainda que não exclusiva: a de (...) enfatizar a espacialidade da catástrofe, sem necessariamente perder de vista sua temporalidade, mas de algum modo subordinando-a àquela do espaço, do local da catástrofe, evidenciando como a catástrofe pode ser tomada como questão biopolítica. Por fim, apoiando-se nessa correlação espaço-temporal da catástrofe, e tomando por apoio o terremoto no Haiti em 2010, ensaia-se algum pensamento que busca realocar a relação entre local e global/universal e, assim, subvertendo a lógica biopolítica de sua governamentalidade. (shrink)

RESUMOBento Prado de Almeida Ferraz Neto, em seu livro de 2003, oferece uma análise detida do §67 das Observações Filosóficas de Wittgenstein e mostra como este parágrafo se encontra diretamente relacionado ao abandono do projeto de construção de uma linguagem fenomenológica, em 1929, por razões relacionadas ao tempo. O objetivo deste artigo é traçar paralelos entre a análise de Ferraz Neto do §67 e um argumento utilizado por Bertrand Russell em 1901, para mostrar a impossibilidade da construção de uma série (...) temporal a partir das qualidades (como prazer e dor). A importância do §67 reside no fato de ser o principal trecho no qual Wittgenstein expressa a impossibilidade temporal da linguagem fenomenológica. Ferraz Neto é o único comentador que de forma detida analisa este parágrafo e, a partir dele, oferece uma interpretação para a impossibilidade da linguagem fenomenológica. Meu objetivo principal é mostrar que a argumentação de Russell em 1901 antecipa alguns elementos presentes no §67, de acordo com a intepretação de Ferraz Neto. Isso nos permitirá um novo viés interpretativo para a afirmação de Wittgenstein de que o que compreendemos pela palavra “linguagem” flui no tempo homogêneo da física. Na perspectiva de Russell, essa afirmação equivaleria à constatação de que uma série temporal independente dasqualidades seria um requisito da forma lógica das proposições temporais. Isso, por sua vez, possibilitará conectar as análises fenomenológicas de Wittgenstein de 1929 com o debate acerca da contraposição entre as concepções relacional e absoluta da estrutura temporal da linguagem.Palavras-Chave: linguagem fenomenológica, tempo da memória, tempo físico, tempo relacional, tempo absoluto.ABSTRACTBento Prado de Almeida Ferraz Neto, in his book from 2003, offers a detailed analysis of the paragraph 67 from Wittgenstein’s Philosophical Remarks and shows how Wittgenstein’s abandonment of the phenomenal language project in 1929 is direct related to time. This paper aims to contrast his analysis of the paragraph 67 with anargument used by Bertrand Russell in 1901, used to demonstrate the impossibility of a temporal series constructed from the temporal relations of qualities (such as pleasure and pain). My main point is to show that Russell’s argument in 1901 anticipates some elements present in §67, according to Ferraz Neto’s interpretation. This allowsus a new perspective for Wittgenstein’s idea from 1929 that what we understand by the word “language” flows in the physical homogeneous time. In Russell’s perspective from 1901, this assertion would amount to the idea that a temporal series independent of qualities would be a requirement of the logical form of temporal propositions. This, in turn, would allow us to connect Wittgenstein’s phenomenological analyses from 1929 with the dispute between the relational and absolute concepts of the temporal structure of language.Keywords: phenomenological language, memory time, physical time, relational time, absolute time. (shrink)