---------- 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. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhSNnr67R8JCKsADzW1N%3DttCMs%3DnwqW%2BqZTZ6CvxjoEdg%40mail.gmail.com.
