The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

Reseña de Lorenzo Peña, Hallazgos filosóficos, Universidad Pontificia de Salamanca, Salamanca, 1992, 363 pp.

Resumo: Sabe-se que a pecuária é uma parcela do agronegócio que move a economia do país, e incluso está a produção leiteira, que tem, a cada ano seu desenvolvimento elevado, de forma em que é priorizado a eficiência no aumento de sua produção, com o objetivo de suprir a demanda, e a maior rentabilidade do produtor. Diante disso, medidas de manejo reprodutivo e alimentar são adotadas, sendo estas capazes de elevar a produtividade com o menor custo possível. O trabalho objetivou (...) pautar acerca do conhecimento sobre o manejo nutricional correto e escore corporal, que afetam diretamente a produtividade do animal, o conhecimento acerca do ciclo reprodutivo de vacas, expondo a detecção de estro, bem como metodologias eficazes aplicadas na reprodução, e práticas de bem estar, que, quando ausente, é apontado como um dos precursores da ineficiência reprodutiva. Palavras-chave: Inseminação Artificial 1; detecção de cio 2; leite 3. Abstract: It is known that livestock is a part of agribusiness that drives the country's economy, and is even milk production, which has, every year, its high development, so that it is prioritizing efficiency in increasing its production, with the objective of supplying the demand, and the greater producer profitability. Therefore, reproductive and food management measures are adopted, being able to increase productivity with the lowest possible cost. The work aimed guide about knowledge about correct nutritional management and body score, which affect directly the animal's productivity, knowledge about the reproductive cycle of cows, exposing estrus detection, as well as effective methodologies applied in reproduction, and practices of well-being, which, when absent, is pointed out as one of the precursors of inefficiency reproductive. Keywords: Artificial Insemination 1; heat detection 2; milk 3. -/- REFERÊNCIAS BIBLIOGRÁFICAS ALFIERI, A. A. LEME, R. ALFIERI, A.F. Tecnologias para o manejo sanitário de qualidade de doenças infecciosas na bovinocultura de corte. Bovinocultura de corte: desafios e tecnologias. Revista eletrônica da Universidade Federal da Bahia - UFBA. ed. 2. v. 1. p. 115-132. 2013. ARBOLEDA, José Leonardo Ruiz; URIBE-VELÁSQUEZ, Luis Fernando; OSORIO, José Henry. Factor de crecimiento semejante a insulina tipo 1 (IGF-1) en la reproducción de la hembra bovina. Vet. zootec, v. 5, n. 2, p. 68-81, 2011. BAUMGARD, L.; RHOADS, R. Efeito do estresse calórico no metabolismo e na produção de leite, e estratégias para minimizar efeitos negativos. Em: XVI Curso Novos Enfoques na Produção e Reprodução de Bovinos. Uberlandia, Brasil, 2012. BARUSELLI, P. S. et al. Evolução e perspectivas da inseminação artificial em bovinos. Revista Brasileira de Reprodução Animal. v 43. n 2. p 308-314. 2019. BARUSELLI, Pietro Sampaio; GIMENES, Lindsay Unno; SALES, José Nélio de Sousa. Fisiologia reprodutiva de fêmeas taurinas e zebuínas. Revista Brasileira de Reprodução Animal, v. 31, n. 2, p. 205-211, 2007. BERGAMASCHI, M. A. C. M., MACHADO, R. BARBOSA, R. T. Eficiência reprodutiva das vacas leiteiras. Embrapa - Pecuária Sudeste- Circular Técnica (INFOTECA-E). 2010. Arquivo digitaldisponívelem:. Acesso em: 15 de Novembro de 2021. BORGES, A. M.; MARTINS, T. M. Relação entre nutrição e reprodução em rebanhos mestiços leiteiros. In: IV SIMPÓSIO NACIONAL DE BOVINOCULTURA DE LEITE, 2013, Viçosa. Anais ... Viçosa, p. 215-236, 2013. BORGES, A. et al. Reprodução de vacas mestiças: potencialidade e desafios. Revista Brasileira de Reprodução Animal. v 39. n 1. p 155-163. 2015. CAETANO, R. P. et. al. Manejo reprodutivo da bovinocultura de leite nos assentamentos rurais do município de Ilha Solteira, São Paulo. 8º Congresso de Extensão Universitária da UNESP. ISSN 2176- 9761. p 4. 2015. Arquivo disponível em: CARNEIRO M.A., Bergamaschi M., Machado R. & Barbosa R.T. (2010) Eficiência reprodutiva das vacas leiteiras. Embrapa Pecuária Sudeste. Circular Técnica,64. ISSN: 1981- 2086. CERVO. H J. Fatores intrínsecos à produção, o uso da inseminação artificial e os objetivos de seleção na pecuária leiteira do sul do Brasil, Rio Grande do Sul, Brasil. 2014. 228f. Tese (Doutorado em Zootecnia) - Universidade Federal do Rio Grande do Sul – UFRS, Porto Alegre. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. 2020. DA SILVA, et al. Manual de Exame Ginecológico da Vaca. IX Mostra Nacional de Iniciação Científica e Tecnológica Interdisciplinar (MICTI) - IFC - Instituto Federal Catarinense. 2016. Arquivo digital disponível em: Acesso em: 15 de Novembro de 2021. DIAS. J C. et al. Alguns aspectos da interação nutrição-reprodução em bovinos: energia, proteínas, minerais e vitaminas. Revista Pubvet. v. 4 n. 5 p. Art. 738-743. 2010. FERNANDES, A. F. A. OLIVEIRA, J. A. QUEIROZ, S. A. Escore de condição corporal em ruminantes. Revista Ars Veterinária. v. 32, n. 1, p. 55-66, 2016. FERREIRA, A. M. Reprodução da Fêmea Bovina. Fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora, MG: Edição do autor, 2010. FRANCO, F. F. Escore de condição corporal e desempenho reprodutivo de vacas leiteiras mestiças lactantes, Minas Gerais, Brasil. 2015. 59f. Dissertação (Mestrado em Ciências Veterinárias) - Universidade Federal de Uberlândia, Uberlândia. GARCIA, J. R. A. SILVA, N. SILVEIRA, W. TEIXEIRA, M. C. C. Estudo epidemiológico de problemas reprodutivos em rebanhos bovinos na bacia leiteira de Goiânia. Revista Eletrônica - Arquivo Brasileiro de Medicina Veterinária e Zootecnia. v 57. n 6. p 720-725. 2005. IVANOU, A. V. Clínica e reprodução de bovinos leiteiros. Évora, Portugal. 100f. 2015. Dissertação (Mestrado em Medicina Veterinária) - Universidade de Évora - Escola de Ciências e Tecnologia, Évora. MANTECA, X. et al. Bem-estar animal: conceitos e formas práticas de avaliação dos sistemas deprodução de suínos. Revista - Semina: Ciências Agrárias. v. 34 n. 2. p 4213-4229. 2013. MOURA, M. S. et al. Manejo reprodutivo de bovinos na propriedade rural. Revista PUBVET. v. 5. n 9.ed. 156. art. 1055, 2011. MUNIS DE OLIVEIRA, G. Fisiologia da Reprodução Bovina e Métodos de Controle do Ciclo Estral. Trabalho de conclusão do curso de especialização em Reprodução e Produção de Bovinos–UCB. Rio de Janeiro, Brasil, 2006. NETO, Alberto Chambela. Avaliação da taxa de prenhez de vacas de leite com a utilização de protocolos com e sem a presença de folículos estimulantes. Revista Ifes Ciência-ISSN 2359- 4799, v. 5, n. 1, 2019. NOGUEIRA, E. et al. Nutrição aplicada à reprodução de bovinos de corte. Embrapa PantanalCapítuloem livro científico. Embrapa Pantanal - Capítulo em livro científico (ALICE). ed. 10. p 141-156. 2015. PEGORARO, L. M. C.; SAALFELD, M. H.; WEISSHEIMER, C. F.; VIEIRA, A. D. Manejo Reprodutivo em Bovinos de Leite. Embrapa Clima Temperado, id.13081, 2009. PEIXOTO JUNIOR, K.C. FIRMIANO, A. C. CRESPILHO, A.M. Relação entre reprodução e produção debovinos de leite. Revista PUBVET, Londrina. v 7. n 24. ed 247. art. 1635. 2013. PEREIRA, M.A et al. Parâmetros da Fisiologia reprodutiva e utilização de hormônios na sincronizaçãode estro em vacas leiteiras. Revista VeZ em Minas. a XXII. p 117. 2013. PRATA, M. A.; PEREIRA, M. C.; FARO, L; CARDOSO, V. L. et al. Efeito do intervalo de partos sobre a eficiência produtiva e econômica em rebanhos gir leiteiro. B. Indústr. Anim., Nova Odessa, v.71, n.1, p.1-7, 2014. Rebanho bovino tem leve alta em 2019, após dois anosseguidos de quedas. Agência de notícias IBGE, 2020. Disponível em: . Acesso em: 26, setembro de 2021. RENNO F.P; BARLETTA, R.V.; FRIETAS JUNIOR J.E.; et al. Escore de condição corporal e sua relação com produtividade, saúde e bem estar de vacas em lactação. Em: 1st international Symposium of Dairy Cattle. III Simpósio Nacional de Bovincultrura Leiteira. Universidade Federal de Viçosa, MG. Novembro 2011. RUAS, J. R. M; MENESES, A. C.; CARVALHO, B. C.; QUEIROZ, D. S.; SILVA, E. A. da; FERREIRA, J. J. Sistema de produção de leite com vacas F1 Holandês x Zebu. Informe Agropecuário, v.31, p.63-71, 2010. SANTOS, M de. A. R. Efficiency of two doses of D-cloprostenol for synchronization of estrus in bovines in the different phases of the estrous cycle. Minas Gerais, Brasil. 46 f. 2001. Dissertação (Mestrado em Zootecnia e Recursos Pesqueiros) - Universidade Jose do Rosario Vellano, Alfenas.. SARTORI, R. GUARDIEIRO, M. M. Fatores nutricionais associados à reprodução de fêmea bovina. Revista Brasileira de Zootecnia. v 39. p 422-432. 2010. SCHAFHAUSER JUNIOR, J. PEGORARO, L. M. C. ZANELA, M. B. Tecnologias para sistemas de produção de leite. Embrapa Clima Temperado - Livro técnico. ed 1. p 437. 2016. SOUSA, G. G. T. et al. Monta natural versus inseminação artificial em bovinos. Revista PUBVET. v 6. n35. ed 222. art. 1473. 2012. TRIANA, E. L. C. JIMENEZ, C. R. TORRES, C A. A. Eficiência reprodutiva em bovinos de leite. Revista Eletrônica da Universidade Federal de Viçosa - UFV. v 1. 2012. Artigo eletrônico disponível em: Acesso em: 02 de outubro de 2021. (shrink)

Atas do III Colóquio Internacional de Metafísica. [ISBN 978-85-7273-730-2]. Sumário: 1. Prazer, desejo e amor-paixão no texto de Lucrécio, por Antonio Júlio Garcia Freire; 2. Anaximandro: física, metafísica e direito, por Celso Martins Azar Filho; 3. Carta a Guimarães Rosa, por Cícero Cunha Bezerra; 4. Ante ens, non ens: La primacía de La negación em El neoplatonismo medievel, por Claudia D’Amico; 5. Metafísica e neoplatonismo, por David G. Santos; 6. Movimento e tempo no pensamento de Epicuro, por Everton da Silva (...) Rocha; 7. Críticas e elogios de Nietzche a Sócrates, por Fernanda Bulhões; 8. Sobre a Metafísica ou a respeito do jejum, por Gilvan Fogel; 9. A origem estética da ontologia hermenêutica de Luigi Pareyson, por Íris Fátima da Silva; 10. A Natureza da filosofia de Hume, por Jaimir Conte; 11. Logique ET métaphysique, por Jean-Baptiste Jainet; 12. Blaise Pascal: da recusa da metafísica da raison à metafísica do « estudo do homem », por João Emiliano Fotaleza de Aquino; 13. O niilismo no prólogo de Assim Falou Zaratustra. Por José Elielton de Sousa; 14. Presencia;Ausência: de Plotino a Procolo, por José Maria Zamora; 15. A natureza do Eros platônico, por Jovelina Maria Ramos de Souza; 16. Breve comentário acerca da origem da Gelassenheit de Heidegger a partir da mística de mestre Eckkart, por Luiz Fernando Fontes-Teixeira; 17. Humanismo e domesticação em Regras para o parque humano, por Luiz Roberto Alves dos Santos; 18. Contra a teoria de dois mundos na filosofia de Platão (República V 476e-478e), por Marcelo Pimenta Marques; 19. Sensações, impressões, projeções: as afecções do pensamento, por Markus Figueira da Silva; 20. Contribuições à história de uma metáfora: Heidegger e Nicolau de Cusa, por Oscar Federico Bauchwitz; 21. Uma impossibilidade ontológica em Schopenhauer, por Paulo César Oliveira Vasconcelos; 22. Ser e fenômeno: a Fenomenologia como teoria estética da ciência, por Pedro Paulo Coroa; 23. Para que serve a Metafísica de Aristóteles? O exemplo do movimento animal, por Pierre-marie Morel; 24. Contribuições para uma ontologia digital, por Rafael Capurro; 25. O que é o fim da metafísica, por Rodrigo Ribeiro Alves Neto; 26. A Physis na conformação do logos: linguagem e pensamento no corpus epicúreo, por Rodrigo Vidal do Nascimento; 27. O acontecimento de mundo na era da informação, por Soraya Guimarães da Silva; 28. Apofaticismo e abstração em Mark Rothko, por Vanessa Alves de Lacerda Santos. -/- . (shrink)

People have disagreed on the significance of Libet-style experiments for discussions about free will. In what specifically concerns free will in a libertarian sense, some argue that Libet-style experiments pose a threat to its existence by providing support to the claim that decisions are determined by unconscious brain events. Others disagree by claiming that determinism, in a sense that conflicts with libertarian free will, cannot be established by sciences other than fundamental physics. This paper rejects both positions. First, it is (...) argued that neuroscience and psychology could in principle provide support for milder deterministic claims that would also conflict with libertarian free will. Second, it is argued that Libet-style experiments—due to some of their peculiar features, ones that need not be shared by neuroscience as a whole—currently do not support such less demanding deterministic claims. The general result is that neuroscience and psychology could in principle... (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Free will skepticism is the view that people never truly deserve to be praised, blamed, or punished for what they do. One challenge free will skeptics face is to explain how criminality could be dealt with given their skepticism. This paper critically examines the prospects of implementing legal changes concerning crime and punishment derived from the free will skeptical views developed by Derk Pereboom and Gregg Caruso. One central aspect of the changes their views require is a concern for reducing (...) the severity of current forms of punishment. The paper considers two strategies for pursuing such a reduction. By taking into account evidence from the psychology of belief in free will and desire to punish, it is argued that a strategy aiming at a reduction of people’s natural desire to punish criminals can be successful if capable of providing alternatives to current forms of punishment satisfying three properties: they must be less harmful than current forms of punishment, more effective in preventing crime, and incompatible with current forms of punishment. (shrink)

In a previous paper, I argued that neuroscience and psychology could in principle undermine libertarian free will by providing support for a subset of what I called “statements of local determination.” I also argued that Libet-style experiments have not so far supported statements of that sort. In a commentary to the paper, Adina Roskies and Eddy Nahmias accept the claim about Libet-style experiments, but reject the claim about the possibilities of neuroscience. Here, I explain why I still disagree with their (...) conclusion, despite being sympathetic to a lot of what they say in support of it. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

In the last few decades, the literature on moral responsibility has been increasingly populated by scientific studies. Studies in neuroscience and psychology, in particular, have been claimed to be relevant for discussions about moral responsibility in a number of ways. And at the same time, there is not yet a systematic understanding of the sort of questions a science of moral responsibility is supposed to answer. This paper is an attempt to move toward such an understanding. I discuss three models (...) for framing scientific questions relevant to an investigation of moral responsibility. The favored model—the Enhancement model—proposes that a science of moral responsibility has two descriptive tasks. First, science can describe the causes and effects of the many sorts of responses that constitute the human practices of moral responsibility, such as praise, blame, and punishment. And, second, science can describe how modifications aiming at the improvement of such practices can be achieved. Relatively to the other models to be considered, the Enhancement model is broader in scope and less tied to the traditional philosophical agenda on moral responsibility. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

From Gadamer's Habilitation thesis, “Plato’s dialectical ethics. Phenomenological Interpretations Relating to the Philebus” (1928), this article seeks to highlight the fundamental lines of Plato’s image, outlined in that author’s first philosophical publication (1931). The confrontation with the themes of ethics and dialectic, in the current state of Platonic studies, indicates that in Plato’s image drawn in the early confrontation with the Philebus, clearly influenced by the phenomenological notion of Dasein, one already finds the fundamental features of what will become Gadamer's (...) philosophical hermeneutics, fully emancipated from Heideggerian tutelage. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

Diana Pérez criticizes Davidson’s argument for the thesis that there is no thought without language, and offers an alternative defense of that thesis on the basis of empirical studies on developmental psychology. In this comment I argue that more recent studies do not seem to affect Davidson’s argument in the way Pérez suggests, and that her alternative defense of the thesis that there is no thought without language is insufficient. At the end, I offer a sketch of how a weaker (...) and more tenable version of the argument could be articulated. (shrink)

Este artigo reconstrói os argumentos de Donald Davidson (1970) em favor de sua teoria do monismo anômalo e revisa as principais críticas que recebeu. Essa teoria é amplamente rejeitada atualmente e, dadas as inúmeras críticas recebidas, é razoável concluir que qualquer tentativa de reabilitação tem um longo caminho pela frente. A diversidade dessas críticas sugere que não há consenso sobre por que exatamente o monismo anômalo fracassa, embora as dificuldades pareçam convergir sobre a justificação e possibilidade da tese monista, e (...) não sobre a anomalia do mental. (shrink)

Tradução de correspondências trocadas entre Descartes e Elisabeth no ano de 1643, nas quais discutem a tese cartesiana da alma como imaterial e inextensa.

Este trabajo tiene como objetivo examinar críticamente la discusión en torno a la identidad nacional panameña denominado el problema de lo panameño, particularmente aquellas perspectivas propuestas por filósofos profesionales, así como determinar su alcance y revisitar sus presupuestos. Con ello en mente, intentaremos contextualizar hasta donde sea posible dicha discusión, buscando poner de relieve los factores históricos que la motivan, además de evaluar la vigencia de esta.

Judging a person as morally responsible involves believing that certain responses (such as punishment, reward, or expressions of blame or praise) can be justifiably directed at the person. This paper develops an account of the evolution of moral responsibility judgment that adopts Michael Tomasello’s two-step theory of the evolution of morality and borrows also from Christopher Boehm’s work. The main hypothesis defended is that moral responsibility judgment originally evolved as an adaptation that enabled groups of cooperative individuals to hold free (...) riders responsible more safely by acting in a coordinated way. (shrink)

In the current debate in political philosophy, the so-called communitarian thinkers intend to offer an alternative to the dominant liberal thought. The ideal of ethicalcommunity as way of life in society in which intersubjective relationships are ruled by laws conceived as public laws, reintroduces the question of virtue in the scope of social and political life, with the requirement of an ethical style of doing politics.

[Note: articles 1-5 are in English; Intro, Discussion, and Conclusion are in Portuguese.] Responsibility practices that are part of our daily lives involve, among other things, standards about how one should praise, blame, or punish people for their actions, as well as particular acts that follow those standards to a greater or lesser extent. A classical question in philosophy asks whether human beings can actually be morally responsible for what they do. This dissertation argues that addressing this classical question is (...) insufficient if one wants the investigation of moral responsibility to serve the goal of improving ordinary responsibility practices. As an alternative, I offer directions for an interdisciplinary investigation that I take to be in a better position to promote that goal. My argument is developed in five articles and a discussion section. The first four articles describe limitations of skeptical views, which deny the existence of moral responsibility. The first article assesses a skeptical argument based on results from neuroscience that intends to show that there is no free will. I argue that a premise in the argument—which says that choices are determined by events in the brain—is not supported by the available results. The second article argues that, despite the fact that existent results do not show that choices are determined by brain events, further studies in neuroscience could in principle do that. The third article begins the discussion of limitations that concern the implementability of some of the changes in responsibility practices recommended in skeptical approaches. Specifically, I describe challenges that attempts to reduce the severity of legal punishment are likely to face due to psychological facts about belief in free will and desire to punish. The forth article presents results from an original experiment that sought to test a hypothesis about the workings of belief in free will and the desire to punish, namely the hypothesis that the desire to punish causally affects beliefs about free will. Results failed to support the hypothesis. Finally, the fifth article presents what I call the enhancement model, i.e., a proposal about how to structure an interdisciplinary investigation that can promote the enhancement of ordinary responsibility practices. The final discussion section shows how the enhancement model overcomes some of the limitations of recent discussions about the existence of moral responsibility, which includes not just the skeptical views considered in earlier articles, but also views that affirm the existence of moral responsibility and free will. The central claim of this dissertation, therefore, is that the investigation of moral responsibility can be rearranged so as to further the goal of improving ordinary responsibility practices. (shrink)

Resumo: Em décadas recentes, a investigação filosófica sobre a responsabilidade moral e o livre-arbítrio, que por muito tempo foi vista como um empreendimento principalmente teórico, passou a também incluir preocupações de tipo mais prático. Essa mudança é bem ilustrada pela proposta cética desenvolvida por autores como Derk Pereboom e Gregg Caruso. Seus trabalhos não apenas negam que sejamos agentes livres e moralmente responsáveis (em um sentido específico dos termos em questão), mas também defendem reformas na maneira como a responsabilização é (...) efetivada em nossas relações interpessoais e, especialmente, no sistema penal. Este artigo examina as implicações práticas do ceticismo de Pereboom e Caruso, principalmente no que diz respeito à sua implementabilidade. Argumento que o núcleo propriamente cético da proposta é inviável para seres humanos com a psicologia moral que temos, mas que, apesar disso, alguns elementos da proposta são compatíveis com uma proposta não-cética focada no aperfeiçoamento das práticas punitivas. Abstract: In recent decades, the philosophical investigation of moral responsibility and free will, which for a long time was seen as a mostly theoretical enterprise, became also the place of more practically oriented concerns. The skeptical view developed by Derk Pereboom and Gregg Caruso is a good illustration of the change. In their work, they not just deny that we are free and morally responsible agents (in a specific sense of the relevant terms) but also propose the reform of responsibility practices as they figure in our interpersonal relations and, especially, in the criminal justice system. This paper examines the practical implications of Pereboom and Caruso’s skepticism, particularly in what concerns its likelihood of being implemented. I argue that the strictly skeptical core of their proposal is not viable for human beings with a moral psychology like ours, but that some elements are nonetheless consistent with a non-skeptical view focused on the improvement of punitive practices. (shrink)

This work offers an analysis of all the legal and moral issues surrounding humanitarian intervention: the deaths of innocent persons and the Doctrine of Double Effect Governmental legitimacy - The Doctrine of Effective Political Control; UN Charter and evaluation of the Nicaragua ruling; The Morality of not intervening; US-led invasion of Iraq; Humanitarian intervention authorised by the UN Security Council - Iraq, Somalia, Haiti, Rwanda, and Bosnia among others highlight NATO's intervention in Kosovo; The Nicaragua Decision; and The precedents of (...) Panama, Liberia and Sierra Leone. The book's features include: a new framework based on the doctrine of double effect; basic principles of international ethics; outline of the moral argument for humanitarian intervention; explores the morality and legality of military action to end tyranny or anarchy; arguments in a much more detailed and complete fashion than in previous editions; in-depth examination of philosophy of international law; the relationship between custom and moral theory; new discussion of the question of right authority; and a full analysis of recent interventions in Kosovo and Iraq. book addresses a broad interdisciplinary audience of international lawyers, philosophers, and political scientists. In this new edition, the author responds to critics while updating the discussion in the light of the momentous events that took place at the beginning of the new millennium. (shrink)

This paper focuses on Gilberto Gomes’ work on free will. In a series of contributions that have had a significant impact on the respective literature, Gomes developed a conception about free will and argued that its existence is consistent with recent scientific findings, specially in neuroscience. In this paper, I object to a claim of Gomes about his conception of free will, namely the claim that it is a compatibilist conception. I seek to show that Gomes does not use the (...) term ‘compatibilism’ as it is usual in the contemporary literature on free will, i.e., as the thesis that free will can exist even if determinism is true. Moreover, the conception of free will Gomes proposes actually has an incompatibilist commitment. I argue that, more than a mere terminological point, acknowledging the incompatibilist aspect of Gomes’ view motivates important questions about the details of the view and helps to reveal a limitation of his defense of the existence of free will. [Este artigo tem como tema o trabalho de Gilberto Gomes sobre o livre-arbítrio. Em uma série de contribuições que tiveram um impacto significativo na respectiva literatura, Gomes elaborou uma concepção sobre o livre-arbítrio e argumentou que sua existência é consistente com descobertas científicas recentes, especialmente na neurociência. Neste artigo, questiono uma afirmação de Gomes sobre sua concepção sobre o livre-arbítrio, a saber, que se trata de uma concepção compatibilista. Busco mostrar que Gomes não usa o termo ‘compatibilismo’ como é habitual na literatura contemporânea sobre o livre-arbítrio, isto é, como a tese segundo a qual o livre-arbítrio pode existir ainda que o determinismo seja verdadeiro. Ademais, a concepção sobre o livre-arbítrio desenvolvida por Gomes tem, efetivamente, um compromisso incompatibilista. Argumento que, mais do que uma mera elucidação terminológica, reconhecer o elemento incompatibilista presente na proposta de Gomes suscita questões importantes sobre os detalhes da proposta e também ajuda a reconhecer uma limitação de sua defesa da existência do livre-arbítrio.]. (shrink)

We perform an experimental investigation using a dictator game in which individuals must make a moral decision —to give or not to give an amount of money to poor people in the Third World. A questionnaire in which the subjects are asked about the reasons for their decision shows that, at least in this case, moral motivations carry a heavy weight in the decision: the majority of dictators give the money for reasons of a consequentialist nature. Based on the results (...) presented here and of other analogous experiments, we conclude that dicator behavior can be understood in terms of moral distance rather than social distance and that it systematically deviates from the egoism assumption in economic models and game theory. (shrink)

This paper mainly addresses the relation between essentialism and philosophical method. In particular, our analysis centers on the anti-essentialist argument that proposed, given its essentialist bonds, the abandonment of the notion of method. To this end, we make use of the empirical evidence concerning essentialism provided by psychological research, which has shown that our proneness to essentialize is not a by-product of our social and cultural practices as some anti-essentialists have thought. Rather, it is a deeply rooted cognitive tendency that (...) plays a major role in concept formation and so in our understanding of things. Thus, given that such inclination toward essentialism is certain to happen, we argue for a conception of method that, while not overcoming such tendency, avoids the presumed disastrous consequences feared by most anti-essentialists. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...) operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

The purpose of this paper is an attempt to delimitate what the dialectical syllogism looks like in Aristotle’s Topics. Aristotle never gave an example of a dialectical syllogism, but we have some clues spread over books I and VIII of the Topics which make it possible to understand at least what within a dialectical debate is a dialectical syllogism. The interpretation advanced here distinguishes the logical order of the dialectical argumentation from the order of the debate. This distinction enables us (...) to have a better understand of what is and how the dialectical syllogism is identified in the debate. In addition, we can solve some interpretative difficulties other interpretations could not solve, and have a more solid grasp of how endoxa are used in a dialectical debate. (shrink)

O presente artigo tem por objetivo caracterizar as duas fases do pensamento bachelardiano intituladas diurna e noturna e o modo como determinadas noções que permeiam as duas etapas da filosofia do autor configuram uma comunicação recíproca entre elas, fazendo com que haja uma troca assídua de valores entre ambas as vertentes. Deste modo, tentar-se-á demonstrar o quanto o fluxo de uma fase a outra de seu pensamento denota um sentido de completude ao invés de desconexão, negação ou mesmo oposição. Conceitos (...) como descontinuidade, imagem e tempo orientarão nosso esforço em evidenciar tal complementariedade e aproximação entre as duas fases de pensamento de Gaston Bachelard. (shrink)

Tenemos el agrado de acercar a nuestros lectores el diálogo mantenido con Pablo Muchnik, en el que hemos conversado sobre cuestiones relativas a la filosofía kantiana, pero también al desarrollo de la investigación kantiana en general y en español en particular.

In this paper, I analyse EE I 6, where Aristotle presented a famous methodological digression. Many interpreters have taken this chapter as advocating a dialectical procedure of enquiry. My claim is that Aristotle does not keep a dialectical attitude towards endoxa or phainomena in this chapter. In order to accomplish my goal, I shall show that EE I 6 does not provide enough evidence for the dialectical construal of it, and that this construal, in turn, hangs on some assumptions brought (...) out from other Aristotelian works (EN and Top.), which do not provide good evidence as well. By the analysis of these assumptions, I intend to show that Aristotle is not carrying out any sort of dialectic, especially dialectic conceived as conceptual analysis seeking the salvage of phainomena or endoxa. (shrink)

Meu objetivo nesse texto é oferecer uma interpretação do modo como a dialética aristotélica pode ser útil para a filosofia em geral, e o conhecimento dos princípios em particular, sem incorrer em problemas epistemológicos geralmente presentes ao se tentar explicar como, a partir de proposições das quais não temos comprovação do valor de verdade que possuem, as endoxa, se pode conhecer proposições primeiras e verdadeiras. Meu argumento central é que não é a dialética que, afinal, é útil para o conhecimento (...) filosófico, mas o próprio tratado, os Tópicos, na medida em que esse tratado oferece um conjunto amplo de ferramentas argumentativas que permitem ao seu estudante um domínio de técnicas lógico-linguísticas que podem ser aplicadas em qualquer âmbito discursivo, favorecendo o escrutínio mais profundo de proposições a serem examinadas. -/- English: My aim is to develop an interpretation about how Aristotelian dialectic can be useful to philosophy and, in more specific terms, to knowledge of the first principles, avoiding epistemological problems regarding the away one can explain the knowledge of propositions which are primaries and trues, by departing from proposition whose truth-evaluation is not assured, the endoxa. My main argument is that what is in fact useful to get to know the first principles is not dialectic itself, but the treatise at stake, the Topics. Accordingly, this treatise offers an wide set of logical and linguistic tools that can be applied to any discursive universe, favouring a deep scrutiny of proposition to be examined. (shrink)

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...) the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal (...) consistency. (shrink)

This electronic document serves as a guide on how to get a LAMP stack running on a Google Compute Engine virtual machine instance running Debian.

El pasado 8 de junio 2020, Fernando Soler Escalona, estudiante de nuestra Facultad, obtuvo el grado académico de Doctor en Teología, con una tesis sobre El sentido teológico de las metáforas de comer y beber en la obra de Orí-genes, redactada bajo la supervisión de Samuel Fernández, Profesor Titular de Patrología. La defensa fue inusual: la pandemia de COVID-19 obligó a realizarla por videoconferencia, para mantener el aislamiento físico entre los participantes. En la espera de la publicación integral de (...) la tesis, reproducimos a continuación la presentación que el Doctorando hizo de sus investigaciones durante la defensa. (shrink)