Parmênides e frege: um breve estudo sobre as relações entre o poema sobre a natureza e as investigações lógicas

O presente texto tem como objetivo estabelecer algumas relações entre o poema de Parmênides e as Investigações Lógicas, de Frege. Mais especificamente, nosso objetivo é iluminar certos aspectos do poema de Parmênides por meio de uma comparação com certas noções utilizadas por Frege para caracterizar aspectos centrais de seu pensamento.

A caracterização da lógica pela força assertórica em frege. Resposta a Marco Ruffino

Segundo a caracterização padrão da lógica nos escritos fregeanos, a palavra "verdadeiro" indica a essência da lógica, assim como a palavra "bom" indica a essência da ética e a palavra "belo" a essência da estética. Num escrito póstumo de 1915, porém, Frege afirma que é a força assertórica, e não a palavra "verdadeiro", que indica a essência da lógica. Prima facie, esta correção está em conflito com a crítica fregeana à concepção psicologista da lógica. Pois, segundo esta crítica, a lógica não é a ciência das leis "do ser tomado como verdadeiro", mas a ciência das leis "do ser verdadeiro", ao passo que a força assertórica expressa o ser tomado como verdadeiro. Em escritos anteriores, tentei resolver este conflito por uma reconstrução da concepção fregeana da verdade baseada na tese fregeana de que verdade é expressa na linguagem natural pela "forma da sentença assertórica". A meta do presente trabalho é defender esta interpretação contra as objeções recentemente feitas por Marco Ruffino.

Crítica al psicologismo y concepción de subjetividad en frege

La remisión del problema relativo al como de la captación de pensamientos a la psicología por parte de Frege ha llevado a que se imponga entre los críticos la idea de que toda consideración subjetiva está ausente en este autor. La crítica fregueana al psicologismo, sin embargo, se concentra en una crítica a la concepción psicologista de subjetividad y, correlativamente, implica una concepción de subjetividad novedosa en el contexto de la filosofía alemana de la segunda mitad del s. XIX que, como la husserliana, es no-naturalística e intencional.

THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

UMA TEORÍA CAUSAL PARA LOS CASOS FREGE

Fodor ha argumentado a favor de un par de tesis que pueden caracterizarse como constituyendo un dilema: Por un lado, si adoptamos una teoría funcional para los conceptos explicamos semánticamente los casos Frege pero caemos en el holismo semántico. Por otro lado, si adoptamos una teoría causal/informacional evitamos el holismo pero no explicamos los casos Frege semánticamente. Fodor (por ej, 1994, 1998 y 2008) intenta evitar la segunda parte del dilema argumentando que los casos de Frege pueden tener una explicación sintáctica y no semántica. En este trabajo intentaré ofrecer una salida alternativa al dilema fodoriano. Propondré una explicación semántica de los casos Frege que incorpora tanto elementos de una teoría causal como de una de rol funcional. Afirmaré que el contenido cognitivo o estrecho de un concepto (el tipo de contenido aparentemente exigido por los casos Frege) es el conjunto de contenidos causales/informacionales de las representaciones que figuran en su rol funcional. Considero que individuar a las representaciones en los roles por medio de sus contenidos causales permite evitar el holismo (evitando el proceso de ramsificación típicamente empleado para individuar a los roles) y que identificar el contenido cognitivo con contenidos causales/informacionales de las representaciones en los roles permite evitar el referencialismo de las propuestas causales (podemos distinguir sentido de referencia en términos causales).

O projeto logicista de Frege

Resumo não disponível.

A morada do pensamento: um encontro com Platão na busca da natureza do sentido em Frege

The ontological investigation of sense, from German philosopher Gottlob Frege s point of view, has, as its foundation, the understanding of reference, representation, thought and sense s categories. According to Frege s writings, On Sense and Reference, and Thoughts Logical Investigations, sense carries itself the solution for the problem of identity s relation. Sense gives us the knowledge s increment that identity doesn t give. But still there is a problem: the definition of sense's nature. Sense couldn t have its nature strictly defined because, in this case, it would be reduced to reference s category and thus, sense would be identified with the own extra-linguistic object, and this is a misconception. But Frege said that thought must be considered as the sense of the sentence. So, with this close relationship between sense and thought, a new goal in this investigation is putt in focus: thought. To Frege, thought is not a simple subjective performance of thinking, it is not a subjective representation, but it is an objective content that is real, eternal, and that exists by itself in a third realm . Thought exists in a realm beyond the world of subjective representations and beyond the world of sensible perception. From this point, the present investigation went back to Plato s World of Ideas. So, the platonic thinking was included in this debate about the metaphysic of the third realm in Frege, trying to clarify the original concepts of knowledge, reality and truth. To achieve this objective, the following dialogues had been included in our research: Theaetetus, Republic and Phaedo. And the following fregean questions had been brought to Plato's scope: how happens the new knowledge? What is the third realm s reality? What is the relation between truth and thought? Doing that we could see as much some of the platonic origins of Frege's approach, as some differences between this two philosophers

A noção de função em Frege

Pós-graduação em Educação Matemática - IGCE

Aspectos do anti-psicologismo e da crítica ao empirismo milliano em Frege

This article presents some aspects of the relationship between the philosophies of Frege and Stuart Mill, from the standpoint of the fregean critic of psychologism and empiricism. I defend the thesis that, in Foundations of Arithmetic, Frege directs his criticism to the empiricism professed by Mill in his System of Logic; this critic does not constitutes a ‘charge’ of the English philosopher as being a psychologist. For this, we presented several aspects concerning the role that the antipsicologismo has in the Fregean thought and its direct relationship with the logicist project of reduction of arithmetic to logic. To defend our thesis, some arguments intended to show that empiricism not necessarily and directly imply psychologism are presented.

As concepções de função de Frege e Russell: um estudo de caso em filosofia e história da matemática

Pós-graduação em Educação Matemática - IGCE

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.