Sumários

Continuação do estudo de S. Kripke

25 Outubro 2016, 10:00 • Maria Adriana Sequeira da Silva Graça

As diversas funções do "Sinn" de Frege; descritivismo enquanto teoria do sentido e enquanto teoria da fixação da referência.

A noção de designador em Kripke; definições de designador rígido e não rígido. Intuições filosóficas subjacentes a esta distinção.
A noção de mundo possível em Kripke.
Esboço do argumento modal anti-descritivista (que considera o  descritivismo enquanto teoria do sentido).
Distinção entre mundo de geração de uma proposição (expressa por uma frase) e mundo de avaliação da mesma.
Circunstâncias actuais e contrafactuais.

Início do estudo de Saul Kripke

21 Outubro 2016, 10:00 • Maria Adriana Sequeira da Silva Graça

Proposições que exprimem identidades informativas verdadeiras são necessárias e "a posteriori".

A necessidade da identidade e o princípio da indiscernibilidade de idênticos.
Os conceitos de necessário, contingente. a priori, a posteriori. analítico e sintético em Kripke. 
Distinção entre modalidades metafísicas e epistémicas.
O que é a Teoria Descritivista dos nomes que Kripke quer refutar. Variantes de Frege e de Russell.

Teste

18 Outubro 2016, 10:00 • Maria Adriana Sequeira da Silva Graça

Realização do primeiro teste obrigatório para avaliação na disciplina.

Conclusão do estudo de "On Denoting"

14 Outubro 2016, 10:00 • Maria Adriana Sequeira da Silva Graça

Como a teoria das descrições definidas resolve os puzzles que Russell formula bem como o Puzzle de Frege.

Ocorrências primárias e secundárias de operadores nas fórmulas. Significado intuitivo dos resultados de Russell.

"On Denoting", Bertrand Russell (1905) - primeira abordagem.

11 Outubro 2016, 10:00 • Maria Adriana Sequeira da Silva Graça

Início do estudo do ensaio de B. Russell. Estrutura do artigo e pressupostos filosóficos do mesmo. Identificação da sua tese central. Gramática superficial e gramática profunda da língua. A função de uma linguagem logicamente perfeita. Razões pelas quais Russell rejeita as soluções anteriores de Frege e de Meinong para os problemas por si considerados. Explicitação dos "puzzles" a resolver através da teoria russelliana para expressões denotativas, em geral. A Teoria das Descrições Definidas.