Danilo Fraga Dantas

Bayesian epistemologists support the norms of probabilism and conditionalization using Dutch book and accuracy arguments. These arguments assume that rationality requires agents to maximize practical or epistemic value in every doxastic state, which is evaluated from a subjective point of view (e.g., the agent’s expectancy of value). The accuracy arguments also presuppose that agents are opinionated. The goal of this paper is to discuss the assumptions of these arguments, including the measure of epistemic value. I have designed AI agents based on the Bayesian model and a nonmonotonic framework and tested how they achieve practical and epistemic value in conditions in which an alternative set of assumptions holds. In one of the tested conditions, the nonmonotonic agent, which is not opinionated and fulfills neither probabilism nor conditionalization, outperforms the Bayesian in the measure of epistemic value that I argue for in the paper (α-value). I discuss the consequences of these results for the epistemology of rationality.

I propose the notion of 'epistemic sanity', a property of parsimony between the holding of true but not false beliefs and the consideration of our cognitive limitations. Where 'alethic value' is the epistemic value of holding true but not false beliefs, the 'alethic potential' of an agent is the amount of extra alethic value that she is expected to achieve given her current environment, beliefs, and reasoning skills. Epistemic sanity would be related to the holding of (true or false) beliefs that increase the agent's alethic potential (relevant beliefs) but not of beliefs that decrease it (this is related to cognitive parsimony). Suspension of judgment, forgetting, and clutter avoidance are the main contributors to an agent's epistemic sanity, where this paper focuses on suspension. I argue that rational suspension favors the holding of true and relevant beliefs (only), which is not the case for the extremes of opinionation (no suspension) and skepticism (general suspension). In the absence of evidence for propositions in their agenda, opinionated agents are forced to rely on principles such as the principle of indifference, but indifference is dominated by suspension in terms of alethic value in some conditions. A rational agent would only find it beneficial to adopt skepticism if she considers herself to be an anti-expert about her whole agenda, but then 'flipping' beliefs maximizes expected alethic value in relation to skepticism. The study of epistemic sanity results in an 'impure' veritism, which can deal with limitations of veritism (e.g. explaining the existence of false but relevant beliefs).

I investigate two limitations of common approaches to the alethic aspect of epistemic rationality. These approaches are either normative (what a reasoner ought to/may
believe?) or evaluative (how rational is a reasoner?), where evaluative approaches are often comparative (one reasoner is evaluated compared to another). The fact is that most of them fail in describing a standard of rationality satisfiable (i) on the face of blindspots and (ii) by finite reasoners (reasoners with limited cognitive resources). I propose a non-comparative evaluative function α, which accepts a set of beliefs as input and returns a numerical evaluation, and use this function to define a standard of rationality satisfiable on the face of blindspots and by finite reasoners. Function α also generates norms and evaluation methods (comparative and non-comparative) that can be used to investigate the rationality of finite reasoners and do not exhibit problems with blindspots. It is a result of this investigation that the project of providing alethic norms for finite reasoners is defective. In addition, the use of function α sheds light on important epistemological issues, such as the paradoxes of lottery and preface and the principles of clutter avoidance and reflection.

The causal and the simulation theories are often presented as two radically different views about declarative memory. The causal theory states that remembering requires having an accurate representation standing in a causal connection with an earlier experience (the causal condition). The simulation theory states that remembering requires having an accurate representation generated by a reliable memory process, with no causal condition. In this paper, I argue that suitable versions of these theories are closely related. I start by investigating how these theories categorize memory errors (DRM, "lost in the mall", and memory-conjunction error) as misremembering or confabulation. These are problem-cases for a strong version of the causal, but not for the simulation theory because of too strong accuracy and causal conditions. I show how to fix the causal theory for these cases. The resulting causal and the simulation theories are closely related when implemented in information theory, differing only on how memory transmits information about the past. The implementation provides insights about the distinction between confabulatory and non-
confabulatory memory, where memory-conjunction errors has a privileged position.

All reasoners described in the most widespread models of a rational reasoner exhibit
logical omniscience, what is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the model could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the model would describe maximum rationality, what a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences to epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In section 1, I present
an argument to this conclusion. In section 2, I discuss the consequences of this conclusion, as, for example, the vindication of the principle 'no rationality through brute-force'.

Dual-process theories state that human reasoning comprises processes of Type
1 (‘intuitive’; fast and effortless, but error-prone) and Type 2 (‘deliberative’; slow and effortful, but normative). Full-probabilistic reasoning demands Type 2 processing and much of the research in dual-processing is concerned with systematic violations of probability, which is treated as a normative model for situations of uncertain reasoning. Bayesian epistemologists argue that the tenets of probability are, in fact, requirements of rationality. But is it always rational to perform Type 2 processing in situations of uncertain reasoning? I have constructed AI agents based on the Bayesian model and in a nonmonotonic framework that is used in psychology to model Type 1 processes and tested how they perform in an epistemic version of the Wumpus World, a class of problems used in AI for studying uncertain reasoning. The results of the simulations suggest that it is rational to perform a Type 1 process (instead of Type 2 Bayesian reasoning) in situations where extreme risk aversion is rewarded (practical rationality) and where the evidence is relatively informative or difficult to gather (epistemic rationality).

Uma das principais características do rock brasileiro é que ele sempre circulou pelo mainstream fonográfico. Em cinqüenta anos de história, o rock brasileiro foi lançado por grandes gravadoras, esteve em trilhas sonoras de telenovelas, entre outros elementos típicos desse modelo de distribuição. Mas, nas últimas duas décadas, é possível notar a formação de um circuito de rock brasileiro entre o mainstream e o underground, um circuito médio. Os principais fatores que possibilitaram a formação desse circuito foram a ressaca do rock brasileiro dos anos 80, o surgimento de novas tecnologias de gravação e, principalmente, a possibilidade de distribuição a partir da internet. O objetivo desse artigo é investigar se essa mudança no modo que o rock brasileiro circula pela indústria fonográfica provoca mudanças mais profundas no gênero.

Existe uma tese que dá conta da compatibilidade entre externalismo sobre conteúdo mental e autoconhecimento (BURGE, 1988). Esta tese, que explora a proprie-dade de autoverificação de autoatribuições do tipo “penso que p”, porém, funciona ape-nas para autoatribuições de pensamentos cuja expressão é a primeira pessoa do tempo presente do modo indicativo em seu uso assertórico. Entre os casos problemáticos estão as autoatribuições no passados e as autoatribuições de atitudes proposicionais específicas. Tal falha do compatibilismo é apontada por Boghossian (1992) como prova da in-compatibilidade entre externalismo e o autoconhecimento. Existe uma extensa biblio-grafia para dar conta das autoatribuições no passado. Em tais artigos (BURGE, 1995), defende-se a existência de uma função preservativa da memória que, salvo em situações adversas, garantiria a veracidade das autoatribuições no passado. Porém há pouca bibli-ografia sobre o outro problema da tese compatibilista, o das autoatribuiç...

Backtracking counterfactuals are problem cases for similarity based theories of coun-terfactuals (e.g. Lewis, 1979). Hiddleston (2005) proposes a causal theory of counterfactuals, which deals well with backtracking. In addition, the causal theory provides an unified account for non-backtracking and backtracking counterfactuals. In this paper, I present a backtracking counterfactual that is a problem case for Hiddleston's account. Then I propose an informational theory of counterfactuals, which deals well with this problem case maintaining the good features of the causal theory. In addition, the informational theory provides clues for the semantics and the epistemology of counterfactuals. The idea is that backtracking is adequate when the (possibly non-actual) state of affairs expressed in the antecedent of a counterfactual transmits less information about an event in the past than the actual state of affairs.

The negative zombie argument concludes that physicalism is false from the premises that p ∧¬q is ideally negatively conceivable and that what is ideally negatively conceivable is possible, where p is the conjunction of the fundamental physical truths and laws and q is a phenomenal truth (Chalmers 2002; 2010). A sentence φ is ideally negatively conceivable iff φ is not ruled out a priori on ideal rational reflection. In this paper, I argue that the negative zombie argument is neither a priori nor conclusive. First, I argue that the premises of the argument are true only if there exists an adequate finite ideal reasoner that believes ◊(p ∧ ¬q) on the basis of not believing p → q on a priori basis. Roughly, a finite reasoner is a reasoner with cognitive limitations (e.g. finite memory). I argue that is finite only if reasons nonmonotonically and only approach ideal reflection at the limit of a reasoning sequence. This would render the argument nonconclusive. Finally, I argue that, for some q, does not believe ◊(p ∧ ¬q) on the basis of not believing p → q on a priori basis (e.g. for q ='something is conscious'). This would render the choice of an adequate q dependent on empirical information (and the argument a posteriori). I conclude that the negative zombie argument (and, maybe, all zombie arguments) is neither a priori nor conclusive.

Este artigo discute o uso de simulações de computador em Epistemologia(Epistemologia Computacional). O objetivo o artigo é fundamentar e discu-tir a ideia de uma Epistemologia Computacional, além de apresentar umexemplo de estudo nesse campo. Na Introdução, discuto as objeções maiscomuns aos métodos da Epistemologia Tradicional e à proposta de Quine deuma Epistemologia Naturalizada. Argumento que a Epistemologia Compu-tacional não está sujeita a nenhuma destas objeções. Na Seção 1, apresentouma revisão bibliográfica dos estudos em Epistemologia Computacional(tanto em Epistemologia individualista quanto em Epistemologia Social) ediscuto a estrutura geral destes estudos. Na Seção 2, apresento alguns resul-tados de um estudo em Epistemologia Computacional que realizei em minhatese de doutorado.

ENGLISH: This paper is about the use of computer simulations in Epistemology (Com- putational Epistemology). The goal of the paper is to ground and discuss theidea of a Computational Epistemology, and to present an example of studyin this field. In the Introduction, I discuss the most common objections tothe methods of Traditional Epistemology and to Quine’s Naturalized Episte-mology. I argue that Computation Epistemology is not subject to any of the-se objections. In Section 1, I review the literature on Computational Episte-mology (both in individualistic Epistemology and in Social Epistemology)and discuss the general structure of these studies. In Section 2, I presentsome results of my PhD dissertation on Computational Epistemology.

Nesse artigo, investigo três casos de erros de memória obtidos em laboratório como forma de avaliar as principais teorias da memória : teoria causal e simulacionismo. De maneira geral, a teoria causal afirma que alguém lembra de algo somente se sua lembrança está numa relação causal adequada com uma experiência anterior daquilo que é lembrado. No simulacionismo, essa relação não é necessária. Os casos de erros de memória investigados são DRM, “perdido no shopping” e erro de conjunção de conteúdo. Esses casos são difíceis para a teoria causal, especialmente em sua versão direta, mas não para o simulacionismo. Minha hipótese é a de que essa dificuldade se deve especificamente ao critério causal adotado.

I investigate three lab cases of memory error and test their consequences to the main theories of (declarative) memory: causal theory and simulationism. Roughly, the causal theory states that a subject remembers something only if her remembering is in a causal relation with a past experience of that thing. In simulationism, this relation is not ne cessary. The cases of memory error are DRM, “lost in the mall”, and memory -conjunction error. These are problem cases for the causal theory, but not for simulationism. My hypothesis is that this difficulty is because of the causal requirement.

DRAFT The most widespread model of a rational reasoner (the model based in modal epistemic logic) is inadequate for describing nite reasoners (e.g. humans). The reasoners described in the model exhibit logical omniscience and nite reasoners cannot be logically omniscient. This inadequacy is the problem of logical omniscience. The most common strategy for avoiding the problem of logical omniscience is to interpret the model using a notion of beliefs dierent from explicit beliefs (e.g. implicit beliefs). In this paper, I survey two versions of this strategy: one using accessible beliefs; another using stable beliefs. Both strategies avoid the problem in classical settings, but they dier in an essential feature: while the second considers the reasoning sequence that would result in the relevant beliefs, the rst considers only whether this reasoning is possible (in principle). This dierence has consequences in nonmonotonic settings, where the strategy based in accessible beliefs exhibits the problem of logical omnipotence: the reasoners described in the model may have inferential capacities higher than any nite reasoner, but the model is insensitive to that.

Um argumento recorrente contra a liberalização do aborto parte do pressuposto de que, desde o momento da fertilização, seres humanos são indivíduos (no sentido de serem algo que necessariamente ocorre em uma entidade apenas). Nesse artigo, parto da possibilidade de geminação monozigótica e do fato de identidades serem necessárias para argumentar que esse não é o caso. No artigo, discuto as premissas do argumento e as possíveis interpretações de sua conclusão. Argumento que a conclusão desse argumento está em concordância com a conclusão de um argumento semelhante, que parte de noções correntes de ‘organismo’.

ENGLISH: A common pro-life argument assumes that humans are individuals (in the sense that they necessarily occur in one entity only) from the moment of fertilization. In this paper, argue that this is not the case because of the possibility of monozygotic twinning and the necessity of identities. I will defend the premises of the argument and discuss the possible interpretations of its conclusion. I argue that the correct interpretation of the conclusion of this argument is in agreement with the conclusion of a similar arguments from the notion of organism.

O argumento zumbi negativo parte das premissas de que p ∧ ¬q é idealmente negativamente concebível, de que o que é idealmente negativamente concebível é possível e de que o fisicalismo é incompatível com a possibilidade de p ∧ ¬q para concluir que o fisicalismo é falso. No argumento, p é a conjunção das verdades e leis físicas fundamentais e q é uma verdade fenomenal qualquer. Uma sentença φ é idealmente negativamente concebível sse um raciocinador ideal não acredita que ¬φ em reflexão priori. Uma versão da tese da escrutabilidade pressuposta pelo argumento afirma que, para todo φ que sobrevém em p, o raciocinador ideal acredita que p → φ em reflexão a priori. Nesse artigo, argumento que, dado algumas interpretações relevantes da noção de probabilidade (pr(.)), o raciocinador ideal acredita verdadeiramente, para todo φ, que p → pr(φ) = x em reflexão a priori. Mas então, dependendo do valor de pr(q) e das correlações entre q e outras sentenças, o raciocinador ideal também acredita (provavelmente, verdadeiramente) que p → q em reflexão a priori. Então, para alguns qs relevantes, p ∧ ¬q não é idealmente negativamente concebível e o argumento zumbi tem uma premissa falsa. A escolha de um q adequado dependeria de informação empírica, o que faria o argumento zumbi não ser nem conclusivo, nem a priori.

The negative zombie argument has as premises that p∧¬q is ideally negatively conceivable, that what is ideally negatively conceivable is possible, and that Physicalism is incompatible with p∧¬q being possible and as conclusion that Physicalism is false. In the argument, p is the conjunction of the fundamental physical truths and laws and q is an arbitrary phenomenal truth. A sentence φ is ideally negatively conceivable if and only if an ideal reasoner does not believe that ¬φ on a priori reflection. The argument presupposes a version of the scrutability thesis stating that, for all φ that supervene on p, the ideal reasoner believes that p → φ on a priori reflection. In this paper, I argue that, given relevant interpretation of probabilities, the ideal reasoner believes truly, for all φ, that p → pr(φ) = x on a priori reflection. But then, depending on the value of pr(q) and the correlations between q and other sentences, the ideal reasoner also believes (probably, truly) that p → q on a priori reflection. For some relevant qs, p∧¬q is not ideally negatively conceivable and the zombie argument has a false premise. The choice of an adequate q depends on empirical information, what makes the zombie argument neither conclusive nor a priori.

A teoria minimalista da verdade consiste em todas as instâncias do esquema 'φ é verdadeira sse φ' e na afirmação de que nossa aceitação (primitiva) dessas instâncias é suficiente para explicar nossas atitudes em relação a todas sentenças envolvendo ‘verdade’. Filósofos têm apontado que o minimalismo tem dificuldades em explicar nossas atitudes em relação a generalizações envolvendo ‘verdade’ bem como em lidar com instanciações contraditórias do esquema para sentenças paradoxais (ex. paradoxo do mentiroso). Proponentes do minimalismo apresentam soluções para esses problemas. Nesse artigo, argumento que essas soluções entram em conflito, analiso algumas estratégias para resolver esse conflito e concluo que o minimalismo não pode evitar conflitos desse tipo mantendo seu caráter minimalista.

ENGLISH: The minimalist theory of truth consists in all the instances of the schema 'φ is true iff φ' and in the claim that our primitive acceptance of these instances explains our attitudes in relation to propositions involving truth. Philosophers point that minimalism has difficulties in explaining our attitudes in relation to generalizations involving truth and with the contradictory instances of the schema for paradoxal sentences (e.g. the liar). Minimalists present solutions to these problems. In this paper, I argue that these solutions conflict with each other. I analyze some strategies to resolve this conflict. I conclude that minimalism cannot avoid the conflict maintaining it minimalist character.

Existe uma tese que dá conta da compatibilidade entre externalismo sobre conteúdo mental e autoconhecimento (Burge, 1988). Esta tese, que explora a propriedade de autoverificação de autoatribuições do tipo "penso que p" , porém, funciona apenas para autoatribuições de pensamentos cuja expressão é a primeira pessoa do tempo presente do modo indicativo em seu uso assertórico. Entre os casos problemáticos estão as autoatribuições no passados e as autoatribuições de atitudes proposicionais específicas. Tal falha do compatibilismo é apontada por Boghossian (1992) como prova da in-compatibilidade entre externalismo e o autoconhecimento. Existe uma extensa bibliografia para dar conta das autoatribuições no passado. Em tais artigos (Burge, 1995), defende-se a existência de uma função preservativa da memória que, salvo em situações adversas, garantiria a veracidade das autoatribuições no passado. Porém há pouca bibliografia sobre o outro problema da tese compatibilista, o das autoatribuições de atitudes proposicionais específicas. Este artigo propõe expandir o alcance da teoria da memória preservativa, para que ela dê conta do autoconhecimento de atitudes proposicionais passadas. Para tanto, propomos critérios que definam quando uma autoatribuição de pensamentos passados é verdadeira, mesmo nos casos em que atitude e conteúdo dos pensamentos não sejam idênticos, mas apenas similares. O critério para similaridade de conteúdos (que garantiria a verdade de autoatribuições deste tipo) foi proposto por Bernecker (2009), o critério para as atitudes é novo: a atitude que S pensa em t2 como tendo tido em t1 é similar à atitude em t1 sse a atitude atual for implicada pela anterior.

Pesquisas em psicologia e filosofia mostram que a memória não apenas armazena como também processa a informação armazenada. Assim, num caso de memória de um pensamento passado, conteúdo e atitude proposicional da representação presente poderiam diferir do conteúdo e atitude do pensamento do qual ela deriva causalmente. Resta a pergunta: admitido que este tipo de lembrança não requer identidade de conteúdo e atitude, quais transformações na informação original respeitam o requisito de verdade da memória? Este artigo propõe critérios que definam quando uma representação atual pode ser qualificada como lembrança de um pensamento passado e que deem conta dos casos em que estes pensamentos não partilham o mesmo conteúdo ou atitude. O critério apresentado para tratar a similaridade entre conteúdos é o proposto por Bernecker, o critério para atitudes é novo: a atitude que S pensa (em t2) como tendo tido (em t1) é suficientemente similar à atitude que, de fato, S teve (em t1) se a atitude do pensamento posterior for implicada pela atitude anterior.

Uma das principais características do rock brasileiro é que ele sempre circulou pelo mainstream fonográfico. Em cinqüenta anos de história, o rock brasileiro foi lançado por grandes gravadoras, esteve em trilhas sonoras de telenovelas, entre outros elementos típicos desse modelo de distribuição. Mas, nas últimas duas décadas, é possível notar a formação de um circuito de rock brasileiro entre o mainstream e o underground, um circuito médio. Os principais fatores que possibilitaram a formação desse circuito foram a ressaca do rock brasileiro dos anos 80, o surgimento de novas tecnologias de gravação e, principalmente, a possibilidade de distribuição a partir da internet. O objetivo desse artigo é investigar se essa mudança no modo que o rock brasileiro circula pela indústria fonográfica provoca mudanças mais profundas no gênero.

Primeiro livro da série Investigação Filosófica com traduções dos verbetes "Lógica Aristotélica", "Lógica Clássica" e "Lógica Modal" da Stanford Encyclopedia of Philosophy.

https://wp.ufpel.edu.br/nepfil/serie-investigacao-filosofica/?fbclid=IwAR2aX2GWXYn3w4MA8DbNGLEa2Gj4fnO5kf-BU6zhZzbXS0qur5w7h1iBGFY

Contrafactuais retroativos (backtracking) admitem raciocínio contrafactual de que se as coisas tivessem sido diferentes num momento t1, então elas teriam sido diferente em algum momento anterior t0. Hiddleston (2005) propõe uma teoria causal dos contrafactuais que lida bem com retroação. Além disso, a teoria causal provê um tratamento unificado de contrafactuais retroativos e não-retroativos. Nesse artigo, apresento um contrafactual  retroativo que  é  problemático para a teoria de Hiddleston.  Então, proponho uma teoria informacional dos contrafactuais que lida bem com esse caso mantendo as características positivas da teoria causal. Além disso,  proponho uma teoria da retroação,  que provê pistas para a  semântica e epistemologia  dos  contrafactuais.  A ideia é  que retroação é  adequada quando o estado de coisas (possivelmente não-atual) expresso  no antecedente  do contrafactual transmite menos informação sobre  um evento no passado que o estado de coisas atual.

A performance ocupa um papel central na canção popular como a conhecemos hoje. Porém, o desenvolvimento dos meios fonográficos e das tecnologias de gravação e reprodução nos coloca uma importante questão: sendo a presença física eliminada, fica também abolida a performance? Tendo em vista esta questão, este a rtigo pretende discutir o conceito de performance como tratado por alguns autores e o impacto que os meios de comunicação auditivos de massa tiveram na performance. A partir daí, procuramos apresentar algumas indicações para a análise desse fenômeno nos produtos da indústria fonográfica, principalmente nas mídias sonoras. Dentre estes elementos, daremos maior importância para a voz e a ligação estreita entre a performance e o gênero musical.

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this
dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify the research program of computational epistemology, which investigates the parameter of maximum
rationality for finite reasoners using computer simulations.

In chapter 1, I investigate the use ideal reasoners for stating the maximum (and minimum) bounds of rationality for finite reasoners. I propose the notion of a strictly ideal reasoner which coincides with the notion of maximum rationality. The notion of a strictly ideal reasoner is relative to a logic and a notion of beliefs (explicit, implicit, etc). I argue that, for some relevant logics, a finite reasoner may only approach maximum rationality at the limit of a reasoning sequence (stable beliefs) 1 . In chapter 2, I investigate the use of ideal reasoners in the zombie argument against physicalism (Chalmers, 2010). This notion is used in the principle that ideal negative conceivability entails possibility.
The conclusion is that the zombie argument is neither an a priori nor a conclusive argument against physicalism. In chapter 3, I investigate the notion of maximum (and minimum) epistemic rationality for finite reasoners. Epistemic rationality is often related to maximizing true beliefs and minimizing false beliefs. I argue that most of the existing models of maximum epistemic rationality have problems in dealing with blindspots and propose a model in terms of the maximization of a function g, which evaluates sets of beliefs regarding truth/falsehood. However, function g may only be maximized at the limit of a reasoning sequence. In chapter 4, I argue that if maximum (epistemic) rationality for finite reasoners must be understood in terms of the limit of a reasoning sequence, then issues about the computational complexity of reasoning are relevant to epistemology. Then I propose the research program of computational epistemology, which uses computer simulations for investigating maximum (epistemic) rationality for
finite reasoners and considers the computational complexity of reasoning. In chapter 5, I provide an example of an investigation in computational epistemology. More specifically, I compare two models of maximum rationality for situations of uncertain reasoning: theory of defeasible reasoning (Pollock, 1995) and Bayesian epistemology (Joyce, 2011).

Apesar da existência de importantes estudos sobre falsas lembranças, acreditamos que o fenômeno ainda não foi devidamente considerado nas atuais ciências da memória. Nosso trabalho, então, tem como objetivo investigar algumas das atuais teorias da memória (narrativas, representacionais, diretas) a partir do modo como elas explicam os casos de falsas lembranças. O objetivo dessa investigação é examinar se as atuais teorias descrevem adequadamente casos de lembranças e de falsas lembranças. Nossa hipótese é que a análise dos casos de falsas lembranças pode nos fornecer importantes pistas acerca do modo como a memória funciona. Assim, pretendemos responder às seguintes questões: (1) "o que são falsas lembranças?"; (2) "quais são os tipos de falsas lembranças?" e, principalmente, (3) "como é possível acomodar a existência de falsas lembranças numa teoria que não coloque em questão a confiabilidade geral da memória, pressuposta por nossas capacidades cognitivas básicas?". Para responder às questões, nos defrontamos com alguns problemas das atuais teorias da memória: (4) "quais são os tipos de memória?"; (5) "quais são os objetos da memória?"; (6) "de que é composto o conteúdo de uma lembrança?", entre outras questões. Para responder estas perguntas, apresentaremos (i) uma análise da forma lógica de atribuição de lembrança, do tipo “S lembra ”, a partir de estudos da filosofia analítica, como Niiniluoto (1990), Bernecker (2008) e Rebello (2008); (ii) argumentos acerca da necessidade de tomarmos a memória como sendo minimamente confiável (Campbell, 1987; Burge, 1998 e Hamilton, 1999) e (iii) uma análise da intencionalidade da lembrança a partir de contribuições da fenomenologia (Casey, 1971 e novamente Rebello, 2008).

O rock brasileiro sempre foi encarado com a desconfiança de um estrangeiro em sua própria terra natal. Ele não é tratado como um norte-americano que chega ao Brasil sem saber português, mas sim como um brasileiro que se esforça para falar inglês, mesmo sem saber uma palavra naquele idioma – o que é ainda pior. Assim, apesar de sua importância para a história da indústria fonográfica brasileira nos últimos cinqüenta anos, são poucos os estudos que se propõem a analisar o modo como esse gênero se estrutura. A partir das discussões feitas no grupo de pesquisa Mídia e Música Popular Massiva (MMM), do Programa de Pós- Graduação em Comunicação e Cultura Contemporâneas da Universidade Federal da Bahia, esse trabalho pretende entender as principais estratégias midiáticas utilizadas no rock brasileiro, em diversos momentos de sua história. O estudo será realizado a partir da análise de Jovem guarda (Roberto Carlos, 1965), Os Mutantes (Mutantes, 1968), Krig-ha, bandolo! (Raul Seixas, 1973), Dois (Legião Urbana, 1986), Da lama ao caos (Chico Science & Nação Zumbi, 1993) e Bloco do eu sozinho (Los Hermanos, 2001). Assim, a partir da análise de alguns dos principais discos do gênero, esse estudo pretende entender o rock brasileiro e sua relação com a indústria fonográfica em diversos momentos da sua história e, com sorte, contribuir um pouco para o estudo dos gêneros midiáticos na música popular massiva.

Dual-Process Theories claim that human reasoning involves two very different types of processes: processes of Types 1 (‘intuitive’; effortless and fast, but biased) and Type 2 (‘deliberative’; effortful and slow, but normatively correct). Reasoning according to the probability calculus is supposed to involve Type 2 processing and much of the research in Psychology of Reasoning is concerned with systematic violations of probability, which is treated as a standard of rationality for situations of uncertain reasoning. Bayesian epistemologists also argue that the tenets of the Probability Theory are requirements of rationality (practical and epistemic). But does rationality indeed require us to perform Type 2 processing in every situation of uncertain reasoning? I have constructed agents based on the Bayesian model of rationality and in a nonmonotonic logic that is used to model Type 1 processes and tested how they perform in computer simulations of an epistemic version of the Wumpus World, a class of problems used in Artificial Intelligence for studying uncertain reasoning. Roughly, the results of the simulations suggest that rationality requires us to perform a Type 1 process (instead of Type 2 probability calculus) in situations where the stakes are high and conservative decision making is rewarded (practical) and where the evidence is relatively informative but difficult to gather (epistemic rationality).

All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, what is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the model could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the model would describe maximum rationality, what a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences to epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In section 1, I present an argument to this conclusion. In section 2, I discuss the consequences of this conclusion, as, for example, the vindication of the principle 'no rationality through brute-force'.

Umas das principais dificuldades associadas à interpretação Everettiana da mecânica quântica é a de fazer sentido da noção de probabilidade. Não está claro como poderia haver probabilidades num contexto em que não haveria incerteza ou alternativas não realizadas. Nas últimas décadas, foram propostas soluções para o problema. Numa dessas soluções, a regra de Born é derivada a partir de postulados da teoria da decisão. Argumento que a introdução de questões sobre racionalidade prática na discussão sobre existência de probabilidades na interpretação Everettiana da mecânica quântica está fora de lugar. Proponho que a derivação da regra de Born deveria partir de postulados da teoria da utilidade epistêmica (racionalidade teórica). Também proponho a exploração de outras relações entre racionalidade teórica e o formalismo probabilístico da mecânica quântica.

This is an example of investigation in Computational Epistemology (CE), epistemology by means of computer simulations. There exists an extensive discussion about whether a Bayesian or a nonmonotonic framework yield a better model of uncertain reasoning. CE would help in this discussion in measuring, among other things, the computational efficiency of these models in relevant situations. I construct Artificial Intelligence (AI) agents based on these models and compare their performance in an epistemic version of Wumpus World, a class of problems used in AI for investigating uncertain reasoning. The agents achieve similar scores in most parameters, but the Bayesian agent is exponential in time whereas the nonmonotonic is only polynomial. I discuss the conditions under which they generalize. The nonmonotonic model (and extensional models in general) is more efficient in situations in which: (i) it is necessary to execute diagnostic (but not both diagnostic and causal) reasoning and (ii) conditional dependence may be ignored in most cases.

Publication is forthcoming.

The negative zombie argument concludes that physicalism is false from the premises that p ∧¬q is ideally negatively conceivable and that what is ideally negatively conceivable is possible, where p is the conjunction of the fundamental physical truths and laws and q is a phenomenal truth (Chalmers 2002; 2010). A sentence φ is ideally negatively conceivable iff φ is not ruled out a priori on ideal rational reflection. In this paper, I argue that the negative zombie argument is neither a priori nor conclusive. First, I argue that the premises of the argument are true only if there exists an adequate finite ideal reasoner R that believes ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis. Roughly, a finite reasoner is a reasoner with cognitive limitations (e.g. finite memory). I argue that R is finite only if R reasons nonmonotonically and only approach ideal reflection at the limit of a reasoning sequence. This would render the argument nonconclusive. Finally, I argue that, for some q, R does not believe ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis (e.g. for q =‘something is conscious’). This would render the choice of an adequate q dependent on empirical information (and the argument a posteriori). I conclude that the negative zombie argument (and, maybe, all zombie arguments) is neither a priori nor conclusive.

Published paper in my profile.

The negative zombie argument has as premises that p ∧ ¬q is ideally negatively conceivable, that what is ideally negatively conceivable is possible, and that physicalism is incompatible with p ∧ ¬q being possible and as conclusion that physicalism is false. In the argument, p is the conjunction of the fundamental physical truths and laws and q is an
arbitrary phenomenal truth. A sentence φ is ideally negatively conceivable if and only if an ideal reasoner does not believe that ¬φ on a priori reflection. The argument presupposes a version of the scrutability thesis stating that, for all φ that supervene on p, the ideal reasoner
believes that p → φ on a priori reflection. In this paper, I argue that, given relevant interpretation of probabilities, the ideal reasoner believes truly, for all φ, that p → pr(φ) = x on a priori reflection. But then, depending on the value of pr(q) and the correlations between q and other sentences, the ideal reasoner also believes (probably, truly) that p → q on a priori
reflection. Then, for some relevant qs, p ∧ ¬q is not ideally negatively conceivable and the zombie argument has a false premise. The choice of an adequate q depends on empirical information, what makes the zombie argument neither conclusive nor a priori.