Russell e Frege sobre a Lógica das Funções

Neste artigo eu comparo a teoria das funções Matemáticas de Russell, às “funções descritivas” do Principia Mathematica ∗30, com a conhecida explicação de Frege das funções como entidades “insaturadas”. Russell analisa termos funcionais com funções proposicionais e a teoria de descrições definidas....

Full description

Bibliographic Details
Main Author: Bernard Linsky
Format: Article
Language:English
Published: Grupo de Pesquisa sobre Práticas Socioculturais e Educação Matemática (GPSEM) 2022-08-01
Series:REMATEC. Revista de Matemática, Ensino e Cultura
Subjects:
Online Access:https://www.rematec.net.br/index.php/rematec/article/view/436
Description
Summary:Neste artigo eu comparo a teoria das funções Matemáticas de Russell, às “funções descritivas” do Principia Mathematica ∗30, com a conhecida explicação de Frege das funções como entidades “insaturadas”. Russell analisa termos funcionais com funções proposicionais e a teoria de descrições definidas. Este é o principal papel técnico da teoria das descrições em Filosofia Matemática. No The Principles of Mathematics e alguns escritos inéditos anteriores a 1905, Russell ofereceu críticas explícitas ao relato de funções de Frege. Consequentemente, a teoria das descrições em “On Denoting” pode ser vista como uma parte crucial da maior redução logicista da Matemática de Russell, bem como uma excursão à teoria da referência.
ISSN:1980-3141
2675-1909