Sumários
A ontologia da modalidade
10 Novembro 2016, 10:00 • Ricardo Santos
A ontologia da modalidade: a realidade e natureza dos mundos possíveis. O realismo modal (ou concretismo) de David Lewis: mundos possíveis como objectos conectados máximos. Conectado: se x e y são partes de um mundo possível, então têm entre si alguma relação espácio-temporal. Máximo: se x é parte de um mundo possível w, e x está espácio-temporalmente conectado com y, então y é também parte de w. Nenhum objecto pode ser parte de mundos distintos. Teoria das contrapartes. O chamado “problema da identificação transmundial”. A indexicalidade de “actual”. Uma objecção: as propriedades modais de um objecto não dependem de factos acerca dele próprio (mas sim de factos acerca das suas contrapartes). (2) O actualismo modal (ou abstraccionismo). Os mundos possíveis como entidades abstractas: por exemplo, conjuntos maximamente consistentes de proposições. As consequências das proposições que pertencem a um mundo também lhe pertencem Circularidade: explicação da consequência lógica pela noção de mundo possível, e explicação desta pela noção de consequência. (3) O combinatorialismo. Combinações são também objectos abstractos. Uma objecção: possibilidades radicalmente novas, i.e. objectos possíveis tais que nenhuma das suas partes existe no mundo actual, estariam excluídos. (4) Meinongianismo: mundos possíveis e suas partes são coisas que não existem. A noção de objecto não-existente é inteligível?
A ontologia do tempo: presentismo e eternismo.
7 Novembro 2016, 10:00 • Ricardo Santos
Da lógica à metafísica: a questão ontológica da realidade (ou existência) do passado e do futuro. Presentismo versus eternismo. Argumentos de Prior em defesa do presentismo. Dois problemas para o presentismo: (i) Que ‘fazedores-de-verdade’ (truthmakers) para as verdades acerca do passado e do futuro? (ii) O presentismo é compatível com a relatividade restrita? Dois problemas para o eternismo: (iii) O eternismo apresenta uma visão estática do mundo? (iv) O eternismo implica o fatalismo?
Extensões da lógica temporal básica.
3 Novembro 2016, 10:00 • Ricardo Santos
Extensões da lógica temporal básica: anterioridade transitiva e linear (ou convergente). Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.
Lógica temporal básica – o sistema Kt.
31 Outubro 2016, 10:00 • Ricardo Santos
Introdução ao estudo da lógica temporal. Verdades eternas e verdades temporárias: a relativização da verdade ao tempo. Os operadores temporais: H (“foi sempre o caso que”), P (“foi alguma vez o caso que”), G (“será sempre o caso que”), F (“será alguma vez o caso que”). Interpretações da linguagem da lógica temporal. Conjuntos de instantes temporais, e a relação de anterioridade. Condições de verdade para os operadores temporais. Regras para o método das árvores aplicado à lógica temporal básica (ou sistema Kt). Exame de algumas tautologias temporais.
Lógica proposicional modal – os seis sistemas principais.
27 Outubro 2016, 10:00 • Ricardo Santos
Revisão dos seis sistemas principais de lógica proposicional modal – K, D, T, B, S4, S5 – e das suas relações. O método das árvores. Validades e invalidades de cada um dos sistemas. Resolução de exercícios.