Fim do semestre e do blog

Dou agora por encerrada a minha participação neste blog. Para saberem (pela Net) as suas notas relativas ao último teste, os alunos devem consultar a página do curso mantida pelo Prof. João Branquinho.

Caso algum aluno tencione fazer o exame final (17 de Julho de 2007) e necessite de apoio, encontro-me disponível para ajudar no que me for possível.

Espero que este espaço tenha sido de alguma utilidade. Faço votos para a continuação de um bom percurso académico e pessoal.

Até breve.

Luís Rodrigues

Soluções do terceiro teste (dia 22)

Estão aqui

Cumps.

Último teste

Desejo boa sorte e bom trabalho a quem vai fazer o teste de hoje. Calma e atenção.

Tentarei publicar as soluções rapidamente.

Cumprimentos

Notas do segundo teste

Estão aqui

Tutoria

Haverá ainda uma última sessão no dia 21/2/2007, quarta-feira, véspera do último teste. Irá decorrer no sítio habitual e à hora do costume: sala de seminários do departamento (sala situada ao fundo do departamento, perto dos cacifos de correio dos professores), das 12h00 às 14h00. Caso algum aluno não possa a essa hora, entre em contacto comigo para combinarmos outra - no mesmo dia, visto que a faculdade estará fechada segunda e terça. A sessão servirá para esclarecer dúvidas que estejam relacionadas com este último teste (o de dia 15), com as soluções ou com outros exercícios ou tópicos do curso.

Cumprimentos

Soluções do segundo teste

De todas as perguntas e de todos os pontos (planos de estudo). Foram vistoriadas pelo Prof. João Branquinho. Estão aqui.

Cumprimentos

Reportagem SIC

Finalmente um link a que todos podem aceder para ver a reportagem da SIC, sejam clientes sapo/netcabo ou não.

http://logicaflul.com.sapo.pt/paraqueserveafilosofia.wmv


Cumps

Votos

De boa sorte para o teste de amanhã.

Calma e muita atenção, são as minhas sugestões.

Cumps,

Informação útil

Fica aqui uma informação do Prof. Branquinho sobre o formato dos testes consoante o plano de estudos.

Cumps

Testes experimentais/exercícios

Modo de utilização aconselhado :

Reservar cerca de duas horas de tempo livre e tentar resolver os exercícios sem recorrer a qualquer ajuda (livro, apontamentos, etc). Verificar depois as soluções e as cotações (para aferir da presente condição e capacidades). Repetir o sistema em todos outros exercícios.

Atenção que algumas das soluções podem variar ligeiramente relativamente aquelas que aqui se propõem - estando igualmente bem. em caso de dúvida, expor o problema.

Os exercícios foram aprovados pelo Prof. Branquinho. As soluções foram também vistoriadas por ele.

Lógica de predicados, dia 15:

Primeiro teste

Soluções do primeiro teste

Segundo teste

Soluções do segundo teste

Toda a matéria, dia 22:

Terceiro teste

Soluções do terceiro teste

Quarto teste

Soluções do quarto teste
----------------------------


Bom trabalho!

Informação

As aulas de 12 e 13 vão decorrer nos horários habituais mas numa sala (a designar) do departamento. Estas irão ser, salvo indicação em contrário, as últimas aulas de lógica do Prof. Branquinho neste semestre.

Na próxima semana só haverá uma sessão de tutoria. Será na quarta-feira, das 12h00 às 14h00, na sala de seminários do departamento.

Na semana seguinte haverá também uma sessão de tutoria (a última) na quarta-feira, dia 21, na sala de seminários do departamento. Será portanto uma sessão de tutoria que vai ocorrer no dia anterior ao dia do último teste, dia 22.

Cumps

Soluções dos exercícios de simbolização LPRED

Estão aqui.

Bom estudo!

Reportagem SIC

Quem desejar ver a reportagem da SIC sobre Filosofia na qual foram entrevistados vários alunos da aula de lógica e o próprio Prof. Branquinho, pode fazê-lo acedendo a este LINK. (demora um pouco a carregar, sejam pacientes).

Cumps

Sessões de estudo

Esta semana haverá sessões de tutoria no horário habitual.

1ª Sessão: Quarta-feira das 12h00 às 14h00.

2ª Sessão: Quinta-feira das 16h00 às 18h00.

As sessões são facultativas e decorrem na sala de seminários do departamento.

Cumps

Mais exercícios de DN em LP

Deixo aqui (1 e 2) e também aqui (3 e 4) mais alguns exercícios resolvidos de dedução natural (LP). São o tipo de exercícios que podem sair nos testes.

Boa pausa e bom estudo!

PS. Relembro que haverá sessões de tutoria na próxima semana, dias e horários habituais.

Reportagem SIC

A título de curiosidade, informam-se os alunos que não estiveram na aula de hoje, quinta-feira, 25/1/2007, que fomos visitados pela SIC. O Prof. Branquinho e mais dois alunos foram entrevistados. A peça inclui também um excerto da aula. Segundo o que foi dito pela entrevistadora, a peça irá passar na SIC, em horário nobre, ou no sábado ou no domingo.

Cumps

Adenda ao post anterior

No mesmo ficheiro podem também ser encontradas as regras de introdução e eliminação dos quantificadores existencial e universal (regras que fazem parte de LPRED). além disso podem encontrar-se exemplos não só da correcta aplicação das regras mas também de aplicações incorrectas, o que é de grande utilidade para prevenir erros.

Cumps

Regras de Dedução Natural em LP

Para os que ainda não deram por isso, informo que o Prof Branquinho colocou no seu site, QED, as regras de Dedução Natural (as que usamos nas suas aulas, embora haja outras) e respectiva explicação detalhada. Pode aceder ao ficheiro (pdf) aqui.

Bom estudo!

Algumas soluções de DN em LP

Deixo aqui uma solução para os dois exercícios de Dedução Natural em Lógica Proposicional que o Prof. Branquinho avançou no final da aula de 18/1 e que sugeriu que resolvêssemos em casa.

Aceitam-se dúvidas, sugestões, críticas etc.

Cumps.

PS: A solução está manuscrita e é em formato JPEG. É aconselhável guardar primeiro o ficheiro e só depois abrir.

Informação/novo horário

Até ao final do primeiro semestre, incluindo semanas de avaliação e estudo, vão realizar-se mais sessões de tutoria às quartas-feiras das 12h00 às 14h00. As sessões vão decorrer na sala de seminários do departamento (situa-se junto aos cacifos do correio, no fundo do corredor).

Mantêm-se activas as sessões de quinta-feira, das 16h00 às 18h00, também na sala de seminários do departamento.

Cumps.

Exercícios LPRED

Ficam alguns exercícios de simbolização em LPRED. Estão aqui.

É provável, embora não totalmente certo, que as soluções possam ser encontradas nas aulas de acompanhamento ou nas sessões de tutoria.

Bom estudo!

Exercícios de Dedução Natural

Resolvidos e vistoriados

Fáceis: 1,2,3

Baixa dificuldade: 4,5

Média dificuldade: 6, 7 (tem explicação detalhada), 8

Mais complicado: 9


Bom estudo!

Sessões de tutoria suplementares

Tendo em conta os pedidos que recebi de alguns alunos que não conseguem estar nas sessões de tutoria às quintas-feiras das 16:00 às 18:00, mas que desejam ter essas sessões, venho pedir a todos que se encontrem nessa situação (e também aos outros que tenham esse desejo) que me comuniquem, pessoalmente ou por e-mail, o dia que lhes seria mais favorável. As opções disponíveis são as seguintes: todos os dias da semana, excepto quinta, das 14:00 às 18:00 (são apenas duas horas por sessão, mas o horário de escolha é alargado para quatro horas, isto no sentido de facilitar a escolha). A ideia é fixar um horário suplementar que, sem prejuízo do de quinta-feira, que se mantém, permita aos alunos atender às sessões. A realização destas sessões suplementares ficará dependente da aprovação do Prof. Branquinho e da disponibilidade de local para a sua realização.

Relembro que as sessões de tutoria não substituem de forma alguma as aulas do Prof. Branquinho, pelo que não é de todo aconselhável estas últimas pelas primeiras devido a conveniência de horários.

Bom estudo!

Resultados do Exercício Escrito (notas)

Estão aqui.

Quem quiser consultar o seu próprio exercício escrito (para, por exemplo, verificar o que fez bem ou o que fez mal) pode fazê-lo. Os exercícios estão disponíveis na secretaria do departamento e a sua consulta deve ser requisitada à Dª Filomena.

Cumps

Sessão de tutoria de 4 de Janeiro de 2007

Decorre das 16:00 às 18:00 no Departamento.

Cumps

Férias e sessões de tutoria

Devido a compromissos académicos, e também às férias, não haverá sessões de tutoria disponibilizadas por mim nas próximas duas semanas, incluindo esta. No caso de alguns alunos pretenderem essas sessões têm de fazer o favor de me comunicar essa vontade com alguma antecedência -- no mínimo, dois dias.

Sugiro, respeitosamente, que não abdiquem de estudar lógica durante as férias. Lembrem-se que a realização frequente e sistemática de exercícios pode ser de grande valia num futuro próximo.

Boas Festas!

Luís E. Rodrigues

Proposta de resolução do teste

Vistoriada pelo Prof. Branquinho. Está aqui.

Cumps

Teste 7/12/2006

Desejo a todos os alunos boa sorte para o teste de amanhã.

Recordo que devem trabalhar com calma e muita atenção - têm muito tempo para isso.

Leiam atentamente as questões, vejam o que é pedido, pensem bem e respondam de modo preciso, usando a terminologia correcta.

Cumps.

Dúvidas surgidas na sessão de tutoria de 6/12/2006

Ficaram por esclarecer convenientemente algumas dúvidas relativas a dois exercícios que foram incluídos noutros tantos testes em anos lectivos transactos. Deixo aqui as respostas correctas e devidamente explicadas.

Primeiro exercício (pode ser encontrado aqui):

1. Considere a seguinte afirmação: “Uma condição suficiente para um argumento ser inválido é ter uma conclusão que seja uma contradição.” É a afirmação verdadeira ou falsa? É a condição mencionada uma condição necessária?

Resposta: Considerando que uma contradição é sempre uma falsidade, isso só por si não é suficiente para que um argumento seja inválido, pois há casos de argumentos válidos cuja conclusão é falsa – por exemplo, argumentos com premissas falsas e conclusão falsa. Portanto, a condição não é suficiente.
E também não é uma condição necessária, já que pode haver argumentos inválidos com premissas verdadeiras e conclusão verdadeira.

Segundo exercício (pode ser encontrado aqui):

2. Considere a seguinte afirmação: “Uma condição necessária para um argumento não ser sólido é ter pelo menos uma premissa falsa.” É a afirmação verdadeira ou falsa? É a condição mencionada uma condição suficiente?

Resposta: A afirmação é falsa dado que, pela definição de solidez de um argumento, há argumentos que não são sólidos não por terem qualquer premissa falsa mas por terem a conclusão falsa. Assim, um argumento ter pelo menos uma premissa falsa não é condição necessária para esse argumento não ser sólido, já que as premissas de um argumento podem ser todas verdadeiras e ainda assim esse argumento não ser sólido, isto em virtude de ter a conclusão falsa.
Um argumento ter uma premissa falsa é todavia suficiente para esse argumento não ser sólido, isto porque argumentos sólidos são todos aqueles argumentos válidos com premissas e conclusão verdadeiras. Como um argumento que tem pelo menos uma premissa falsa não satisfaz esta última característica, segue-se que um argumento ter pelo menos uma premissa falsa é condição suficiente para esse argumento não ser sólido.

Sessão suplementar de tutoria

Será amanhã, quarta-feira, dia 6/11/2006, das 16h às 18h. A sessão terá lugar na sala de seminários do departamento e destina-se a esclarecer dúvidas, realizar exercícios e preparar o teste de quinta-feira.

Cumps

Exercícios

Relativos à aula de acompanhamento de 30/11/2006.

Estão aqui:

Argumento 1 (correcção simplificada)

Argumento 2

Argumento 3

Argumento 4

Bom estudo!

Aviso!

Avisa-se os alunos que vai haver uma sessão extraordinária de acompanhamento/tutoria na próxima quinta-feira, dia 30/11/2006, pelas 14h00. A sessão vai decorrer na sala 6.1, a habitual. A sessão é completamente facultativa e destina-se a fazer exercícios de simbolização, testes de validade, esclarecimento de dúvidas, etc.

Cumps.

Correcção

Deixo o teste de validade relativo ao último argumento apresentado na aula de acompanhamento de 23/11/2006. A resolução encontrada na aula sofre de vários erros e deve ser ignorada. A resolução que está aqui está correcta.

Cumps

Info

Pede-se desculpa pelo atraso na publicação das soluções respeitantes aos exercícios da semana passada. Vão ser publicadas em breve.

Amanhã haverá sessão de tutoria das 16h00 às 18h00.

Cumps

Local, horário e objectivos das sessões de tutoria.

A partir da próxima semana as sessões de tutoria passam a ter lugar na sala defronte do gabinete do Prof. Branquinho, no departamento de filosofia. O dia e horário das sessões mantêm-se: Quintas-feiras das 16h00 às 18h00.

Recorda-se que estas sessões têm vários objectivos: o esclarecimento personalizado de dúvidas, o estudo conjunto de problemas relacionados com a matéria do curso, a preparação de testes, etc. A hora e o local poderão também ser aproveitados para o estudo em grupo.

Recorda-se também que a Lógica, à semelhança de outras disciplinas, requer estudo e treino regular. Por isso não deixem o estudo para a véspera dos testes. Façam exercícios regularmente (se possível, diariamente).

Os alunos que pensem estar a ter dificuldades, ou os que tenham menor disposição para intervir na aula, ou ainda os que tenham menor disponibilidade para frequentar todas as aulas, podem sempre recorrer às sessões de tutoria como complemento.

Estarei todas as semanas disponível no horário e sala indicados acima. Caso algum aluno não possa nesse dia e horário, mas queira tirar dúvidas ou fazer algum outro trabalho relativo às sessões, deve contactar-me para se combinar um horário e um local.

Bom estudo!

Exercício de simbolização de argumentos

Nesta última aula de acompanhamento, 16/11/2006, foi pedido aos alunos que simbolizassem um conhecido argumento. Por ser um exercício interessante, ficam aqui as duas versões do argumento e respectivas simbolizações.

Primeiro argumento

Só se Descartes existir é que pode pensar; pois Descartes não pode simultaneamente pensar e não existir.

Formulação do argumento (os conectores estão em itálico):

Premissa: Descartes não pode simultaneamente pensar e não existir.

Conclusão: Só se Descartes existir [ então ] é que pode pensar.

Frases simples:

A: Descartes pensa.
B: Descartes existe.

Simbolização:

Premissa: ¬ (A & ¬ B)

Conclusão: A → B

Explicação resumida da simbolização:

A respeito da premissa: o primeiro conector de negação que aparece na frase tem âmbito longo sobre os operadores de conjunção e de negação que surgem depois. A ideia é que esse primeiro conector de negação governa os restantes.

A respeito da conclusão: o “Só se” no início da frase é indicador de uma condição necessária. Assim, Descartes existir (a frase B) é uma condição necessária para Descartes poder pensar (a frase A). Dado que a condição necessária deve ser a consequente de uma condicional material, simbolizamos a conclusão A → B.

(Note-se que pensar, A, é uma condição suficiente para existir, B, o que era o ponto do conhecido argumento cartesiano.)

Segundo argumento

Se Descartes não existe, não pensa; por conseguinte, Descartes pensa só se não é o caso que não existe.

Formulação do argumento (os conectores estão em itálico):

Premissa: Se Descartes não existe, [ então ] não pensa.
Conclusão: Descartes pensa só se não é o caso que não existe.

Frases simples:

A: Descartes pensa.
B: Descartes existe.

Simbolização:

Premissa: (¬ B → ¬ A)

Conclusão: A → ¬ ¬ B

Explicação resumida da simbolização:

A respeito da premissa: Descartes não existir é condição suficiente para Descartes não poder pensar. Sendo assim, a negação de B será a antecedente de uma condicional material que terá como consequente a negação de A.

A respeito da conclusão: Não ser o caso de Descartes não existir é condição necessária para Descartes poder pensar. Sendo assim, a dupla negação de B é a consequente de uma condicional material que tem A como antecedente.


Para quem desejar saber mais sobre Descartes e os seus argumentos: http://plato.stanford.edu/entries/descartes-epistemology/

Mais alguns exercícios...

Relativos à aula de acompanhamento de 16/11/2006. Estão aqui. As soluções serão encontradas na aula ou, se isso não acontecer, serão publicadas em breve no Blog.

Cumps

Uma solução...

No primeiro conjunto de exercícios aqui apresentado, relativo à aula de acompanhamento de 19/10/2006, era pedido no primeiro ponto da secção VI que se dissesse se um famoso argumento de Bertrand Russell (1912) era um argumento ou uma explicação (supondo que seria um ou outro, mas não ambos). Visto que na aula se gerou algum interesse sobre as premissas e a conclusão do referido argumento, apresenta-se agora uma solução para esse tópico.

O argumento é o seguinte:

«Se nos for impossível ter a certeza acerca da existência dos objectos, não poderemos ter a certeza acerca da existência dos corpos das outras pessoas e, ao mesmo tempo, das suas mentes, já que as razões pelas quais nos é permitido acreditar na existência das suas mentes são aquelas que se derivam da observação dos seus respectivos corpos». Russell, B, Os Problemas da Filosofia, 1912.

A solução, que devemos ao Prof. João Branquinho, é a seguinte:

(Premissa 1) Não podemos estar certos acerca da existência de objectos.

(Premissa 2) Os corpos de outrém são objectos.

(Premissa 3) Não podemos estar certos acerca da existência de corpos de outrém.
(Segue-se de P1 e P2, é uma conclusão parcial do argumento)

(Premissa 4) Só podemos estar certos acerca da existência das mentes de outrém se pudermos estar certos acerca da existência dos seus corpos.

(Premissa 5) Não podemos estar certos acerca da existência das mentes de outros.
(Segue-se de P3 e P4, é uma conclusão parcial do argumento)

Conclusão: Não podemos estar certos nem acerca da existência dos corpos de outrém nem da existência das mentes de outrém.´

-----------

Foto de Bertrand Russell

Informações sobre este filósofo e a sua filosofia podem ser encontrados em:

http://plato.stanford.edu/entries/russell/

Cumprimentos

Mais algumas soluções...

Relativas aos exercícios da aula de 2 de Novembro - Que, por circunstâncias relativas ao funcionamento do curso, não puderam ser apresentados nessa aula.

Podem ser encontradas aqui em formato pdf .

Bom trabalho!

Mais exercícios

Os exercícios para a aula de 2 de Novembro estão aqui

Bom trabalho!

Algumas soluções...

Para quem estiver interessado, estão aqui as soluções dos exercícios apresentados na parte final da aula de acompanhamento de 19 de Outubro. (Não estão incluídas as soluções dos exercícios de validade sugeridos e resolvidos pelo Prof. Branquinho nessa aula) .

Cumps.

Exercícios para a aula de 19 de Outubro

Encontram-se aqui. Será dado tempo para resolvê-los na primeira parte da aula. As soluções serão vistas e discutidas com os alunos na segunda parte.

Bom trabalho!

Exercício - tópico: validade/invalidade

Já disponível um novo exercício. Encontra-se aqui.

(Relembra-se que o estudo da lógica exige treino regular)

Cumps.

Exercícios

Exercícios complementares podem ser obtidos aqui em formato pdf (se não consegue abrir e ver o ficheiro, obtenha aqui o plugin para poder visualizar ficheiros pdf). As soluções serão disponibilizadas em breve.

Cumps

Começo

Este blogue pretende funcionar como um recurso suplementar das aulas do curso de lógica dado pelo Prof. João Branquinho na FLUL neste 1º semestre 2006/07. Visa-se obter um espaço complementar à sala de aula – um espaço de trabalho, de informação, de troca de ideias e de discussão.

São bem-vindas dúvidas, informações, críticas, resoluções, etc. Devem todas ser enviadas para este E-Mail. Se forem consideradas pertinentes, serão publicadas.

O espaço obedece a algumas regras básicas de bem senso e boa educação. Todos podem comentar, mas não se tolerarão ofensas ou outros comportamentos impróprios, por exemplo, abusos de linguagem.

Relembra-se (ou nota-se pela primeira vez àqueles que não o sabem) que a argumentação válida e sólida é um precioso instrumento de trabalho, quer em filosofia quer noutras áreas de investigação e conhecimento. O estudo da lógica mostra-se pois, arrisco dizê-lo, condição necessária (embora não suficiente) para os filósofos –aprendizes ou veteranos – desenvolverem um bom trabalho, i.e., boa filosofia.

Deseja-se boa sorte a todos os alunos (eu incluído). Faz-se contudo também votos de bom trabalho, uma vez que é sabido que a sorte procura-se...

Cumprimentos,

Luís E. Rodrigues