This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (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 reject 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 does not necessitate the rejection of the LNC. I term this approach ‘non-dialetheic mystical contradictory theism.’. (shrink)

Prediction-based decisions, which are often made by utilizing the tools of machine learning, influence nearly all facets of modern life. Ethical concerns about this widespread practice have given rise to the field of fair machine learning and a number of fairness measures, mathematically precise definitions of fairness that purport to determine whether a given prediction-based decision system is fair. Following Reuben Binns (2017), we take ‘fairness’ in this context to be a placeholder for a variety of normative egalitarian considerations. We (...) explore a few fairness measures to suss out their egalitarian roots and evaluate them, both as formalizations of egalitarian ideas and as assertions of what fairness demands of predictive systems. We pay special attention to a recent and popular fairness measure, counterfactual fairness, which holds that a prediction about an individual is fair if it is the same in the actual world and any counterfactual world where the individual belongs to a different demographic group (cf. Kusner et al. (2018)). (shrink)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)

Holm (2022) argues that a class of algorithmic fairness measures, that he refers to as the ‘performance parity criteria’, can be understood as applications of John Broome’s Fairness Principle. We argue that the performance parity criteria cannot be read this way. This is because in the relevant context, the Fairness Principle requires the equalization of actual individuals’ individual-level chances of obtaining some good (such as an accurate prediction from a predictive system), but the performance parity criteria do not guarantee any (...) such thing: the measures merely ensure that certain population-level ratios hold. (shrink)

The aim of this paper is to offer a version of the so-called conversational hypothesis of the ontogenetic connection between language and mindreading (Harris 1996, 2005; Van Cleave and Gauker 2010; Hughes et al. 2006). After arguing against a particular way of understanding the hypothesis (the communicative view), I will start from the justificatory view in philosophy of social cognition (Andrews 2012; Hutto 2004; Zawidzki 2013) to make the case for the idea that the primary function of belief and desire (...) attributions is to justify and normalize deviant patterns of behaviour. Following this framework, I elaborate upon the idea that development of folk psychological skills requires the subjects to engage in conversationally mediated joint and cooperative activities in order to acquire the conceptual capacity of ascribing propositional attitudes. After presenting the general version of the hypothesis, I present several testable sub-hypotheses and some psychological studies that give empirical plausibility to the hypothesis. (shrink)

A number of findings in the field of machine learning have given rise to questions about what it means for automated scoring- or decisionmaking systems to be fair. One center of gravity in this discussion is whether such systems ought to satisfy classification parity (which requires parity in accuracy across groups, defined by protected attributes) or calibration (which requires similar predictions to have similar meanings across groups, defined by protected attributes). Central to this discussion are impossibility results, owed to Kleinberg (...) et al. (2016), Chouldechova (2017), and Corbett-Davies et al. (2017), which show that classification parity and calibration are often incompatible. This paper aims to argue that classification parity, calibration, and a newer, interesting measure called counterfactual fairness are unsatisfactory measures of fairness, offer a general diagnosis of the failure of these measures, and sketch an alternative approach to understanding fairness in machine learning. (shrink)

El Realismo Científico Estándar sostiene el enfoque metafísico de que el mundo es como es independiente de la mente. Sin embargo, el presente artículo demuestra cómo esta postura es incompatible con todas las teorías no-eliminativistas sobre la mente, lo cual hace que la postura sea inconsistente, incompatible con la ciencia, elimina la consciencia, la intencionalidad, la causación mental y la ética. Se propone una tesis realista alternativa que conserva la idea de que el mundo en general es de la forma (...) que es, independiente de lo que pensemos sobre él, compatible con la mente como parte real del mundo. Este cambio restaura la posibilidad de consistencia, la mente, la consciencia, la intencionalidad, la ciencia y la ética. -/- Standard Scientific Realism holds the metaphysical view that the world is the way it is independent of the mind. However, this paper demonstrates how this view is incompatible with all non-eliminativist theories of mind, leading it to be inconsistent, incompatible with science, and eliminating consciousness, intentionality, mental causation and ethics. An alternative realist thesis is proposed which preserves the idea that generally the world is the way it is independent of what we think of it, compatible with mind as a real part of the world. This reform restores the possibility of consistency, mind, consciousness, intentionality, science and ethics, while at the same time preserving the theoretical advantages over non-realist competitors. (shrink)

A widespread view in philosophy claims that inner speech is closely tied to human metacognitive capacities. This so-called format view of inner speech considers that talking to oneself allows humans to gain access to their own mental states by forming metarepresentation states through the rehearsal of inner utterances (section 2). The aim of this paper is to present two problems to this view (section 3) and offer an alternative view to the connection between inner speech and metacognition (section 4). According (...) to this alternative, inner speech (meta)cognitive functions derivate from the set of commitments we mobilize in our communicative exchanges. After presenting this commitment-based approach, I address two possible objections (section 5). (shrink)

State of the art paper on the topic realism/anti-realism. The first part of the paper elucidates the notions of existence and independence of the metaphysical characterization of the realism/anti-realism dispute. The second part of the paper presents a critical taxonomy of the most important positions and doctrines in the contemporary literature on the domains of science and mathematics: scientific realism, scientific anti-realism, constructive empiricism, structural realism, mathematical Platonism, mathematical indispensability, mathematical empiricism, intuitionism, mathematical fictionalism and second philosophy.

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...) to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

The Neoplatonic commentaries on Aristotle’s works have always been considered somehow suspicious. That is partly related to the doctrinal commitments of the commentators, partly with the hermeneutical strategies to which they seem to recur. Both of these reasons have also give place to the accusation of distortion and misunderstanding of Aristotle’s philosophy. In the following paper I want to perform an exercise of disclosing the hermeneutical procedure that one of this commentators applies to one of the passages of the first (...) book of the De Anima. The commentator is Philoponus, the passage is the refutation of the soul-harmony theory. My aim is to show that, despite the doctrinal commitments that the commentator may have, his methodology follows Aristotelian guidelines. I hope that this could open perspectives on the value that the commentators must have as philosophers, rather than merely interpreters or paraphrasers. (shrink)

New media (highly interactive digital technology for creating, sharing, and consuming information) affords users a great deal of control over their informational diets. As a result, many users of new media unwittingly encapsulate themselves in epistemic bubbles (epistemic structures, such as highly personalized news feeds, that leave relevant sources of information out (Nguyen forthcoming)). Epistemically paternalistic alterations to new media technologies could be made to pop at least some epistemic bubbles. We examine one such alteration that Facebook has made in (...) an effort to fight fake news and conclude that it is morally permissible. We further argue that many epistemically paternalistic policies can (and should) be a perennial part of the internet information environment. (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)

This study is concerned with linguistic competence and relationship between the socio-demographic profile in terms of parents’ education background and assigned household chores. The researcher made questionnaires and essay tests and administered among senior high school students who were randomly chosen as respondents. To analyze and interpret data, mean, standard deviation, T-test, and One-Way Analysis of Variance were utilized. ANOVA was conducted to determine whether there was a significant relationship between the socio-demographic profile and the level of linguistic competency of (...) the senior high school students. Findings revealed that there was no significant relationship between the parents’ educational attainment and linguistic competences. ANOVA was conducted again to determine whether there was a significant relationship between the assigned household chores and the level of linguistic competency of the senior high school students. Similarly, results indicate that linguistic competences do not differ among respondents with different assigned household chores. In addition, T-test was conducted to determine whether there was a significant difference among the level of linguistic competencies of the senior high school students in Ormoc City Regional Sports Academy, but the gathered results revealed that there was no significant difference among linguistic competence level. However, there was a significant difference in the linguistic competence in organization of ideas among senior high school students. Grade 11 students have significantly higher mean in organization of ideas than Grade12 students. Major findings revealed that the respondents were at the basic level under the Common European Framework of References for Languages. Generally, the linguistic competence of the senior high school students should be improved. A proposed remedial activity in English writing skills is adapted to level up the linguistic competence of the senior high school students. (shrink)

This paper examines the practice of using predictive systems to lengthen the prison sentences of convicted persons when the systems forecast a higher likelihood of re-offense or re-arrest. There has been much critical discussion of technologies used for sentencing, including questions of bias and opacity. However, there hasn’t been a discussion of whether this use of predictive systems makes sense in the first place. We argue that it does not by showing that there is no plausible theory of punishment that (...) supports it. (shrink)

This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by (...) Ondřej Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark. -/- . (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)

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)

Esta tesis estudia el pensamiento del conservador español Juan Donoso Cortés (1809- 1853). Más precisamente, se ocupa de responder cómo resuelve el problema de la decadencia de la autoridad monárquica en Europa a partir de las revoluciones de 1848. Para abordar este objetivo general elaboramos dos objetivos específicos. El primero busca señalar las continuidades y discontinuidades de la obra donosiana, escindida generalmente en dos períodos: el juvenil, con un Donoso Cortés liberal, y el maduro, que luego de una “conversión religiosa” (...) se vuelca hacia el catolicismo reaccionario. El segundo objetivo hace foco en el concepto de dictadura, bajo la sospecha de que en esta noción reside la clave de su proyecto conservador. Con esto en mente construimos dos hipótesis. La primera afirma que nuestro autor es consciente de la imposibilidad de restituir el proyecto monárquico. La segunda, sugiere la presencia de una fórmula parcialmente decisionista como alternativa a dicho proyecto. Luego de un trabajo de lectura de primera mano de los textos donosianos, las conclusiones confirman las hipótesis y observan que existe una continuidad estructural en las ideas del español, pero también que hay discontinuidades, de las cuales la más importante es su particular noción de dictadura, que denominamos dictadura catolizante. (shrink)

Any plausibly just market exchange must balance two conflicting moral considerations: non-worseness (Wertheimer, 1999) and euvoluntariness (true voluntariness; Munger, 2011). We propose an analytical theory of just market exchange that partly resolves this conflict.

El presente artículo explora la relación entre las ideas estéticas y las ideas políticas en la obra de Edmund Burke. De dicho análisis, surge, en primer lugar, la relevancia de sus reflexiones sobre las nociones de lo bello y de lo sublime para la teoría política, usualmente desestimadas por los comentadores. En segundo lugar, la afirmación de que la idea de lo sublime es una característica imprescindible de todo gobierno político, y el trazado, en tercer lugar, de una distinción entre (...) los gobiernos moderados y despóticos a partir de las diferencias estéticas observables en la monarquía constitucional inglesa y la asamblea nacional revolucionaria de 1789. Se concluye la dependencia recíproca de ambas disciplinas para comprender con mayor exactitud el pensamiento del autor irlandés. (shrink)

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition to (...) the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

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.

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

El presente artículo discute sobre la inclusión del contrarrevolucionario Joseph de Maistre en la problemática categoría de reaccionario político, pero sostiene que se trata de un conservador. Para llevar a cabo este objetivo, se hace un análisis de tipo teórico de acuerdo con las exigencias de la hermenéutica textual y considerando los aportes de la historia de las ideas y de la historia conceptual. Con esto en mente, en la primera parte de este trabajo se detectan los problemas del uso (...) del concepto de reacción para la teoría política y se demuestra su injustificada aplicación al pensamiento de De Maistre. En la segunda parte, se despliega el concepto de conservadurismo sustantivo para definir la corriente conservadora con vistas a, en la tercera parte, reconsiderar su obra a partir del marco conceptual presentado. Se concluye la conveniencia heurística de la categoría propuesta para la comprensión del autor saboyano. (shrink)

Es difícil imaginar una sociedad del buen vivir sin arte. Por ello, la creatividad artística es reconocida como derecho en la Constitución del Ecuador, y como derecho humano en los intrumentos internacionales relevantes. Partiendo de esta reflexión, los artículos de este libro argumentan que siendo el arte un derecho, le corresponde al Estado la provisión de condiciones para su garantía por medio de políticas públicas, que deben tomar en cuenta tanto las especificidades de las personas, y los pueblos y nacionalidades, (...) como el contexto tecnológico de la era digital, que brinda las bases para una sociedad abierta donde el conocimiento sea libre. (shrink)

Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.

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)

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the (...) classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)

The enhanced mathematical indispensability argument, proposed by Alan Baker (2005), argues that we must commit to mathematical entities, because mathematical entities play an indispensable explanatory role in our best scientific theories. This article clarifies the doctrines that support this argument, namely, the doctrines of naturalism and confirmational holism.

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (shrink)

This paper suggests the democratic direction in which the right of freedom of expression should be conceived and applied. In the first two sections it suggests some counter-examples to, and diagnoses of, the libertarian and liberal conceptions of freedom of expression, taking Scanlon (1972) and Scanlon (1979), respectively, to be their chief proponents. The paper suggests that these conceptions cannot take into account clear examples, like fraudulent propaganda, which should not be legal. The democratic conception takes it to heart that (...) the pillars upon which the right of freedom of expression is founded are individual and collective autonomy, the right to know facts of public interest and information necessary for effective democratic control of government. The paper suggests that in a time when private powers seriously threaten these pillars, it is correct for the government to step in to provide the framework in which genuine discussion geared toward fulfilling the objectives of these pillars can take place. (shrink)

State of art paper on the topic causation, around the problem of the nature of causation. Central theories of contemporary philosophical literature are discussed and analysed, namely, regularity theories of Hume and Mackie, counterfactual theories of Lewis, probabilistic theories of Reichenbach, Lewis and Menzies and causal processes theories of Salmon and Dowe.

Detractors of Searle’s Chinese Room Argument have arrived at a virtual consensus that the mental properties of the Man performing the computations stipulated by the argument are irrelevant to whether computational cognitive science is true. This paper challenges this virtual consensus to argue for the first of the two main theses of the persons reply, namely, that the mental properties of the Man are what matter. It does this by challenging many of the arguments and conceptions put forth by the (...) systems and logical replies to the Chinese Room, either reducing them to absurdity or showing how they lead, on the contrary, to conclusions the persons reply endorses. The paper bases its position on the Chinese Room Argument on additional philosophical considerations, the foundations of the theory of computation, and theoretical and experimental psychology. The paper purports to show how all these dimensions tend to support the proposed thesis of the persons reply. (shrink)

Abstract: Alienation and slavery from Precious or what we don't want to see. It is our purpose to establish, in a parallel reading, these two films (highly rewarded), namely The Fence and Precious, that apparently being so different, are an illustration of the reality of life and the modern democratic world: the social uprooting and slavery. If in the movie of Phillip Noyce and Christone Olsen The Fence, is told a story of three young Aboriginal girls who are forcibly taken (...) to be transformed into domestic slaves, in the movie of Lee Daniels Precious, the young woman is already a servant in her own home and seeks the transformation of her life. Uniting these two stories, we find fundamental elements: illiteracy, ill-treatment, the idea of a migration (real or metaphysical), among others, but whose fundamental notion is the journey. If the film The Fence, the fence itself is used to conduct the three young Aboriginal to a real reunion with the family, in Precious, the metaphorical ‘fence’ is the limit of her world. From this interpretation, we will undertake our reflection about what we consider to be the alienation of the modern world and the silence we produce about them. (shrink)

Pretendemos com este ensaio fazer uma bordagem à filosofia fenomenológica da linguagem de Heidegger; abordagem que procura realizar, senão mesmo justificar, isso mesmo que subjaz a uma linguagem que é doação, que é fazer vir à presença aquilo que é nomeado. Mas linguagem tem um sentido mais lato que não apenas fala ou falado. Linguagem como ‘dizer’. Um ‘dizer’ que se escuta para lá do simples dito, para lá de qualquer modo de ser do dasein (autêntico ou inautêntico), para lá (...) do quotidianamente falado. Ou seja, o que permite tornar perceptível e inteligível as sentenças “o homem fala” e, “die sprache spricht”, o que permite dizer que o dasein é aquele que só pode advir através da linguagem mas simultaneamente é aquele pelo qual só o ser pode falar, é aquilo que apelidámos de ontopotencialidade. Tendo a linguagem esta ontopotencialidade, i.e., a potencialidade de doação permanente, de permitir um acontecer possibilitante de mundo(s) que instituem uma abertura, ela possibilita a manutenção dessa mesma abertura. Eis a tarefa do nosso ensaio. Dividimos assim a nossa comunicação em três partes, a saber: 1) A origem necessária: Logos – O discurso como mostração; 2) Linguagem e Poesia – A essência da arte e a arte da essência; 3) A Ontopotencialidade da linguagem – definição e síntese. (shrink)

This paper is a follow-up of the first part of the persons reply to the Chinese Room Argument. The first part claims that the mental properties of the person appearing in that argument are what matter to whether computational cognitive science is true. This paper tries to discern what those mental properties are by applying a series of hypothetical psychological and strengthened Turing tests to the person, and argues that the results support the thesis that the Man performing the computations (...) characteristic of understanding Chinese actually understands Chinese. The supposition that the Man does not understand Chinese has gone virtually unquestioned in this foundational debate. The persons reply acknowledges the intuitive power behind that supposition, but knows that brute intuitions are not epistemically sacrosanct. Like many intuitions humans have had, and later deposed, this intuition does not withstand experimental scrutiny. The second part of the persons reply consequently holds that computational cognitive science is confirmed by the Chinese Room thought experiment. (shrink)

The role of imagination in Descartes. The critic of Sartre to the concept of image in Descartes.

El presente artículo aplica una nueva caracterización del pensamiento conservador a la obra de Edmund Burke. Con este objetivo, se critica la asimilación entre los conservadores y el rechazo al cambio. Posteriormente, en una segunda parte, se propone el concepto de conservadorismo sustantivo para describir a la corriente conservadora. Finalmente, la tercera parte utiliza el aparato conceptual anterior para analizar la obra Reflexiones sobre la Revolución en Francia, de Edmund Burke, fundadora del conservadorismo. Se concluye que la definición es pertinente (...) para caracterizar al autor y que, por lo tanto, posee capacidad heurística para ser extrapolada a otros pensadores. (shrink)

In this open access book, Timothy Aylsworth and Clinton Castro draw on the deep well of Kantian ethics to argue that we have moral duties, both to ourselves and to others, to protect our autonomy from the threat posed by the problematic use of technology. The problematic use of technologies like smartphones threatens our autonomy in a variety of ways, and critics have only begun to appreciate the vast scope of this problem. In the last decade, we have seen (...) a flurry of books making “self-help” arguments about how we could live happier, more fulfilling lives if we were less addicted to our phones. But none of these authors see this issue as one involving a moral duty to protect our autonomy. (shrink)

Some recent literature [Hicks, M. T. and van Elswyk. P., (2015) pp. 433-443, 2015; Bhogal, H. (2017), pp. 447-460] has argued that the non-Humean conceptions of laws of nature have a same weakness as the Humean conceptions of laws of nature. That is, both conceptions face an explanatory circularity problem. The argument is as follows: the Humean and the non-Humean conceptions of laws of nature agree that the law statements are universal generalisations; thus, both conceptions are vulnerable to an explanatory (...) circularity problem between the laws of nature and their instances. In this paper, I argue that Armstrong’s necessitarian view of laws of nature is invulnerable to this explanatory circularity problem. (shrink)

Inspired by the work of Sellars, Cumpa (2014, 2018) and Buonomo (2021) have argued that we can evaluate our metaphysical proposals on fundamental categories in terms of their capacity for reconciling the scientific and the manifest image of the world. This criterion of fundamentality would allow us to settle the question of which categories among those proposed in the debate—e.g., substance, structure or facts—have a better explanatory value. The aim of this essay is to argue against a central assumption of (...) the criterion: semantic descriptivism. Specifically, I aim at showing that the criterion rests on the idea that the manifest picture is mostly a description of the world, and thus, it commits us with certain realism. Instead, I argue that at least some of the vocabulary we use to construct our manifest picture of the world, mental vocabulary, is evaluative rather than descriptive and thus creates problems in reconcile the manifest picture with scientific psychology and neurosciences. I conclude with some remarks on alternatives that could provide a way out of the fundamentality criterion. (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)

Misrepresentations can be innocuous or even useful, but Kant’s corollary to the formula of universal law appears to involve a pernicious one: “act as if the maxim of your action were to become by your will a universal law of nature”. Humans obviously cannot make their maxims into laws of nature, and it seems preposterous to claim that we are morally required to pretend that we can. Given that Kant was careful to eradicate pernicious misrepresentations from theoretical metaphysics, the imperative (...) to act as if I have this supernatural power has typically been treated as an embarrassment meriting apology. The wording of the corollary may be vindicated, however, by recognizing that “as if” (als ob) is a technical term both in the Critique of Pure Reason and here. It signals a modal shift from the assertoric to the problematic mode of cognition, one that is necessitated by the attempt to incorporate the natural effects of a free will into a universal moral imperative that is philosophically practical. In this paper I sketch how the modal shift makes sense of the corollary as a subjectively necessary, philosophically practical idealization of the extension of human freedom into nature, one that accurately represents a necessary parameter of moral conduct: moral ambition. (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.

Este ensaio estabelece uma comparação estética e fenomenológica entre os pensamentos de Yves-Klein e Merleau-Ponty. Se o pintor materializou as suas reflexões e concepções em obra pictórica, o fenomenólogo francês dissertou na escrita filosófica o resultado da sua reflexão. Da análise conjunta entre um e outro resulta esta fenomenologia e estética comparativa que apresenta alguns conceitos fundamentais que alimentaram essas reflexões, tais como a visibilidade, o corpo, o mundo. Assim, para além dessa comparação, este ensaio viabiliza o diálogo entre ambos. (...) Palavras-chave: Corpo. Mundo. Visibilidade. Merleau-Ponty. Yves Klein -/- Abstract:This essay establishes an aesthetic and phenomenological comparison between the thoughts of Yves-Klein and Merleau-Ponty. If the painter materialized his reflections and concepts in pictorial work, the French phenomenologist disserted in the philosophical writing the result of his reflection. From the joint analysis between one and the other, this phenomenology and comparative aesthetics results, which presents some fundamental concepts that fed these reflections such as visibility, the body, the world. Thus, in addition to this comparison, this essay enables the dialogue between both. Keywords: Body. World. Visibility. Merleau-Ponty. Yves Klein. (shrink)