In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given (...) by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics. (shrink)

A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.

The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.

The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.

We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every finite transitive frame admits a minimal characterization over K4, and that this result can not be extended to K.

We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula A which holds in those and only those frames in which every formula true inA holds.To obtain this result we find, for each finite model and each natural numbern, a formula which holds in those and only those models in which every formula true in , and involving the firstn (...) propositional letters, holds. (shrink)

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.

Transdisciplinary research knits together knowledge from diverse epistemic communities in addressing social-environmental challenges, such as biodiversity loss, climate crises, food insecurity, and public health. This paper reflects on the roles of philosophy of science in transdisciplinary research while focusing on Indigenous and other subaltern forms of knowledge. We offer a critical assessment of demarcationist approaches in philosophy of science and outline a constructive alternative of transdisciplinary philosophy of science. While a demarcationist focus obscures the complex relations between epistemic communities, transdisciplinary (...) philosophy of science provides resources for meeting epistemic and political challenges of collaborative knowledge production. (shrink)

We propose a new integrative framework of external time monitoring in prospective memory (PM) tasks and its relation with performance. Starting from existing empirical regularities and our theoretical analysis, the framework predicts that external monitoring in PM tasks comprises a first stage of loose monitoring to keep track of the passage of time, and a subsequent stage of finer-grained monitoring, based on interval reduction, to meet the PM deadline. Following our framework, we predicted and observed in three different datasets (N (...) = 375): (1) a marked increase in external monitoring frequency in the final part of the period of the PM task, well captured by a proportional rate exponential growth function; (2) a positive association between individual compliance with this monitoring pattern and PM performance; (3) a positive relation between monitoring frequency in the time window immediately preceding the PM deadline and PM performance at the individual level; and (4) good individual compliance with an interval reduction pattern in external monitoring, especially in the time window closer to the PM deadline. These results support the proposed integrative framework, which has the potential to foster future research on external monitoring in PM and in other fields of cognitive science. (shrink)

A coletânea apresenta, sob a forma de artigos, problemas e soluções associados ao conceito e substância ao longo da história da filosofia. Sem pretender exaurir esse percurso, a coletânea contém 29 artigos redigidos por diversos especialistas brasileiros em Filosofia. Sua proposta é oferecer uma visão clara, acessível, precisa e atualizada desse recorte da história do conceito de filosofia, na expectativa de contribuir para o aperfeiçoamento do ensino e debate de filosofia no país. -/- The anthology presents, through a series of (...) articles, the intricacies of problems and solutions intertwined with the concept of substance across the annals of philosophical history. While not seeking to comprehensively cover this vast terrain, the collection comprises 29 articles penned by a diverse array of Brazilian specialists in Philosophy. Its overarching aim is to furnish a lucid, accessible, precise, and contemporaneous perspective on this facet of philosophical inquiry, with the aspiration of enriching the landscape of philosophical education and discourse in Brazil. (shrink)

As state-of-art technology can create artificial images that are indistinguishable from real ones, it is urgent to understand whether believing that a picture is real or not has some import over affective phenomena such as sexual arousal. Thus, in two pre-registered online studies, we tested whether 60 images depicting models in underwear elicited higher self-reported sexual arousal when believed to be (N = 57) or presented as (N = 108) real photographs as opposed to artificially generated. In both cases, Realness (...) correlated with significantly higher scores on self-reported sexual arousal. Consistently with the literature on downregulation of emotional response to fictional works, our result indicates that sexual images that are perceived to be fake are less arousing than those believed to portray real people. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation of (...) a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

A covid-19 tem gerado grande mobilização por parte das sociedades contemporâneas. Como forma de prevenção e controle da doença, o isolamento social tem sido uma medida eficaz, recomendada por diversos órgãos da saúde. Por isso, pensar o isolamento social como prática solidária tem sido fundamental. Nesta perspectiva, o presente artigo busca problematizar o isolamento social enquanto isolamento solidário. Para isso, partimos da tematização da enfermidade, até agora conhecida, seus modos de prevenção e controle e, por conseguinte, o diálogo entre a (...) Saúde Coletiva e a Hermenêutica Filosófica, na tentativa de repensar o isolamento criticamente, para além de uma questão biomédica. Assim, discutir o isolamento solidário como noção essencial ao enfrentamento da pandemia da COVID-19 significa contribuir para uma visão mais ampla de saúde, ao passo que se encontra em jogo o restabelecimento da vida comunitária para além de sua concepção biomédica. (shrink)

Friendship is commonly assumed to reduce strategic uncertainty and enhance tacit coordination. However, this assumption has never been tested across two opposite poles of coordination involving either strategic complementarity or substitutability. We had participants interact with friends or strangers in two classic coordination games: the stag-hunt game, which exhibits strategic complementarity and may foster “cooperation”, and the entry game, which exhibits strategic substitutability and may foster “competition”. Both games capture a frequent trade-off between a potentially high paying but uncertain option (...) and a low paying but safe alternative. We find that, relative to strangers, friends are more likely to choose options involving uncertainty in stag-hunt games, but the opposite is true in entry games. Furthermore, in stag-hunt games, friends “tremble” less between options, coordinate better and earn more, but these advantages are largely decreased or lost in entry games. We further investigate how these effects are modulated by risk attitudes, friendship qualities, and interpersonal similarities. (shrink)

The purpose of this article is to reinforce the alert that the German philosopher Hans Jonas makes in his work Principle responsibility for the imminent possibility of a tragic end of history for humanity if the unpredictable effects arising from the form of action of the liberal political-economic system and the inconsequential advance of the technology that follows are considered. In this intention, we chose as a strategy, to weaken and oppose the Hegelian idea, opposed to Jonah's view, that there (...) would be no cause for alarm because history, in its development, is guided by an immanent and well-intentioned reason that inevitably leads humanity towards the realm of freedom and the absolute spirit. More recently, the American philosopher, economist and political scientist Francis Fukuyama, seeking support in Hegelian thought decreed that history had come to an end with the culmination of the sociocultural evolution of humanity. In this context, we initially seek to present an interpretative analysis of the ideas of Hegel and Fukuyama, and then to make a critique a of this way of thinking, in the light of Hans Jonas' arguments. Finally, it is concluded, through the Jonasian lens, that the story, in addition to not having reached its end, as Fukuyama stated, may also have a quite different ending from that imagined by Hegel. Therefore, one should not disregard the occurrence of the hypothesis of an essential death followed by a physical death of the human race, well before the Hegelian project of freedom has a chance to take place. In doubt, it is better for man to be wary of the existence and of the intention and of the capacity of an imminent reason and to retake in time the reins of his own destiny, through the adoption of a new ethical principle: that of responsibility. (shrink)

In A Treatise on Virtues and Rewards, Dragonetti advances a theory of action based on rewards for virtues. The idea of rewards, especially of awards, relies on the hypothesis that intrinsic motivations drive the actions of good or virtuous citizens. We apply this theory to virtuous entrepreneurs who voluntarily adopt ethical principles as promoted by a recent Italian law. These firms receive an ethical rating by the Italian Competition Authority and can access a set of economic and non-economic benefits. We (...) survey a sample of 152 private companies with an ER and examine their views on the economic and social motivations and benefits as well as the perceived usefulness of the ER for improving ethical behaviour. An exploratory factor analysis detects four categories of motivation and two categories of benefits, which we use in regression models to test Dragonetti’s theory. Overall, respondents see the ER as an effective tool, except in terms of improving economic performance. We also find that entrepreneurs with lower economic and higher responsiveness motivations attain higher ERs. However, in the respondents’ opinions, the ER is not producing any concrete benefits since we find no relationship between the ER and economic or competitive rewards. These findings have implications for the ICA as well as for private companies. (shrink)

Nosso intento aqui é o de expor os limites da filosofia especulativa a partir da análise crítica de Feuerbach nos Princípios de Filosofia do Futuro. Nesta obra Feuerbach apresenta-nos os fundamentos da filosofia especulativa, a fim de levar-nos a compreendê-la como uma verdadeira teologia racional. Tal afirmação feuerbachiana funda-se na latente submissão dos filósofos especulativos a temas sugeridos na reflexão teológica, surgidos no período que vai desde a filosofia mosaica aos primórdios do cristianismo, precisamente na filosofia neoplatônica. Analisamos emnosso trabalho (...) o argumento do filósofo alemão para desmascarar a inversão realizada pela filosofia especulativa, precisamente na herança neoplatônica assumida na modernidade pela filosofia de Hegel. (shrink)

Contemporary Darwinian medicine is a still-expanding new discipline whose principal aim is to arrive at an evolutionary understanding of aspects of the body that leave it vulnerable to disease. Historically, there was a precedent; between 1880 and 1940 several scientists tried to develop a general evolutionary theory of disease as arising from deleterious traits that escape elimination by natural selection. In contrast, contemporary Darwinian medicine uses evolutionary theory to consider all the possible reasons why selection has left human vulnerable to (...) a disease. (shrink)

Populism is widely thought to be in tension with liberal democracy. This article clarifies what exactly is problematic about populism from a liberal–democratic point of view and goes on to develop...

Fábio Alves dos Santos (1954-2013) cursou Pedagogia, Ciências Sociais e Teologia, era Especialista em Filosofia da Religião (PUC Minas), Advogado (PUC Minas) e Mestre em Direito Constitucional (UFMG). Lecionou na PUC Minas como professor de Cultura Religiosa e depois como professor no Curso de Direito, atuando principalmente no Serviço de Assistência Judiciária – SAJ, especialmente cuidado de causas populares como as da ASMARE (Associação dos Catadores de Papel, Papelão e Material Reaproveitável de Belo Horizonte), da Pastoral de Rua, da Pastoral (...) Carcerária, de movimentos de “Sem Casa”, de ocupações e tantos outros grupos. Fábio sofria de grave problema de visão há mais de 15 anos. Quase ficou cego depois de diversas cirurgias de miopia. Isso, porém, não o impedia de seguir seu constante compromisso com as lutas populares. Na última entrevista que concedeu, menos de um mês antes de sua morte (19 de outubro de 2013), depois de duro sofrimento de quase dois anos, no tratamento de um câncer no pâncreas, conta um pouco de sua vida, sua luta e sua percepção de várias realidades, especialmente da Igreja e da pastoral. Militante formado na Teologia da Libertação, de profunda espiritualidade, marcada por traços da religiosidade popular nordestina e comprometida com a libertação, Fábio Alves também buscou em sua vida abrir-se à teologia do pluralismo religioso, especialmente com o Santo Daime, em cuja tradição religiosa chegou a ser “fardado”, mantendo uma profunda atitude espiritual aberta ao diálogo inter-religioso. Sua primeira publicação foi “Começo de mundo novo: sofrimento, luta e vitória dos posseiros de Santana dos Frades”, Sergipe, numa versão popular em 1981 e outra pela Editora Vozes (1990). Fruto de sua dissertação de mestrado, publicou o livro “Direito Agrário: política fundiária no Brasil (1995). Em 2001 saiu seu último livro, uma coletânea de artigos publicados em diversos jornais: “Em defesa da vida”. Num artigo em Horizonte (2004), juntamente com o advogado, amigo e colega Prof. Cristiano de Melo Bastos, discutiu “A prática jurídica na missão da PUC Minas”. Palavras-chave : Teologia da Libertação. Militância. Igreja Católica. Pastoral. Lutas populares. (shrink)

Prediction Error Minimization theory (PEM) is one of the most promising attempts to model perception in current science of mind, and it has recently been advocated by some prominent philosophers as Andy Clark and Jakob Hohwy. Briefly, PEM maintains that “the brain is an organ that on aver-age and over time continually minimizes the error between the sensory input it predicts on the basis of its model of the world and the actual sensory input” (Hohwy 2014, p. 2). An interesting (...) debate has arisen with regard to which is the more adequate epistemological interpretation of PEM. Indeed, Hohwy maintains that given that PEM supports an inferential view of perception and cognition, PEM has to be considered as conveying an internalist epistemological perspective. Contrary to this view, Clark maintains that it would be incorrect to interpret in such a way the indirectness of the link between the world and our inner model of it, and that PEM may well be combined with an externalist epistemological perspective. The aim of this paper is to assess those two opposite interpretations of PEM. Moreover, it will be suggested that Hohwy’s position may be considerably strengthened by adopting Carlo Cellucci’s view on knowledge (2013). (shrink)

Focused on city-scale automation, and using self-driving cars (SDCs) as a case study, this article reflects on the role of AI—and in particular, computer vision systems used for mapping and navigation—as a catalyst for urban transformation. Urban research commonly presents AI and cities as having a one-way cause-and-effect relationship, giving undue weight to AI’s impact on cities and overlooking the role of cities in shaping AI. Working at the intersection of data science and social research, this paper aims to counter (...) this trend by exploring the reverse perspective: how do cities affect the development, and expose the present limits, of SDCs? The contribution of this paper is threefold. First, by comparing urban and nonurban environments and thoroughly examining the relationship between computer vision and city-specific sociality and form, it defines machine autonomy/automation as a function of the sociotechnical milieu in which an AI system operates. Second, and related, the paper problematizes the notion of SDCs as autonomous technologies and the role it plays in envisioning contending policy arrangements and technical solutions for achieving full driving automation. Finally, the article offers insight into a materialist and spatialized understanding of AI—namely, not as an abstract quality susceptible to replication within discrete machines, but rather as a distributed property emerging through embodied interactions among a multiplicity of agents (human, non-human, and technological) within/with their environments. (shrink)

A linguagem para Nietzsche é considerada como uma metáfora das coisas externas produzida pelos estímulos que elas causam em nós. A partir disso, indagamos sobre a possibilidade da linguagem e da história auxiliarem na busca pela verdade. Para tal, o texto reconstrói o pensamento de Nietzsche contido em dois escritos de 1873 3 1874. Por fim, contrapormos a concepção de Nietzsche, ainda que brevemente, com a visão de Habermas para demonstrar que a história, expressa pela linguagem, deve ser crítica e, (...) com isso, conduzir a verdade. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

In this paper, I introduce a “promises and perils” framework for understanding the “soft” impacts of emerging technology, and argue for a eudaimonic conception of well-being. This eudaimonic conception of well-being, however, presupposes that we have something like stable character traits. I therefore defend this view from the “situationist challenge” and show that instead of viewing this challenge as a threat to well-being, we can incorporate it into how we think about living well with technology. Human beings are susceptible to (...) situational influences and are often unaware of the ways that their social and technological environment influence not only their ability to do well, but even their ability to know whether they are doing well. Any theory that attempts to describe what it means for us to be doing well, then, needs to take these contextual features into account and bake them into a theory of human flourishing. By paying careful attention to these contextual factors, we can design systems that promote human flourishing. (shrink)