Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and classical (...) negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

Resumo: Este artigo mostra a abordagem hermenêutica realizada por Martin Heidegger dos conceitos de natureza e vida a partir da ontologia fundamental. Em Ser e Tempo, Heidegger elabora as condições hermenêuticas para que se possa apreender ontologicamente a vida através do que ele chama de interpretação privativa da vida. O desenvolvimento sistemático do sentido de ser da vida é apresentado por Heidegger na preleção Os conceitos fundamentais da metafísica : mundo, finitude, solidão, de 1929/1930. Nela, para apresentar o fenômeno da (...) vida, Heidegger parte da tese central de que todo vivente é organismo, de modo a desenvolver uma investigação ontológica em conjunto com pesquisas biológicas e zoológicas. Por conseguinte, após a explicitação dos modos de encontro com a natureza, será evidenciado como a natureza em sentido originário mostra-se a partir de um retraimento na abertura de mundo do ser-aí em sua relação com os organismos vivos. Palavras-chave: Heidegger; ontologia; hermenêutica da natureza; vida; mundo.: This article shows the hermeneutical approach performed by Martin Heidegger to the concepts of nature and life from the fundamental ontology. In Being and Time, Heidegger elaborates the hermeneutical conditions so that we can apprehend ontologically life through what he calls the private interpretation of life. The systematic development of the sense of being of life is presented by Heidegger in the lecture course The Fundamental Concepts of Metaphysics: World, Finitude, Solitude, of 1929/1930. In this lecture, to present the phenomenon of life Heidegger uses the central thesis that every living being is organism in order to develop an ontological investigation in conjunction with biological and zoological research. Therefore, after the explanation of the ways of meeting with nature, will be shown as nature in the original sense shows itself from a withdrawal in the world opening of the being-there in its relationship with living organisms. Keywords: Heidegger; ontology; hermeneutic of nature; life; world. (shrink)

La tesis central del presente texto es que la emergencia del nuevo paradigma de los movimientos sociales es verificada por la fuerza creciente de la idea de red social al interior de las ciencias sociales. Sin embargo, entendemos que el reconocimiento más amplio de este nuevo paradigma es impedido p..

In this paper we examine the idea of beatitudo in Duns Scotus. We begin with the Quaestiones super libros metaphysicorum, where the Doctor Subtilis presents a conception of the act of intellective knowledge through the natural meaning of beatitude. Taking up the famous incipit of the Metaphysics, Duns Scotus develops the idea of a maximum desiderium and a maxima scientia as a way of human and natural perfection. In conceiving this desiderium naturale as form of ultimate realization, he sees it (...) as similar to the knowledge of immaterial substances in statu viae. His definition of beatitudo also disagrees with the Thomist doctrine, developing it a priori as a cognitio intuitiva, making it possible for humans to achieve happiness in statu viae. In contrast, in Ordinatio IV, dist. 49, Scotus emphasizes the value of beatitude in its ethical and theological sense, taking recourse to the Augustinian and Boethian definitions in order to understand its nature as the full expression of the intellective, volitional a... (shrink)

Oficina de sociólogo -- O artesanato sociológico em sete narrativas -- Desigualdade e diferença : ciladas da compreensão -- Funções heurísticas das anomalias do trabalho.

O artigo propõe em sua primeira parte a construção de uma teoria da conjuntura a partir da articulação dos enfoques do sistema mundial, da dependência e da revolução científico-técnica. Na segunda parte, se dedica a aplicação deste enfoque para a análise da crise do 2008-10 e seus desdobramentos na década que se inicia.

Cartografias da ingovernabilidade dos corpos na arte e na vida Resumo: Sofremos uma crescente governamentalização dos corpos e das condutas ao longo do mundo moderno e contemporâneo. Essa foi uma das expressivas contribuições do pensamento do filósofo francês Michel Foucault. No entanto, tal governamentalização não adveio sem contrapartida. Trata-se, em todo caso, de um empreendimento sistemático de investimento pelo poder e de redução dos corpos à sua dimensão extensiva, utilitária, funcional e orgânica, numa palavra, instrumental. Uma pletora de práticas foi (...) criada em vários campos – saúde, educação, trabalho, lazer, esporte, etc. – com este fim. No entanto, por mais incontornável que seja, os corpos não se deixam reduzir a um estado de coisa, a sua extensão, em resumo, a sua reificação. Este trabalho visa circunscrever esta problemática, para os fins de explorar o tema que concerne a relação entre os corpos, a cultura e o papel da arte como cartografia intensiva, sob o signo da ingovernabilidade. Palavras-chave: cartografias, ingovernabilidade, corpo, arte, filosofia. Cartographies of the ungovernability of bodies in art and life: We have suffered a growing governmentalization of the bodies and behaviors throughout the modern and contemporary world. This was one of the expressive contributions of the French philosopher Michel Foucault’s thought. However, such governmentalization has not come without a counterpart. In any case, it is a systematic undertaking of investment by the power and of reduction of the bodies to their extensive, utilitarian, functional and organic dimension to a word, instrumental. A plethora of practices has been created in various fields - health, education, work, leisure, sports, etc. - to this end. However, bodies are not reduced to a state of affairs, to their extension, in short, to their reification, as unavoidable as it might be. This work aims to circumscribe this problem, in order to explore the theme that concerns the relationship among the bodies, the culture and the role of the art as an intensive cartography, under the sign of ungovernability. Keywords: cartography, ungovernability, body, art, philosophy. Cartografias de la ingobernabilidad de los cuerpos en el arte y la vida Resumen: Sufrimos una creciente gubernamentalización de los cuerpos y el comportamiento en todo el mundo moderno y contemporáneo. Esta fue una de las contribuciones expresivas del pensamiento del filósofo francés Michel Foucault. Sin embargo, tal gubernamentalización no se produjo sin una contraparte. En cualquier caso, es una empresa sistemática de inversión por poder y la reducción de los cuerpos a su dimensión extensiva, utilitaria, funcional y orgánica, en una palabra, instrumental. Se han creado una gran cantidad de prácticas en diversos campos: salud, educación, trabajo, ocio, deportes, etc. - con este fin. Sin embargo, por inevitable que sea, los cuerpos no se reducen a un estado de cosas, su extensión, en resumen, su reificación. Este trabajo tiene como objetivo circunscribir este problema, a fin de explorar el tema que concierne a la relación entre los cuerpos, la cultura y el papel del arte como cartografía intensiva, bajo el signo de ingobernabilidad. Palabras clave: cartografía, ingobernabilidad, cuerpo, arte, filosofía Data de registro:16/06/2020 Data de aceite: 22/07/2020. (shrink)

O ensaio tentar realizar um exercício hermenêutico de explicitar os sentidos de tempo que surgem no poema O tempo o homem, do poeta paraense Max Martins. Neste ensaio, as premissas interpretativas partem sobretudo do pensamento do filósofo paraense Benedito Nunes, tendo, no horizonte a Ontologia fundamental de Martin Heidegger, mas também de outros pensadores, como Giorgio Agamben. Além disto, o horizonte hermenêutico deste ensaio alcança um dos poetas que marcaram determinantemente a poesia de Max Marins, que foi seu amigo (...) Mário Faustino. Assim, o problema central desta investigação ensaística é a busca por saber o sentido dos tempos Ampulheta, Era, hera e Hora. A hipótese é que o aporte hermenêutico fenomenológico desenvolvido por Benedito Nunes para a relação dialógica, de “transa”, entre poesia e filosofia, viabilizada pelo que chamou de “passagem para o poético” (Kehre), oferece a tese de que o poema de Max Martins é um poema sobre o próprio poetar e sobre a “aventura” enquanto “evento” (Ereignis) da Hora que o artista faz. (shrink)

Rom Harré criticizes critical realism for ascribing causal powers to social structures, arguing that it is human individuals, and not social structures, that possess causal powers, and that a false conception of structural causation undermines the emancipatory potential of critical realism. I argue that an interpretation of the category of process as the spatio-temporalization of the category of structure, which underpins much evolutionary theory, provides the conceptual tools to explain how the critical realist transformational model of social activity can escape (...) from Harré’s criticism, leading to a general conception of social development within which various types of evolutionary processes can be identified as particular cases. I then argue that Tony Lawson’s PVRS model provides an evolutionary perspective that enables the conceptualization of coercive power as selective pressure. (shrink)

Commitment has been perceived as a strategic topic in organizations due to its positive effect on retaining talent, increasing performance, or boosting employees’ innovative behavior. However there are many focis of commitment in the workplace, which has represented a challenge to human resources management, who need implement measures to improve the employee’s commitment. Recent research has suggested a need to conduct studies about commitment, namely antecedents and the relationship between different focis, to understand the dynamic and directionality between them. Hence, (...) the purpose of this work is to analyze how employees’ emotional awareness relates with two focis of commitment, also assessing the mediating role of affective commitment to the leader. The study uses structural equation modeling and Lisrel to test the hypotheses considering the multidimensionality of organizational commitment, employees emotional awareness, and the affective commitment to the leader, under the scope of Social Exchange Theory. The Mackinon’s Z Test was used to assess the mediation role of affective commitment to the leader. The sample is composed for 403 employees from two multinational companies. The results provide empirical evidence about the mediating role of affective commitment to the leader in the relationship between employees’ emotional awareness and organizational commitment, and the employees’ emotional awareness as an antecedent of commitment. The implications for theory and practice are discussed. (shrink)

En el presente artículo se aborda la poesía alternativa brasileña que se incorpora a una tradición, justamente por la intrínseca relación crítica que mantiene con la poesía tradicional, cuya tesitura no es ajena al conocimiento de lo que la antecede y a una perspectiva de su devenir. Una poesía que no es prisionera de la imagen o de cualquier otro vicio de la actualidad. Una poesía subterránea, una vez que sus voces esenciales no son celebradas como una confirmación de nuestra (...) tradición poética. (shrink)

A primeira parte deste artigo mostra que tanto A. Philonenko quanto T. Rockomore, cada um a seu modo e por vias bastante distintas, parecem relativizar a importância dos ‘princípios’ da Doutrina da ciência. Num caso como no outro, em termos muito gerais, talvez pudéssemos dizer que a relação Kant-Fichte seria avaliada em função da dialética da primeira Crítica, tanto porque o uso da lógica geral como órganon só pode ser dialético, quanto porque a natureza hipotética da argumentação de Fichte deve (...) nos levar a uma interpretação não fundacionista de sua Doutrina-da-ciência. A segunda parte deste trabalho, em contraposição a essas leituras, analisara três textos de Fichte a fim de indicar que seria possível defender uma intepretação da Doutrina-da-ciência como uma espécie de aprofundamento da transcendentalização da lógica operada por Kant na primeira Crítica. Essa análise, nos limites deste trabalho, só poderá ser indicativa e esquemática; mas isso não impede, a meu ver, que ela possa sugerir uma chave frutífera para desenvolvimentos futuros. (shrink)

Table of contents -- Preface -- Editor's introduction: hermínio martins and the technocene -- The technocene: on bodies, minds, and markets -- Technology sublime: paths to the post-human -- Perpetual augmentation: from eugenics to human genetic capitalism -- The body vanishes! momenta of discarnation in technoscience today -- When universities become body-shops -- A select bibliography of hermínio martin's works.

In this paper the use of mathematics in economics will be discussed, by comparing two approaches to mathematics, a Cartesian approach, and a Newtonian approach. I will argue that while mainstream economics is underpinned by a Cartesian approach which led to a divorce between mathematics and reality, the contributions of key authors of the Cambridge tradition, like Marshall, Keynes and Sraffa, are characterised by a Newtonian approach to mathematics, where mathematics is aimed at a study of reality. Marshall was influenced (...) by the Newtonian approach that still characterised many aspects of the Cambridge Mathematical Tripos, where the emphasis was on geometrical and mechanical examples rather than on symbolic (Cartesian) mathematics. Keynes, who criticised (Cartesian) symbolic mathematics, was indeed an admirer of Newton and of his method. Sraffa's mathematical constructions are also in line with the Newtonian approach where arithmetic and geometry were strictly separated, since Sraffa's mathematical constructions typically use arithmetic without engaging in the mixture between geometry and arithmetic that occurs in the Cartesian approach. View the Open Peer Discussion of this paper ». (shrink)

In his new book The Idea of Justice, Amartya Sen argues that political theory should not consist only in the characterisation of ideal situations of perfect justice. In so doing, Sen is making, within the context of political theory, a similar argument to another he also made in economic theory, when crtiticising what he called the ?rational fool? of mainstream economics. Sen criticised the ideal and fictitious agent of mainstream economics, while advocating for a return to an integrated view of (...) ethics and economics, which characterised many classical political economists who inspired Sen's theory of justice, from Adam Smith to Karl Marx. I will examine Sen's revival of classical political economy, and argue that a revival of classical political economy, which was undertaken earlier by Piero Sraffa, has much potential for bringing a more plural and realist perspective to economics. (shrink)

Aqui pretende-se mostrar a importância do tempo cronológico através do recurso aos diversos elementos, aos diferentes pormenores que compõem o episódio, o qual acabou por ser determinante no transtorno emocional causado ao nosso autor ao longo dos anos.

O fenômeno da incorporação do corpo lexical político aristotélico transliterado do grego ao contexto latino do século XIII nos remete a problemas sobre as presenças e ausências terminológicas, não somente na tradução da Política, feita por Guilherme de Moerbeke, e nos comentários de Alberto Magno e Tomás de Aquino ao texto latino de Aristóteles, mas também à possível reverberação desses vocábulos políticos moerbekianos em alguns leitores da Política, no século XIV. Não se trata apenas de veri*cação de quem usou ou (...) não usou tais ou quais termos, nem mesmo da elaboração de juízos sobre esses usos, como que para rotular pensadores; antes, trata-se de tentar individuar, a partir dos usos terminológicos, o surgimento de um novo modo de pensar e compreender a esfera da vida humana que é a dimensão pública, ou melhor, política. Tentaremos compreender, neste artigo, especificamente como emerge, a partir dessa tradução latina da Política, um novo quadro conceitual, a saber: a esfera política. Constataremos que a tradução da Política de Moerbeke consolida um novo vocabulário e um novo quadro conceitual que será, doravante, um dos fundamentos do pensamento político. (shrink)

In conventional medicine, healing is effected mainly by treating the symptoms of the physical body disease, while in mind?body medicine the cure is performed by the mind itself (thoughts and emotions). In fact, the holographic mind theory claims that the mind could be either the healer or the slayer. Thus, this article is a contribution toward a more in-depth study of this theme of conventional medicine versus mind?body medicine, particularly to understand the gifts of quantum physics to life science and (...) the art of healing, so that we might find an integrative medicine model (a holistic approach to health) that could explain some ?incurable? diseases. (shrink)

This paper brings notes regarding Wittgenstein’s philosophy of language and its presence in habermasian philosophy by means of the basic concept language game. The approach of language of the second Wittgenstein reaches a rather culturalist abstraction, which, however, disclaims him of the pretension of being a theoretical of language, but in Habermas, this approach is put with an intention: the systematization of the universal pragmatics, which he presents as a theory of language games.

O desengano de Garrett.--A desilusão de Herculano.--A descrença de Soriano.--O pessimismo de Oliveira Martins.--A penitência de Ramalho.--A ironia de Eça de Queiroz.--O te0temunho de Antero.--A contrição de Fialho.--Concêrto de acusações.--Apêndice.

Reasons for action is a widely employed methodology in practical philosophy, and especially in moral philosophy. Reasons are facts that explain and justify actions. But, conceptually, if reasons were causes, incontinent actions would be impossible. When an agent ranks an evaluation about what to do as his best judgement, it entails that he has a reason for acting as that judgement prescribes. But when an agent acts incontinently, he acts in accordance to an intention that is not aligned with his (...) best evaluative judgement. Yet, if the agent’s best evaluative judgement provides him a reason for action, this reason should also be his strongest reason, and therefore, the strongest cause. How then can it be possible that an agent incontinently acts according to a reason of inferior causal strength? In this paper, I analyze how Davidson’s argument for the possibility of incontinent actions interacts with his causal theory of actions. I argue that Davidson’s proposal does not fully respect the two principles of intentional rationality, that he himself claims to be compelling. Lastly, I sketch some initial steps that might be helpful to drawing more precise conceptual distinctions in terms of the rationality of incontinent actions. (shrink)

This work describes the main basic concepts of the astrological work of Ptolemy, through an analysis of his Tetrabiblos. Comparing his ideas to those of other authors of his time, it is shown that Ptolemy does not present stoic influences, as claimed by some historians. The conclusion of the article is that the basis of Ptolemy's astrology was Aristotle's physics.

Em 1866, Johan Gregor Mendel publicou um artigo sobre os padrões que governam a formação de híbridos, baseando-se principalmente em estudos de cruzamentos experimentais de ervilhas do gênero Pisum. Segundo alguns historiadores da ciência, esse trabalho foi ‘redescoberto’ em 1900, estimulando uma série de pesquisas que procuravam verificar se padrões hereditários descobertos em Pisum se aplicavam a outros organismos. O objetivo deste artigo é discutir algumas das contribuições de William Bateson em relação ao teste e divulgação dos princípios de Mendel, (...) comparando-as aos estudos realizados por Mendel. Conclui-se que Bateson desenvolveu um novo programa de pesquisa mendeliano, pois embora seguisse uma metodologia semelhante à de Mendel e divulgasse seu trabalho, não se dedicou simplesmente a testar, explicar e defender suas ‘leis’. Concentrou-se nas exceções e desvios dos princípios mendelianos, procurando explicá-los através de novas ‘leis’. Introduziu uma nova terminologia e alterou a simbologia mendeliana.In 1866 Johan Gregor Mendel published a paper on the patterns governing the formation of hybrids, mainly grounded in his studies dealing with experimental crossings in sweet peas . According to some historians of science, this work was “rediscovered” in 1900, stimulating several researches which tried to verify if the hereditary patterns found in Pisum would also apply to other organisms. The aim of this paper is to discuss William Bateson’s contribution in relation to the test and dissemination of Mendel´s principles, comparing it to Mendel´s own work. It is concluded that Bateson developed a new Mendelian research program. Although he adopted a methodology similar to Mendel´s and disseminated Mendel´s own work, he did not simply dedicate himself to testing, explaining or defending it. He focused his attention on the exceptions and deviations from Mendel’s principles, trying to explain them with new laws. Besides introducing a new terminology , he also modified the symbols used by Mendel. (shrink)

The issue concerning the nature of science can be dealt in different ways. The question “What is science?” can receive empirical answers (what has been science, historically?), normative answers (what should be science?) and analytical ones (what could be science?). The two later approaches concern Philosophy. This paper criticises some philosophical attitudes towards science (relativism, dogmatism, scepticism, ecletism). It claims the existence of a well grounded acquired epistemological wisdom, encompassed by “impotence principles” that exhibit some limits of the human thought (...) and point out what science cannot be. On the other side, there are no acceptable science/non-science demarcation criteria. This does not lead necessarily to a relativist or anarchist view, because it is possible to argue for a non-prohibitive axiological concept of science that could evaluate and guide research. RESUMO: A questão da natureza da ciência pode ser respondida sob diferentes pontos de vista. A pergunta “O que é a ciência?” pode receber respostas de tipo empírico (o que tem sido, historicamente, a ciência?), de tipo normativo (o que deveria ser a ciência?) e de tipo analítico (o que poderia ser a ciência?). Apenas esses dois últimos enfoques são pertinentes à Filosofia. Este artigo critica algumas atitudes filosóficas frente à natureza da ciência (relativismo, dogmatismo, ceticismo, ecletismo), defendendo no entanto a existência de pontos bem estabelecidos na Epistemologia, dados por “princípios de impotência” que mostram limites do pensamento humano e que indicam o que a ciência não pode ser. Por outro lado, não há critérios aceitáveis de demarcação entre ciência e não-ciência. Isso não leva necessariamente a uma posição relativista ou anarquista, pois é possível defender uma concepção axiológica não-proibitiva da ciência que permite avaliar e orientar a pesquisa. (shrink)

Our reasoning evolved not for finding the truth, but for social bonding and convincing. This book highlights the consequences of these facts for scientific practice, and suggests how to correct the mistakes we still make.