Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Art, beauty, and the voice of God. And what of beauty?

L'Entente sur les tiers pays sûrs ratifiée par le Canada et les États-Unis en 2002 a transformé la conception de la souveraineté territoriale canadienne, tel qu'en témoigne le traitement accordé aux demandeur-euse-s d'asile ces dernières années. Arguant à l'effet que l'État canadien adopte une conception de la souveraineté territoriale étanche qui permet l'exercice d'un droit de sélection depuis la mise en place de l'ETPS, cet article propose de repenser un devoir politique d'accueil. La première partie de cet article examine la (...) dynamique d'externalisation de la migration à laquelle participe le Canada. La seconde partie propose une analyse du cadre normatif développé par l'ETPS justifié par un droit de « choisir » les réfugié-e-s. La troisième partie propose une critique du modèle d'exclusion à l'oeuvre derrière l'ETPS et propose à cette fin de penser la responsabilité canadienne en tant que devoir politique à l'égard des populations qui demandent l'asile. (shrink)

A theory of cognitive systems individuation is presented and defended. The approach has some affinity with Leonard Talmy's Overlapping Systems Model of Cognitive Organization, and the paper's first section explores aspects of Talmy's view that are shared by the view developed herein. According to the view on offer -- the conditional probability of co-contribution account (CPC) -- a cognitive system is a collection of mechanisms that contribute, in overlapping subsets, to a wide variety of forms of intelligent behavior. Central (...) to this approach is the idea of an integrated system. A formal characterization of integration is laid out in the form of a conditional-probabilitybased measure of the clustering of causal contributors to the production of intelligent behavior. I relate the view to the debate over extended and embodied cognition and respond to objections that have been raised in print by Andy Clark, Colin Klein, and Felipe de Brigard. (shrink)

According to an orthodox view, the capacity for conscious experience (sentience) is relevant to the distribution of moral status and value. However, physicalism about consciousness might threaten the normative relevance of sentience. According to the indeterminacy argument, sentience is metaphysically indeterminate while indeterminacy of sentience is incompatible with its normative relevance. According to the introspective argument (by François Kammerer), the unreliability of our conscious introspection undercuts the justification for belief in the normative relevance of consciousness. I defend the normative relevance (...) of sentience against these objections. First, I demonstrate that physicalists only have to concede a limited amount of indeterminacy of sentience. This moderate indeterminacy is in harmony with the role of sentience in determining moral status. Second, I argue that physicalism gives us no reason to expect that introspection is unreliable with respect to the normative relevance of consciousness. (shrink)

Which artificial intelligence (AI) systems are agents? To answer this question, I propose a multidimensional account of agency. According to this account, a system's agency profile is jointly determined by its level of goal-directedness and autonomy as well as is abilities for directly impacting the surrounding world, long-term planning and acting for reasons. Rooted in extant theories of agency, this account enables fine-grained, nuanced comparative characterizations of artificial agency. I show that this account has multiple important virtues and is more (...) informative than alternatives. More speculatively, it may help to illuminate two important emerging questions in AI ethics: 1. Can agency contribute to the moral status of non-human beings, and how? 2. When and why might AI systems exhibit power-seeking behaviour and does this pose an existential risk to humanity? (shrink)

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

"Everything is a pretext for a good dinner.".

Numerous authors have expressed concern that advanced artificial intelligence (AI) poses an existential risk to humanity. These authors argue that we might build AI which is vastly intellectually superior to humans (a ‘superintelligence’), and which optimizes for goals that strike us as morally bad, or even irrational. Thus, this argument assumes that a superintelligence might have morally bad goals. However, according to some views, a superintelligence necessarily has morally adequate goals. This might be the case either because abilities for moral (...) reasoning and intelligence mutually depend on each other, or because moral realism and moral internalism are true. I argue that the former argument misconstrues the view that intelligence and goals are independent, and that the latter argument misunderstands the implications of moral internalism. Moreover, the current state of AI research provides additional reasons to think that a superintelligence could have bad goals. (shrink)

What is the relationship between prophetic vision and vision in terms for a hoped-for future? How might vision for a church or person best be defined today?

Which animals have conscious experiences? Many different, diverse and unrelated behaviors and cognitive capacities have been proposed as tests of the presence of consciousness in an animal. It is unclear which of these tests, if any, are valid. To remedy this problem, I develop a list consisting of eight desiderata which can be used to assess putative tests of animal consciousness. These desiderata are based either on detailed analogies between consciousness-linked human behavior and non-human behavior, on theories of consciousness or (...) on methods from human consciousness science. If a test or set of tests satisfies more of these desiderata, passing it provides stronger evidence of consciousness. Moreover, one can design future tests of animal consciousness with the intention of satisfying these desiderata to ensure their evidential strength. (shrink)

In this paper, I want to focus not on the problems that I believe may threaten Kant’s account of the highest good, but instead on those that I believe threaten the majority of the interpretive reconstructions attempted by commentators and thus prevent the emergence of a consensus in the near future. My goal is to set forth exactly four problems to which I believe any successful interpretation or reconstruction of Kant’s account of the highest good will have to provide substantive (...) solutions and, in doing so, either break new theoretical ground or at least provide a more comprehensive methodology for sorting through the texts. (shrink)

There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumental value of prediction. By examining the various reasons offered for the value of prediction across a range of inferential contexts , we (...) can see that neither weak nor strong predictivism captures all of the reasons for valuing prediction available. A third path is presented, Pluralist Instrumental Predictivism; PIP for short. (shrink)

Formal and empirical work on the Wisdom of Crowds has extolled the virtue of diverse and independent judgment as essential to the maintenance of ‘wise crowds’. In other words, com-munication and imitation among members of a group may have the negative effect of decreasing the aggregate wisdom of the group. In contrast, it is demonstrable that certain meta-inductive methods provide optimal means for predicting unknown events. Such meta-inductive methods are essentially imitative, where the predictions of other agents are imitated to (...) the extent that those agents have proven successful in the past. Despite the (self-serving) optimality of meta-inductive methods, their imitative nature may undermine the ‘wisdom of the crowd’, since these methods recommend that agents imitate the predictions of other agents. In this paper, I present a replication of selected results of Thorn and Schurz, illustrating the effect on a group’s performance that may result from having members of a group adopt meta-inductive methods. I then expand on the work of Thorn and Schurz by considering three simple measures by which meta-inductive prediction methods may improve their own performance, while simultaneously mitigating their negative impact on group performance. The effects of adopting these maneuvers are investigated using computer simulations. (shrink)

We lose something central to our humanity when we divide our world into neat little packages of sacred and secular.

We want God to make sense, to be reasonable, to act according to how we think God should act. This kind of thinking, though, is not far from where we live today. If I give money to the church, then God will bless me financially. If I have my “quiet time” in scripture, then God will bless my day. If I raise my children right, then surely they will turn out right. In themselves these actions are good and right; however, (...) we have to ask ourselves, “Do our motives emerge from the desire to give a place to the mystery of faith, or, rather, to conquer mystery?”. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

We live in a world of many odd-shaped pieces, a cosmic jigsaw puzzle that often seems to have been further complicated by cruel fate.

Scientific method interests the linguist not only as it interests every scientific worker, but also in a special way, because the scientist, as part of his method, utters certain very peculiar speech-forms. The linguist naturally divides scientific activity into two phases: the scientist performs “handling” actions and utters speech. The speech-forms which the scientist utters are peculiar both in their form and in their effect upon hearers.

An encyclopedic exploration of the images, symbols, motifs, metaphors, figures of speech and literary patterns of the Bible.

"He who is satisfied has never truly craved. And he who craves for the light of God neglects his ease for ardor." -Rabbi Abraham J. Heschel.

Sensorimotor enactivism is the view that the content and the sensory modality of perceptual experience are determined by implicit knowledge of lawful regularities between bodily movements and patterns of sensory stimulation. A proponent of the explanatory argument for sensorimotor enactivism holds that this view is able to provide an intelligible explanation for why certain material realizers give rise to certain perceptual experiences, while rival accounts cannot close this “explanatory gap”. However, I argue that the notion of the “material realizer” of (...) perceptual experience is ambiguous. On a narrow construal, the explanatory gap cannot be bridged, not even by enactivism. On a wide construal, enactivism gets a grip on the explanatory gap, but to the same extent do established theories of consciousness. Thus, on both horns of the dilemma, the explanatory power of enactivism is not superior to more traditional theories of conscious experience. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

Roughly, empirical AI alignment research (AIA) is an area of AI research which investigates empirically how to design AI systems in line with human goals. This paper examines the role of non-epistemic values in AIA. It argues that: (1) Sciences differ in the degree to which values influence them. (2) AIA is strongly value-laden. (3) This influence of values is managed inappropriately and thus threatens AIA’s epistemic integrity and ethical beneficence. (4) AIA should strive to achieve value transparency, critical scrutiny (...) from inside and outside the discipline – involving the public –, and to empower actors without strong commercial interests. (shrink)

This paper defends the Principle of Sufficient Reason, taking Baumgarten as its guide. The primary aim is not to vindicate the principle, but rather to explore the kinds of resources Baumgarten originally thought sufficient to justify the PSR against its early opponents. The paper also considers Baumgarten’s possible responses to Kant’s pre-Critical objections to the proof of the PSR. The paper finds that Baumgarten possesses reasonable responses to all these objections. While the paper notes that in the absence of a (...) response to Kant’s Critical discussion of the PSR, this result does not vindicate the principle, it shows how this discussion provides a deeper understanding of what, according to Baumgarten, the PSR really assumes and intends, and prepares the way for a more responsible discussion of Kant’s critical objections to Baumgarten’s supposed proof. (shrink)

A dilemma exists when a doctor is faced with a child or young person who refuses medically indicated treatment. The Gillick case has been interpreted by many to mean that a child of sufficient age and intelligence could validly consent or refuse consent to treatment. Recent decisions of the Court of Appeal on a child's refusal of medical treatment have clouded the issue and undermined the spirit of the Gillick decision and the Children Act 1989. It is now the case (...) that a child patient whose competence is in doubt will be found rational if he or she accepts the proposal to treat but may be found incompetent if he or she disagrees. Practitioners are alerted to the anomalies now exhibited by the law on the issue of children's consent and refusal. The impact of the decisions from the perspectives of medicine, ethics, and the law are examined. Practitioners should review each case of child care carefully and in cases of doubt seek legal advice. (shrink)

One approach to science treats science as a cognitive accomplishment of individuals and defines a scientific community as an aggregate of individual inquirers. Another treats science as a fundamentally collective endeavor and defines a scientist as a member of a scientific community. Distributed cognition has been offered as a framework that could be used to reconcile these two approaches. Adam Toon has recently asked if the cognitive and the social can be friends at last. He answers that they probably cannot, (...) posing objections to the would-be rapprochement. We clarify both the animosity and the tonic proposed to resolve it, ultimately arguing that worries raised by Toon and others are uncompelling. (shrink)

This paper is concerned with Maurice Merleau-Ponty’s contribution to the hermeneutical theory of expressive meaning that has been developed on the basis of an ongoing dialogue with traditional phenomenology. The early portion of the paper examines the unstable boundaries between expression and indication as a key to a new approach to expressive meaning. The paper then takes up Merleau-Ponty’s understanding of expressive life as it emerges in ‘Phenomenology of Perception,’ his first attempt to discuss perception, aesthetics, and temporality in comprehensive (...) terms. The third part of the paper examines Merleau-Ponty’s return to the paintings of Paul Cezanne, which not only clarifies his earlier position but also deepens the philosophical meaning of his reflections on language. My final comments are concerned with how phenomenology can be broadened in a way that can become responsive to the hermeneutical theory of expressive meaning. (shrink)

I characterize and argue against the standard interpretation of logical atomism. The argument against this reading is historical: the standard interpretation of logical atomism (1) fails to explain how the view is inspired by nineteenth-century developments in mathematics, (2) fails to explain how logic is central to logical atomism, and (3) fails to explain how logical atomism is a revolutionary and new "scientific philosophy." In short, the standard interpretation is a bad history of logical atomism. A novel interpretation of the (...) view that repairs these difficulties is sketched in the concluding section. (shrink)

I claim that a relatively new position in philosophy of mathematics, pluralism, overlaps in striking ways with the much older Jain doctrine of anekantavada and the associated doctrines of nyayavada and syadvada. I first outline the pluralist position, following this with a sketch of the Jain doctrine of anekantavada. I then note the srrong points of overlaps and the morals of this comparison of pluralism and anekantavada.

Contemporary naturalism is changing and scientific reductionism is under challenge from those who advocate a more comprehensive outlook. This special issue of Telos, based on the first Telos Australia Symposium held at Swinburne University in Melbourne in February 2014, introduces some of the key questions in the current debates. It also poses the question of whether more satisfactory political and social thought can be produced if scientific reductionism is replaced by a richer and more hermeneutical naturalism, one that takes more (...) account of philosophical anthropology, actual co-involvements of human beings and their environments, and the potential of more naturalistically grounded approaches to culture. (shrink)

It is argued that colour name strategy, object name strategy, and chunking strategy in memory are all aspects of the same general phenomena, called stereotyping, and this in turn is an example of a know-how representation. Such representations are argued to have their origin in a principle called the minimum duplication of resources. For most the subsequent discussions existence of colour name strategy suffices. It is pointed out that the BerlinA- KayA universal partial ordering of colours and the frequency of (...) traffic accidents classified by colour are surprisingly similar; a detailed analysis is not carried out as the specific colours recorded are not identical. Some consequences of the existence of a name strategy for the philosophy of language and mathematics are discussed: specifically it is argued that in accounts of truth and meaning it is necessary throughout to use real numbers as opposed to bi-valent quantities; and also that the concomitant label associated with sentences should not be of unconditional truth, but rather several real-valued quantities associated with visual communication. The implication of real-valued truth quantities is that the Continuum Hypothesis of pure mathematics is side-stepped, because real valued quantities occur ab initio. The existence of name strategy shows that thought/sememes and talk/phonemes can be separate, and this vindicates the assumption of thought occurring before talk used in psycho-linguistic speech production models. (shrink)

Does the soul have powers? If so, what general account can philosophy give of powers of the soul? One can broach some of Thomas Aquinas’s more obscure teachings concerning the soul and its powers, such as that the soul alone is the subject of some powers and that powers flow from the soul, by asking these broad questions. Many commentators have preferred, however, to focus on specific powers of the soul, which has resulted in detailed studies of, for example, the (...) intellect and the will. Here, however, I take up powers of the soul in general and, through a causal analysis of their being, articulate what they are. (shrink)

Our generation is turning to mentoring as an instrument of God to repair the ruin of our personal losses.

Aimee did not want to survive; she neither wanted to live nor to die.

It is quite fair to say that to the degree language works is also to the degree language does not work.

Narcissus has no need of art because his own reflection preoccupies him.

Obóz Kultury 2.0 Mirosław Filiciak, Alek Tarkowski, Agata Jałosińska, Andrzej Klimczuk, Maciej Rynarzewski, Jacek Seweryn, Stunża M., D. Grzegorz, Marcin Wilkowski & Anna Orlik .

One recently proposed solution to the Liar paradox is the contextual theory of truth. Tyler Burge (1979) argues that truth is an indexical notion and that the extension of the truth predicate shifts during Liar reasoning. A Liar sentence might be true in one context and false in another. To many, contextualism seems to capture our pre-theoretic intuitions about the semantic paradoxes; this is especially due to its reliance on the so-called Revenge phenomenon. I, however, show that Super-Liar sentences (where (...) a Super-Liar sentence is a sentence which says of itself that it is not true in any context) generate a significant problem for Burge’s contextual theory of truth. (shrink)

"I tried to find out for myself, from the start, when I was a child, what was right and what was wrong-because no one around me could tell me. And now that everything is leaving me I realize I need someone to show me the way and to blame me and praise me, by right not ofp ower but ofa uthority, I need my father." -Albert Camus, The First Man.

What do we do with Judges? This two-edged word? This ambidextrous book? These ambivalent heroes? The Judges were drawing their last fleeting breaths shipwrecked and scattered upon the shores of historical-critical-grammatical-linear-modernist-masculine interpretation. "The narrative is primitive," they said. "The editors have made a mess," they exclaimed. "The conclusion is really an appendix," another said. Then the bible-acrobats jumped in pretending there was no literary carnage while at the same time drawing our eyes away from the literary carnage. "No, no, there (...) is an order to this disorderly book!" "Gideon is a man of faith," they explained. "Gideon is a sham," others retorted. "Long live the king," they cried. "Oh no, the king will bring down the nation," others said. Enter the latest literary critics and the fresh feminist readers to save the day. And save they have. Barry noted the irony. Cheryl called attention to the elaborate, spiraling labyrinth. Phyllis remembered the forgotten. Mieke heralded the incoherence. Deborah the Bee slings Barak with irony. Cowardly Jephthah sacrifices his virgin daughter immediately after he is filled with the spirit. Blind Samson remains stuck in some adolescent, Pinnochio-like stage milling around the same old vices. The Levite, the man of word and sacrifice, lies to the people and dismembers his wife. To beat it all the myopic narrator joins in lock step with the other blind characters stumbling around in the narrative. What manner of text is this? These Judges, these stories, are even more troubling now that we take them seriously. Now what do we do with Judges? The recent scholarship is most promising, but I think we must press forward, or is that backward, or perhaps to another plan. Perhaps Judges hearkens forward to the postmodern. What would Judges look like if we viewed the story through a postmodern lens? Would we see the text in another dimension? Would we let the characters live and breathe as confusing, confounding, intricate characters? Judges speaks to me. These judges, they teach me. How can I ever forget my reading of Judges? For once I found a text reflecting the madness of faith in my maddening world. For once I saw a text like Pablo. I heard the echo of Umberto. I noted the faint murmurings of Jacques. I danced a most joyous jig with Julia. I saw, up ahead, or was that behind me, or over to the side, Martin's flickering candle. Mieke, meet Jael. Barak, meet Barry. Jacques, meet Gideon. Samson, meet Martin. Umberto, meet the narrator or two or three. Pablo, meet the Levite's wife---sorry, she has no name. (shrink)

This analysis shows Cantor's diagonal definition in his 1891 paper was not compatible with his horizontal enumeration of the infinite set M. The diagonal sequence was a counterfeit which he used to produce an apparent exclusion of a single sequence to prove the cardinality of M is greater than the cardinality of the set of integers N.

Building on recent formal work by Aleks Knoks, we explore how the idea that certain epistemic norms may be indeterminate could be implemented in a default logic.

Jus post Bellum is, like Jus ad Bellum and Jus in Bello, a part of just war theory. Jus post Bellum is distinguished from the other parts of just war theory by being primarily concerned with the principles necessary for securing a just and lasting peace after the end of a war. Traditionally, jus post bellum has focused primarily on three goals: [1] compensating those who have been the victims of unjust aggression, while respecting the rights of the aggressors, [2] (...) punishing and rehabilitating those guilty of war crimes and other violations of the principles of Jus ad Bellum and Jus in Bello and [3] developing measures that will prevent future war and violence (Orend 2000 and May 2012). In this chapter, I outline an account of political forgiveness and explain the role that political forgiveness can have in promoting the goals of jus post bellum. My conception of political forgiveness requires some unpacking. Let me begin with individual forgiveness, which I understand along familiar Butlerian lines as the renunciation of resentment (Butler, Sermon IX in McNaughton 2017: 75-83), though with a bit of a twist. More exactly, ● An individual, I, forgives J for doing F if and only if I renounces all her own warrant for resenting J for doing F. Resentment is a judgment-sensitive attitude, and, therefore, it tends to track judgments concerning its warrant (Scanlon 1998: 20 and Smith 2015). In cases of perfect forgiveness, I’s renunciation causes her to cease feeling resentment toward J for doing F, though, of course, less perfect cases are possible. I reject the idea that there is a sharp discontinuity between individual and political forgiveness, a position argued for by, e.g., Peter Digeser (1998 and 2001). By contrast, I understand political forgiveness as the renunciation of resentment by the relevant political body in question. With greater precision, ● A sovereign political body, P, forgives J for doing F if and only if P renounces all warrant that its citizens have for resenting, as part of their public lives, J for doing F. A little more explanation is in order. Sovereign political bodies, such as national governments, claim degrees of control over the lives of their citizens, in both their public and their private aspects, though the claims with respect to the former tend to be considerably more expansive than the claims with respect to the latter. I assume here that, at least in the case of legitimate governments, these claims of control are often valid. Such governments may reasonably renounce certain grounds for motivating action in the public sphere. For example, governments may renounce all warrant that its citizens have, as part of their public lives, for hating members of marginalized groups. In practice, this means that, while citizens might continue to act in their private lives out of hatred for members of these groups, their appeal to this hatred is seen by the state as irrelevant to matters of law and public policy as well as being wholly out-of-place in public discourse. Political forgiveness toward J for doing F, as I understand it, involves an analogous rejection of resentment, on the part of citizens in their public lives, toward J for doing F. I turn now to the matter of how political forgiveness supports securing a just and lasting peace between former belligerents. With respect to the first goal of jus post bellum, political forgiveness helps to balance compensation for victims and respect for the rights of defeated aggressors by countering the all-too-human tendency to overvalue harms done to oneself and to members of one’s group. As regards the second goal, political forgiveness plays a similar role but also provides a model for rehabilitation by exemplifying among the victorious the behavior to be emulated by the vanquished. Finally, political forgiveness promotes the third goal of jus post bellum by providing a space for nations to meet as moral equals rather than allowing one nation to have the moral high ground over the other. None of this, of course, means that political forgiveness should be unearned or that it should be confused with condonation (Kolnai 1973 and Pettigrove 2004). However, the question of what is required to put oneself in a position to be forgiven as part of jus post bellum is a matter that goes beyond the scope of this chapter. (shrink)