In this essay, I focus on Lugones’s relatively lesser explored notion of playfulness. I weigh in on the debate about whether playfulness is necessary for what Lugones calls “world-traveling,” which enables one to recognize another person as a full subject. I argue that although the attribute of playfulness may not be necessary for world-traveling, it is necessary for collaborative world-making––creating a new, shared world that is opened through the activity of play.

This review article takes up the issue of race in Latin American philosophy and Susan Nuccetelli's analysis of it by asking how we think the place of race in Latin American philosophy given that she argues that race is both an internal factor (in the sense that Latin American philosophy theorizes race) as well as an external factor (in the sense that racism and raciality have significantly determined the production of Latin American philosophy)? The article thematizes white supremacy in Latin (...) American philosophy in order to ask to what degree Latin American philosophy can respond to white supremacy in philosophy without questioning its own grounds and relation to white supremacy. (shrink)

Panentheism has seen a revival over the past two decades in the philosophical literature. This has partially triggered an interest in Indian models of God, which have traditionally been seen as panentheistic. On the other hand, panentheism has been often associated with panpsychism, an old ontological view that sees consciousness as fundamental and ubiquitous in the natural world and which has also enjoyed a renaissance in recent decades. Depending on where one places fundamentality (whether on the microlevel or on the (...) cosmic-level) there will be two types of panpsychism: micropsychism and cosmopsychism. Despite the apparently rich connection between Indian traditions and panpsychism, especially in its cosmopsychist version, recent work within cross-cultural analytic philosophy of mind seems to be mostly focused on atheistic traditions, such as Advaita Vedānta and Buddhism. My goal in this paper is to contribute to the cross-cultural debate over panentheism and Indian models of God, as well as to the debate on the connections between panpsychism, cosmopsychism and Indian traditions, by examining one of the most important and often quoted texts in Indian religious and philosophical traditions: the theistic Bhavagad Gītā. From a more specific standpoint, the paper has a threefold goal: to offer a panentheistic reconstruction of the Gītā’s concept of God, to show how this panentheistic model of God entails a form of theistic cosmopsychism, and to locate the Gītā’s cosmopsychism within a broader map of cosmopsychist views. Based on this reconstructive analysis of the Gītā’s cosmopsychism, I also outline some few reflections on the philosophical prospects of theistic cosmopsychism. (shrink)

When faced with the charge that a given concept of God is contradictory, the standard move among philosophers and theologians has been to try to explain away the contradiction and show that the concept of God in question is consistent. This has to do, of course, with the Law of Non-Contradiction (LNC). Another option, which has recently generated interest among logicians and analytic philosophers of religion, is to reject such a move as unnecessary and defend what might be called the (...) contradictory God thesis. To be sure, something close to that can be found in philosophers such as Pseudo-Dionysius, Thomas Aquinas and Nicolaus de Cusa. However, it is only recently that this approach has gained momentum, certainly driven by the contemporary advance of dialetheism and glut theoretic approaches in general, and paraconsistent logic. Needless to say, a standard move among defenders of the contradictory God thesis is to challenge the LNC. The argumentation, however, is seldomly framed in conceptual terms. Instead, it is mostly framed in ontological terms, as God being a contradictory entity. From this perspective, the contradictory God thesis is the thesis that God is a contradictory object. My goal in this paper is to provide a conceptual assessment of the discussion surrounding the contradictory God thesis. To achieve this, I make use of a general and hopefully non-controversial meta-theory of concepts and adopt a semantic approach rather than a metaphysical one. Within this framework, I address the following questions: What are the different ways we can understand the contradictory God thesis? What grounds are there for rejecting a contradictory concept of God? What standard moves are available to defend oneself from such criticisms and how do they relate to the LNC? What challenges do they present? As a secondary goal, the paper introduces a novel defense of the contradictory God thesis, drawing on a specific interpretation of the theology of the 16th-century Indian thinker Jīva Gosvāmī, which avoids the need to challenge the LNC. I term this approach ‘non-dialetheic mystical contradictory theism.’. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...) the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)

The new features of the business environment have expanded the concept of organizational learning capability. In today’s competitive business environment, OLC has been recognized as an essential means to gain a sustainable competitive advantage. However, the effective development of that capability has not been sufficiently analyzed in the organizational learning literature. Prompted by a recent paradigm shift in the organizational sciences, this research explores the link between altruism and OLC testing a wider picture that includes two intermediate steps: Relationship Conflict (...) and Organizational Trust. To check our hypotheses, we used structural equations to analyze data from a survey of Spanish firms with recognized excellence in human resource management. Results indicate that organizational trust mediates on the altruism—OLC relationship; however, such linkage is not mediated by relationship conflict. Findings suggest that altruism and trust should be promoted in organizations in order to boost OLC. (shrink)

Este artigo apresenta a teoria supervalorativista da vagueza e discute a objecção, que frequentemente lhe é dirigida, segundo a qual essa teoria não consegue dar conta do fenómeno da vagueza de ordem superior.

The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of the concepts (...) involved. This article will offer an introduction to some of the main theories that have been proposed to solve the paradoxes and avert those doubts. Included is also a brief history of the semantic paradoxes from Eubulides to Tarski and Curry. (shrink)

We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.

In this paper we consider the modal logic with both $$\Box $$ and $$\Diamond $$ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra $$[0,1]_G$$. We provide an axiomatic system extending the one from Caicedo and Rodriguez (J Logic Comput 25(1):37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most (...) usual frame restrictions are given too. We also prove that in the studied logic it is not possible to get $$\Diamond $$ as an abbreviation of $$\Box $$, nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature. (shrink)

O objetivo deste artigo é analisar o conceito de yoga da Bhagavad-gītā. Cinco concepções de yoga encontradas no texto são descritas: yoga enquanto disciplina ou prática, yoga enquanto disciplina qualificada, yoga enquanto estado mental de equanimidade e renúncia, yoga enquanto estado de união e yoga enquanto poder místico. As relações existentes entre essas concepções são explicitadas e o que podemos chamar de a estrutura do yoga na Bhagavad-gītā é pormenorizada.

Este trabajo intenta resolver una tensión que existe en el modo en que Aristóteles concibe el apeiron de Anaximandro, la substancia a partir de la cual se genera el cosmos. En algunas partes del corpus, Aristóteles la presenta como un cuerpo básico que genera el cosmos por medio de un cambio de sus cualidades, pero en otras como un cuerpo compuesto de substancias básicas que el cual generaría el cosmos cuando éstas se separan la una de la otra. Como veremos, (...) sin embargo, sólo este segundo modelo es el que Aristóteles realmente le atribuye a Anaximandro. Al final, se propone una hipótesis respecto de quién podría ser entonces la persona, o grupo de personas, que Aristóteles tiene en mente cuando se refiere al primer modelo. (shrink)

Induction, conceived as the class of rational non-truth preserving inferences, has been a perennial problem in philosophy. Aside from the problem of justification of induction, a less debated issue is the problem of properly describing inductive inferences. The purpose of this book is to conceptually investigate this descriptive problem of induction from the standpoint of the nonmonotonic logical tradition raised inside the field of Artificial Intelligence in the last thirty years. As we try to show, an essential part of this (...) enterprise involves the analysis of a pragmatically oriented notion of probability, called by us inductive plausibility. This in turn is made from the viewpoint of paraconsistency ? which according to some is the unavoidable companion of nonmonotonicity ? and modal logic. We therefore put forward a nonmonotonic, paraconsistent and modal approach to induction and plausibility. The book shall be useful to philosophers, logicians and computer scientists interested in the problem of induction in general and in the logical analysis of induction and plausibility in particular. (shrink)

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of the (...) paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

Most words in natural language are vague, that is to say, they lack sharp boundaries and, hence, they have (actual or potential) borderline cases, where the word in question neither definitely applies nor definitely fails to apply. Vagueness gives rise to paradoxes, the best known of which is the sorites (concerned with how many grains of sand are needed to make a heap). Besides offering a solution to such paradoxes, a theory of vagueness should systematically describe how the truth conditions (...) of sentences with vague terms are determined; and it should also define the right logical principles for reasoning with such sentences. This article offers an introduction to the main theories of vagueness and to the problems they have to face. (shrink)

The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...) It is however not clear how paraconsistent logic can be seen as model-building. What exactly is modeled? In this paper I adopt the perspective of looking at a particular instance of paraconsistent logic—paranormal modal logic—which might be seen as a model of a specific kind of agent: inductive agents. After ntroducing what I call the highlevel and low-level models of inductive agents, I analyze the extent to which the above-mentioned idealizing features of model-building appear in paranormal modal logic and how they affect its philosophical significance. (shrink)

This paper aims at examining the issue of the role of supreme being theology in non-Abrahamic traditions. According to the dominant view in contemporary philosophy of religion, the philo-sophical project of inferring divine properties from the concept of God as a maximally perfect being, usually called supreme being theology, is an exclusivity of the Abrahamic traditions. In attempting to question this view, I investigate the developments of two key-concepts of Vedāntatradition –the concepts of Brahman (literally, the greatest) and Bhagavān (literally, (...) the possessor of all excellences) –in thethought of three famous vedantins: Śaṅkara, Rāmānuja and Jīva. (shrink)

Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...) desejo analisar até que ponto os problemas mais importantes levantados contra a teoria clássica dos conceitos afetam uma abordagem definicional-representacional do conceito de Deus. Como resultado desse esforço, mostro que as críticas à teoria clássica que ameaçam tal abordagem dependem da pluralidade característica ao contexto inter-religioso, que por si só cria outros problemas. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...) de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)

This article examines scientific transnationalism as an art of engagement with, and avoidance of, the threats and promises of what was foreign to the nation. Portuguese racial anthropologists experienced a tension between remaining imperial-nationalistic in character, and internationalist in their activities simultaneously. They struggled to exclude foreigners from colonial field sites; they aimed at nativist authority based on total control of colonial data. Yet, they eagerly sought connections with foreign experts to capitalize provincial scientific authority within Portugal’s colonies. The essay (...) conceptualizes this mode of transnationalism as also a kind of isolationism, an inward oriented form of engaging with foreign sciences and scientists as ambivalently powerful and threatening strangers. (shrink)

This essay traces the connected histories of Portuguese and French anthropology in the late nineteenth century. By looking at a Portuguese scientific institution, the Carlos Ribeiro Society, it considers how French race science, known as anthropologie, was adopted and adapted across the European Latin world as a type of “stranger-science.” That is: as an authoritative outsider scientific formation, installed into national terrain in accordance with insider strategies for turning foreign elements into native forms of scientific sovereignty and modernity. French anthropology’s (...) international diffusion becomes meaningful in the light of the Portuguese incorporating what was foreign and modern as a means to generate vitality, and authority endogenously in their own national context. Hence, addressing the circulation of stranger-sciences can pave the way for an original conceptualizing of the transnational life of race science across and even beyond the Latin world. (shrink)

In this paper, I explore the Presocratic antecedents of the Stoic theory of conflagration and argue that, even though three central theses of this theory have solid antecedents in Presocratic physics, the logical connection between them is a Stoic innovation. I label the Presocratics who hold these theses ‘Anaximandreans’ and include in this group Anaximander himself, Heraclitus and Diogenes of Apollonia, and reveal that Anaximenes, Democritus and Antiphon share with them central meteorological and cosmological assumptions.

A comienzos del siglo XXI, América del Sur alberga la mayor biodiversidad del mundo para la mayoría de los grupos de plantas y animales, como también una variedad de movimientos en defensa del medio ambiente, que incluyen comunidades urbanas y rurales. La filosofía académica sudamericana, sin embargo, ha prestado escasa atención a este rico contexto biocultural. Para nutrir una filosofía ambiental regional emergente, identifico tres fuentes principales. Primero, una variedad de cosmovisiones y prácticas ecológicas, ancestrales y contemporáneas ofrecen un rico (...) espectro biocultural de pensamiento ambiental de América del Sur que puede ser examinado y valorado a través del trabajo de la antropología cultural, la filosofía de la liberación, la pedagogía de la liberación, la teología de la liberación, el ecofeminismo y la conservación biocultural. En segundo lugar, en las universidades de América del Sur se han formado recientemente algunos grupos interdisciplinarios académicos en la investigación y enseñanza de la filosofía ambiental, con el apoyo del Programa de las Naciones Unidas del Medio Ambiente, o gracias a los intereses individuales de algunos investigadores. En tercer lugar, expresiones artisticas y movimientos sociales han demandado cada vez más la incorporación de valores ambientales en las políticas regionales y en los procesos de toma de decisiones. Estas tres fuentes pueden fomentar el diálogo intercultural, internacional y transdisciplinario para seguir desarrollando una filosofía ambiental sudamericana que brote desde su extraordinaria diversidad biocultural. (shrink)

This paper aims to conduct a conceptual analysis of induction, starting with the issue of inductive ambiguities. We will argue that there are two equally valid approaches to addressing these ambiguities. By examining certain logical aspects of the two concepts of plausibility that emerge from these approaches, we can clarify much of the debate surrounding inductive ambiguities. Key to this analysis is the relationship between these notions of inductive plausibility and the concepts of paraconsistency and paracompleteness. Our exploration is grounded (...) in a paraconsistent and paracomplete modal logic designed to address the fundamental elements of both approaches to induction. To illustrate the controversy and our proposed solution, we focus on a notable example of inductive inconsistencies: the lottery paradox. (shrink)

La memética es una disciplina joven que se inscribe en el campo de las teorías de la evolución cultural y que busca extrapolar hipótesis darwinianas de selección natural al campo de las ideas, proponiendo la existencia de replicadores culturales llamados memes. En el presente artículo se hace una revisión histórica de dicha disciplina, se examina la contribución que puede ofrecer a las teorías del cambio científico de Thomas Kuhn, Imre Lakatos y Edgar Morin y se hace una evaluación de la (...) memética desde una perspectiva epistemológica basada en categorías ofrecidas por Karl Popper, Mario Bunge e Imre Lakatos, presentándola de esta manera, en un proceso recursivo, como elemento explicativo e interpretativo a la vez que como objeto de estudio y análisis. -/- 'Science in light of memes. Memes in light of science.' -/- Memetics is a young discipline that is inserted in the field of theories of cultural evolution and seeks to extrapolate Darwinian hypotheses of natural selection to the field of ideas by proposing the existence of cultural replicators called memes. In this article, we present a historical overview of the discipline, examining the contribution it can offer to theories of scientific change by Thomas Kuhn, Imre Lakatos, and Edgar Morin. Lastly, we provide an assessment of memetics from an epistemological perspective based on categories suggested by Karl Popper, Mario Bunge and Imre Lakatos, thereby presenting that discipline in a recursive process as an explanatory and interpretative element, while at the same time as an object of study and analysis. (shrink)

Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of the analysis shall (...) be used to introduce definitions minimally precise of the notions of theodicy, satisfactory theodicy, plausible theodicy, ideal theodicy, and the like. (shrink)

This collection of new essays by an international group of scholars closely examine the works of Aristotle's Organon. The Organon is the general title given to the collection of Aristotle's logical works: Categories, De Interpretatione, Prior Analytics, Posterior Analytics, Topics and Sophistical Refutations. This extremely influential collection gave Aristotle the reputation of being the founder of logic, and has helped shaped the development of logic for over two millennia. The chapters in this volume cover topics pertaining to each of the (...) six works traditionally included in the Organon as well as its manuscript tradition. In addition, a comprehensive introduction by the editors discusses Aristotle and logic, the composition and order of the Organon, and the authenticity, title, and chronology of the treatises that make up these works New Essays on Aristotle's Organon offers a valuable insight into this collection for students and scholars working on Aristotle, the works of the Organon, or the philosophy of logic more broadly. (shrink)

Title in English: "Being a certain way without being definitely that way: a problem for supervaluationism". I argue that the supervaluationist theory of vagueness, in its most common version, is committed to a thesis – viz., the incompatibility between being-F and not-being-definitely-F – which is doubtful, unjustified and in conflict with the definition of super-truth as truth in all admissible precisifications of a vague language.

Zen principles and concepts are often taken as mystical statements or poetical observations left for its adepts to use his/her “intuitions” and experience in order to understand them. Zen itself is presented as a teaching beyond scriptures, mysterious, transmitted from heart to heart, and impermeable to logic and reason.

Desporto e jogo são dois conceitos proeminentes na contemporaneidade, cujos limites epistemológicos se tocam e se confundem. São dois conceitos com fortes ligações, que durante séculos significavam mais ou menos a mesma coisa – divertimento –, mas que no século XIX sofrem uma autonomização que nos obriga a procurar os limites conceptuais de cada um. Este trabalho visa, precisamente, distinguir o conceito de desporto do de jogo. Ao analisar o surgimento do desporto moderno português no último quartel do século XIX, (...) num contexto de profundo sentimento de decadência da “raça”, estudando os objectivos para que foi criado e as funções que foi adquirindo, chegamos à conclusão de que o conceito de desporto se vai distanciar do conceito de jogo devido à dimensão medicinal que vai ganhar com vista a regenerar a “raça”. O jogo, por seu turno, ao contrário do desporto, vai manter em definitivo a sua função meramente lúdica, sem o objectivo de interferir na “vida real” ou no robustecimento do corpo social. (shrink)

Pensar a recuperação da Política a partir da ação e do espaço público comporta o grande objetivo deste texto. Queremos com isso trazer a baila duas categorias fundamentais no pensamento de Hannah Arendt. Para tal empreitada nos apoiamos em obras da autora de modo especial A condição Humana e Entre o passado e o Futuro. Elegemos como metodologia central a pesquisa bibliográfica.

This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in João Pessoa, Brazil, April 01-05, 2015. -/- .

Is it possible to combine different logics into a coherent system with the goal of applying it to specific problems so that it sheds some light on foundational aspects of those logics? These are two of the most basic issues of combining logics. Paranormal modal logic is a combination of paraconsistent logic and modal logic. In this paper, I propose two further combinatory developments, focusing on each one of these two issues. On the foundational side, I combine paranormal modal logic (...) with normal modal logic, resulting into a paraconsistent and paracomplete multimodal logic dealing with the notions of plausibility and certainty. On the application side, I combine this logic with Reiter’s default logic, resulting into an inductive and consequently nonmonotonic paraconsistent and paracomplete logic able to represent some key inductive principles. (shrink)

O propósito desse artigo é fornecer um tratamento formal para um tipo de ação até o momento negligenciada nas lógicas modais filosóficas da ação: ação em plano. Ao fazer isso nós seguimos a abordagem padrão nas lógicas modais da ação exemplificados pelos trabalhos de Belnap, Chellas and Pörn. Como nós acreditamos que existe uma relação forte entre plano, tempo e indeterminismo, nós usamos a teoria do tempo ramificado para investigar as características básicas da ação em plano. Além de introduzir uma (...) semântica do tempo ramificado, nós também apresentamos um cálculo correto e completo com relação a essa semântica. DOI:10.5007/1808-1711.2010v14n3p421. (shrink)

An investigation of what might be called the logical formalization of the process of theory change due to anomalies is presented. By anomaly, we mean an observed fact falling into the explanatory scope of a theory that does not agree with the theory prevision. A classical approach to restore the explicative power of a theory faced with an anomaly is to propose new, tentative auxiliary hypotheses which, along with part of the old set of auxiliary hypotheses, are able to solve (...) the anomaly. After laying down some conclusions about the structure of such process, we propose a multi-modal and non-monotonic logical framework able to represent some key aspects of this important facet of the dynamics of scientific theories. Due to the necessity of accommodating incompatible tentative hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behaviour of the planet Uranus that threatened the Newtonian celestial mechanics for more than half a century and gave rise to the discovery of Neptune. (shrink)

O objetivo geral deste artigo é o de fazer algumas considerações teoréticas sobre o aspecto inferencial da Lógica dos Diálogos Inteligentes dentro do quadro conceitual fornecido pelas lógicas do senso comum desenvolvidas dentro da Inteligência Artificial. Mais especificamente, tentarei mostrar aqui que, para bem cumprir o seu papel, a LDI deve possuir uma maneira de representar as inferências não-monotônicas. Como argumento principal, defenderei a tese de que a não-monotonicidade é uma característica intrínseca à compreensão e uso da linguagem. O principal (...) fenômeno relacionado com a linguagem natural utilizado como evidência para essa tese será o fenômeno do uso não literal da linguagem. (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

This book analyses the concepts of God in Vaisnavism, which is commonly referred to as one of the great Hindu monotheistic traditions. Addressing the question of what attributes God possesses according to particular textual sources and traditions in Vaisnavism, the book analyses Vaisnava traditions and texts in order to locate them within a global philosophical framework. The book is divided into two sections. The first one, God in Vaisnava Texts, deals with concepts of God found in the canonical Vaisnava texts: (...) the Bhavagad Gita, the Bhagavata Purana, the Pancaratras, and the Mahabharata. The second section, God in Vaisnava Traditions, addresses concepts of God found in several Vaisnava traditions and their respective key theologians. As well as the Alvars, five traditional Vaisnava schools- the Sri Vaisnava tradition, the Madhva tradition, the Nimbarka tradition, the Pustimarga tradition, and the Caitanya Vaisnava tradition- and two contemporary ones Ramakrishna's and Swami Bhaktivedanta's are considered. The book combines normative, critical and descriptive elements. Some chapters are philosophical in nature, others are more descriptive, unpacking a specific Vaiṣṇava concept of God for future philosophical analysis and critique. Written by experts who break new ground in presenting and representing a diversity of Vaiṣṇava texts and tradition, the book presents approaches that reflect the amount of philosophical and historical deliberation on the specific issues and divine attributes considered. This book will be of interest to researchers in the fields of philosophy of religion and Indian philosophy, cross-cultural and comparative philosophy, analytic philosophy of religion, Hindu studies, theology and religious studies. (shrink)

This essay has two parts: 1) a negative or destructive one, which consists of showing that there is no anomaly, even apparent, in the concept of ‘truth’ (and ‘falsehood’), so that the available theories of truth are not justified, either to solve or react to this alleged problem; 2) a positive or constructive one, which consists of proposing a characterization of truth (and falsehood) based solely on the “objective aspect” of this concept. Here, I will associate the concept of ‘truth’ (...) with the concept of ‘existence’, taking them as two different species of a common genus. Along the way, I will critically analyze the theories of truth “available on the market” and argue that truth only has an “objective aspect”. (shrink)