I. Função e Conceito - 2

5 Fevereiro 2020, 18:00 • António José Teiga Zilhão

Leitura, análise e discussão de Função e Conceito (1891) de Gottlob Frege - 2

A) Introdução de expressões funcionais contendo sinais relacionais (e.g., '=', '>', '<'). B) Saturação de expressões funcionais contendo sinais relacionais como modo de gerar frases relacionais. C) Valores de verdade como os valores tomados por expressões funcionais saturadas contendo sinais relacionais. D) Valores de verdade como a denotação de frases. E) Pensamentos como o sentido de frases. F) Conceitos como funções cujo valor é sempre um valor de verdade. G) Extensão de um conceito como o curso de valores da função que o exprime. H) Frases da linguagem natural como expressões funcionais saturadas cujos argumentos são objectos e cujos valores são valores de verdade. I) Clarificação da noção de objecto como referindo tudo o que não é uma função. J) Valores de verdade como objectos. K) Extensões de conceitos como objectos. L) Funções de valores de verdade para valores de verdade. M) Apresentação de diferentes funções de valores de verdade para valores de verdade: posição, negação e implicação. N) Teoria da quantificação: apresentação da notação para a quantificação universal introduzida na Begriffschrift. O) Teoria da quantificação: definição da quantificação existencial como a negação da quantificação universal de uma negação proposicional. P) Distinção entre funções de primeiro grau (que tomam objectos como argumentos) e funções de segundo grau (que tomam funções de primeiro grau como argumentos). Q) A quantificação como uma função de segundo grau. R) Distinção entre funções com um argumento (predicativas) e funções com dois ou mais argumentos (relacionais).