En esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de Barcan.

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a (...) bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

info:eu-repo/semantics/publishedVersion.

Se ha destacado recientemente que la Fórmula de Barcan y la Conversa de la Fórmula de Barcan para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de y de orden superior parece implicar la existencia de universales trascendentes, esto es, universales que no requieren estar instanciados para existir en un mundo posible. Este trabajo discute esta línea de argumentación. En primer lugar, se sostiene que (...) la semántica en la que los resultados de validez se siguen no requiere que las ‘intensiones’ asignadas a las variables de orden superior estén instanciadas en un mundo posible para que la intensión exista ahí. El defensor de universales inmanentes objetaría esta suposición. En una semántica modificada, más neutral, y de orden superior ya no son válidas. En segundo lugar, se sostiene que, incluso si se concediese la validez de y de orden superior, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y diferentes teorías de tropos no tendrían dificultades en aceptar y de orden superior. (shrink)

En este artículo, presentamos un sistema de lógica modal que permite representar relaciones entre conjuntos o clases de individuos definidos por una propiedad específica. Introducimos dos operadores modales, [a] y, que se utilizan respectivamente para expresar "para todo A" y "existe un A". Tanto la sintaxis como la semántica del sistema tienen dos niveles que evitan el anidamiento del operador modal. La semántica se basa en una variante de la semántica de Kripke, en donde los operadores modales se indexan sobre (...) fórmulas de lógica proposicional (“pre-fórmulas” en el trabajo). Además, presentamos un conjunto de axiomas y reglas que rigen el sistema, y demostramos que el sistema es correcto y completo con relación a los modelos de Kripke. En la sección final del artículo, discutimos posibles trabajos futuros. Consideramos la posibilidad de combinar nuestro operador modal con otras modalidades, como necesidad o conocimiento. Además, como ejemplo de la utilidad de nuestro operador modal, analizamos brevemente la fórmula de Barcan adaptada de manera conveniente dentro del marco de nuestro sistema. En resumen, proponemos la combinación de nuestro operador modal con otros como una forma más simple y compacta, aunque con un menor poder expresivo, para abordar la lógica modal cuantificada. (shrink)

Tanto la Fórmula Barcan como la postulación de possibilia contradicen los juicios intuitivos preteóricos de la mayoría de los sujetos, favorables al actualismo sobre la naturaleza de los mundos posibles. En este artículo discuto y rechazo dos argumentos que pretenderían contrarrestar tales juicios, y que conciben erróneamente la relación entre la semántica de mundos posibles y nuestros lenguajes naturales modales. El argumento más importante asume que el dominio de todas las entidades es idéntico al dominio de @. Desarrollo (...) una interpretación de la SMP conforme a la cual esa tesis no está suficientemente justificada. /// Barcan Formula and the postulation of possibilia contradict the pretheoretical intuitive judgments of most people, which favour actualism about possible worlds. In this paper I discuss and reject two arguments against such judgments, both of which conceive wrongly the relation between possible worlds semantics and modal natural languages. The more important argument assumes that the domain of the actual world is identical to the domain of @. I develop an interpretation of PWS which elucidates why that thesis is unwarranted. (shrink)

Este artigo empreende uma discussão acerca da noção de fórmula discursiva nos trabalhos de Krieg-Planque e de um possível diálogo com o trabalho desenvolvido por Foucault, sobretudo, a partir do modo como o filósofo percebe o discurso, uma vez que ambos pertencem a uma tradição epistemológica francesa. Dessa forma, vamos adentrar pelo percurso de lapidação da noção de fórmula, tomando, para isso, a entrevista que Krieg-Planque concedeu a Philippe Schepens do Laboratoire de Sémio-linguistique, didatique e informatique (LASELDI) e (...) do livro A noção de fórmula em análise do discurso: quadro teórico e metodológico, trabalhos que representam para nós brasileiros uma espécie de introdução à discussão sobre a noção de fórmula proposta por Krieg-Planque no campo da Escola Francesa de Análise do Discurso (AD). Nessa discussão, vamos perceber que toda fórmula discursiva traz consigo uma densidade histórica apoiada em pré-construídos que estão voltados para as novas construções, tal qual propunha Foucault acerca das práticas e das materialidades discursivas em sua arqueologia do saber e em sua genealogia do poder. (shrink)

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. (...) Everyone also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

En los debates recientes sobre la fórmula de la humanidad del imperativo categórico se intenta comprender los insumos conceptuales de dicha fórmula a partir de obras kantianas que no son propiamente la Fundamentación de la metafísica de las costumbres. Este proceder se ampara en la falsa suposición de que en la GMS no hay un significado claro o concreto de lo que encarnarían términos como humanidad (Mensch) o fin en sí mismo (Zweck an sich selbst). En virtud de (...) lo anterior, en este artículo buscaré analizar acuciosa y detalladamente qué es lo que tiene que decir Kant concretamente en GMS AA IV 42719-42833, puesto que ahí sí hay una argumentación que se construye progresivamente desde la noción de fin hasta la equivalencia de la naturaleza racional como fin en sí mismo, lo cual considero que es central para una comprensión adecuada de la fórmula de la humanidad presentada posteriormente. (shrink)

Resumen En este trabajo se analizan 19 fórmulas rutinarias del español peninsular que comparten un mismo esquema sintáctico (Vete a+sintagma nominal o Vete a+sintagma verbal) y que se describen en los diccionarios como expresiones “de rechazo” hacia el interlocutor. Con base en las clasificaciones existentes, estas expresiones podrían considerarse fórmulas “subjetivas”, “afectivas” o “expresivas actitudinales”, ya que sirven para mostrar la actitud y las emociones del hablante. Sin embargo, conceptos complejos como “expresión afectiva”, “actitudinal” o “de rechazo” no resultan muy (...) esclarecedores a la hora de explicar el significado de este tipo de expresiones a hablantes de otras lenguas o de otras variedades del español. Por otro lado, dado que el español peninsular cuenta con al menos 19 expresiones de este tipo, es razonable pensar que entre ellas puedan existir algunas diferencias de significado. El presente estudio pretende dar respuesta a estas dos cuestiones mediante la aplicación de la Metalengua Semántica Natural (NSM) al análisis semántico-pragmático de estas unidades. Este trabajo ofrece un primer acercamiento a este tipo de expresiones mediante la elaboración de explicaciones semántico-pragmáticas para los diferentes grupos de fórmulas que, con base en los ejemplos encontrados, se han establecido en el estudio. (shrink)

Summary In this paper some claims of Professor Ricoeur are challenged. It is pointed out on historical grounds that counter to Professor Ricoeur's claim, most past philosophies are displaced, or ignored. The surviving canon is small and very selective. There is, therefore, substantial agreement on the large corpus which is rejected. It is also argued that Professor Ricoeur's contrast between philosophy and the sciences is too sharp since in the history of modern sciences there are always conflicting theories existing in (...) parallel. However, it is the case that in philosophy standards of “acceptability” are looser and not the rigorous ones of science. A philosophical theory may be appreciated for the problems it discloses, the richness and subtlety of its arguments, its strategies and the like despite acknowledged failings. Appreciation of incompatible theories is not irrational. The claim is rejected that the seeming irrationality is resolved by viewing each system as wholly autonomous. The apparent restriction of philosophy by Professor Ricoeur to global systems is also questioned.RésuméL'auteur conteste quelques affirmations du prof. Ricoeur. Elle montre, sur des bases historiques, que beaucoup de philosophies passées sont écartées ou ignorées. Le canon retenu est petit et très sélectif. Il y a donc un accord substantiel quant au vaste corpus qui est rejeté. Elle montre aussi que le contraste que le professeur Ricoeur établit entre philosophie et sciences est trop abrupt, puisqu'il y a toujours eu, dans l'histoire de la science moderne, des théories opposées qui coexistaient. Toutefois, il est vrai qu'en philosophie, les standards d' »acceptabilité« sont plus lǎches et diffèrent de ceux, plus rigoureux, de la science. Une philosophie peut ětre appréciée pour les problèmes qu'elle pose, pour la richesse et la subtilité de ses arguments, ses stratégies ou d'autres choses semblables et ceci en dépit de ses insuffisances notoires. Il n'est pas irrationnel d'apprécier des théories incompatibles. Elle rejette la thèse selon laquelle le fait de considérer chaque système comme totalement autonome supprime l'irrationalité. Elle conteste enfin la restriction — apparemment faite par le professeur Ricoeur — de la philosophie à des systèmes globaux.ZusammenfassungEs werden einige Behauptungen von Professor Ricoeur in Frage gestellt. Es wird gezeigt, dass aus historischen Gründen entgegen Ricoeurs Behauptung die meisten vergangenen Philosophien tatsächlich verdrängt oder ignoriert werden. Der überlebende Kanon ist gering und selektiv. Deshalb gibt es eine wichtige Übereinstimmung hinsichtlich des grossen Korpus', der verworfen wird. Es wird argumentiert, dass Ricoeur den Kontrast zwischen der Philosophie und den Wissenschaften zu extrem sieht, da in der Geschichte der modernen Wissenschaften immer rivalisierende Theorien nebeneinander existiert haben. Es stimmt allerdings, dass die Massstäbe für Akzeptierbarkeit in der Philosophie lockerer sind als die strengen der Wisschenschaft. Eine philosophische Theorie mag wegen der Probleme, die sie entwickelt, wegen des Reichtums und der Subtilität ihrer Argumente, ihrer Strategien etc. gewürdigt werden, obschon sie anerkanntermassen versagt hat. Die Würdigung unvereinbarer Theorien ist nicht irrational. Die scheinbare Irrationalität kann nicht dadurch aufgelöst werden, dass jedes System als völlig autonom betrachtet wird. Es wird ebenfalls Ricoeurs Einschränkung der Philosophie auf globale Systeme in Frage gestellt. (shrink)

Four questions are raised about the semantics of Quantified Modal Logic. Does QML admit possible objects, i.e. possibilia? Is it plausible to admit them? Can sense be made of such objects? Is QML committed to the existence of possibilia? The conclusions are that QML, generalized as in Kripke, would seem to accommodate possibilia, but they are rejected on philosophical and semantical grounds. Things must be encounterable, directly nameable and a part of the actual order before they may plausibly enter into (...) the identity relation. QML is not committed to possibilia in that the range of variables may be restricted to actual objects. Support of the conclusions requires some discussion of substitution puzzles; also, the semantical distinction between proper names which are directly referring, and descriptions even where the latter are "rigid designators". Views of W.V. Quine, B. Russell, K. Donnellan, D. Kaplan as well as S. Kripke are invoked or evaluated in conjunction with these issues. (shrink)

E n est e a r tícul o e l auto r s e pr e gunt a s i l a teorí a socia l de l derech o pued e apo r tar un a contribució n especí f ic a a u n concept o d e justici a via b l e h o y e n día , frent e a l o que sobr e ell a pued e deci r l a f ilosofí (...) a moral , polític a y jurídica . E n s u opinión , lo s conceptos d e autopoiesi s y deconst r ucció n (Luhman n y De r rida ) tiene n e l potencia l su f icient e para act iv a r ta l contribució n e n do s direccione s diferentes : reconst r ucció n d e un a geneal o gía d e l a justici a y obse r v ació n d e la s paradoja s decisionale s de l derech o mode r no . E l planteamient o genealógic o intent a descubri r la s con e xione s oculta s entr e l a semántic a d e la justici a y l a est r uctur a socia l (l o cual , po r otr o lado , pued e desemboca r e n l a refo r mulació n d e u n concept o plausi b l e d e justici a e n la s condicione s actuales) . U n procedimiento deconst r uct ivo pe r mite , a s u v ez , obse r v a r e l hiat o e xistent e entr e la s est r uctura s jurídicas y la s decisiones , u n hiat o qu e pr o v oc a impo r tante s paradoja s e n lo s proceso s d e tom a de decisione s jurídicas . Mediant e ta l obse r v ació n e s posi b l e alcanza r un a comprensió n más profund a d e l a justicia , qu e e l auto r inte r preta , e n últim a instancia , com o u n proces o de autodescripció n de l derech o qu e soc a va e l carácte r recurs ivo d e la s operacione s jurídicas y qu e fuerz a a l derech o a s u autotrascendencia , per o qu e s e sabote a a s í mism o po r qu e en s u realizació n cre a siempr e un a nu eva injusticia : un a e xperienci a cuy a elaboració n literaria anticip ó Heinric h v o n Kleis t e n s u n o v el a Mi c hae l K ohlhaas. (shrink)

Four questions are raised about the semantics of Quantified Modal Logic. Does QML admit possible objects, i.e. possibilia? Is it plausible to admit them? Can sense be made of such objects? Is QML committed to the existence of possibilia?The conclusions are that QML, generalized as in Kripke, would seem to accommodate possibilia, but they are rejected on philosophical and semantical grounds. Things must be encounterable, directly nameable and a part of the actual order before they may plausibly enter into the (...) identity relation. QML is not committed to possibiha in that the range of variables may be restricted to actual objects.Support of the conclusions requires some discussion of substitution puzzles; also, the semantical distinction between proper names which are directly referring, and descriptions even where the latter are "rigid designators".Views of W.V. Quine, B. Russell, K. Donnellan, D. Kaplan as well as S. Kripke are invoked or evaluated in conjunction with these issues. (shrink)

En nuestros días las teorías cosmopolitas han experimentado una revitalización significativa al albur de la intensificación de las relaciones humanas que ha propiciado el fenómeno de la globalización. En las últimas décadas, particularmente desde la caída del Muro de Berlín, se ha registrado un florecimiento de las tesis cosmopolitas que aspiran a ofrecer un modelo teórico desde el que comprender y transformar la realidad en esta era de apertura y de creciente interdependencia que inaugura la globalización. En este trabajo realizamos (...) una aproximación histórica y conceptual al cosmopolitismo, abundando en las causas de su actual auge y, tras analizar los elementos que conforman el fenómeno de la globalización, que determina un tránsito desde la primera a la segunda modernidad, se formula una propuesta humanista e ilustrada de un _cosmopolitismo gradual_, una concepción realista cosmopolita que permita trascender la estatalidad mediante la implementación de formas de gobernanza multinivel. (shrink)

Even today there persist perceptions of the thought of António Sérgio (1883 – 1969) that confine this prominent philosopher, journalist, sociologist and essayist within rather narrow bounds of strictly classicist framing − in other words, immune to the influences of ‘sensibility’. The present study, however, endeavours to suggest that this is no more than a limited glimpse, a glimpse that in fact ignores the intricacy of a Sérgian manner of perceiving. What one confronts here is a cultural myth that calls (...) for being deconstructed in order to demonstrate the substance of Sérgio’s humanist discourse. The study leverages, to this effect, both the philosophy of Jean- Jacques Rousseau (1712 – 1778) and the novel "A Cidade e as Serras" by Eça de Queiroz (1845 –1900). (shrink)

Trata-se de texto dedicado à aplicação da interpretação diagramática de eventos da realidade tangível no modus apregoado por Charles Sanders Peirce no reino do direito tributário, utilizando-se como ferramental epistemológico para tal desiderato a fórmula de lógica simbólica criada por Paulo de Barros Carvalho chamada “regra-matriz de incidência tributária.

Under [Formula: see text]-amalgamation, we obtain the canonical hyperdefinable group from the group configuration.

Na gruncie myśli współczesnej próbowano określić pojęcie wynikania logicznie poprawnego. Odsyła to do pojęcia form (logicznych) wypowiedzi logicznie prawdziwych, a więc do formuł tautologicznych. W dyskusji na ten temat jedno ze stanowisk ma charakter syntaktyczny i zewnętrzny (Frege, Russell), inna ma charakter semantyczny i wewnętrzny. Formuła tautologiczna to z definicji formuła prawdziwa dla wszystkich interpretacji liter schematycznych. Jak rozumieć pojęcie "wszystkie interpretacje”? Istnieje w tym względzie kilka propozycji; jedna z nich pochodzi od Tarskiego, inna od Hilberta i Ackermanna. Pokazując, dlaczego (...) te definicje są niewystarczające, autor traktuje problem jako otwarty. (shrink)

Segundo alguns intérpretes, Porfírio, no início de sua Isagoge, formula um problema que, “graças à Boécio, se tornará o principal problema lógico e metafísico da Idade Média ocidental”: a querela dos universais. Aqui pretendemos mostrar o quanto essas narrativas podem se afastar da compreensão que o próprio Boécio teve dos problemas propostos por Porfírio. Abstract:According to some interpreters, Porphyry introduces a dispute at the beginning of his Isagoge that, “thanks to Boethius, will become the main logical and metaphysical problem of (...) Western Middle Ages”: The Problem of Universals. This article aims to show what could be the distance from their views and Boethius’s own perspective on Porphyry’s arguments. (shrink)

This paper presents structural similarities and historical connections between Prior’s rejection of the Barcan formula and his critique of Berkeley’s master argument for idealism in his 1955 paper “Berkeley in Logical Form”. Making use of Mackie’s paper “Self-Refutation—A Formal Analysis”, it concludes with some suggestions concerning what is at stake in the debate between Prior and Berkeley and in structurally similar debates such as whether to accept the Barcan formula.

We present in this note a plea for Barcan formula. This view connects Barcan formula with a modal principle that expresses the -Introduction rule of first-order logic.

The act of understanding is at the heart of all scientific activity; without it any ostensibly scientific activity is as sterile as that of a high school student substituting numbers into a formula. Ordinary language often uses visual metaphors in connection with understanding. When we finally understand what someone is trying to point out to us, we exclaim: “I see!” When someone really understands a subject matter, we say that she has “insight”. There appears to be a link between visualization (...) and understanding, and between visualizability and intelligibility. This applies in science no less than in daily life: visualization is regarded as a useful means of achieving scientific understanding, even in the .. (shrink)

Este artigo é um trabalho de enquadramento conceitual, que suporta pesquisas etnográficas que enfocam a presença e a dinâmica religiosa do protestantismo-pentecostalismo na Amazônia. A hipótese que estofa epistemologicamente este texto - e os projetos antropológicos já em andamento e futuros - formula a ideia de que o aspecto étnico-cultural “caboclo”, como ‘tipo ideal’, é um factor crucial nas dinâmicas evangélicas nesta região. Esta construção conceptual está presente, entre outros, em teóricos como Eduardo Galvão, Heraldo Maués, Angélica Mota Maués e (...) João de Paes Loureiro – estudiosos da cultura amazônica. O objetivo é estudar as dinâmicas históricas e registrar, etnograficamente, as manifestações de movimentos missionários, de igrejas pentecostais e também de grupos menos institucionalizados, materializadas no forte processo de conversão e evangelização de comunidades tradicionais. O foco é analisar o impacto destas expressões religiosas em diversos tipos de grupos socioculturais amazónicos e de que forma estas comunidades, agora convertidas, ressignificam, criam e desenvolvem novas expressões do sagrado, formando o que estamos a denominar de ‘pentecostalismo caboclo’. (shrink)

Resumo No Manifesto surrealista, de 1924, Breton explicita o produto da atividade surrealista como uma “luz de imagem”, gerado pela aproximação involuntária de duas realidades distantes. Essa estrutura dupla da imagem surrealista tem um caráter disruptivo, que rompe com a nossa percepção da realidade cotidiana. Com isso, abre-se a possibilidade de um espaço para a crítica social e histórica, bem como para uma intervenção estético-política justamente em uma sociedade na qual as formas tradicionais de crítica parecem estar neutralizadas. Essa experiência (...) surrealista e esse espaço aberto por ela Walter Benjamin caracteriza respectivamente com a fórmula “iluminação profana” e “espaço de imagem”. Ambos apresentam uma grande semelhança com alguns pontos e consequências, em seus conceitos, tanto de “imagem do pensamento”, como de “imagem dialética”, sobretudo na medida em que esses conceitos também são formulados em meio à crise cultural da sociedade europeia, nos 1920, e buscam uma saída revolucionária para a mesma. Trata-se de investigar aqui, por meio de uma análise comparativa dessas concepções de imagem, até onde vai a influência e a relevância do surrealismo para o pensamento figurativo-dialético de Benjamin e para sua compreensão da história.In the Surrealistic manifest from 1924, Andre Breton explains the product of surrealistic action as a “light of image” resulting from an arbitrary approach of two distant realities. This double structure of surrealistic image has a disrupting character that breaks our common perception of reality. Thus can open a space for social and historical criticism as well as for an aesthetical-political intervention in a society where traditional forms of criticism seem to be neutralized. Walter Benjamin defines this surrealistic experience and its opened space respectively with the expressions “profane illumination” and “image space”. Both have similarities with Benjamin’s ideas of “thought image” and “dialectical image”, especially because they were elaborated amidst the cultural european crisis in the 1920ies looking to find a revolutionary way out of it. Through a comparative analysis of these notions of image, this paper proposes to investigate the influence and the relevance of surrealism for Benjamin’s dialectical-figural way of thinking and his comprehension of history. (shrink)

The paper criticizes the truthmaker principle that every truth is made true by something. If we interpret ‘something’ as quantifying into sentence position, we can interpret the principle as a harmless logical truth, but that is not what advocates of the principle intend. They interpret ‘something’ as quantifying into name position, and the principle as requiring the existence of truthmaking individuals. The paper argues that we have no reason to believe the principle on this interpretation. Moreover, the converse Barcan (...) formula is inconsistent with the existence of truthmaking individuals for contingent truths. Considerations about our ability to count possible truthmaking individuals are used to argue that we should prefer the converse Barcan formula. (shrink)

O objetivo deste artigo é discutir a maneira como Nietzsche coloca a questão do niilismo em seus textos preparados para publicação, sobretudo em alguns daqueles que se concentram entre 1886 e 1888. Neste momento mais tardio de sua obra, o autor formula suas hipóteses genealógicas acerca dos valores morais, e evidencia o vínculo existente entre a moralidade de origem socrático-platônica e os valores cristãos que marcam fortemente a cultura ocidental. A modernidade, ao atualizar e oferecer novas roupagens às formas de (...) detração da vida engendradas pelos ideais ascéticos, é qualificada por Nietzsche como niilista por excelência. Pretende-se discutir em que medida, ao analisar o niilismo como fator determinante para se caracterizar a própria modernidade, e ao indicar com sua genealogia que todas as grandes coisas pereceriam por si mesmas, segundo a lei de uma “necessária ‘autossuperação’”, Nietzsche abre a possibilidade de se pensar a arte e a sua gaia ciência como potentes forças contrárias ao niilismo e aos ideais ascéticos. A arte, sendo o lugar do culto ao não-verdadeiro e instância plenamente afinada ao próprio movimento de criação e destruição de formas que compõe a vida, seria o vetor central através do qual a gaia ciência nietzschiana poderia contribuir para a efetivação de uma transvaloração dos valores. (shrink)

"œLuis Villoro y el canon cartesiano de la evidencia"La lectura ortodoxa o canónica de los textos filosóficos cartesianos supone que el clásico cree haber hallado fundamentos intrí­nsecamente evidentes e irrebatibles para normar según ellos las pretensiones de conocimiento. Esta serí­a la única manera de resistirse al escepticismo extremo. El libro de Villoro sobre Descartes investiga cómo podrí­an satisfacerse rigurosamente estos postulados y formula una propuesta sustantiva que parece expresarse en ciertas teorí­as cartesianas. Sin embargo, éstas deben separarse de otras muchas (...) doctrinas dogmáticas presentes en el corpus, que Villoro señala y rechaza. En el trabajo se examina y desecha la pretensión de validez de la teorí­a que propugna Villoro, y apoyándose en su aguda crí­tica a Descartes, se argumenta en contra de la interpretación canónica en su conjunto."œLuis Villoro and the cartesian canon of evidence"Orthodox or canonical understanding of cartesian philosophy supposes that, as the only way to resist extreme scepticism, Descartes advocates for intrinsically indubitable grounds for knowledge claims. In his book on Descartes, Luis Villoro investigates how these desiderata could possibly be satisfied in a rigorous way. He concludes with a substantive proposal, which according to himself, is plausibly expressed by some of Descartes"™ theories. These must be strictly separated from other, merely dogmatic doctrines present in the corpus. In this essay, I first subject to scrutiny the validity claim of the theory advocated by Villoro, and in a 2nd. section, starting from Villoro"™s analysis, argue in general against the canonical understanding of Descartes. (shrink)

RESUMO: O artigo examina a apropriação heideggeriana de Bernardo de Claraval na nota "Zu den Sermones Bernardi in Canticum canticorum ",que faz parte de outras notas e esboços de uma Vorlesung não proferida, intitulada "Os fundamentos filosóficos da mística medieval ". Ao longo de minha análise, destaco três aspectos com base na fórmula inicial: "Hoje lemos no livro da experiência" -, que é parafraseada por Heidegger da seguinte maneira: "Hoje queremos mover-nos no campo da experiência pessoal de maneira compreensiva. (...) Retorno à esfera da vivência própria e ausculta da revelação da própria consciência". Portanto, primeiramente, enfatizo a fórmula inicial como campo experiencial que o livro faz abrir: ler não é mais decifrar, mas mover-se a si mesmo, recolher, até mesmo ser afetado. Em segundo lugar, a partir da apropriação da cristologia de Bernardo de Claraval, mostro como Heidegger aponta para uma "experiência fundamental", no sentido de que, mesmo considerando que a experiência religiosa do místico cisterciense esteja centrada na figura de Cristo celebrado na liturgia monástica, a religiosidade cristã descortinada é uma vida fundamentalmente mais intensa e mais rica em vivências e em fenômenos vividos. Por fim, em terceiro lugar, destaco certa "inviolabilidade" da experiência religiosa em Bernardo de Claraval,concernente à autonomia e independência absolutas, de modo que nenhuma autoridade exterior, nem mesmo a eclesiástica, poderá determinar o sentido fundamentado em corpo doutrinal estranho às vivências mesmas. Para iluminar as notas da Vorlesung cancelada, as minhas análises recorrem às outras preleções de Heidegger ministradas na Universidade de Freiburg. ABSTRACT: This article examines Heidegger's appropriation of ideas of Bernard of Clairvaux in the note "Zu den Sermons Bernardi in Canticum Canticorum ", which is part of other notes and sketches in a never presented Vorlesung entitled "Philosophical foundations of medieval mysticism ". Throughout my analysis I highlight three points, based on the initial formula "Today we read in the book of experience". This formula is paraphrased by Heidegger as follows: "Today we want to move ourselves in the field of personal experience in a comprehensive way, return to the sphere of living itself and perceive the revelation of conscience itself." Therefore, first I emphasize the initial formula as an experiential field that the book opens: to read is no longer to decipher, but moving oneself, collecting, and even being affected. Second, based on the appropriation of the Christology of Bernard of Clairvaux, I show how Heidegger points to a "fundamental experience" in the sense that, even considering that the religious experience of the Cistercian mystic is centered on the figure of Christ celebrated in the monastic liturgy, the unveiled Christian religion is a life that is fundamentally more intense and richer in living experiences and lived phenomena. Finally, and in third place, I highlight a certain "inviolability" of religious experience in Bernard of Clairvaux in the sense of absolute autonomy and independence, so that no external authority, not even ecclesiastic authority, can determine meaning based on a body of doctrine foreign to lived experience. To illuminate the notes on the cancelled Vorlesung, my analysis turns to other lectures Heidegger gave at the University of Freiburg. (shrink)

ResumoEsse artigo propõe um contraponto entre a teoria mimética de René Girard, as considerações freudianas sobre sujeito e a obra de Oswald de Andrade. O sujeito mimético coincide com o sujeito antropofágico oswaldiano, pois idêntica divisa poderia defini-los, transformando o alheio em próprio, e transformá-lo a tal ponto que as fronteiras entre o eu e o outro se confundem. Cada um a seu modo, Oswald de Andrade e René Girard assimilaram criativamente a lição freudiana, especialmente a leitura de Totem e (...) Tabu (1913). O pensador e poeta brasileiro inverteu os termos da equação, descobrindo “a transformação permanente do Tabu em totem”.Palavras-chave: Teoria Mimética Girardiana. Sujeito Mimético. Antropofagia em Oswald de Andrade. Totem e Tabu. AbstractThis article proposes a comparison among René Girard’s mimetic theory, Freudian assumptions on the self and Oswald de Andrade’s work. The mimetic self coincides with the Oswaldian anthropophagic subject, since the identical division could define them, transforming the other in the self, and transform it in such a way that the limits between the self and the other can be confused. Each one in his own way, Oswald de Andrade and René Girard assimilated creatively Freud’s lesson, especially the reading of Totem and Taboo (1913). The thinker and Brazilian poet inverted the terms in the formula, descovering ‘the permanent transformation of the Taboo in totem.’Keywords: Girardian Mimetic Theory. Mimetic Self. Anthropophagy in Oswald de Andrade. Totem and Taboo. (shrink)

In ways accentuated by the global coronavirus pandemic, corporations constitute vital instruments of the acts of beneficence needed by the people of the world to make progress in public health and increase collective and individual well-being. This article contributes to understanding the variety of moral forces that may lead corporations to commit acts of beneficence, including Friedman’s business case for corporate beneficence, the duty of beneficence as developed by business ethicists, and Dunfee’s social contract account of corporate obligation. Whereas Mejia (...) recently contributed to scholarship on corporate beneficence by expressly adopting shareholder primacy’s conception of corporate governance, this article embraces a stakeholder-oriented, managerialist picture of corporate governance. I extend the literature on beneficence by incorporating what I argue is the intuition underlying Dunfee’s contractualist formula of minimal contribution, namely that management’s duty to do good is awakened and unshackled to the extent management judges the corporation can afford to commit acts of beneficence, all stakeholders considered. The all-stakeholders-considered case for corporate beneficence compels management to act, I argue, when inaction would undermine the moral integrity of managers personally committed to promoting the well-being of humanity. (shrink)

O objetivo deste artigo é demonstrar, a partir do pensamento de Marx, como o lucro comercial e a renda fundiária – dois componentes do mais-valor que, juntamente com o salário, correspondem aos rendimentos da fórmula trinitária – pressupõem a exploração do trabalho ou o intercâmbio desigual que mantém o processo de acumulação capitalista. As remunerações do comerciante e do proprietário fundiário, muito embora apareçam na superfície da economia moderna dissociadas do seu fundamento real, como se fossem autônomas e sem (...) qualquer nexo com a espoliação que garante a autovalorização do capital, representam apenas quotas do trabalho excedente obtido na esfera da produção. (shrink)

Every reader of Ricoeur knows that hermeneutics endeavors to answer the aporiae of historical phenomenology. Hence arises the need to return to those aporiae and those answers. On the one hand, phenomenology, born with the maxim of going “directly to things themselves,” is confronted with the incessant evasion of the thing itself and with its dreams of presence being thereby shattered. This reversal should not be blamed on the failings of this or that thinker, but attributed to the very destiny (...) of phenomenology itself. On the other hand, Ricoeurian hermeneutics takes note of a gap, and of a necessary return. Thus, there is nothing for thought itself to grieve over with respect to this enterprise. However, while the phenomenology of Merleau-Ponty, faced with the same difficulties, orients itself towards political philosophy, the hermeneutics of Ricoeur rather seeks to lead us to a philosophy of religion. This article hypothesizes that, in spite of the formula of a “philosophy without an absolute,” the thought of Ricoeur heads in fair measure towards the Absolute, and that ontology is not the only name of the Promised Land. (shrink)

This article explores the case of informal car parkers in Mexico City, to whom drivers regularly entrust the keys to their vehicles. In contrast to literature on social trust that expects institutional trust and interpersonal trust to support one another, the article shows that interpersonal trust improbably arises in the context of corrupt and inefficient institutions. Coercive and market dynamics undergird the interactions among car parkers, police officers, and drivers, making possible the emergence of an informal market and noncontractual agreements. (...) The exchange between car parkers and drivers depends on the performance of class—a performance that becomes legible and formulaic enough to appear safe, precisely because it coalesces classist tropes that are clearly distinct and recognizable. Interpersonal trust becomes possible not only despite class cleavages and institutional shortcomings but, paradoxically, because of them. (shrink)

It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal logic is one that validates both the Barcan Formula and its converse. This requires that domains be fixed across all possible worlds. All objects exist necessarily; some – those we would usually consider contingent – are concrete at some worlds and non-concrete (but still existent) at others. Linsky and Zalta refer to such objects as ‘contingently non-concrete’. I defend the (...) standard usage of the word ‘exists’, and the view that many objects exist only contingently. I argue that the Linsky/Zalta analysis, and to a lesser extent Williamson’s, suffers not only from a peculiar ontology but also from two related formal difficulties. Their analysis gives either counter-intuitive or ad hoc results about essences, and it fails to accommodate contingently existing abstracta. (shrink)

A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can again be raised. It is not hard to prove that if a predicate modal logic is complete then it is characterized by the class of all frames for the propositional logic on which it is based. Nor is it hard to prove that if a propositional modal (...) logic is incomplete then so is the predicate logic based on it. But the interesting question is whether a complete propositional modal logic can have an incomplete extension. In 1967 Kripke announced the incompleteness of a predicate extension of S4. The purpose of the present article is to present several such systems. In the first group it is the systems with the Barcan Formula which are incomplete, while those without are complete. In the second group it is those without the Barcan formula which are incomplete, while those with the Barcan Formula are complete. But all these are based on propositional systems which are characterized by frames satisfying in each case a single first-order sentence. (shrink)

On its usual interpretation, the Barcan Formula—◊∃xBx → ∃x◊Bx—says that, if there could have been something that is such and such a way, then there is something that could have been that way. It is traditionally held that contingentist actualists should—indeed, must—reject the Barcan Formula. I argue that contingentist actualists should—indeed, must—endorse the Barcan Formula, at least assuming a standard, Tarskian conception of truth and truth preservation. I end by proposing a logic for contingentist actualists that validates (...) the Barcan Formula. This logic has the surprising feature of also validating the Converse Barcan Formula, □∀xBx → ∀x□Bx, while still invalidating related formulas—such as □∀x□∃y x=y (NNE)—that contingentist actualists should reject. It does this by employing models with fixed domains but assignments to the identity predicate that vary across worlds. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...) these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

Counting models for a two conjunctive formula $F$, a problem known as $\sharp $2Sat, is a classic $\sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $\sharp $2Sat can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $\sharp $2Sat in incremental way. Let $T$ be (...) a cactus graph of $G$ containing a maximal number of independent cycles, and let $\overline{T}=-E)$ be a subset of frond edges from $G$. The clauses in $\overline{T}$ are ordered in connected components $\{K_1, \ldots, K_r\}$. Each $, i=1,\ldots,r$ is a knot of the graph. The arrangement of the clauses of $\overline{T}$ allows the decomposition of $G$ in knots and provides a way of computing $\sharp $2Sat in an incremental way. Our procedure has a bottom-up orientation for the computation of $\sharp $2Sat. It begins with $F_0 = T$. In each iteration of the procedure, a new clause $C_i \in \overline{T}$ is considered in order to form $F_i = $ and then to compute $\sharp $2Sat$$ based on the computation of $\sharp $2Sat$$. (shrink)

A Fórmula Porchat — ou seja, a intuição de um conflito das filosofias de caráter indecidível – possui papel tanto propedêutico quanto compulsório para um tratamento não dogmático da história dos sistemas filosóficos. Ao mesmo tempo em que reconhece tal papel, o presente artigo pretende indicar o caráter problemático da correspondência entre “conflito das filosofias” e “indecidibilidade filosófica”. Para tal, sustenta que o sentimento de indecidibilidade filosófica tem como referência impensada uma nostalgia da decidibilidade. O artigo sugere, ainda, o (...) abandono do tema da indecidibilidade, como um falso problema filosófico, e sustenta a necessidade de considerar os efeitos da prática filosófica sobre a configuração da vida comum e de tomar tais efeitos como formas de decidibilidade. Para tal é necessário considerar a atividade filosófica como inscrita no campo maior da manufatura da experiência humana. (shrink)