Fwd: III Curso Virtual de Lógica Elementar

[Joao Marcos]

---------- Forwarded message ---------
From: Desidério Murcho


Na próxima terça-feira, dia 6 de Outubro, começa o III Curso Virtual
de Lógica Elementar. À semelhança dos dois cursos anteriores, será
inteiramente online, usando a plataforma Zoom. Horário: às terças e
quintas-feiras, das 18:00 às 20:00 de Brasília (das 22 às 24 horas de
Lisboa). Pré-requisitos: dominar a lógica clássica, incluindo a lógica
quantificada.

Neste terceiro curso iremos abordar os seguintes temas:

— Revisão dos conteúdos lecionados nos dois primeiros cursos: os
conceitos fundamentais de raciocínio, validade, solidez e cogência. O
conceito de raciocínio verofuncional. O que é uma derivação? Regras de
inferência e axiomas. Lógica quantificada: nomes, predicados e
quantificadores. Subtilezas da linguagem quantificada. Quantificadores
não-clássicos. Definição e negação de quantificadores. Quantificação
sem quantificadores. A implicação existencial da lógica clássica. A
invalidade verofuncional da subalternidade da lógica aristotélica.
Regras de inferência da lógica quantificada.

— Identidade: a linguagem e a lógica da relação de identidade (=). A
linguagem da relação de identidade inclui a distinção entre a
identidade numérica e a qualitativa, e o estudo breve das famosas
descrições definidas de Russell. A lógica dessa relação inclui as
propriedades lógicas da identidade, a mais fundamental das quais é a
indiscernibilidade de idênticos. Desta propriedade consegue-se derivar
as outras três propriedades da relação de identidade: a reflexividade,
a simetria e a transitividade. Uma novidade interessante é que só ao
acrescentar a identidade à lógica quantificada é que se sai pela
primeira vez do raciocínio verofuncional.

— Árvores de verdade: as chamadas “truth trees” já receberam muitos
nomes, mas este é talvez o mais usado hoje em dia, e afinal o mais
apropriado. Trata-se de um método muito simples de provar validades e
invalidades, tal como provamos também verdades lógicas, falsidades
lógicas e frases logicamente indeterminadas, desde que sejam
clássicas. Este é um instrumento simples e poderoso, como se verá, mas
que tem como limitação o facto de não explicar como se prova afinal
uma dada conclusão com base num certo conjunto de premissas. Num certo
sentido, apenas prova que se consegue prová-la!

— Lógica modal alética: partindo da lógica clássica quantificada com
identidade, iremos acrescentar dois operadores novos, que não são
verofuncionais: “necessariamente” e “possivelmente”. Apesar de
estudarmos a lógica modal alética, grande parte das estruturas que
iremos tornar claras aplicar-se-ão a outras lógicas modais que não as
aléticas, como as temporais, deônticas, epistémicas e outras. De modo
que é uma lógica que se afirmou já como uma parte da lógica elementar,
no sentido de aquele conhecimento mínimo de lógica que qualquer pessoa
informada, e em especial os filósofos, precisam de dominar. Iremos
estudar aqui a linguagem da lógica modal alética, esclarecendo os dois
conceitos fundamentais: mundos possíveis e a relação de acessibilidade
entre mundos. Não se trata de ver apenas estes conceitos
matematicamente, mas de entrar nos seus fundamentos filosóficos. Como
se verá, esta é a parte mais exigente da lógica modal. A parte
matemática, a parte do cálculo lógico propriamente dito, é trivial;
iremos aqui usar as árvores lógicas, e não um sistema de dedução
natural, para dar conta dos vários sistemas de lógica modal que iremos
examinar: os sistemas K, T, KB, B, KS4, S4, KS5 e S5. Os conceitos de
modalidade de dicto e de re serão esclarecidos, assim como a surpresa
das chamadas fórmulas de Barcan, que lidam com o importante conceito
de possibilia. Se tivermos tempo, iremos ainda esclarecer a diferença
entre modalidades epistémicas, lógicas e metafísicas, e iremos aplicar
estes instrumentos à análise do famoso argumento ontológico de
Anselmo, tornando claro qual é a falácia genérica aqui em questão, e
que é muito comum no pensamento filosófico, porque é uma tentação
muito intuitiva.

Como aconteceu com os outros cursos, este tem também por base o meu
livro Lógica Elementar (Edições 70, 2019), que está disponível em
versão Kindle e em versão impressa, em Portugal e no Brasil. Não é
preciso ter o livro para acompanhar o curso, porque serão fornecidos
materiais didáticos aos alunos.

Para se inscrever basta fazer o pagamento, seguindo as instruções
abaixo, e enviar-me por email o comprovante respetivo. O valor do
curso é 200 reais ou 35 euros, e as aulas gravadas serão
disponibilizadas aos alunos que por alguma razão perderem uma ou outra
aula.

Pagamento e inscrição no Brasil:
Conta-corrente do Banco do Brasil: 19.742-4;
Agência: 0473-1 (Ouro Preto);
CPF: 017.459.406-26.

Na Europa:
IBAN: PT50003300000009836207505.
NIB: 0033 0000 000 983 620 75 05 (Millennium BCP)

Caso tenha alguma dúvida, não hesite em escrever-me.