Made available in DSpace on 2016-04-27T17:27:13Z (GMT). No. of bitstreams: 1 John Stuart Mill e o psicologismo.pdf: 586444 bytes, checksum: 4f8cde60a2889debc936f6d16408307e (MD5) Previous issue date: 2006-05-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents the logic and semantic of John Stuart Mill relating them, on the one hand, to the psychological nominalist tradition represented by John Locke´s theory of ideas, and, on the other hand, to the forthcoming logic semantic discussions of XIX century, mainly from Frege´s philosophy. According to our hypothesis, in opposition to an established interpretative tradition, Mill was responsible for significant theses, among others, in favor of the logicist efforts and anti-psychologists who marked most of the later discussions on the nature of logic. On the one hand, Mill´s criticism to the thesis according to which the significance of language terms are ideas (what he calls conceptualism), in addition to his clear view in distinguishing mental processes in the reasoning act of objective reasons involved in the inferences correction, constituted, according to our conclusions, important positive influence sources, not just to Frege´s philosophy, but to a whole philosophycal tradition that came to contemporary analytical philosophy. The work is divided in three chapters. In the first chapter, important elements of Mill´s logic and semantics are presented, such as: the definition of logic as a proof science, the relationship between logic and language, theory of connotation and some propositions. The second chapter deals with Mill´s criticism of the psychological semantic model represented by, among others, Locke. The third chapter aims to the question whether, from the point of view of Fregean logicism, Mill can be considered a psychologist / Este trabalho apresenta a lógica e a semântica de John Stuart Mill relacionando-as, por um lado, à tradição psicológio-nominalista representada pela teoria das idéias de John Locke e, por outro, aos desdobramentos das discussões lógico-semânticas do século XIX, sobretudo a partir da filosofia de Frege. De acordo com nossa hipótese, ao contrário do que toda uma tradição interpretativa estabeleceu, Mill, como que por detrás de algumas posturas ultrapassadas, foi responsável por teses significativas, entre outras coisas, em favor dos esforços logicistas e antipsicologistas que marcaram boa parte das discussões posteriores acerca da natureza da lógica. A crítica que Mill realiza à tese segundo a qual o significados dos termos da linguagem são idéias (o que ele chama de conceitualismo), aliada à sua clareza em distinguir processos mentais envolvidos no ato do raciocínio, das razões objetivas envolvidas na correção das inferências, constituíram, de acordo com nossas conclusões, importantes fontes de influência positiva, não só para a filosofia de Frege, mas para toda uma tradição filosófica que veio a desembocar na filosofia analítica contemporânea. O trabalho é dividido em três capítulos. No primeiro, são apresentados alguns elementos importantes da lógica e da semântica millianas, tais como: definição de lógica enquanto ciência da prova, relação entre lógica e linguagem, teoria da conotação e proposições meramente verbais. O segundo, trata da crítica de Mill ao modelo semântico psicológico representado, entre outros, por Locke. O terceiro, busca responder se, a partir do ponto de vista do logicismo fregeano, Mill pode ser considerado um psicologista

[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.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The main objective of this work consists in investigating the relationship between Frege s conception of truth and the so called Identity Theory of Truth . An identity theory of truth is described in literature as the thesis sustaining that truth consists, fundamentally, in the identity between the content of a judgment or proposition and a fact. The proposition expressed by a sentence, as in Aristotle was a disciple of Plato , is true if, and only if, it is a fact that Aristotle was a disciple of Plato. Thus, the contents of the sentences would be in a relation of identity towards the facts, and would not be in a relation of correspondence, as classic theories of truth sustain. In Der Gedanke, published in 1918, Frege seems to sustain this theory, even though his conception of truth is much larger than that. On the article, he explicitly affirms that a fact is a thought that is true. Such affirmation fits perfectly in the identity theory of truth s slogan. Nevertheless, there s plenty of discussion on the subject in secondary literature. Authors such as Baldwin, Dodd, Kemp, Horsnby and Sluga have discussed the identification between facts and true thoughts, and have given explanations that are sometimes rather antagonistic. That is why it is of great value the reconstruction and the discussion of such interpretations, in the attempt to clarify Frege s purpose on the referred affirmation. Along with that, it is necessary to review other aspects of Frege s philosophy, since his conception of truth in general, and, particularly, the identity theory of truth, are connected to the whole of his philosophy. / A presente dissertação tem como objetivo central investigar a relação entre a concepção fregeana de verdade e a chamada teoria da verdade como identidade (Identity Theory of Truth). Uma teoria da verdade como identidade é caracterizada na literatura como a tese segundo a qual verdade consistiria, fundamentalmente, na identidade entre o conteúdo de um juízo ou proposição e um fato. A proposição expressa por uma sentença, como Aristóteles foi discípulo de Platão , é verdadeira se, e somente se, é um fato que Aristóteles foi discípulo de Platão. Assim sendo, os conteúdos das sentenças estariam em uma relação de identidade com fatos e não em uma relação de correspondência, como as teorias clássicas da verdade irão defender. Em Der Gedanke de 1918, Frege parece defender essa teoria, mesmo que a concepção fregeana de verdade seja muito mais ampla do que isso. Neste artigo, ele explicitamente afirma que um fato é um pensamento que é verdadeiro. E tal afirmação encaixa-se perfeitamente no slogan da teoria da verdade como identidade. Não obstante, na literatura secundária existe uma série de discussões sobre esse tópico. Autores como Baldwin, Dodd, Kemp, Horsnby e Sluga irão discutir essa identificação entre fatos e pensamentos verdadeiros dando respostas por vezes antagônicas. Por isso, é de grande importância reconstruir e discutir essas interpretações na tentativa de esclarecer o propósito de Frege ao fazer tal afirmação. Conjuntamente, outros aspectos da filosofia fregeana necessitam ser explicitados, pois a concepção fregeana de verdade em geral e a teoria da verdade como identidade, em particular, estão ligadas ao restante de sua filosofia.

Notre travail de thèse aborde la question suivante : quel est le thème de l'idéographie frégéenne ? Nous y répondons en questionnant l'emploi de la terminologie modèle-théorique ordinairement employée. Notre méthode consiste en un examen détaillé des Grundgesetze, ainsi qu'en une approche comparative avec les œuvres de deux objecteurs contemporains de Frege, le Tractatus-logico philosophicus de Wittgenstein et les Fondements de la géométrie de Hilbert. Pour déterminer ce dont traite l'idéographie, il faut envisager la manière dont sont rendues signifiantes les expressions qu'elle contient. En vue de répondre à cette question, un examen du statut des notions de sens et de référence est accompli, au niveau épistémique, correspondant à la compréhension par un locuteur, ainsi qu'au niveau théorique, concernant leur place précise dans le compte-rendu des démonstrations en langage idéographique. Les notions de sens et de référence sont expliquées par des éclaircissements : leur introduction est déjà leur mise en œuvre. Nous privilégions une lecture interne de ces notions. Au centre de notre travail se trouve le défi formaliste : peut-on conjuguer l'idéal d'une corrélation bi-univoque entre signes et sens et l'exigence d'une pluralité de signes de même sens, nécessaire aux définitions ? Nous montrons que la distinction entre sens et référence conserve un rôle opératoire dans l'idéographie, qu'elle illustre la fécondité démonstrative du système, ce qui a peu été souligné jusqu'à présent dans les études frégéennes. Ainsi il est possible de défendre Frege face à ce défi en soutenant que la diversité des sens, même corrélée à la diversité des signes, ne lui est pas réductible. / Our doctoral thesis addresses the following question : what is the theme of the fregean conceptual script? We answer it in questioning the model-theoretical framework currently used. Our method consists in a close study of the fregean texts, especially the Grundgesetze, and in a comparative approach with the works of two contemporary critics of Frege, the Tractatus logico-philosophicus by Wittgenstein and the Foundations of geometry by Hilbert. To determine what the fregean conceptual script is about, we have to consider how the expressions it contains are made significant. For that purpose, a close examination of the notions of sense and reference is carried out, at the epistemic level, that corresponds to the understanding by a speaker, and at the theoretic level, that concerns the role it plays in the account of proofs in the conceptual script. Frege explains the notions of sense and reference through elucidations: their introduction is already part of their use. We favour an internal reading of these notions.Crucial in our work is what we reconstruct as a formalist challenge addressed to Frege: is it possible to combine the ideal of a one-one correlation between signs and senses with the demand of a plurality of signs with the same sense, necessary for the purpose of definitions? We show that the distinction between sense and reference retains an operative role in the conceptual script, that it highlights the fecundity of the system, which has seldom been underlined in the fregean studies. Thus we argue that Frege can face that formalist challenge, because the plurality of senses, even when it is correlated with the plurality of signs, cannot be reduced to it.

Le problème de l'existence est réputé l´un de plus anciennes et de plus difficiles à résoudre de la philosophie: Que voulons-nous exprimer quand nous disons que quelque chose existe ou, pire encore, que quelque chose n´existe pas? Intuitivement, il semble que nous avons tous une prise ferme sur ce que nous voulons exprimer. Mais comment devrions-nous expliquer la différence – s´il y en a – entre les énoncés existentiels d´une coté et les plus communs énoncés prédicatifs de l´autre? Quelle est la différence entre dire que quelque chose existe et dire, par exemple, que quelque chose est rouge, lourde, moue, etc.? Dans cette étude nous allons nous pencher sur ces questions.Dans la première partie, cette étude porte sur les auteurs qui ont étés les plus persuasifs et les plus influents à creuser l´écart qui sépare les énoncés existentiels de plus communs énoncés prédicatifs. Notamment, il s´agirait ici de David Hume, Immanuel Kant, Franz Brentano et Gottlob Frege. Selon cette famille d'approches l'existence devient quelque chose de très différent d'une propriété des objets. Dans la deuxième partie, cette étude se penche sur des tentatives plus récentes qui ont pris la direction opposé et sont allez jusqu´à réduire l'existence à une propriété (plus ou moins) ordinaire des objets. Les philosophes qui seront discutés ici seront Alexius Meinong, Richard Routley, Terence Parsons, William Rapaport, Edward Zalta et Graham Priest.Finalement, la troisième partie de cette étude développe une approche selon laquelle la notion d'existence est étroitement liée à la notion de vérité: dire que telle ou telle chose existe est équivalent à dire qu'il est vrai que quelque chose est telle et telle. L'avantage de cette stratégie est, d´une coté, qu'elle ne réduit pas l´énoncé que quelque chose n´existe pas á une contradiction - un résultat fréquent ceci des approches discutées dans la première partie. De l´autre coté, cette stratégie évite les épicycles communs aux approches discutées dans la deuxième partie, lesquelles sont strictement liés à la réduction de l'existence à une propriété des objets. / The problem of existence is reputed to be one of the oldest and most intractable of philosophy: What do we mean when we say that something exists or, even more challengingly, that something does not exist? Intuitively, it seems that we all have a firm grip upon what we are saying. But how should we explain the difference – if there is any – between statements about existence and other, garden-variety predicative statements? What is the difference between saying that something exists and saying, for instance, that something is red, heavy, soft, etc.? These questions provide the focus for the present study.In the first part, this study addresses those authors that have been most effective and influential at widening the gap between statements about existence and garden-variety predicative statements. These are David Hume, Immanuel Kant, Franz Brentano, and Gottlob Frege. According to this family of approaches, existence becomes something very different from a property of objects. In the second part, this study turns to more recent attempts that have moved in the opposite direction by trying to reduce existence to a – more or less – plain property of objects. The philosophers that are going to be discussed here are Alexius Meinong, Richard Routley, Terence Parsons, William Rapaport, Edward Zalta, and Graham Priest. Eventually, the third part of this study develops an account according to which the notion of existence is strictly linked to the notion of truth: To say that such and such a thing exists is to say that it is true that something is such and such. The advantage of this strategy is that it does not make it contradictory to say that something does not exist – a frequent upshot of the approaches discussed in the first part. At the same time, this strategy avoids the epicycles common to the approaches discussed in the second part, which are strictly linked to the reduction of existence to a property of objects.

Název práce: O síle slabých rozšírení teorie V0 Autor: Sebastian Müller Katedra: Katedra Algebry Vedoucí disertační práce: Prof. RNDr. Jan Krajíček, DrSc., Katedra Algebry. Abstrakt: V predložené disertacní práci zkoumáme sílu slabých fragmentu arit- metiky. Činíme tak jak z modelově-teoretického pohledu, tak z pohledu důkazové složitosti. Pohled skrze teorii modelu naznačuje, že malý iniciální segment libo- volného modelu omezené aritmetiky bude modelem silnější teorie. Jako příklad ukážeme, že každý polylogaritmický řez modelu V0 je modelem VNC. Užitím známé souvislosti mezi fragmenty omezené aritmetiky a dokazatelností v ro- zličných důkazových systémech dokážeme separaci mezi rezolucí a TC0 -Frege systémem na náhodných 3CNF-formulích s jistým poměrem počtu klauzulí vůci počtu proměnných. Zkombinováním obou výsledků dostaneme slabší separační výsledek pro rezoluci a Fregeho důkazové systémy omezené hloubky. Klíčová slova: omezená aritmetika, důkazová složitost, Fregeho důkazový systém, Fregeho důkazový systém omezené hloubky, rezoluce Title: On the Power of Weak Extensions of V0 Author: Sebastian Müller Department: Department of Algebra Supervisor: Prof. RNDr. Jan Krajíček, DrSc., Department of Algebra....

I develop a novel semantic theory for modals that has important consequences for contemporary work in epistemology, metaphysics and ethics. My theory replaces the dominant view about semantics--that our best theory of meaning should ascribe truth-conditions to modalized sentences--with a non-truth-conditional yet fully compositional semantics for modals. Its contributions to current debates in analytic philosophy include an explanation of the possibility of modal disagreement that avoids relativism, a solution to the paradoxes about conditional obligations (including the gentle murder paradox), and new impulses for a generalized solution to the Frege-Geach problem for noncognitivism. / text

Made available in DSpace on 2015-03-04T21:02:09Z (GMT). No. of bitstreams: 0 Previous issue date: 29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O tema central deste trabalho é a semântica das expressões denotativas nas teorias de Frege e Carnap. O texto está dividido em três capítulos: no primeiro, a teoria do significado de Frege, que estabelece a distinção entre sentido e significado, é investigada; no segundo capítulo é exposto o contexto histórico do Círculo de Viena e as duas fases que antecederam a fase semântica de Carnap; e no terceiro capítulo discute-se a influência da teoria semântica da verdade de Tarski sobre Carnap e o método carnapiano de extensão e intensão. A tese central defendida aqui é que embora Carnap, dentre outros, tenha razão em criticar a reificação dos valores de verdade, o objetivo das teorias de Frege e Carnap devem ser distinguidos e isso é fundamental para justificar a opção teórica de Frege. / The main subject of this work is the semantics of denoting expressions in Frege’s and Carnap’s theories. The text is divided in three chapters. In the first one, Frege’s theory of meaning, which distinguishes between “sense” and “meaning”, is scrutinized. In the second chapter, the historical context of the Vienna Circle and the two periods which have preceded Carnap’s semantical phase is studied. Finally, in the third chapter, Tarki’s influence on Carnap and Carnap’s method of intension and extension are discussed. The main thesis of this dissertation is that although Carnap and others my be justified in criticizing Frege’s reification of truth-values, the aim of both theories should be distinguished, which is central to justify Frege’s theoretical option.

Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1 Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5) Previous issue date: 2013-11-08 / The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented / O objetivo desta dissertação e, em primeiro lugar, apresentar o núcleo fundamental do projeto logicista fregeano - o que ficou conhecido pelo nome de teorema de Frege - como um resultado matemático independente para, em seguida, avaliar o seu significado filosófico por meio da discussão acerca do conceito fregeano de logica. Além disso, este trabalho contém dois anexos, nos quais se demonstra um teorema geral de recursão dentro de um sistema clássico de logica de segunda ordem e se apresenta uma construção neofregeana dos números reais por meio de sequências de Cauchy

Esta dissertação tem como objetivo compreender como a distinção entre conceito e objeto opera no sistema fregeano de modo a autorizar ou não alguma concepção de inexpressabilidade como característica fundamental da lógica. O problema de fundo é determinar em que sentido distinções entre categorias lógicas, especificamente a distinção entre conceito e objeto, envolvem algum tipo de inexpressabilidade. A questão é abordada com foco no problema do estatuto da proposição “O conceito cavalo não é um conceito”. Tratamos do problema através da apresentação de duas alternativas que envolvem um esforço de formalização da proposição. A primeira alternativa insere-se numa tradição de comentários que aproxima as considerações de Frege sobre essa proposição a certas ideias do Tractatus de Wittgenstein, atribuindo à proposição o estatuto de contrassenso. A segunda alternativa problematiza, pelo menos em parte, a primeira, ao trazer razões para a consideração da afirmação como uma proposição com sentido. Refletindo sobre as duas alternativas, consideramos que há mais de uma maneira de conceber a ideia de inexpressabilidade da lógica presente nas obras de Frege. / This work aims to understand how the distinction between concept and object works in the fregean system in such a way as to authorize some conception of inexpressibility as a fundamental feature of logic. The background problem is to ascertain how distinctions between logical categories, specifically the distinction between concept and object, involve some kind of inexpressibility. Our approach to the question focuses on the problem of the status of the proposition ‘The concept horse is not a concept’. Two alternatives are shown here that involve an effort of formalization of this proposition. The first alternative is part of a tradition of Frege’s exegesis that approximates Frege’s considerations about this proposition to certain ideas of Wittgenstein's Tractatus, assigning to the proposition the status of nonsense. The second alternative probematizes the first one at least in part by bringing reasons to considerate the statement as a proposition with sense. Reflecting on the two alternatives, we believe that there is more than one way of conceiving the idea of inexpressibility of logic in the works of Frege.