Boole e Frege: matematização da lógica vs. logificação

• Tipo: Capítulo ou Parte de Livro
• Data: 2006

Autores

Pinto, João Alberto (Autor) FLUP

Livro

Título: Perspectives on Rationality

Páginas: 179-199

ISBN: 972-8932-21-9

Editora: Universidade do Porto. Faculdade de Letras

Classificação Científica

FOS: Humanidades > Outras humanidades

Outras Informações

Resumo (PT): Contrasta, de um ponto de vista histórico, os modos de pensar a formalização da lógica que estão presentes em G. Boole e G. Frege – e que remetem, respectivamente, para a ideia de matematização da lógica e para a ideia de logificação (da matemática). Apresenta a ideia segundo a qual as perspectivas destes dois autores têm profundas repercussões no modo contemporâneo de reflectir sobre a natureza formal da lógica e conclui apontando a diferença de posições em que um booleano e um fregeano se encontram relativamente à noção de validade, bem como a dificuldade – para um fregeano – de formular a questão filosófica sobre a prioridade de uma noção semântica ou de uma noção sintáctica de validade tal como estas noções se apresentam no âmbito da metalógica.

Abstract (EN): This article contrasts, from a historical point of view, the attempts at the formalization of logic that can be found in G. Boole and G. Frege, and which are associated respectively with the idea of a mathematization of logic and with the idea of a logification (of mathematics). The different approaches of these two authors have profound repercussions in how the formal nature of logic is conceived today. The article concludes by pointing out the different positions in which a boolean and a fregean find themselves in when considering the notion of validity and also the difficulty - for a fregean - of formulating the philosophical question about the priority of a semantic or syntactic notion of validity as these notions present themselves from a metalogical point of view.

Idioma: Português

Tipo (Avaliação Docente): Científica