Daniel Durante

Há alguns anos escrevi um pequeno texto que ilustra uma situação problemática sobre o julgamento de se a vida de uma determinada pessoa fictícia (Bento) foi uma vida feliz ou não. Uso com frequência esse texto em minhas aulas introdutórias, como um recurso didático para explicar o que é a filosofia, qual o seu papel no nosso entendimento do mundo, e também para ilustrar a sua principal dificuldade, que é o caráter aporético das questões filosóficas: elas não admitem soluções unânimes ou incontroversas. Elas sempre exigem escolha e engajamento. O mérito desse texto (que será reproduzido no diálogo abaixo) é que praticamente todos nós, ao o lermos ou ouvirmos, temos uma propensão imediata e irresistível de considerar ou que a vida de Bento foi feliz ou que ela foi infeliz. E nós divergimos sobre isso. Em todas as incontáveis vezes que o apresentei para alguma plateia, jamais as respostas foram unânimes. Sempre houve divergências, o que ilustra bem o caráter aporético da filosofia. Logo que eu soube do ChatGPT e de suas capacidades extraordinárias como sistema de inteligência artificial (IA), resolvi provocá-lo com meu texto. Sua resposta à pergunta sobre a felicidade de Bento foi impressionantemente clara. Talvez a resposta mais clara sobre a questão que já obtive até hoje. Fiquei realmente impressionado, mas também um pouco decepcionado. Porque apesar de fazer uma análise filosófica bastante sofisticada da situação, o ChatGPT recusou-se a fazer uma escolha, a decidir se o personagem teve ou não uma vida feliz. Ele me informou que, como um sistema de IA, ele não tem valores e não faz escolhas. Não gosta nem desgosta, não prefere. E isso me deixou frustrado, porque escolher, preferir, decidir, mesmo quando não temos todas as informações completas é, para mim, não apenas a essência da filosofia, como também a essência de nossa inteligência humana. Como eu queria ver o ChatGPT fazer escolhas, adotei, então, a estratégia de solicitar que ele assumisse um personagem humano, que fingisse ser uma pessoa, e passei a conversar com esta pessoa. Se ele executar bem o papel de uma pessoa, então ele deverá fazer escolhas, pensei. E assim começou esta nossa conversa filosófica sobre a felicidade.

A few years ago, I wrote a short text illustrating a problematic situation regarding the judgment of whether a particular fictional person, Bento, led a happy life or not. I frequently use this text in my introductory classes as a didactic resource to explain the nature of philosophy, its role in our understanding of the world, and to demonstrate its main challenge: the aporetic nature of philosophical questions. These questions do not yield unanimous or incontrovertible solutions; they always demand choice and engagement. The merit of this text (which will be reproduced in the dialogue below) lies in the fact that almost everyone, upon reading or hearing it, has an immediate and irresistible inclination to consider Bento's life either happy or unhappy. Opinions tend to differ on this matter. In all the countless times I presented it to an audience, the responses were never unanimous. Disagreements always arose, illustrating the aporetic nature of philosophical questions. As soon as I learned about ChatGPT and its extraordinary capabilities as an artificial intelligence (AI) system, I decided to test it with my text. Its answer to the question of Bento's happiness was remarkably clear; perhaps the most precise response I had ever received. I was genuinely impressed yet somewhat frustrated. Despite providing a rather sophisticated philosophical analysis of the situation, ChatGPT refused to make a choice, to decide whether or not the character led a happy life. It informed me that, as an AI system, it has no values and does not make choices. It neither likes nor dislikes; it does not prefer. This revelation shocked me because choosing, preferring, and deciding, even in the absence of complete information, are, in my view, not only the essence of philosophy but also the essence of human intelligence. Eager to see ChatGPT make choices, I adopted the strategy of asking it to assume a human persona, to pretend to be a person, and I began chatting with this individual. I reasoned that if it played the role of a person convincingly, it must make choices. And so, our philosophical conversation commenced.

Parece um fato bastante trivial que quando uma teoria científica se torna obsoleta, por ter sido substituída por outra, isto não tem nenhuma consequência para os objetos técnicos compatíveis com a teoria antiga. Pretendo, neste ensaio, responder à questão bem menos óbvia de por que isto se dá. Como subproduto, apresento uma defesa da teoria da ciência de Thomas Kuhn. Para tanto, inicio mostrando como a teoria de Kuhn foi motivada por considerações sobre a história da ciência. Em seguida, defendo um pressuposto sobre como se dá a relação entre ciência e tecnologia. Continuo, apresentando uma distinção entre conteúdo factual e conceitual na ciência. E

É bem conhecida a divergência entre as posições de Gottlob Frege e Bertrand Russell com relação ao tratamento semântico dado a sentenças contendo termos singulares indefinidos, ou seja, termos singulares sem referência ou com referência ambígua, tais como ‘Papai Noel’ ou ‘o atual rei da França’ ou ‘1/0 ’ ou ‘√4’ ou ‘o autor de Principia Mathematica’. Para Frege, as sentenças da linguagem natural que contêm termos indefinidos não formam declarações e portanto não são nem verdadeiras nem falsas. Já para as sentenças da matemática, Frege defende que elas precisam ser corrigidas através da convenção forçada de uma referência não ambígua. Russell, por outro lado, aceita os termos indefinidos e propõe, através de sua teoria das descrições definidas, uma maneira de avaliar as sentenças em que eles ocorrem; e Quine amplia a teoria de Russell para abranger também os nomes com problemas de referência. Na prática da matemática são comuns os termos singulares indefinidos, sem referência, tais como ‘1/0 ’, ou com referência ambígua, tais como ‘√4’. Apesar de não haver uma sistematização rigorosa desta situação entre os matemáticos, há, no entanto, um conjunto de regras convencionais que tradicionalmente costumam ser aplicadas no tratamento matemático dos termos indefinidos. Nossa proposta é tomar a convenção matemática como inspiração e modelo para apresentar uma interpretação semântica formal para as descrições definidas e os nomes e utilizá-la como um argumento que favorece a abordagem de Russell relativamente à de Frege.

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality.

The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application.

Além de responder à pergunta título, pretende-se também apresentar as linhas gerais de um caminho que vem sendo proposto por alguns pensadores sobre de que modo a ciência poderia se modificar de modo a que pudéssemos utilizá-la para resolver nossos principais problemas. Para tanto iniciaremos explicitando o que consideramos as características mais fundamentais da racionalidade científica hegemônica, a saber: o atomismo e o método axiomático. Em seguida, apresentamos alguns conhecidos problemas das ciências, evidenciando suas relações com estas características fundamentais. Tais problemas são tanto epistemológicos e metodológicos, internos ao próprio conhecimento, quanto éticos, relacionados às suas consequências. Em seguida, indicamos como a forte interconexão destes dois tipos de problemas pode ser compreendida quando entendemos a ciência de modo instrumental como uma resposta ao interesse de previsão para manipulação e controle. Por fim, partindo do reconhecimento do caráter contingente e socialmente construído do conhecimento científico, inclusive de suas características fundamentais, respondemos à questão título e apontamos, ainda de modo incipiente, algumas possibilidades de modificações metodológicas que têm sido propostas nos últimos anos. Em especial, apresentamos as que foram rotuladas de complexidade e a transdisciplinaridade, indicando algumas questões e possíveis linhas de pesquisa que estas abordagens suscitam.

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese)

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment.

Divergências sobre o que existe são tão básicas que tendem a dificultar ou até bloquear o diálogo entre os antagonistas. As várias disputas entre crentes e ateus, ou realistas e nominalistas são apenas dois tipos de exemplos. Interessado em contribuir para a inteligibilidade do debate sobre ontologia, em 1939 W. V. Quine iniciou uma série de trabalhos em que apresenta a noção de compromisso ontológico e propõe um critério supostamente objetivo para identificar as condições exatas em que um discurso teórico sinaliza uma suposição de existência. Pretendo apresentar o conceito de compromisso ontológico e o critério quineano, apresentar e avaliar algumas das muitas críticas que o critério recebeu e situá-lo no contexto da filosofia de Quine. Como produto destas análises, espero contribuir para a reflexão sobre a relevância e o lugar filosófico da noção de compromisso ontológico.

Para que servem o bem, a beleza, o amor? Para que serve a felicidade? Para nada. Para absolutamente nada. A filosofia é tão imprestável quanto as melhores coisas da vida, tão inútil quanto a felicidade, ou uma brincadeira de criança, ou um rabisco na areia deixado por alguém que passou raspando um graveto no chão sem olhar para trás. O impulso que nos move até ela é o mesmo que empurra o alpinista mais um passo para cima, ou os namorados mais um centímetro para perto, ou as crianças para mais um salto na corda. Este pequeno livro não é um tratado de filosofia, mas apenas um convite à alegria de pensar e especular sobre o mundo a nossa volta. Seu autor é um filósofo que não só acha inútil a filosofia, como além disso está aqui em suas horas vagas, divertindo-se com temas sérios, e convidando você a divertir-se também com reflexões filosóficas imprestáveis, porque a utilidade só é valor daquilo que não se basta.