Tesis:

1

Burke, Mark. "Frege, Hilbert, and Structuralism". Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/31937.

Texto completo

Resumen

The central question of this thesis is: what is mathematics about? The answer arrived at by the thesis is an unsettling and unsatisfying one. By examining two of the most promising contemporary accounts of the nature of mathematics, I conclude that neither is as yet capable of giving us a conclusive answer to our question. The conclusion is arrived at by a combination of historical and conceptual analysis. It begins with the historical fact that, since the middle of the nineteenth century, mathematics has undergone a radical transformation. This transformation occurred in most branches of mathematics, but was perhaps most apparent in geometry. Earlier images of geometry understood it as the science of space. In the wake of the emergence of multiple distinct geometries and the realization that non-Euclidean geometries might lay claim to the description of physical space, the old picture of Euclidean geometry as the sole correct description of physical space was no longer tenable. The first chapter of the dissertation provides an historical account of some of the forces which led to the destabilization of the traditional picture of geometry. The second chapter examines the debate between Gottlob Frege and David Hilbert regarding the nature of geometry and axiomatics, ending with an argument suggesting that Hilbert’s views are ultimately unsatisfying. The third chapter continues to probe the work of Frege and, again, finds his explanations of the nature of mathematics troublingly unsatisfying. The end result of the first three chapters is that the Frege-Hilbert debate leaves us with an impasse: the traditional understanding of mathematics cannot hold, but neither can the two most promising modern accounts. The fourth and final chapter of the thesis investigates mathematical structuralism—a more recent development in the philosophy of mathematics—in order to see whether it can move us beyond the impasse of the Frege-Hilbert debate. Ultimately, it is argued that the contemporary debate between ‘assertoric’ structuralists and ‘algebraic’ structuralists recapitulates a form of the Frege-Hilbert impasse. The ultimate claim of the thesis, then, is that neither of the two most promising contemporary accounts can offer us a satisfying philosophical answer to the question ‘what is mathematics about?’.

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Egúsquiza, Orellana José María. "El enigma de Frege". Bachelor's thesis, Pontificia Universidad Católica del Perú, 2014. http://tesis.pucp.edu.pe/repositorio/handle/123456789/5895.

Texto completo

Resumen

El Enigma de Frege es considerado como uno de los principales problemas al que se enfrenta el millianismo. Como se sabe, el millianismo sostiene que el significado de un nombre propio es simplemente su referente. Dicho brevemente, el problema consiste en explicar por qué dos oraciones de identidad que contienen nombres propios co-referenciales (por ejemplo, “Mark Twain es Samuel Clemens” y “Mark Twain es Mark Twain”) parecen tener distinto valor informativo, esto es, por qué una de las oraciones parece ser trivial mientras que la otra parece ser informativa. El propósito del presente trabajo es mostrar que el millianismo puede responder de manera plausible al Enigma de Frege haciendo uso de la distinción entre la proposición semánticamente expresada por una oración y la(s) proposición(es) pragmáticamente impartida(s) por el uso o la emisión de una oración. El trabajo consta de tres capítulos. En el primer capítulo planteo el Enigma de Frege, explico cuáles son los principios presupuestos al plantear el problema y expongo qué respuesta le dio Frege al Enigma de Frege. En el segundo capítulo expongo los argumentos anti-descriptivistas de Kripke que pusieron en duda la respuesta que dio Frege al Enigma de Frege. En el tercer capítulo expongo un intento milliano por responder al Enigma de Frege que consiste en distinguir entre la proposición semánticamente expresada por una oración y la(s) proposición(es) pragmáticamente impartida(s) por el uso o la emisión de una oración, y, finalmente, evalúo si haciendo uso de esta distinción el millianismo responde de manera plausible al Enigma de Frege.
Tesis

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Benmakhlouf, Ali. "Frege : présupposition et redondance". Paris 1, 1991. http://www.theses.fr/1991PA010562.

Texto completo

Resumen

En defendant l'idee d'une presupposition existentielle pour les noms propres, et celle d'une presupposition du principe du tiors exclu pour les termes conceptuels, frege entend considerer les accortions d'existence concernant ces noms propres et ces termes conceptuels comme des redendances auxiliaires, le pouvoir de l'assortion se trouve alors reduit au profit de celui de la presupposition. Il en va de meme pour la notion de verite que froge refuse de delimiter par une definition metalinguistique. Cependant, a cote de redondances auxiliaires et non assertives il y a des redondances structurelles attachees elles au sens d'un non propre, mot conceptuel ou enonce, et dont la fonction essentielle est d'assurer la communication, le sens est le mode d'acces aux denotations des expressions que nous utilisons comme ce mode d'acces n'est pas unique, il donne lieu a des redondances qui se deploient de part en part dans le langage, et qui sont la contrepartie necessaire au champ extralinguistique de la presupposition, contrepartie sans laquelle on serait reduit au silence
By defending the idea of an existential presupposition for proper names and that of presupposition of the law of excluded middle for conceptual terms, frege intends to considere the existential assertions concerning these proper names and conceptual terms as auxiliary redundancies. Likewise, frege refuses to confine the notion of truth within a metalinguistic definition. However, there are, beside auxiliary and non assertive redundancies, structural redundancies attached to the sense of a proper name, conceptual word or utterance, and whose function is to ensure communication. A sense is a means of access to the denotation, as this means is not unique, it gives rise to redundancies that unfold across the language, forming the necessary counterpart without wich one would be reduced to silence

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Kamareddine, Fairouz Dib. "Semantics in a Frege structure". Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19002.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Almeida, Henrique Antunes 1989. "Revisitando o Teorema de Frege". [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279774.

Texto completo

Resumen

Orientador: Walter Alexandre Carnielli
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
Made available in DSpace on 2018-08-25T21:09:00Z (GMT). No. of bitstreams: 1 Almeida_HenriqueAntunes_M.pdf: 1516387 bytes, checksum: 2608439ba585a23431d2aa295b1b8876 (MD5) Previous issue date: 2014
Resumo: Neste trabalho, abordamos o Teorema de Frege sob uma perspectiva exclusivamente técnica. Primeiramente, propomos uma caracterização geral de linguagens de segunda ordem que sejam adequadas para formalizar quaisquer teorias fregeanas ¿ teorias que resultam da introdução de um ou mais princípios de abstração a um sistema dedutivo de lógica de segunda ordem; fornecemos uma semântica e um sistema dedutivo para essas linguagens e elaboramos alguns resultados metateóricos acerca desse sistema. Em segundo lugar, apresentamos uma exposicão detalhada da prova do Teorema de Frege, enunciado como uma relação entre a Aritmética de Frege e a Aritmética de Dedekind-Peano. Por fim, provamos a equiconsistência entre essas teorias e a Aritmética de Peano de Segunda Ordem
Abstract: In this work, we discuss Frege¿s Theorem under an exclusively technical perspective. First, we propose a general caracterization of second-order languages suitable to formalize all Fregean theories ¿ theories that result from the introduction of one or more abstraction principles to a deductive system of second-order logic; we also furnish a semantics and a deductive system for these languages and establish a few metatheorical results about the system. Second, we present a detailed proof of Frege¿s Theorem, formulated as a relation between Frege¿s Arithmetic and Dedekind-Peano Arithemtic. Finally, we prove the equiconsistency between these theories and Peano Second-Order Arithmetic
Mestrado
Filosofia
Mestre em Filosofia

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Rabenschlag, Ricardo Seara. "O projeto logicista de Frege". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2002. http://hdl.handle.net/10183/2530.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Ewen, Wolfgang. "Carl Stumpf und Gottlob Frege". Würzburg Königshausen & Neumann, 2007. http://d-nb.info/990585565/04.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Gomes, Rodrigo Rafael [UNESP]. "A noção de função em Frege". Universidade Estadual Paulista (UNESP), 2009. http://hdl.handle.net/11449/91131.

Texto completo

Resumen

Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-12Bitstream added on 2014-06-13T20:52:49Z : No. of bitstreams: 1 gomes_rr_me_rcla.pdf: 970847 bytes, checksum: f1f63ef47745a8d3404205c27335f1b1 (MD5)
Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função.
In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege´s system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

McKinnon, Christine. "Wittgenstein, Frege and theories of meaning". Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385581.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

FILHO, ABILIO AZAMBUJA RODRIGUES. "FREGE, TRUTHMAKERS AND THE SLINGSHOT ARGUMENT". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2007. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10724@1.

Texto completo

Resumen

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
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.
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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Gomes, Rodrigo Rafael. "A noção de função em Frege /". Rio Claro : [s.n.], 2009. http://hdl.handle.net/11449/91131.

Texto completo

Resumen

Orientador: Irineu Bicudo
Banca: Itala Maria Loffredo D'Otaviano
Banca: Paulo Isamo Hiratsuka
Resumo: Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função.
Abstract: In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege's system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.
Mestre

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Bertran, San Millán Joan. "La Lógica de Gottlob Frege: 1879 – 1903". Doctoral thesis, Universitat de Barcelona, 2016. http://hdl.handle.net/10803/383748.

Texto completo

Resumen

Ofrecemos en esta tesis doctoral una reconstrucción global y detallada de la lógica desarrollada por Gottlob Frege a lo largo de su carrera. A pesar de que esta lógica fue objeto de profundas modificaciones desde su formulación inicial en Begriffsschrift hasta la versión revisada de Grundgesetze, muy raramente se han considerado las diferencias fundamentales que hay entre estas dos obras. No sólo defendemos que estas diferencias existen; además explicamos cómo deben entenderse atendiendo a la evolución del pensamiento de Frege. En primer lugar, plateamos una reconstrucción de la lógica de Begriffsschrift, de la que resulta una lectura completamente original de su sistema formal; una que contradice la base de los estudios históricos modernos. En particular, defendemos que esta lógica no es, como se ha mencionado en multitud de ocasiones, una lógica de segundo orden y proporcionamos las razones siguientes. (1) El suyo no es propiamente un lenguaje formal. Por ejemplo, no dispone de una definición de la noción de fórmula atómica. La concepción de Frege del uso del sistema formal de Begriffsschrift como una herramienta, y no como su propio objeto de estudio, puede explicar esta omisión. (2) Contra lo que puede parecer, únicamente hay un tipo de cuantificación: la cuantificación sobre argumentos. (3) La lógica de Begriffsschrift no posee una semántica en sentido moderno. Sus letras pueden leerse de tantos modos distintos que no es posible atribuir un significado concreto a las fórmulas en las que aparecen. Además, los cuantificadores no reciben una interpretación semántica: no hay ningún dominio de cuantificación. En segundo lugar, ofrecemos una explicación de las razones que determinan la evolución de la lógica de Frege. La transición de Begriffsschrift a Grundgesetze ha sido considerada muy raramente y nunca ha sido plenamente explicada. Según nuestro análisis histórico, el paso de la posición de Frege en Begriffsschrift relativa a la lógica a su concepción final, establecida en Grundgesetze, puede articularse mediante la adopción de la distinción entre concepto y objeto como el elemento esencial del sistema formal. Esto conlleva la formalización de la noción de concepto, que finalmente conduce a la noción de función de Grundgesetze. Finalmente, proporcionamos un análisis global de la lógica de Grundgesetze. En esta obra, Frege desarrolla un sistema formal que es similar a un sistema estándar para la lógica de segundo orden. Presentamos una reconstrucción de este sistema formal que permite compararlo con el de Begriffsschrift. En particular, formulamos con precisión cada regla de inferencia planteada por Frege y prestamos especial atención a las reglas de substitución. Además, a partir de esta reconstrucción obtenemos resultados meta-lógicos como, por ejemplo, la equivalencia entre el fragmento proposicional de Grundgesetze y un cálculo completo para la lógica proposicional, y entre el fragmento de primer orden de Grundgesetze y un cálculo completo para la lógica de primer orden.
In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottlob Frege throughout his career. Even though Frege's logic suffered profound modifications from his initial formulation in Begriffsschrift to its revised version in Grundgesetze, the significant differences between these two works have been rarely taken at face value. I not only argue that these differences exist, but I also explain how they should be understood in the light of the evolution of Frege's thought. First, I suggest a new reconstruction of Begriffsschrift's logic, which amounts to a completely novel reading of its formal system—one that contradicts the core of modern historical studies. In particular, I defend that this logic is not—as it has been repeatedly said—a second-order logic and provide the following reasons. (1) The language is not properly a formal language. (2) In Begriffsschrift there is only one sort of quantification: quantification over arguments. (3) Begriffsschrift's logic does not have a semantics in the modern sense. Second, I offer an explanation of the reasons that drive the evolution of Frege's logic. The transition from Begriffsschrift to Grundgesetze has been seldom addressed and never fully explained. According to my historical analysis, the switch from Frege's position concerning logic in Begriffsschrift to his later conception—finally established in Grundgesetze—can be articulated through the adoption of the distinction between concept and object as the basic element of the formal system. This leads to a formalisation of the notion of concept, which in the end drives to Grundgesetze's notion of function. Finally, I put forward a global analysis of Grundgesetze's logic. In this work, Frege develops a formal system that resembles in many relevant ways a second-order one. I suggest a reconstruction of this formal system that allows us to compare it with Begriffsschrift's. In particular, I formulate precisely every rule of inference proposed by Frege and especially focus on the rules of substitution. Moreover, I reflect on several meta-logical results that can be drawn from this reconstruction.

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Köhler, Sebastian. "Beyond Frege-Geach : neglected problems for Expressivism". Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/15854.

Texto completo

Resumen

This thesis is about the viability of meta-normative expressivism. On what I take to be the dominant conception of the view, it subscribes to two theses. First, that the meaning of sentences is to be explained in terms of the mental states these sentences conventionally express. Second, that there is a fundamental difference in the roles of the states expressed by normative sentences and the states expressed by descriptive sentences: descriptive sentences, according to expressivists, express mental states which are representational and non-motivational, while normative sentences express non-representational and motivational states. Expressivism has attracted many naturalistically inclined philosophers for its ability to explain many of the distinctive features of normative discourse and thought, without adding entities to our ontology that are metaphysically and epistemologically problematic. In this way, expressivism promises to preserve the legitimacy of our ordinary normative practice within a naturalistic world-view, without giving up on any of its distinctive features. Despite it’s benefits, expressivism also faces significant problems. While one of these problems, the Frege-Geach Problem, has attracted a lot of attention, there are several other problems that have not been sufficiently addressed by . But, given that the reasonable assumption that the plausibility of philosophical theories needs to be assessed holistically, it seems that one should pay attention to these problems to be able to assess expressivism’s overall plausibility. In this thesis I explain how expressivists can solve two of these problems. The first problem the dissertation is concerned with is the normative attitude problem. This is a dilemma based on the challenge that expressivists need to give an account of the nature of the attitude that normative thinking consists in. The dilemma is then that expressivists could either do this by holding that normative thinking consists in sui generis attitudes, which is uninformative and potentially in conflict with naturalism, or by holding that normative thinking reduces to attitudes fully describable in non-normative terms, which is in conflict with our intuitions about normative thinking. I argue that this dilemma is structurally identical to a dilemma which meta-normative representationalism faces (expressivism’s dialectical rival) and that expressivists can use the same theoretical resources to address the normative attitude problem meta-normative representationalists have used to address their version of the dilemma. I also argue that these resources will not only help more traditional versions of expressivism, according to which normative thinking reduces to familiar kinds of attitudes fully describable in non-normative terms, but opens up the possibility of an expressivist view according to which normative thinking consists in sui generis attitudes. The second problem I consider is a challenge to a particular expressivist project: quasi-realism. Part of this project is to show that expressivism is compatible with a web of closely connected assumptions, namely, that normative thought and discourse are truth-apt and normative judgements are beliefs. While quasi-realists have made some progress in this direction, there is one relevant phenomenon that has so far been neglected, namely, those uses of that-clauses that are associated with propositional content. This is a problematic neglect, because that-clauses figure prominently in platitudes characterizing our ordinary notions of “truth-aptitude” and “belief ”, and so expressivists need to provide a plausible account of these uses of that-clauses which fits with their allowing that normative thought and discourse are truth-apt and normative judgements are beliefs. I address this challenge as follows: I first remove any worries that one might have that a plausible account of that-clauses that helps the quasi-realist could be given, by introducing the distinction between semantics and meta-semantics and locating expressivism at the level of metasemantics. I then develop a deflationist view of that-clauses which suits the quasi-realist’s purposes. I start by giving such a view for the use of that-clauses in meaning-attributions by expanding on the work of Wilfried Sellars. I then go on to explain how the account can be generalized to the use of that-clauses in belief-attributions and propositional attitude ascriptions more generally, in a way that allows expressivists to say that normative judgements are beliefs.

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

D'Aversa, Rafael. "Moral arguments and the Frege-Geach problem". Thesis, University of York, 2018. http://etheses.whiterose.ac.uk/21981/.

Texto completo

Resumen

This thesis deals with the Frege-Geach problem, which is arguably the main objection faced by the expressivist view on moral discourse. The key idea of the Frege-Geach objection is that the expressivist cannot give an account of the meaning of conditionals sentences involving moral predicates and the validity of arguments involving moral sentences. After all, as traditionally understood, validity requires truth-aptness. Philosophers such as Crispin Wright and G. F. Schueler challenged the very idea according to which desire-like attitudes can stand in logical relations. They held that if the components of the moral modus ponens are not truth-apt, the argument cannot be properly categorised as ‘valid’. After presenting and critically examining five different attempts to solve the Frege-Geach problem, I provide a new way solution to it. My main goal is to develop an expressivist framework within which it is possible to give an account of evaluative conditionals and validity without relying on the contentious assumption that desire-like attitudes can stand in logical relations. My position is influenced by Grice’s notion of conversational implicature and Vranas’ logic of prescriptions. I further argue that there is a relation between the evaluative and the prescriptive domains of discourse, and that a plausible way of understanding this relation is via the conversational implicature. I follow Peter Vranas with respect to the question whether prescriptions can have a logic, and show how to get from evaluations (‘x is bad) to prescriptions (‘don’t do x!’). Finally, I trace a distinction between two levels of validity – the psychological and the logical one – and show that the moral modus ponens is valid in both senses. My thesis therefore concludes that the Frege-Geach problem is not a knockdown objection against expressivism.

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Kaschmieder, Hartfried. "Beurteilbarer Inhalt und Gedanke in der Philosophie Gottlob Freges /". Hildesheim : G. Olms, 1989. http://catalogue.bnf.fr/ark:/12148/cb35518128q.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Greimann, Dirk. "Freges Konzeption der Wahrheit /". Hildesheim : G. Olms, 2003. http://catalogue.bnf.fr/ark:/12148/cb39022063d.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Hashemi, Shahroudi Olya. "Frege on Ideal Language, Multiple Analyses, and Identity". Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35211.

Texto completo

Resumen

Abstract My thesis is partly historical and partly critical. First, I will lay down a brief overview of Frege’s semantics and ontology based on his major works such as Begriffsschrift, “On Sense and Reference”, “On Concept and Object”, “Thought” and so on. The goal of this part of my research is to get a clear picture of Frege’s system and see what features of it are arbitrary and in those cases what other options exist. Next, I will use the secondary literature to find out how other scholars have interpreted Frege. I intend to use some modern logical tools such as lambda calculus in order to analyze Frege’s views more perspicuously. Then I will draw my conclusions about his ontology and semantics. Frege seems to have believed that we approach the world via thought, but have no access to thought except via language. Hence, his enquiry into the nature of the world was conducted via enquiries into the nature of language. However, he knew that natural language sometimes muddles thought, so he tried to create an artificial formula language that would be able to capture the logical structure of the world itself as it is reflected in thought, better than any natural language. I will discuss the importance and the role of an ideal language in science, and will try to determine from Frege's scattered remarks what characteristics he thinks such a language must have. I will then consider Frege's own formalized language, as first presented in the 1879 Begriffsschrift and as further developed in his later writings. I will then discuss Frege’s semantics, focussing mainly on his theory of multiple analyses and his notion of thought and conceptual content. Finally, I will provide a detailed study of Frege’s theories of identity, in Begriffsschrift and “On Sense and Reference”, that were critical in the development of his semantics and ontology.

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Giarolo, Kariel Antonio. "FREGE E A TEORIA DA VERDADE COMO IDENTIDADE". Universidade Federal de Santa Maria, 2011. http://repositorio.ufsm.br/handle/1/9095.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Berntsen, Jason. "Non-cognitivism, internalism, and the Frege-Geach problem". Diss., Columbia, Mo. : University of Missouri-Columbia, 2007. http://hdl.handle.net/10355/4659.

Texto completo

Resumen

Thesis (Ph. D.)--University of Missouri-Columbia, 2007.
The entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file. Title from title screen of research.pdf file (viewed on November 26, 2007) Vita. Includes bibliographical references.

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Harcourt, Edward. "Sense and the first person : Frege and Wittgenstein". Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295782.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Ruffino, Marco 1963. "O principio do contexto em Frege e Wittgenstein". [s.n.], 1990. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279320.

Texto completo

Resumen

Orientador: Zeljko Loparic
Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-13T21:35:11Z (GMT). No. of bitstreams: 1 Ruffino_Marco_M.pdf: 39799565 bytes, checksum: 8afc1aea79b076f71f70fecd6e80aa7c (MD5) Previous issue date: 1990
Resumo: Não informado
Abstract: Not informed.
Mestrado
Mestre em Filosofia

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Klement, Kevin C. "Frege and the logic of sense and reference /". London : Routledge, 2002. http://catalogue.bnf.fr/ark:/12148/cb38871352m.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Vaz, Bruno Rafaelo Lopes. "A RECEPÇÃO DE FREGE DA NOÇÃO KANTIANA DE EXISTÊNCIA". Universidade Federal de Santa Maria, 2006. http://repositorio.ufsm.br/handle/1/9041.

Texto completo

Resumen

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
In this work the relationship between two famous conceptions of existence is investigated. The first, proposed by Kant, excludes the concept of existence from the set of possible predicates or properties of objects. The second, later proposed by Frege, treats the concept of existence as a higher-level predicate, i.e., it presents this concept as a predicate of predicates rather than as a predicate of objects. A closer look at these conceptions reveals, however, that despite this similarity it would be premature to identify their conceptions, because there are differences with regard to the systems in which they are embedded as well as differences with regard to the aims that they pursue. The present work tries to show that Kant developed his conceptions of the concept of existence in an epistemological context whose aim was, as he makes clear in his opus magnum, to warrant the claim that every knowledge should have besides a conceptual element also a counterpart arising from the intuition. Frege, on the other hand, develops his conception in a basically logical context, in which the treatment of expressions is submitted to strong rigor. The aim of the present work is to compare Kant s and Frege s approaches in order to answer the question whether there are significant differences between their characterizations of the concept of existence and, if so, which ones. One important result of the present work is that the differences in their positions are consequences of some differences between the contexts in which they are developed. Another result is that their conceptions include some common theses, such as the claim that the concept of existence is not a concept that can be used to characterize an object, or the claim that existential statements constitute an odd type of judgement whose appearance in natural languages suggests an erroneous reading of them. On the other hand, however, there are significant differences between the positions advocated by Kant and Frege as, for instance, differences with regard to the possibility of deriving statements of existence from the analysis of concepts, a possibility that is categorically denied by Kant but admitted, with some qualifications, by Frege. The third important result finally is that Frege s conception of existence must be regarded as an improvement, not as a mere repetition, of Kant s conception.
Este trabalho apresenta um estudo da relação entre duas célebres abordagens do conceito de existência. A primeira, apresentada por Kant, exclui o conceito de existência do conjunto dos possíveis predicados ou propriedades de objetos. A segunda, apresentada mais tarde por Frege, trata o conceito de existência como um predicado de nível superior, i.e., apresenta o conceito como um predicado de predicados, e não como um conceito que se aplica diretamente a objetos. Apesar de ambas abordagens se parecerem muito entre si, um estudo mais aprofundado de ambas servirá para mostrar que a diferença entre os sistemas teóricos em que se inserem, bem como entre os objetivos que visavam, sugerem que seria precipitado identificá-las. Tentar-se-á mostrar, neste trabalho, que Kant desenvolve suas concepções a respeito deste conceito num contexto epistemológico, tendo em vista, como fica claro na sua opus magnum, garantir o requisito de que todo conhecimento deve ter, além do elemento conceitual, também uma contraparte advinda da intuição. Frege, por sua vez, apresenta suas teses a respeito do tema dentro de um contexto basicamente lógico, onde se fazia necessária uma rigorização do tratamento das expressões que compõem a linguagem. O objetivo do presente trabalho consiste em estudar a abordagem de cada autor separadamente, e, em seguida, comparar as duas abordagens a fim de mostrar se existem diferenças significativas entre as caracterizações que ambos deram ao conceito de existência, e, em caso positivo, mostrar quais seriam estas diferenças. Dentre os principais resultados a que se chegou, destacam-se as diferenças que as posições dos autores possuem; diferenças sugeridas pela diferenciação entre os contextos de apresentação da temática nos dois autores. Também se destaca a equivalência das teses de ambos em alguns aspectos, como por exemplo, a tese segundo a qual o conceito de existência não se encontra entre os conceitos que podem servir para caracterizar um objeto, ou a alegação de que os enunciados existenciais constituem um tipo único de juízo, cuja aparência nas linguagens naturais sugere uma leitura errônea dos mesmos. Deve-se mencionar, por outro lado, a diferença significativa de posições de Kant e Frege em outros aspectos, como no que tange à possibilidade de se derivar existência por meio de análise conceitual, possibilidade negada categoricamente por Kant e admitida, com algumas ressalvas, por Frege. Por fim, destaca-se a possibilidade de se interpretar as teses de Frege como um aperfeiçoamento, mas não como uma mera repetição, das teses de Kant.

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

DUARTE, ALESSANDRO BANDEIRA. "LOGIC AND ARITHMETIC IN FREGE´S PHILOSOPHY OF MATHEMATICS". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2009. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=13942@1.

Texto completo

Resumen

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Nos Fundamentos da Aritmética (parágrafo 68), Frege propõe definir explicitamente o operador-abstração ´o número de...´ por meio de extensões e, a partir desta definição, provar o Princípio de Hume (PH). Contudo, a prova imaginada por Frege depende de uma fórmula (BB) não provável no sistema em 1884. Acreditamos que a distinção entre sentido e referência e a introdução dos valores de verdade como objetos foram motivada para justificar a introdução do Axioma IV, a partir do qual um análogo de (BB) é provável. Com (BB) no sistema, a prova do Princípio de Hume estaria garantida. Concomitantemente, percebemos que uma teoria unificada das extensões só é possível com a distinção entre sentido e referência e a introdução dos valores de verdade como objetos. Caso contrário, Frege teria sido obrigado a introduzir uma série de Axiomas V no seu sistema, o que acarretaria problemas com a identidade (Júlio César). Com base nestas considerações, além do fato de que, em 1882, Frege provara as leis básicas da aritmética (carta a Anton Marty), parece-nos perfeitamente plausível que as estas provas foram executadas adicionando-se o PH ao sistema lógico de Begriffsschrift. Mostramos que, nas provas dos axiomas de Peano a partir de PH dentro da conceitografia, nenhum uso é feito de (BB). Destarte, não é necessária a introdução do Axioma IV no sistema e, por conseguinte, não são necessárias a distinção entre sentido e referência e a introdução dos valores de verdade como objetos. Disto, podemos concluir que, provavelmente, a introdução das extensões nos Fundamentos foi um ato tardio; e que Frege não possuía uma prova formal de PH a partir da sua definição explícita. Estes fatos também explicam a demora na publicação das Leis Básicas da Aritmética e o descarte de um manuscrito quase pronto (provavelmente, o livro mencionado na carta a Marty).
In The Foundations of Arithmetic (paragraph 68), Frege proposes to define explicitly the abstraction operator ´the number of …´ by means of extensions and, from this definition, to prove Hume´s Principle (HP). Nevertheless, the proof imagined by Frege depends on a formula (BB), which is not provable in the system in 1884. we believe that the distinction between sense and reference as well as the introduction of Truth-Values as objects were motivated in order to justify the introduction of Axiom IV, from which an analogous of (BB) is provable. With (BB) in the system, the proof of HP would be guaranteed. At the same time, we realize that a unified theory of extensions is only possible with the distinction between sense and reference and the introduction of Truth-Values as objects. Otherwise, Frege would have been obliged to introduce a series of Axioms V in his system, what cause problems regarding the identity (Julius Caesar). Based on these considerations, besides the fact that in 1882 Frege had proved the basic laws of Arithmetic (letter to Anton Marty), it seems perfectly plausible that these proofs carried out by adding to the Begriffsschrift´s logical system. We show that in the proofs of Peano s axioms from HP within the begriffsschrift, (BB) is not used at all. Thus, the introduction of Axiom IV in the system is not necessary and, consequently, neither the distinction between sense and reference nor the introduction of Truth- Values as objects. From these findings we may conclude that probably the introduction of extensions in The Foundations was a late act; and that Frege did not hold a formal proof of HP from his explicit definition. These facts also explain the delay in the publication of the Basic Laws of Arithmetic and the abandon of a manuscript almost finished (probably the book mentioned in the letter to Marty).

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Trebaul, Dewi. "Sens, référence, idéographie : études sur et autour de Frege". Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM3115.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Cardoso, Luciano Carvalho [UNIFESP]. "Linguagem e verdade: uma análise da lógica de Frege". Universidade Federal de São Paulo (UNIFESP), 2014. http://repositorio.unifesp.br/handle/11600/39266.

Texto completo

Resumen

Submitted by Andrea Hayashi (deachan@gmail.com) on 2016-06-22T17:15:11Z No. of bitstreams: 1 dissertacao-luciano-carvalho-cardoso.pdf: 679926 bytes, checksum: a0fcdcd0c35e43739385761159be07f5 (MD5)
Approved for entry into archive by Andrea Hayashi (deachan@gmail.com) on 2016-06-22T17:16:05Z (GMT) No. of bitstreams: 1 dissertacao-luciano-carvalho-cardoso.pdf: 679926 bytes, checksum: a0fcdcd0c35e43739385761159be07f5 (MD5)
Made available in DSpace on 2016-06-22T17:16:05Z (GMT). No. of bitstreams: 1 dissertacao-luciano-carvalho-cardoso.pdf: 679926 bytes, checksum: a0fcdcd0c35e43739385761159be07f5 (MD5) Previous issue date: 2014-06-12
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Em “Sobre o Sentido e a Referência”, Frege anuncia uma ruptura com seus trabalhos anteriores, notadamente a Conceitografia, na qual ele havia assumido que a igualdade era referente aos nomes e sinais representativos dos objetos. Como consequência dessa negação, Frege apresenta a estrutura de Sentido e Referência, como alternativa às possibilidades anteriormente apresentadas. Em decorrência dessa ruptura, a dimensão da filosofia analítica desenvolvida por Frege se amplia, revelando um complexo sistema no qual o verdadeiro se torna o ponto fundamental. Mostramos que, no processo de reformulação do significado do verdadeiro, Frege diferencia, ainda nos Fundamentos da Aritmética, o domínio do campo objetivo efetivo do campo objetivo não-efetivo, espaço lógico no qual as leis do ser verdadeiro encontram lugar como referência para as proposições que expressam o pensamento analítico. Visamos demonstrar que, partindo dessa fundamentação inicial, o autor almeja estabelecer uma conexão ontológica entre o pensamento e as leis do ser verdadeiro, o que lhe permite distinguir, em “Sobre o Sentido e Referência”, o pensamento que expressa uma representação ou ideia, pertencente ao domínio subjetivo, do pensamento que expressa as leis do ser verdadeiro, e que podem ser transmitidas em gerações, por pertencerem ao domínio objetivo não-efetivo. Buscamos estabelecer uma conexão entre essas diretrizes e a concepção de pensamento fregiano, justificando a composição deste como sendo uma estrutura que atende ao princípio de saturação, que não se articula na forma sujeito/predicado e que, para poder atender à necessidade lógica de passar do sentido para a referência e ser nomeado como o verdadeiro, se articula com a lógica extensional e, em um sentido ainda mais intrínseco, com uma lógica da existência, que surge como a estrutura basilar na qual se fundamenta o juízo, e sem o qual não poderia haver a validação ontológica do pensamento analítico de Frege.
In “On Sense and Reference”, Frege announces a break with his previous works, notably Ideography, in which he had assumed that equality was referring to the names and signals representative of the objects. As a result of this denial, Frege presents the structure of Sense and Reference, as an alternative to possibilities previously presented. Due to this break, the dimension of analytic philosophy developed by Frege expands, revealing a complex system in which the true becomes the key point. We show that, in the process of recasting the meaning of true, Frege differentiates, still in the Foundations of Arithmetic, the domain of effective objective field of the noneffective objective field , the logical space in which the laws of true being has a place as a reference to the propositions expressing analytical thinking. We aim to demonstrate that, based on this initial foundation, the author aims to establish an ontological connection between the thought and the laws of true being, allowing him to distinguish, in “On Sense and Reference”, the thought that expresses an idea or representation, belonging to subjective realm, of thought which expresses the laws of true being, and that can be transmitted in generations, because they belong to the non-effective objective field. We strive to establish a connection between these guidelines and the conception of fregian thought, justifying the composition of this as being a structure that follows the principle of saturation, which is not articulated in the form subject / predicate, and that in order to meet the logical necessity of moving beyond of sense to reference and be named as the true, articulates with the extensional logic and, in a more intrinsic meaning , with a logic of existence that emerges as the framework in which the judgment is based , and without which it could not be the ontological validation of analytical thinking Frege.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Pitt, Eduardo Antonio. "Sobre um critério de identidade de sentidos em Frege". Universidade Federal de Minas Gerais, 2013. http://hdl.handle.net/1843/BUOS-97VGE7.

Texto completo

Resumen

In this thesis we will give primary attention to intensional notions present in formal language of Frege because we intend to delimit the discussion of problems related to the notion of identity of senses. In this way, I intend to show that in the theory of Frege the formulation of a logical criterion objective for identity of the senses was always problematic. We will look at: (i) the criteria of identity of conceptual content present in §§ 3 and 8 of Begriffsschrift and the semantic problems generated by these criteria. Throughout the dissertation will make considerations about the relationships that we can establish between the Frege's criterion of identity of conceptual content of complete sentences and, subsequently, the logical criterion of sentences equipollents with the criteria intensional of essential equivalence and equivalence of synonymy of judgments of Kirkham; (ii) the changes that Frege did in his conceptual notation after 1891, but we will focus on the semantic distinction between signal, sense and reference because I will give emphasis to the intensional notion of meaning of complete sentences, and (iii) the criteria of identity of thoughts suggested by Frege in two Letters to Husserl and in A brief survey of my doctrines logical. I analyze the applicability of logical criterion of sentences equipollents of Frege in relation to the peculiarities of the language, in relation to the criterion of synonymy of Kirkham and in relation to cases of identity of thoughts compounds.
Nesta dissertação daremos principal atenção às noções intensionais presentes na linguagem formal de Frege porque pretendemos delimitar a discussão em torno dos problemas relacionados à noção de identidade de sentidos. Dessa forma, pretendo mostrar que na teoria de Frege a formulação de um critério lógico objetivo para identidade de sentidos sempre foi problemático. Analisarei: (i) os critérios de identidade de conteúdo conceitual presentes nas §§ 3 e 8 da Conceitografia e os problemas semânticos gerados por estes critérios. Ao longo da dissertação farei considerações a respeito das relações que podemos estabelecer entre o critério de Frege de identidade de conteúdo conceitual de sentenças completas e, posteriormente, o critério lógico de equipolência com os critérios intensionais de equivalência essencial e de equivalência de sinonímia de sentenças de Kirkham; (ii) as mudanças que Frege fez na sua notação conceitual após 1891, mas nos concentraremos na distinção semântica entre sinal, sentido e referência porque darei destaque à noção intensional de sentido de sentenças completas e, (iii) os critérios de identidade de pensamentos sugeridos por Frege em duas Cartas a Husserl e em Um breve levantamento de minhas doutrinas lógicas. Pretendo analisar a aplicabilidade do critério lógico de equipolência de Frege em relação às peculiaridades da linguagem, em relação ao critério de sinonímia de Kirkham e em relação aos casos de identidade de pensamentos compostos.

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Cadet, Méven. "Les Grundgesetze der Arithmetik de Frege : idéographie : genèse, syntaxe, sémantique". Thesis, Paris 1, 2017. http://www.theses.fr/2017PA01H211/document.

Texto completo

Resumen

Un important désaccord subsiste parmi les exégètes de Frege au sujet de la question suivante : quel rapport entretient l'universalisme logique de Frege avec la sémantique contemporaine ? Le premier constitue-t-il un obstacle à l'élaboration et/ou à l'exploitation de la seconde ? Face à cette interrogation deux camps s'affrontent. L'un dresse la liste considérable des passages des Grundgesetze dans lesquels Frege sembla se lancer dans de véritables raisonnements sémantiques. L'autre rétorque qu'il s'agissait à ses yeux de pures élucidations, bannies de jure de la sphère théorique. Notre objectif consiste à faire toute la lumière sur ce problème. Dans ce but, nous nous appliquons à combattre deux poncifs ancrés dans la littérature. Nous contestons (1) l'idée que Frege était toujours soucieux de signaler la moindre inflexion de sa pensée, et (2) la possibilité d'étudier ses positions philosophiques indépendamment de son symbolisme spécifique. Par conséquent, nous retraçons la genèse des idées qui ont conduit à l'élaboration de l'idéographie de 1893, avant de réaliser toutes les étapes de la construction de ce système. Ces résultats - attachés à notre rejet de (1) et (2) - jettent une lumière neuve sur le problème soulevé plus haut. Ils nous conduisent à adopter le positionnement radical selon lequel Frege faisait bel et bien droit à une sémantique dont il jeta les bases et qu'il tenta de mettre en action afin de démontrer certains théorèmes métalogiques. Nous tentons de formaliser proprement cette sémantique, puis de localiser précisément les erreurs dont il fut responsable. Cette tâche nous conduit ultimement à l'étude des célèbres §§ 29-31 des Grundgesetze
There is still considerable disagreement among Frege's exegetes on how Frege's logical universalism relates to modem semantics; does the former obstruct the development and/or the use of the latter? Two sides exist on this issue. The first one quotes many sections of the Grundgesetze which seem to contain genuine semantic reasonings. The other one claims that Frege holds these sections to be strict elucidations excluded de jure from the realm of science. My aim is to shed light on this problem. For this purpose, I contest the following commonplaces: (1) that Frege was concerned with indicating the slightest change of his thoughts, and (2) that his philosophical theses can be studied regardless of his particular symbolism. l thus complete the two tasks of tracing back the origins of the underlying ideas in the Ideography of 1893 and of building up this very system step by step. My results, attached to my rejection of (1) and (2), shed a new light m the issue raised above. They lead us to the radical position that not only did Frege not reject semantics, but that he himself paved the way to such a semantic theory in order to prove metalogical theorems. I then try to formalize the former so as to locate his errors in the latter. This work eventually leads to a thorough study of the famous §§ 29-31 of the Grundgesetze

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Godoy, Evandro Carlos. "UMA APROXIMAÇÃO DAS CONCEPÇÕES DE LÓGICA DE KANT E FREGE". Universidade Federal de Santa Maria, 2005. http://repositorio.ufsm.br/handle/1/9038.

Texto completo

Resumen

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
In this master thesis, guided by the search of the relationship between mathematical logic and traditional logic, we address the characterizations of logic offered by Kant and Frege. First, we considered and specified several ways to understand the thesis according to which logic can be distinguished from other sciences through its abstraction of matter or knowledge content, and its attention to form. Two of these notions turned out to be indispensable to make explicit the relationships between the two conceptions of logic; namely, generality i.e. normative validity on all domains of the thought and formality i.e. complete abstraction of semantic content. Second, we pointed out the fundamental role of these notions in the Kantian characterization of logic. Kant, in consonance with his contemporaries, begins characterizing logic by its generality, but when he arrives at the fundamental thesis of his transcendental idealism, he innovates arguing also for its formality. Third, it becomes clear, at least with regard to the conception of logic, that Frege was under Kantian influence. In his first writings, Frege adopts the Kantian characterization, only later does he become aware that his technical innovations reject the formality of logic. However, the characterization by generality is a constant along the whole Fregean corpus, and it guarantees the link with all the precedent tradition. The main result of this master thesis is to point the common nucleus between the two conceptions of logic, and with it, the grounds for the divergence concerning the status of arithmetic. Only because logic meant the same for both, the miscarried logicist project could have proven that Kant was wrong concerning arithmetic.
Nesta dissertação, orientados pela busca da relação entre a lógica matemática e a lógica tradicional, nos dirigimos às caracterizações de lógica oferecidas por Kant e Frege. Num primeiro momento consideramos e precisamos diversos modos de entender a tese de que a lógica pode ser distinguida das outras ciências por abstrair da matéria ou conteúdo do conhecimento e tratar apenas da forma. Duas destas noções mostraram-se indispensáveis para explicitar as relações entre as concepções de lógica dos dois autores; a saber, generalidade i.é. vigência normativa sobre todos os domínios do pensamento e formalidade i.é. completa abstração do conteúdo semântico. Em um segundo momento, evidenciamos o papel fundamental destas duas noções, na caracterização kantiana de lógica. Kant, em consonância com seus contemporâneos, começa caracterizando a lógica pela generalidade, mas, quando chega às teses fundamentais do seu idealismo transcendental, inova completamente ao argumentar também pela sua formalidade. Em um terceiro momento, evidenciamos a marcante influência kantiana na obra de Frege, que se faz presente de modo especial na concepção de lógica. Nos primeiros escritos, Frege parece adotar a mesma caracterização que Kant, mas, com o amadurecimento de sua obra, acaba por dar-se conta que suas inovações técnicas rejeitam a formalidade da lógica. A caracterização pela generalidade, ao contrário, é uma constante ao longo de todo o corpus fregeano, embora seja também reformulada com o acirramento de seu antipsicologismo. O principal resultado desta dissertação é a explicitação do núcleo comum entre as concepções de lógica dos dois autores, e com ele, do fundamento da divergência acerca do status da aritmética. Somente porque lógica significa o mesmo para ambos, o malogrado projeto logicista poderia ter provado que Kant estava errado acerca da aritmética.

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Britto, Arthur Heller. "O teorema de Frege: uma reavaliação do seu projeto logicista". Pontifícia Universidade Católica de São Paulo, 2013. https://tede2.pucsp.br/handle/handle/11644.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Cristina, Izidoro de Souza Izabel. "O princípio do contexto de Gottlob Frege : uma análise sistemática". Universidade Federal de Pernambuco, 2007. https://repositorio.ufpe.br/handle/123456789/6174.

Texto completo

Resumen

Made available in DSpace on 2014-06-12T18:02:36Z (GMT). No. of bitstreams: 2 arquivo6743_1.pdf: 380313 bytes, checksum: fbe99f7cc521c651679e2657738fc3f7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Na introdução de Os fundamentos da aritmética (Die Grundlagen der Arithmetik), de 1884, obra em que se ocupa com o esboço informal da definição lógica de número, Frege apresenta os três princípios fundamentais de sua investigação. Particularmente, interessa-nos o segundo deles que veio a ser conhecido como o princípio do contexto. Ele reaparece no §60 em uma passagem essencial (§§55-61) que considera os números como objetos autônomos e é reiterado no §62, no começo de uma passagem igualmente importante (§§62-69), onde são expostas as razões para definir os números cardinais como extensões de conceitos. E, finalmente, aparece no §106, no curso da recapitulação dos principais resultados do livro. Apresentamos nesta dissertação uma análise sistemática do princípio, tendo em vista que o papel exercido por ele no projeto logicista de Frege tem sido alvo de intensos debates. Há diversas interpretações sobre seu uso em Os fundamentos da aritmética. As formulações que aparecem no livro não exercem um papel homogêneo. Outra questão que também divide os comentadores é se o princípio do contexto é ou não reafirmado implícita ou explicitamente em trabalhos posteriores. Entre os comentadores, não há concordância acerca da manutenção ou não do princípio do contexto em outros escritos. Nosso principal objetivo é mapear as questões relativas a este princípio

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Kortum, Richard D. "Varieties of Tone: Frege, Dummett and the Shades of Meaning". Digital Commons @ East Tennessee State University, 2013. https://amzn.com/1349442593.

Texto completo

Resumen

In clear and lively prose that avoids jargon, the author carefully and systematically examines the many kinds of subtly nuanced words or word-pairs of everyday discourse such as 'and'-'but', 'before'-'ere', 'Chinese'-'Chink', and 'sweat'-'perspiration', that have proven resistant to truth-conditional explanations of meaning.
https://dc.etsu.edu/etsu_books/1108/thumbnail.jpg

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Ali, Sadek. "PROPER NAMES: A COMPARATIVE STUDY AMONG MILL, RUSSELL AND FREGE". Thesis, University of North Bengal, 2013. http://hdl.handle.net/123456789/1458.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Tall, Aliou. "From mathematics in logic to logic in mathematics : Boole and Frege". Thesis, University of York, 2002. http://etheses.whiterose.ac.uk/14163/.

Texto completo

Resumen

This project proceeds from the premise that the historical and logical value of Boole's logical calculus and its connection with Frege's logic remain to be recognised. It begins by discussing Gillies' application of Kuhn's concepts to the history oflogic and proposing the use of the concept of research programme as a methodological tool in the historiography oflogic. Then it analyses'the development of mathematical logic from Boole to Frege in terms of overlapping research programmes whilst discussing especially Boole's logical calculus. Two streams of development run through the project: 1. A discussion and appraisal of Boole's research programme in the context of logical debates and the emergence of symbolical algebra in Britain in the nineteenth century, including the improvements which Venn brings to logic as algebra, and the axiomatisation of 'Boolean algebras', which is due to Huntington and Sheffer. 2. An investigation of the particularity of the Fregean research programme, including an analysis ofthe extent to which certain elements of Begriffsschrift are new; and an account of Frege's discussion of Boole which focuses on the domain common to the two formal languages and shows the logical connection between Boole's logical calculus and Frege's. As a result, it is shown that the progress made in mathematical logic stemmed from two continuous and overlapping research programmes: Boole's introduction ofmathematics in logic and Frege's introduction oflogic in mathematics. In particular, Boole is regarded as the grandfather of metamathematics, and Lowenheim's theorem ofl915 is seen as a revival of his research programme.

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Ferreira, Isaías Lima. "A distinção analítico - sintético: um estudo comparativo entre Frege e Kant". Pontifícia Universidade Católica de São Paulo, 2007. https://tede2.pucsp.br/handle/handle/11738.

Texto completo

Resumen

Made available in DSpace on 2016-04-27T17:27:17Z (GMT). No. of bitstreams: 1 Isaias Lima Ferreira.pdf: 597928 bytes, checksum: 00af4819822f0782611115281bb46006 (MD5) Previous issue date: 2007-05-15
This work aims to establish the comparison between Kant´s and Frege´s thoughts about the distinction between the analytical and synthetic judgments. Attention is drawn to the fact that there is not only one analyticity conception in the course of Kant´s philosophy. The central matter in this debate involves the nature of constitutive judgments of mathematics. Against Kantian position, according to which mathematics is based on synthetic a priori judgments, Frege´s thesis states that the analytical judgments are this science foundation. It is shown, however, favorable on accepting the same synthetic a priori judgments concerning geometry. This debate also includes the non Euclidean geometry and David Hilbert´s formalism that will play an important role as distinct positions Euclidean geometry conception which is shared by Kant and Frege
Este trabalho tem por objetivo estabelecer a comparação entre os pensamentos de Frege e Kant acerca da distinção entre os juízos analítico e sintético. Chama-se a atenção para o fato de que não há somente uma única concepção de analiticidade no transcurso da filosofia de Kant. O ponto central nessa discussão envolve a natureza dos juízos constitutivos da matemática. À posição kantiana segundo a qual a matemática fundamenta-se em juízos sintéticos a priori, Frege opõe sua tese em que sustenta ser os juízos analíticos a base dessa ciência. Contudo, por outro lado, mostra-se positiva ao aceitar os mesmos juízos sintéticos a priori na geometria. Inseremse nesse debate, também, a geometria não-Euclidiana e o formalismo de David Hilbert que desempenharão papel importante como posições divergentes à concepção de geometria Euclidiana da qual compartilham Kant e Frege

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Silva, Ana Cristina Marques. "Prova matemática, verdade e axiomática : um olhar sobre Frege e Hilbert". Master's thesis, Porto : Universidade do Porto, Faculdade de Ciências, Departamento de Matemática Pura, 2006. http://hdl.handle.net/10216/64128.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Weber, Danny. "Das Handels- und Bankhaus Frege & Comp. in Leipzig (1739 - 1816)". Stuttgart Steiner, 2007. http://d-nb.info/991419235/04.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Doherty, Fiona Teresa. "The common foundation of neo-logicism and the Frege-Hilbert controversy". Thesis, University of Cambridge, 2017. https://www.repository.cam.ac.uk/handle/1810/277438.

Texto completo

Resumen

In the first half of the thesis I investigate David Hilbert's early ontology of mathematics around the period 1899-1916. Hilbert's early views are of significant philosophical interest and have been largely ignored due to his later, more influential work. I suggest that, in this period Hilbert, can be understood as an early structuralist. In the second half of the thesis, I connect two important debates in the foundations of mathematics: Hale and Wright's neo-Fregean logicism and the Frege-Hilbert controversy. Using this connection, I adapt Frege's objections to Hilbert and apply them to Hale and Wright's account. By doing this, I show that the neo-Fregean logicists have long abandoned the Fregean element of their program in favor of a structuralist ontology. I conclude that our ontological conception of what exists in mathematics and what it is like constrains the foundations we use to characterise mathematical reality.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Silva, Ana Cristina Marques. "Prova matemática, verdade e axiomática : um olhar sobre Frege e Hilbert". Dissertação, Porto : Universidade do Porto, Faculdade de Ciências, Departamento de Matemática Pura, 2006. http://catalogo.up.pt/F?func=find-b&local_base=FCB01&find_code=SYS&request=000091714.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

MAIONE, Vinícius Rodrigues. "A noção fregiana de objeto abstrato e a crítica ao psicologismo". Universidade Federal de Goiás, 2009. http://repositorio.bc.ufg.br/tede/handle/tde/774.

Texto completo

Resumen

Made available in DSpace on 2014-07-29T15:06:23Z (GMT). No. of bitstreams: 1 Vinicius Rodrigues.pdf: 924953 bytes, checksum: a900dd6bc1f4e6f711ca14de37b7507d (MD5) Previous issue date: 2009-10-02
The objective of this dissertation is to present Gottlob Frege s criticism of psychologism in Mathematics and Logic. Our working hypothesis is that Frege s criticism is based on his notion of an "abstract object". In order to investigate this hypothesis we will contrast the pre and post paradox phases of Fregean s philosophy. We will try to show that there is a continuity between these two periods, and that this continuity depends on Frege s insistence in maintaining the notion of an "abstract object", even if in a somewhat weakened version. Our dissertation will be divided into three chapters. In the first chapter, we will make a brief characterization of psychologism in order to circumscribe the exact focus of Frege s criticism. In the second chapter we will discuss the notion of an "abstract object" in the pre-paradox period of Frege s philosophy and its connection to Frege s main concern: that of defining number upon a pure logical basis. Eventually, in the third chapter, we will show how, even without a logically unassailable method of introducing logical objects, due to Russell s paradox, the philosopher does not give up his main theses concerning the nature of logic and mathematics. They are still grounded on the notion of an "abstract object", even thought in a somewhat feebler form.
O objetivo dessa dissertação é expor a critica de Gottlob Frege ao psicologismo na lógica e na matemática. Nossa hipótese de trabalho é a de que a crítica de Frege está fundamentada na sua noção de ―objeto abstrato‖. Para investigar essa hipótese, contrastaremos as fases pré e pós-paradoxo da filosofia fregiana. Tentaremos mostrar que há uma continuidade entre esses dois períodos e que essa continuidade se dá através da insistência, por parte de Frege, em manter uma noção de ―o bjeto abstrato‖, mesmo que numa versão enfraquecida. Nossa dissertação será dividida em três capítulos. No primeiro capítulo, faremos uma caracterização breve do psicologismo, com a finalidade de circunscrever o foco exato das críticas de Frege. No segundo capítulo, discutiremos a noção de ―objeto abstrato‖ na fase pré-paradoxo da filosofia fregiana e sua conexão com o que foi o principal projeto filosófico de Frege: definir número em bases puramente lógicas. Finalmente, no terceiro capítulo, mostraremos como, mesmo sem possuir um método logicamente inatacável para introdução dos objetos lógicos em virtude do paradoxo de Russell, o filósofo não abandona suas teses principais em relação à natureza da lógica e da matemática. Essas teses continuarão baseadas na noção de ―objeto abstrato‖, embora em uma versão um tanto enfraquecida.

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Bacigalupo, Giuliano. "A study on existence". Thesis, Lille 3, 2015. http://www.theses.fr/2015LIL30005.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Bierbach, Pier. "Wissensrepräsentation - Gegenstände und Begriffe Bedingungen des Antinomieproblems bei Frege und Chancen des Begriffssystems bei Lambert /". [S.l.] : [s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=963173960.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Coury, Aline Germano Fonseca. "Frege e as Leis da Aritmética: do ideal de fundamentação ao paradoxo". Universidade Federal de São Carlos, 2015. https://repositorio.ufscar.br/handle/ufscar/7513.

Texto completo

Resumen

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-09-26T14:58:18Z No. of bitstreams: 1 DissAGFC.pdf: 1978531 bytes, checksum: e57d2335b2038eca2d8a6468869e05fa (MD5)
Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-27T19:36:51Z (GMT) No. of bitstreams: 1 DissAGFC.pdf: 1978531 bytes, checksum: e57d2335b2038eca2d8a6468869e05fa (MD5)
Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-27T19:36:56Z (GMT) No. of bitstreams: 1 DissAGFC.pdf: 1978531 bytes, checksum: e57d2335b2038eca2d8a6468869e05fa (MD5)
Made available in DSpace on 2016-09-27T19:37:02Z (GMT). No. of bitstreams: 1 DissAGFC.pdf: 1978531 bytes, checksum: e57d2335b2038eca2d8a6468869e05fa (MD5) Previous issue date: 2015-07-08
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Since the end of the nineteenth century and early twentieth century, some scholars such as Frege, Russell, Dedekind, Wittgenstein, among others, started to seek the foundations of the mathematics. Specifically, Frege developed studies in order to build the arithmetic foundation based on classical logic, i. e., using logic, he intended to build a system capable of formalizing mathematical definitions and proof methods. These works resulted in the publication of The Foundations of the Arithmetic in 1884 and subsequently in 1893 and 1902, The Basic Laws of Arithmetic. However, Frege’s attempt to reduce arithmetic to logic was inadequate due to a paradox discovered by Bertrand Russell in 1902. The aim of this research was to reconstruct mathematically and logically the Russell paradox in its original formulation in the Frege’s The Basic Laws of Arithmetic. This study had as primary bibliography Frege’s works and as secondary bibliography, works of his commentators, as well as the correspondence between Frege and Russell. This research provides a logical, philosophical and mathematical formation for the educator who is in contact with this event that covers both the areas that is disciplinary today. It is a fertile moment in the history of philosophy of mathematics and logic, configured as a watershed for mathematical theories since it enabled Gödel's incompleteness theorems and non-classical logics to be formulated, and also has repercussions in contemporary philosophy and which is of unquestionable value for the teacher formation.
A partir do fim do século XIX e início do século XX, alguns estudiosos, como Frege, Russell, Dedekind, Wittgenstein, dentre outros, buscaram alcançar os fundamentos últimos para a Matemática. Especificamente, Frege desenvolveu trabalhos a fim de fundamentar a Aritmética tendo como base a Lógica Clássica, ou seja, utilizando a lógica ele pretendia construir um sistema capaz de formalizar definições matemáticas e métodos de prova. Esses trabalhos culminaram na publicação de Os Fundamentos da Aritmética em 1884 e, posteriormente, em 1893 e 1902, em As Leis Básicas da Aritmética. No entanto, a tentativa proposta por Frege de reduzir a Aritmética à Lógica se mostrou inadequada, devido a um paradoxo na teoria apontado por Bertrand Russell em 1902. Assim sendo, o estudo aqui proposto tem como objetivo reconstruir lógicomatematicamente o paradoxo de Russell em sua formulação original nas Leis Básicas da Aritmética de Frege. Para realização deste estudo, o presente trabalho fundamentou-se numa pesquisa bibliográfica englobando, como bibliografia primária, as obras de Frege e, como bibliografia secundária, as obras de seus comentadores, assim como a correspondência entre Frege e Russell. A pesquisa proporciona uma formação lógica, filosófica e matemática para o educador que percorre este evento de fronteira entre as áreas que se configuram disciplinares na atualidade. Este é um momento fecundo na história e filosofia da Matemática e da Lógica, configurando-se como um divisor de águas para as teorias matemáticas, já que abre espaço para os Teoremas da Incompletude de Gödel e as lógicas não clássicas, possuindo também desdobramentos na Filosofia Contemporânea e que é de inquestionável valor nessa formação.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Reis, Ana Paula Monteiro dos. "A análise semântica das expressões denotativas nas teorias de Frege e Carnap". Universidade do Vale do Rio do Sinos, 2008. http://www.repositorio.jesuita.org.br/handle/UNISINOS/2038.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Francisco, Antônio Marcos 1980. "Gottlob Frege : da noção de conteúdo à distinção entre sentido e referência". [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281688.

Texto completo

Resumen

Orientador: Arley Ramos Moreno
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
Made available in DSpace on 2018-08-23T11:30:34Z (GMT). No. of bitstreams: 1 Francisco_AntonioMarcos_M.pdf: 1498266 bytes, checksum: d034937dfd7ddf91412ce63d596737d9 (MD5) Previous issue date: 2013
Resumo: O intuito do presente trabalho é expor e associar dois momentos do pensamento de Gottlob Frege - um situado na obra Conceitografia, publicada em 1879, e outro presente a partir da distinção entre sentido e referência articulada, principalmente, no artigo Sobre o Sentido e a Referência, publicado em 1892. O objetivo é explicitar que apesar de existirem significativas diferenças entre as duas épocas é possível perceber uma profunda continuidade no desenvolvimento de um projeto único, e também uma clara conexão entre as duas obras, apesar de o léxico filosófico fregeano ter passado por expressivas alterações após a concepção da distinção entre sentido e referência. Este trabalho está dividido em quatro partes: a primeira apresenta o que motivou o matemático Gottlob Frege a dedicar-se à análise da linguagem e elaborar uma "conceitografia" para representar o que é fundamental na proposição - o conteúdo conceitual; o momento seguinte, capítulo II, expõe como o problema da identidade de conteúdo culminou com um esboço de uma teoria semântica na obra de 1879; a parte três expõe a conexão entre a teoria semântica de 1879 e de 1892; a parte final, capítulo IV, é uma tentativa de expor como os temas do artigo de 1892 estão intimamente associados com as questões apresentadas na obra Conceitografia
Abstract: The purpose of this work is to describe and to connect the two moments of thought of Gottlob Frege - one found in the work Conceptual Notation published in 1879 and the other one in the article On Sense and Reference published in 1892, which presents the distinction between sense and reference. The goal is to explain that although there are significant differences between the two moments it is possible to perceive a deep continuity in the development of a single project. There is also a clear connection between the two works despite of the Fregean technical terms having gone through major changes after taking into consideration the conception of the distinction between sense and reference. This work is divided into four parts: the first one introduces what motivated the mathematician Gottlob Frege to devote himself to the analysis of language and develop a formula language to represent what is fundamental in the proposition - the conceptual content; the second in the Chapter II exposes how the problem of identity content culminated with a sketch of a semantic theory in the work of 1879, the third one explains the connection between theory and semantics from 1879 and from 1892, and finally, Chapter IV , is an attempt to expose how the themes of the article of 1892 are closely associated with the work Conceitografia affairs
Mestrado
Filosofia
Mestre em Filosofia

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Gamboa, Sánchez Neftalí. "Un análisis del significado desde la filosofía de Ockham, Frege y Wittgenstein". Tesis de Licenciatura, Universidad Autónoma del Estado de México, 2019. http://hdl.handle.net/20.500.11799/110302.

Texto completo

Resumen

La teoría del significado pretende explicar en qué consiste que las palabras de un lenguaje tengan el significado que tienen. Esta es ya, una interrogante propia de la filosofía al pretender explicar qué hace que la palabra tenga dicho significado más allá de los procesos psicológicos o neurológicos que posibilitan a un hablante la asociación de las palabras de un lenguaje con un significado. El objetivo de la presente investigación consiste en conocer y analizar la teoría del significado en tres momentos de la historia de la filosofía, en la Edad Media, la Modernidad y la época contemporánea a través de la propuesta de tres autores: G. de Ockham, G. Frege y L. Wittgenstein. Para esto se hace uso de la investigación documental, a través de la recolección de información de las obras principales de los autores. Las conclusiones de la investigación permitirán responder la pregunta de investigación: ¿cómo ha sido la evolución de la teoría del significado en filósofos como Ockham, Frege y Wittgenstein?

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Souza, Izabel Cristina Izidoro de. "O Princípio do contexto de Gottlob Frege: O labirinto de sua exegese". Universidade Federal da Paraíba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/9654.

Texto completo

Resumen

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-10-02T12:06:35Z No. of bitstreams: 1 arquivototal.pdf: 1109768 bytes, checksum: 2074c58c4f2ea59ae1d05abb75405ea1 (MD5)
Made available in DSpace on 2017-10-02T12:06:35Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1109768 bytes, checksum: 2074c58c4f2ea59ae1d05abb75405ea1 (MD5) Previous issue date: 2014-04-14
This research approaches the logicist project of the German philosopher, Frege, and what came to be named by the secondary literature as the “Context Principle”. Frege's logicist project is the thesis that Mathematics, specially Arithmetics, can be reduced to Logics, that is, the concepts of Arithmetics can be reduced to logical concepts and to logical theorem and axioms. The Context Principle is one of the three principles that Frege afirms to be basic for the development and execution of a project. Some questions arise to the reader that faces for the first time this principle: What a Mathematical thesis – the one that Arithmetics can be reduced to Logics has to do with a linguistic imposition – the one that we should never ask for the meaning of an isolated word, outside a sentence? The secondary literature seems to not come to any agreement about the questions around the context principle. Those questions conduct the methodological aspect of this research. The use of the Greek mith of Theseus and Daedalus labyrinth as a metaphor allows to understand the set of secondary literature interpretations regarding the context principle as an exegetical labyrinth that defyies the reader to come inside it and try to exit. At the end of the research considerations will be give about the fortune of the context principle in Frege's logicist project.
Esta pesquisa trata do “Projeto Logicista” do filósofo alemão Frege e do que veio a ser designado pela literatura secundária de “princípio do contexto”. O Projeto Logicista de Frege é a tese de que a Matemática, em particular a Aritmética, é redutível à Lógica, isto é, os conceitos da Aritmética podem ser redutíveis a conceitos lógicos e os teoremas a axiomas lógicos. O princípio do contexto é um dos três princípios que Frege afirma serem básicos para o desenvolvimento e execução de seu projeto. Algumas questões devem de pronto surgir ao leitor que pela primeira vez defronta-se com este princípio: o que uma tese matemática – a de que a Aritmética é redutível à Lógica tem a ver com uma imposição linguística – a de que nunca se deve perguntar pelo significado de uma palavra isoladamente, fora de uma proposição? A literatura secundária parece não chegar a nenhum acordo sobre as questões em torno do princípio do contexto. Assim, no desenvolvimento deste trabalho faremos uma revisão da literatura especializada sobre esse princípio. A utilização do mito grego do herói Teseu e do labirinto de Dédalo como metáfora permite entender o conjunto das interpretações da literatura secundária a respeito do princípio do contexto como um labirinto exegético, que desafia o leitor a adentrá-lo e tentar a sua saída. Ao final da pesquisa serão tecidas considerações sobre a fortuna do princípio do contexto no Projeto Logicista de Frege.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Rouilhan, Philippe de. "Catégories logiques et paradoxes : recherches à partir de Frege, Russel et Tarski". Paris 1, 1988. http://www.theses.fr/1988PA010521.

Texto completo

Resumen

Les recherches qui composent cette thèse, menées à partir de Frege, Russell et Tarski, sont consacrées à la notion de catégorie logique en relation avec le problème des paradoxes. Leurs titres, donnes ci-après, suggèrent plus précisément, au-delà de leur triplicité, l'unité organique du tout qu'elles constituent, si l'on ajoute que les "paradoxes de la représentation" dont fait état le premier sont, d'une part, le paradoxe de Russell, paradoxe logique par excellence, et, d'autre part, le paradoxe de Frege, que l'on peut considérer comme une sorte de paradoxe sémantique: -première recherche (à partir de Frege): sur les paradoxes de la représentation, deuxième recherche (à partir de Russell): sur la résolution commune des paradoxes logiques ou sémantiques par la théorie des types ramifiée, troisième recherche (à partir de Tarski): sur la résolution séparée des paradoxes logiques par la théorie des types simple ou par la théorie des ensembles, et des paradoxes sémantiques par la distinction des niveaux de langage. La visée ultime de cette thèse est quelque chose comme une résolution simultanée des paradoxes logiques et sémantiques, y compris, sous une forme ou sous une autre, le paradoxe de Frege, mais une résolution qui n'implique pas l'ordinaire distinction des niveaux de langage. La thèse ne produit pas une telle résolution, peut-être hors de portée dans l'état actuel de la logique, du moins tente-t-elle de réactualiser la valeur paradoxale du paradoxe de Frege sous une forme généralisée, de faire la critique en règle de la distinction des niveaux de langage, et de rappeler la communauté des logiciens a l'urgence de ladite résolution.

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Belna, Jean-Pierre. "Conceptions du nombre à la fin du XIXème siècle : Dedekind, Cantor, Frege". Paris 10, 1993. http://www.theses.fr/1993PA100072.

Texto completo

Resumen

Il s'agit d'une étude comparée de la notion de nombre chez trois mathématiciens : Dedekind, Cantor et Frege. La première partie est essentiellement mathématique. Pour chacun des trois auteurs, on présente son parcours historico-mathématique, ses théories des nombres naturels, des nombres réels et du transfini. A chaque expose, sont ajoutées des remarques complémentaires de différentes natures. On termine par une comparaison des diverses théories. La seconde partie est plus philosophique. Le chapitre central consiste en la présentation des philosophies respectives du nombre chez les trois mathématiciens choisis. On montre ensuite comment s'articulent le concept de nombre et la théorie des ensembles. On termine par une conclusion plus général ou apparaissent deux types de nombre : le nombre mathématique et le nombre philosophique
The text set a compared study of the notion of number in three mathematicians: Dedekind, Cantor and Frege. The first part is essentially mathematical. For each of the three authors, we successively present the historic and mathematical context, his theories of natural numbers, of real numbers and of the transfinite. For each account, complementary remarks of various natures are added. The second part is more philosophical. The principal chapter lies in the presentation of the respective philosophies number in the three choosed mathematicians. We after show how the concept of number and the set theory are linked. We end by a more general conclusion where two types of number appear : the mathematical number and the philosophical number

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Rouilhan, Philippe de. "Catégories logiques et paradoxes recherches à partir de Frege, Russell et Tarski /". Lille 3 : ANRT, 1989. http://catalogue.bnf.fr/ark:/12148/cb37618277n.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Frege"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros