Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic (...) semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

This paper elucidates the inseparable connection between the pursuit of a more ecologically sustainable society and the quest for socioeconomic justice. It also demonstrates why Unconditional Basic Income (UBI) is an effective policy to act on both fronts. First, the corresponding theory on environmental and socioeconomic oppression sheds light on the argument that both types of domination stem from the same historical process and are inherently interconnected. Addressing one without considering the other is essentially flawed; they are both features and (...) consequences of present society. Acknowledging the historical debt owed to vulnerable economic classes and developing countries is imperative. Green republicanism could potentially establish a theoretical foundation for social-ecological thinking. Defining freedom as non-domination and applying this concept to nature are essential prerequisites for overcoming socioeconomic and environmental oppression. UBI is presented and discussed theoretically as a strong solution to address these two challenges. It serves not only as a means to facilitate the transition to a post-productivist society, transforming labor relations, but also as a catalyst for the development of circular economies and more sustainable occupations. Additionally, the basic income policy implemented in the city of Maricá, Brazil, is cited as empirical evidence showcasing the environmental and socioeconomic values of UBI. (shrink)

I argue that fitting resentment tracks unacceptable ‘ecological’ imbalances in relative social strength between victims and perpetrators that arise from violations of legitimate moral expectations. It does not respond purely, or even primarily, to offenders’ attitudes, and its proper targets need not be fully developed moral agents. It characteristically involves a wish for the restoration of social equilibrium rather than a demand for moral recognition or good will. To illuminate these contentions, I focus on cases that I believe demonstrate a (...) corollary thesis, namely, that strength, broadly construed, is a necessary condition of resentment-worthiness. I argue that weakness can make resentment unfitting in two ways. First, weakness may prevent a wrongdoer from shifting the balance of social power. Second, a weak wrongdoer may do social damage but be so lowly that resentment, which would represent him as excessively strong, would be inapt. Finally, I consider how accepting the ecological view might affect our theorizing about moral responsibility and the ethics of blame. (shrink)

Abstract: Contemporary analytic philosophers of the “reactive attitudes” tend to share a simple conception of guilt as “self-directed blame”—roughly, an “unpleasant affect” felt in combination with, or in response to, the thought that one has violated a moral requirement, evinced substandard “quality of will,” or is blameworthy. I believe that this simple conception is inadequate. As an alternative, I offer my own theory of guilt’s logic and its connection to morality. In doing so, I attempt to articulate guilt’s defining thought (...) or proposition through an extended investigation and analysis of guilt’s many competing metaphors, which I trace from the Hebrew Bible to the New Testament to Shakespeare to contemporary vernacular. My interpretation of this literary genealogy offers a way to understand guilt’s seemingly disparate metaphors in terms of a single master-image that illuminates our self-conceptions and our relationship to morality. I conclude by making a very brief start toward a moral vindication of guilt against the backdrop of Nietzschean and Freudian analyses that explicitly call guilt’s place in a healthy social and personal life into question. I suggest that once guilt’s logic is made explicit, we can see that it makes sense of, honors, and addresses some of our deepest aspirations and needs. (shrink)

I argue that recent attempts to vindicate blame have failed to fully face the vengeful feelings and angry outbursts that have led to scepticism about blame’s ethical status. This paper ende...

O presente trabalho constitui-se de uma breve análise dos trechos que vão de 1005b 35 à 1006a 27 do capítulo quatro do livro Gama da Metafísica de Aristóteles e pretende fornecer uma leitura alternativa àquela feita pela tradição acerca da defesa do princípio de não-contradição elaborada nesse texto por Aristóteles. Com a ideia de um roteiro refutativo, pretendemos mostrar que argumentação em defesa do princípio encontra seu sucesso no seguimento desse roteiro provando, via demonstração elêntica, a validade e universalidade deste.

The present article debates the fundamental points of an Ecological UBI proposal. First, a literature review on Ecological/Environmental Ethics is brought up. Green Republicanism also sets up a theoretical foundation for an Ecological UBI. Besides, post-productivism and degrowth goals are imperative for humankind to deal with the present ecological urgencies, as seen in the UBI theory that is also brought up. Based on this literature review, the article proposes fundamental points to an Ecological UBI: (i) the funding should come from (...) the taxation of resource extraction (not only fuel extraction) and income/wealth concentration; (ii) the coordination of different public policies to decommodify fundamental needs; (iii) the sufficiency of the Basic Income payment for the individual to have their basic needs satisfied without the necessity to work; (iv) the stimulation of regional/circular economies. Ecologism does not make it unfeasible for short-term environmental measures, also relevant concerning green and fair transition. (shrink)

Contemporary philosophers of moral responsibility are in widespread agreement that we can only be blamed for actions that express, reflect, or disclose something about us or the quality of our wills. In this paper I reject that thesis and argue that self disclosure is not a necessary condition on moral responsibility and blameworthiness: reactive responses ranging from aretaic appraisals all the way to outbursts of anger and resentment can be morally justified even when the blamed agent’s action expresses or discloses (...) nothing significant about his or her “deep self,” judgments and cares, or the quality of his or her will. I argue that the self-disclosure requirement on responsibility overestimates the extent to which our blaming practices and responsibility judgments are responsive to agents as opposed to actions, and that this mistake has the potential to distort both our reactive responses and our understanding of blamed agents’ characters. (shrink)

In the approach that sustains this entire essay, besides my own trajectory as a researcher, the path moves away from the orthodox tradition, the more Kantian one, incorporating in Social Theory a philosophical line for a long time forgotten, by including figures such as Baruch Spinoza (1632-1677), the founding father, Friedrich Nietzsche (1844-1900), Alfred North Whitehead (1861-1947), Henri Bergson (1859-1941), Gilbert Simondon (1924-1989), Gilles Deleuze (1925-1995) and many others. They would be the famous authors of vitalism, also known as philosophers (...) of life (Lebensphilosophie), philosophers of process, or philosophers of affect. What are the implications when these figures invade the field of Social Theory, which characteristics can be found and, mainly, which advantages when compared with their more orthodox side and their insistent commitment to Kantian philosophy and its transcendental by-products (power, culture, ideology, discourse, etc)? Following this and other questions, six points will be considered as representative of what we call here an Object-Oriented Social Theory (O.O.S.T.). (shrink)

Recent years have seen a surge of interest in implicit bias. Driving this concern is the thesis, apparently established by tests such as the IAT, that people who hold egalitarian explicit attitudes and beliefs, are often influenced by implicit mental processes that operate independently from, and are largely insensitive to, their explicit attitudes. We argue that implicit bias testing in social and empirical psychology does not, and without a fundamental shift in focus could not, establish this startling thesis. We suggest (...) that implicit bias research has been conducted in light of inadequate theories of racism and sexism. As a result, such testing has not sufficiently controlled for subjects’ prejudiced explicit beliefs and emotions, and has not ruled out the possibility that explicit prejudice best explains test subjects’ discriminatory associations and behavior. (shrink)

Estas reflexões visam aproximar os conceitos linguístico-filosóficos vistos a partir da filosofia da linguagem nos diferentes períodos da história da civilização ocidental. A intenção é mostrar o modo como foram compreendidos os conceitos mais importantes da filosofia no campo da linguagem. Evidentemente, uma história repleta de detalhes, conceitos e circunstanciada por vários e complexos elementos culturais não poderia ser exposta de forma completa em poucas páginas. Assim, a nossa finalidade é antes mostrar os conceitos linguísticos considerados a partir de uma (...) perspectiva filosófica, de sorte que procuraremos enfatizar a maneira pela qual a linguagem foi vista e estudada através da tradição linguística, filosófica e cultural. (shrink)

De libero arbitrio presents one of the first arguments of God’s existence developed by a Christian thinker. Using the hierarchy of beings, St. Augustine establishes Reason as an instrument for seeking a reality that is supreme: that which, finding nothing more excellent, Reason itself would not hesitate to call “God”. The present paper demonstrates how this argument is aligned with Augustinian axiom that the rational search already presupposes a fiduciary adhesion. If on the one hand it offers a substrate upon (...) which other thinkers will develop their ontological arguments of divine existence, on the other hand, Augustine differs from them in his intention. For him, more than convincing doubters, this exercise finds its greatest value in strengthening by Reason the convictions of those who have already found, by faith, the God they now seek to know. (shrink)

In this paper, I argue that the principle of respect for autonomy can serve as the basis for laws that significantly limit conduct, including orders mandating isolation and quarantine. This thesis is fundamentally at odds with an overwhelming consensus in contemporary bioethics that the principle of respect for autonomy, while important in everyday clinical encounters, must be 'curtailed', 'constrained', or 'overridden' by other principles in times of crisis. I contend that bioethicists have embraced an indefensibly 'thin' notion of autonomy that (...) uproots the concept from its foundations in Kantian ethics. According to this thin conception, respect for autonomy, if unconditioned by competing principles (beneficence, justice, non-maleficence) would give competent adults the right to do anything they desired to do so long as they satisfied certain baseline psychological conditions. I argue that the dominant 'principlist' model of bioethical reasoning depends on this thin view of autonomy and show how it deprives us of powerful analytical tools that would help us to think seriously about the foundations of human rights, justice, and law. Then, I offer a brief sketch of a 'thick', historically grounded notion of autonomy and show what we could gain by taking it seriously. (shrink)

This chapter argues that adequately facing and responding to medical error requires making space for blame. In vindicating blame as a response to medical error, this essay does not advocate a return to a “bad apple” blame culture in which unlucky practitioners are unfairly scapegoated. It does, however, defend the targeted feeling and expression of angry, and even resentful, blaming attitudes toward health-care providers who make at least certain kinds of mistakes. The chapter makes the case that the angry and (...) resentful feelings associated with blame reflect a conception of oneself as a person worthy of consideration, and that expressing these feelings allows victims and families to fight for their dignity and self-respect. Along the way, it distinguishes between shaming and blaming, explaining that blaming, unlike shaming, characteristically aims to draw offenders into a moral dialogue. As a result, a good blaming practice can provide a logic within which providers who make costly errors may seek forgiveness, reconciliation, and healing. (shrink)

Recent years have seen the rise of ‘Just Culture’ as an ideal in the patient safety movement, with numerous hospitals and professional organisations adopting a Just Culture response to incidents ranging from non-culpable human error to intentional misconduct. This paper argues that there is a deep problem with the Just Culture model, resulting from its impoverished understanding of the value of punitive, fundamentally backward-looking, practices of holding people accountable. I show that the kind of ‘accountability’ and ‘punishment’ contemporary Just Culture (...) advocates endorse disrespects both patients and providers. I claim, first, that punishment is good because it respects participants in the healthcare system by restoring an equilibrium of social and moral status that wrongdoing disturbs, and, second, that it only does so when it communicates a backward-looking message of resentful blame. (shrink)

On Augustine"S Shoulders Rests A Philosophical Production Stigmatized Both By The Free Will Of The Human Volition And By The Efficacy Of Divine Grace. Aware Of The Tension Between These Two Movements, The Author Himself Identifies, Among His Writings, A Work In Which He Considered To Have Duly Solved This Question: De Diversis Quaestionibus Ad Simplicianum. The Present Research Will Investigate The First Book Of This Treatise To Simplician, Comparing It With The Previous And Later Writings, To Analyze The New (...) Moment That The Text Represents In The Augustinian Theory Of The Will. From It, The Human Will Is Described By Augustine As Incapable Of Moving In Search Of Divine Help, Thus Being At The Mercy Of The Initiative Of Grace To Desire The Good. In View Of This New Understanding Of The Author, The Following Problematic Will Be Addressed: Does Augustine Still Preserve Any Value To The Human Will In De Diversis Quaestionibus Ad Simplicianum? The Hypothesis Developed In This Work Is That, Despite The Protagonism. (shrink)

In this paper, we argue that providers who conscientiously refuse to provide legal and professionally accepted medical care are not always morally required to refer their patients to willing providers. Indeed, we will argue that refusing to refer is morally admirable in certain instances. In making the case, we show that belief in a sweeping moral duty to refer depends on an implicit assumption that the procedures sanctioned by legal and professional norms are ethically permissible. Focusing on examples of female (...) genital cutting, clitoridectomy and ‘normalizing’ surgery for children with intersex traits, we argue that this assumption is untenable and that providers are not morally required to refer when refusing to perform genuinely unethical procedures. The fact that acceptance of our thesis would force us to face the challenge of distinguishing between ethical and unethical medical practices is a virtue. This is the central task of medical ethics, and we must confront it rather than evade it. There are no data in this work. (shrink)

In the first half of the 20 th century, philosophers of science used to sustain that the correct theory acceptance in science derived from their conforming to certain rules. However, from the historicist and practical turn in the philosophy of science, the theory acceptance started to be analyzed based on values rather than on a priori established rules. In this article, I will present four paradigmatic positions on the role of values in science. The first position, articulated by Hugh Lacey, (...) defends a regulative ideal of 'impartiality' in the acceptance of scientific theories as established. The other positions convey arguments that seem to conflict with this ideal. I characterize them as 'blind spot argument', 'inductive risk argument' and 'trust-based acceptance argument'. Based on this analysis, I will defend two main theses. My first thesis is that the ideal of impartiality is compatible with the arguments just mentioned. My second thesis is that the defense of impartiality has the advantage of providing a support for the epistemic authority of properly established scientific knowledge. Following Lacey, I will argue that theories can only be accepted as established under specified domains of phenomena. However, theories are accepted for other purposes, for example, when they are adopted to develop research or when they are endorsed to inform the legitimacy of an action. In such cases of theory acceptance, impartiality is neither possible nor desirable, which requires the support of other ideals. (shrink)

Many people regularly watch horror films. While it seems clear that sporadically watching horror films will not make us bad people, if it is the main type of media that we consume, then are we still safe? I will defend most horror films from Di Muzio (2006), who worries that we are harming our moral character by watching them. Most horror films (e.g., Candyman, Get Out, and Scream) fall into what I call the summit of safe horror (SoSH), the inverse (...) of the uncanny valley effect, wherein almost-but-not-quite-human robots elicit discomfort from viewers rather than empathy. In the SoSH, violence elicits excitement rather than pity for the victims because the violence is mitigated by, among other things, comic relief and foolish choices by the characters. These narrative features allow most horror films to be intense enough to cause excitement and terror yet not so intense as to cause a negative moral attitude to form in our soul, because we feel what Aristotle would consider the appropriate amount of fear. Torture porn, a subset of horror films lacking plot and focus solely on gore (e.g., the Saw sequels), falls outside of the SoSH because it lacks these narrative features, making the violence depicted too intense to be entertaining. These films outside the SoSH will not necessarily cause an inappropriate amount of fear but are simply the only ones that could possibly do so. Caution: spoilers ahead! (shrink)

In Aristotle’s account of change, lacking a form is called privation (Physics I.7 191a14). For example, someone takes on the form of being musical only from previously having the privation of being unmusical. However, he also states that “shape and nature are spoken of in two ways, for the privation too is in a way form” (Physics II.1 193b19). I will demonstrate that these seemingly contradictory statements are not actually in tension. Since all perceptible matter must be enformed, we would (...) have trouble discussing things that have yet to undergo generation, like menstrual fluid, and things that have undergone corruption, like corpses, if we did not cite the privation as a sort of form. I will argue that, given his commitment to hylomorphism, Aristotle is committed to privation being a form in a qualified sense. It cannot be a form in an unqualified sense because privation often spoils the matter such that it can no longer be reformed. The fact of the matter is we cannot draw a bright line between privation and form because the two are contraries and can be said to hold to different degrees at different points on a spectrum. (shrink)

Como área interdisciplinar, as Ciências Cognitivas começam a se desenvolver em meados da década de 1950 a partir de uma concepção compartilhada sobre a mente, hoje chamada de cognitivista. Esses pesquisadores concebiam a mente com uma natureza representacional que opera por meio de computações simbólicas. Atualmente, há uma multiplicidade de abordagens e teorias sobre a mente. Nesse espectro de posições, há desde abordagens tradicionais, que concebem a mente como representacional, até abordagens bastante radicais, que negam qualquer natureza representacional para a (...) mente. Após introduzir este tema, apresentamos as críticas de William Ramsey à representação enquanto definidora das Ciências Cognitivas ou, em outros termos, à representação enquanto critério de demarcação do cognitivo. Desenvolveremos uma hipótese interpretativa para a crítica de Ramsey mobilizando o conceito de estratégia de pesquisa, de Hugh Lacey. Apresentaremos a distinção de Lacey entre adoção de uma estratégia e aceitação de uma teoria, discutindo a suposta independência avaliativa entre estratégia e teoria. Finalizaremos com a defesa de um pluralismo de estratégias nas Ciências Cognitivas. Diferente de concepções que buscam reduzir prematuramente as Ciências Cognitivas a uma única estratégia, o pluralismo que defendemos equilibra a eficiência na resolução de problemas com outros valores considerados importantes, como a abrangência empírica e a neutralidade no sentido de inclusividade e equitatividade de valores. No atual momento das ciências cognitivas, o pluralismo de estratégias constitui o caminho mais promissor. (shrink)

Focusing on Deleuze´s concept of becoming and on the way it embraces difference in the genesis of literary writing, we intend to put in dialogue the concept and the philosopher with the post-colonial criticism and its re-articulation of the subaltern´s issue, to make a reinterpretation of the becoming and its variations – becoming-woman, becoming-minor – for cultural and literary analysis.

This book deals with an internal theme of metaphysics, which is the metaphysics of the laws of nature. The author presents traditional contemporary theories, as well as his own original theory, and evaluates each one at a time. He also addresses the problem of the modality of the laws of nature and makes some criticism of the standard view of necessity as truth in all possible worlds, and shows an application of his discussion to the metaphysics of physics. / Este (...) livro trata de um tema interno à metafísica, que é a metafísica das leis da natureza. O autor apresenta as teorias tradicionais contemporâneas, tal como também a sua própria teoria original, e avalia cada uma delas por vez. Ele também aborda o problema da modalidade das leis da natureza e apresenta uma certa crítica à visão padrão da necessidade como verdade em todos os mundos possíveis, e mostra uma aplicação da sua discussão à metafísica da Física. (shrink)

This book talks about the city's reception of philosophy. The purpose of this chapter is to show that philosophy is essential for the maintenance of human security in our cities. The importance of this apology for philosophy is precisely to undo a common but erroneous conception of the nature and disadvantages of this discipline and to politically base its existence. To do this, we will present a characterization of philosophy and some of the most important criticisms of its development within (...) the city, and show that they are not sustainable. Subsequently, we will approach the concept of human security, constructed by Amartya Sen and Obuchi Keizo, and indicate how philosophy is fundamental to its preservation. /// Este livro fala sobre a recepção da filosofia pela cidade. O objetivo deste capítulo é mostrar que a filosofia é essencial para a manutenção da segurança humana de nossas cidades. A importância dessa apologia da filosofia é justamente desfazer uma concepção comum, porém errônea, da natureza e das desvantagens dessa disciplina e fundamentar politicamente sua existência. Para fazermos isso, apresentaremos uma caracterização de filosofia e algumas das mais importantes críticas ao seu desenvolvimento no seio da cidade, e mostraremos que elas não se sustentam. Posteriormente, abordaremos o conceito de segurança humana, construído por Amartya Sen e Obuchi Keizo, e indicaremos como a filosofia é fundamental para a sua preservação. (shrink)

Language is the main resource for meaningful action, including the very formation of selves and psychosocial identities, shaped by practical norms, beliefs, and values. Thus, language education constitutes one of the most powerful means for both social reproduction and social production and ideological maintenance and utopian innovation. In this paper, we attempt to emphasise the invaluable psychosocial, political, economic, and cultural function of language education in order to propose a critical view of the current transition from the monolingual to a (...) multilingual paradigm. We maintain that multilingual approaches tend to serve the neoliberal framework and reproduce its systemic inequalities. Therefore, we argue in favour of emancipatory multilingual practices that could embody a translingual pedagogy capable of promoting the development of capabilities, the recognition of otherness, and the cultivation of diversity. Rooted in critical theory, namely in Foucault’s notion of subjectification and Freire’s view of conscientisation, an emancipatory translingual pedagogy would enable and empower every learner to synthesise a contextually creative field of new semantic and pragmatic relationships. Critical language education would enhance the ethos of biophilia that fosters what we term the poetics of communality and selfhood, that is to say, the proactive commitment to expanding symbolic and existential novelty. (shrink)

Aristotle lists six different hexeis (stable states of the soul) in Nicomachean Ethics Book VII. The three to be avoided are akrasia (lack of self-control), vice, and beastliness. Their mirrors, the three to be praised, are enkrateia (self-control), virtue, and superhuman virtue. While the beastial and superhumanly virtuous fall out of discussion, the other four remain a focus for most of Book VII. Aristotle thinks that he has described four reliable ways in which people act always or hōs epi to (...) polu (for the most part). However, I argue that he has only given us enough information to delineate three hexeis. On my interpretation, the akratēs (person lacking self-control) and the enkratēs (self-controlled person) are the same kind of person, they differ only in degree. They exist on a spectrum, while the other two hexeis are distinct kinds of people. While this is hardly the received view, I am convinced that it is consistent with the text. By his own lights, Aristotle does not have a description of the akratēs as differing from the enkratēs making a mistake. Therefore, I want to group them together, rather than draw a bright line between them. First, the mistake of the akratēs is very narrow. She does not know, or knows only in the way the drunk person knows, the conclusion to the good practical syllogism. Second, akrasia is only about an excess of the bodily pleasures associated with food and sex. Aristotle lists eleven other areas where her behavior is undetermined. Third, the akratēs and enkratēs lack the psychological unity that I argue the virtuous and vicious each possess. Therefore, I conclude that the akratēs and enkratēs are the same kind of person. The upshot of my view is that, because it focuses on the positives rather than the negatives, it exhorts us to be better people. (shrink)

A presente obra assume-se como um projeto genuinamente interdisciplinar de reflexão ética, interrogando os seus fundamentos e explorando as suas interseções com diversas áreas das Ciências Humanas e Sociais. Reunindo especialistas de distintas áreas, oriundos de países diferentes, o livro tem como fio condutor um diálogo polifónico com o pensamento ético contemporâneo, enraizando-se na tradição crítica que procura refundar a racionalidade prática na construção humana de sentido e, por conseguinte, refutar o niilismo e o relativismo axiológico absoluto.

O objetivo deste livro é propor uma reflexão sobre o ideário de centro, se perguntando se ele seria possível e como. Preferi chamar de “Uma Ideologia de Centro” em vez de “Ideário”, pois o termo “Ideologia” é instigante para um título. Entretanto tenho a noção de que essa palavra é bastante carregada de significados teóricos. No modelo marxista, grosso modo, a ideologia é um conjunto de crenças, construído pela parcela dominante da sociedade, para naturalizar a dominação. Não é nesse sentido (...) que utilizo o termo “ideologia”. Gostaria de um significado mais neutro para ele, tal como um conjunto de crenças, valores e/ou ações que respeita um conjunto de princípios. Nesse sentido, podemos pensar em uma ideologia para a direita política, para a esquerda política e para o centro político. Normalmente dividimos o espectro político de acordo com esses princípios; entretanto outras divisões são possíveis, ou ainda pode ser o caso que nenhuma divisão seja realmente objetiva. Como devemos, então, pensar essa divisão? Quais princípios subjazem as ações de diferentes atores políticos? Numa época de polarização política entre esquerda e direita, faz sentido refletirmos sobre posições mais moderadas? Qual conjunto de crenças, valores e ações poderia constituir moderação no cenário atual? Nosso livro tenta trazer uma reflexão sobre o ideário de centro, apresentando pensadores que refletem sobre a possibilidade de estabelecermos um centro, sobre a relação entre a ciência e o centro, sobre reformas centristas, entre outras coisas. Nossa intenção é que este livro promova uma reflexão inicial estimulante, e não a palavra final sobre as ideias apresentadas. Nesse sentido, este livro é ensaístico e tenta produzir algo original, ainda que incompleto. Nosso livro não têm uma unidade de visão; e acreditamos que isso é um mérito, pois não tenta estabelecer, em definitivo, se há e o que é o centro, mas nos leva a pensar sobre o conceito. A reflexão filosófica tem a característica de nos aprofundar nas questões investigadas. Podemos não chegar numa resposta final, mas nosso conhecimento sobre o problema e sobre as respostas para ele aprimoram nossa capacidade reflexiva. Pode-se acabar não concordando com nada do que aqui foi escrito. Maravilha! Se esse é o caso, o mais importante é saber por que não concordamos e construirmos nossa própria crítica argumentativa. Mas não paremos na crítica; construamos também uma teoria positiva, uma visão de mundo. É a partir do processo de criação, crítica, destruição e reconstrução, que tornamos mais fortes as nossas visões de mundo. Parafraseando a maior celebridade filosófica de todos os tempos, Sócrates: a vida só vale realmente a pena, se refletida. (shrink)

The analysis of logical predication has long philosophical tradition in which one of the central subjects of study is the analysis of the logical form of the proposition. We contemporaneously can say that the way more well-finished of logic predication is propositional function. Historically, the propositional function arises as a logical analysis of the proposition scheme resulting from the convergence of mathematics and logic between the XIX and XX centuries. Two of the main responsible for this convergence were Gottlob Frege (...) (1848 - 1925) and Bertrand Russell (1872-1970). Influenced by Frege's ideas and direct heir of Russell, having been a disciple of this in Cambridge, Ludwig Wittgenstein (1889 - 1951) has become, in view of the originality of his thought, one of the most discussed and commented thinkers of the twentieth century, especially with the publication of his work entitled "Tractatus Logico-Philosophicus" (1921). It's in this work that Wittgenstein more considers himself debtor from Frege and Russell, having left explicit mention to them. Then the question that guides the development of this thesis is: what is the meaning of the propositional function of Frege and Russell in the Wittgenstein's Tractatus (1921)? Our goal is, in this sense, to investigate the meaning of the concept of propositional function in the Tractatus (1921). Our starting point is to understand the meaning of the propositional function in Frege and Russell to understand its meaning in the Tractatus (1921). We will focus our analysis on what Wittgenstein calls "propositional variable" (Satzvariable), term that best approximates, in our view, of the propositional function of Frege and Russell. In this sense, our interpretative question was formulated as: what is the meaning of the concept of propositional variable in the Tractatus (1921)? We defend the thesis that the role of the propositional function in Frege and Russell corresponds to the role of the propositional variable in Wittgenstein. (shrink)

Apresentamos neste artigo explicitações histórico-conceituais sobre o surgimento da predicação lógica contemporânea. Quando se trata de predicação, remete-se de imediato à obra de Aristóteles, mas, com as transformações trazidas pela Lógica Contemporânea, o estudo da predicação deixa o plano do estudo lógico-gramatical para o estudo do plano da análise lógicomatemática. Veremos, nesse sentido, a importância dos trabalhos de Peirce, Frege e Russell para o surgimento da predicação lógica contemporânea. Embora Peirce tenha sido o precursor da introdução do conceito de função (...) proposicional na História da Lógica, ganha destaque, contemporaneamente, o modelo de interpretação da predicação inicialmente proposto por Frege. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)