I. Função e Conceito - 3

24 Setembro 2021, 14:00 • António José Teiga Zilhão

Análise e discussão do ensaio de Gottlob Frege   Função e Conceito (Funktion und Begriff) de 1891 - 3 

A) Consideração de um novo tipo de funções: funções de valores de verdade para valores de verdade. B) Apresentação de diferentes funções de valores de verdade para valores de verdade: posição, negação e implicação. C) Distinção entre funções com um argumento (predicativas) e funções com dois ou mais argumentos (relacionais). D) 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). E) Teoria da quantificação I: a quantificação universal como uma função de segundo grau, a qual adquire o valor V quando e só quando a função de primeiro grau que toma como argumento adquire sempre o valor V sejam quais forem os objectos do domínio que a saturem. F) Teoria da quantificação II: definição da quantificação existencial a partir da quantificação universal - a quantificação existencial como a negação da quantificação universal de uma negação proposicional. G) Apresentação da notação conceptual introduzida na  Begriffsschrifft: representação na mesma da  posição, negação, implicação e quantificação universal