[pt] A Lógica é hoje em dia vista como uma ciência matemática fundamentalmente ligada à faculdade do entendimento, e pouco relacionada com nossa capacidade de imaginar ou conceber. Desta forma, sob a alcunha de psicologismo, costuma-se descartar qualquer associação da lógica à conceptividade ou à imaginação como espúria e mal colocada. Esta tese de doutorado tem como objetivo mostrar que, contrariamente ao que se costuma crer, há na lógica, tomada como uma ciência, um inegável emprego metodológico da faculdade da conceptividade ou da imaginação. Para mostrar isto, primeiramente examinamos sobre bases autônomas o princípio da conceptividade, segundo o qual a proposição p é concebível se e semente se p é possível. Investigamos as principais posições contemporâneas contra e a favor deste princípio e chegamos a uma versão qualificada do princípio, que defendemos ser livre de contraexemplos. Terá sido mostrado, portanto, que, sob certas condições, há uma relação essencial entre conceitos modais aléticos (possibilidade, necessidade, contingência, impossibilidade) e nossa faculdade de conceber ou imaginar: o que é concebível é possível - ainda que nem sempre o que é inconcebível seja impossível. Em seguida, mostramos como o princípio da conceptividade foi um instrumento insubstituível, nas mãos dos grandes pioneiros da lógica, em uma tarefa muito bem delimitada: a codificação de novas linguagens lógicas. Defendemos, por conseguinte, que Aristóteles, quando primeiramente codificou a lógica de proposições categóricas, e Frege, quando elaborou a lógica funcional e quantificada, foram obrigados a recorrer à conceptividade como parâmetro básico para examinar a correção expressiva da linguagem que estavam codificando e para aferir a validade lógica de diversas proposições e argumentos. Com vistas a tornar claro o lugar da noção de conceptividade dentro da lógica, examinamos a lógica e a epistemologia de Aristóteles e, sobretudo, de Frege, nas quais encontramos elementos concretos que apontam para o emprego desta noção dentro do contexto primitivo de codificação lógica a que nos reportamos. Enfatizamos que, no contexto em que estes autores se encontravam, não havia opções epistemológicas para examinar e avaliar sua lógica a não ser o recurso princípio da conceptividade. / [en] Logic is seen today as a mathematical science fundamentally linked to the faculty of understanding, unrelated to our capacity of imagining or conceiving. Under the label psychologism, one usually considers any association between logic and conceivability (or imagination) as spurious and misled. This doctoral thesis has as its goal showing that, contrarily to what is ordinarily thought, there is in logic, understood as a science, an undeniable methodological employment of the faculty of conceivability or imagination. In order to show this, we firstly examine the conceivability principle (the proposition p is conceivable if and only if p is possible) on autonomous basis. We examine the main contemporary positions against and in favor of this principle and come to a qualified version of the principle, which we purport to be free of counterexamples; it will have been shown, therefore, that, under certain circumstances, there is an essential relation between modal concepts (possibility, necessity, contingency, impossibility) and our faculty of conceiving or imagining: whatever is conceivable is possible - even though it is not always true that whatever is inconceivable is impossible. Secondly, we show how the conceivability principle was an irreplaceable tool in the hands of the great pioneers of logic, in a very well delimited task: codifying new logical languages. Therefore, we hold that Aristotle, as he firstly codified the logic of categorical propositions, and Frege, as he elaborated quantified functional logic, were bound to employ conceivability as a basic parameter so as to examine the expressive correctness of the language they were codifying and determine the validity of various propositions and arguments. In order to make clear the place of conceivability in logic, we examine Aristotle´s Frege´s logic and epistemology and find concrete elements indicating the employment of this notion in the primitive context of logical codification we have mentioned. We emphasize that, in the context in which these authors were working, there were no epistemological options other than the resource to the conceivability principle.

[pt] A dissertação apresenta e discute as idéias desenvolvidas por Crispin Wright no livro Frege´s Conception of Numbers as Objects (1983), em particular, a sua tese de que a aritmética é analítica. Wright deposita toda sua força argumentativa (em relação à analiticidade da aritmética) na derivação dos axiomas da aritmética de segunda ordem de Dedekind-Peano a partir do Princípio de Hume. Assim, é nosso principal objetivo apresentar e discutir em que medida o Princípio de Hume é capaz de fornecer, segundo Wright, um relato da analiticidade da aritmética, assim como, as objeções a esse relato. / [en] The dissertation presents and discusses the ideas developed by Crispin Wright in his book Frege's Conception of Numbers as Objects (1983), in particular his thesis that arithmetic is analytic. Wright concentrates all his argumentative efforts (in relation to the analyticity of arithmetic) on the derivation of the axioms of Dedekind-Peano's second order arithmetic from Hume's Principle. Thus, it is our main goal to present and discuss how Hume's Principle provides, according to Wright, an explanation of the analytic character of arithmetic as well as some objections to this account.

[pt] A intuição básica da noção de verdade como correspondência é que se uma proposição (ou sentença) p é verdadeira, então existe um s tal que s é o fazedor-de-verdade (truthmaker) de p. Essa idéia tem um apelo especialmente forte no que diz respeito a proposições verdadeiras em virtude de fenômenos ou objetos empíricos. Por outro lado, se não há alternativa para a tese de Frege segundo a qual a referência de uma sentença é o seu valor de verdade, uma teoria da verdade como correspondência é inviável. O argumento da funda (the slingshot argument) pretende defender a tese de Frege e inviabilizar uma teoria da verdade como correspondência. Os meus objetivos aqui são (i) investigar o que levou Frege a concluir que a referência de uma sentença é seu valor de verdade e (ii) investigar se uma teoria de fazedores-de-verdade de verdades empíricas evita o argumento da funda. / [en] The basic idea of the notion of truth as correspondence is that if a proposition (or sentence) p is true, then there is an s such that s makes p true (i.e. s is a truthmaker of p). This idea has a strong intuitive appeal, especially with respect to propositions (or sentences) true in virtue of empirical phenomena. On the other hand, if there is no alternative to Frege's thesis according to which the reference of a sentence is its truth-value, a theory of truth as correspondence seems to be undermined from the start. The slingshot argument intends to defend Frege's thesis and to undermine theories of truth as correspondence. My aims here are (i) to investigate why Frege concluded that the reference of a sentence is its truth- value and (ii) to investigate whether or not a truthmaker theory of empirical truths can avoid the slingshot argument.

[pt] O objetivo deste trabalho é analisar a noção fregeana de pensamento e discutir o problema da dinâmica cognitiva. Para tal, serão seguidos os seguintes passos. Inicialmente, faremos uma análise da noção de pensamento tal como elaborada por Gottlob Frege. A teoria fregeana será contrastada com sua principal teoria alternativa, a saber, a explicação de Bertrand Russell dos pensamentos ou proposições. Em seguida, será discutido o problema da dinâmica cognitiva, a questão que diz respeito à preservação de crenças e conhecimento por um indivíduo diante das mudanças de contexto. Entende-se ser este um problema com o qual qualquer teoria do pensamento deve lidar. Nosso objetivo é avaliar as soluções para o problema desenvolvidas tanto pelos fregeanos quanto pelos neo-fregeanos, mostrando que elas têm méritos, mas também fraquezas. Questionar-se-á também a viabilidade das propostas de solução avaliadas e será apontada qual delas parece ser a mais plausível. Por fim, discutimos um tipo específico de pensamento que também concerne à questão da dinâmica cognitiva: tratam-se dos pensamentos na primeira pessoa, ou pensamentos de se, ou seja, pensamentos que têm como seu objeto o sujeito referido pelo pronome da primeira pessoa eu . Eles são um caso especial de pensamentos para os quais a questão da dinâmica cognitiva também vale, embora apresentem atributos típicos. Um desses atributos é a imunidade ao erro por má-identificação, já discutida na obra de Gareth Evans. Outras características dos pensamentos na primeira pessoa também serão discutidas, buscando-se apontar para aquela que parece ser a melhor forma de explicar sua natureza e a dinâmica cognitiva que eles envolvem. / [en] The aim of this essay is to analyze the fregean notion of thought and discuss the problem of cognitive dynamics. To this end, I shall take the following steps. To begin with, I analyze the very notion of thought as put forward by Gottlob Frege. Frege s theory is to be contrasted with its main alternative, that is, Russell s account of thoughts or propositions. I proceed, then, to discuss the issue of cognitive dynamics, which is the issue of how it is that the subject is able to maintain his beliefs through context changes. This is, I take it, a difficulty that any theory of thought has to face. My aim is to assess the solutions devised both by the Fregeans and the Neo-Fregeans, showing that they have merits as well as weaknesses. I also question the viability of the would-be solutions and tell which seems the soundest. Finally, I discuss a specific type of thought the issue of cognitive dynamics concerns too: the so-called I-thoughts, or de se thoughts, that is, thoughts that have as their object the very subject referred to by the first person pronoun I . They are a special case of thoughts for which the issue of cognitive dynamics holds too, although they present their own characteristic features. One of these features is the immunity to error through misidentification, already discussed in the work of Gareth Evans. Other characteristics of the I-thoughts will also be discussed, with a view to figure out what seems to be the best way to account for their nature and the cognitive dynamics they involve.