Ao fazer uma pesquisa no site do Desidério Murcho, encontrei algum software que pode interessar quem quer dar uns passos de lógica. Engracei-me principalmente com o Tree proof generator, um programa que permite testar a validade de argumentos formais. Um óptimo auxiliar para professores prepararem exercícios para as aulas. O Tableau III é um pouco mais elaborado e permite não só conhecer as regras de diferentes níveis de aplicação da lógica bem como construir árvores semânticas. O Tableau III é disponibilizado pela Faculdade de Filosofia da Universidade de Oxford. No site encontrará tutoriais e instruções de uso muito completas. Duas ferramentas a explorar.
Ligações: Tree Proof Generator
Tableau III
7 de agosto de 2008 ⋅ Blog
Subscrever:
Enviar feedback
(
Atom
)
Arquivo
-
▼
2008
(208)
-
▼
Agosto
(49)
- Livros novos
- Factivo, facticidade, factício e factitivo
- Nova Crítica igual
- Autocontradição, auto-refutação e paradoxo
- Julian Baggini
- Thomas Nagel
- Imre Lakatos
- D. H. Mellor
- Ética pela rádio
- Orwell dia a dia
- Loren Lomasky
- A possibilidade da metafísica
- Naturalismo, matemática e Reichenbach
- D. H. Mellor
- Crença, conhecimento e justificação
- J. S. Mill
- Subjectividades
- Humor e filosofia
- É a democracia defensável?
- Humor
- Brand Blanshard
- O carcereiro libertário
- Retórica e argumentação no início do século XXI
- Uma confusão comum
- George Orwell
- Pragmatismo, de Christopher Hookway
- Introdução à Estética, de George Dickie
- Introdução à metafísica
- O valor da filosofia
- Filosofia da música 2
- Filosofia da música
- E. J. Lowe: "The Possibility of Metaphysics"
- O som da música e o sabor das hóstias
- Lógica de Aristóteles e lógica aristotélica
- Natureza da metafísica
- Pós-modernismo e fistfucking
- George Orwell
- O que é uma análise?
- Oops...
- Ontologia contingente, cinema e sexo
- Wishful thinking
- Mestres e discípulos
- É importante divulgar
- Divulgação
- Heidegger, José Mourinho e o Todo (Gato Fedorento)
- Ferramentas para exercícios de lógica
- Ensinar filosofia: Portugal e Brasil
- Tradução de «supervenience»
- Bem-vindo ao blog!
-
▼
Agosto
(49)
2 comentários :
A págnina de João Branquinho http://pwp.netcabo.pt/0154943702/ tb contem alguns links de programas de lógica interessantes. Me diverti com o Logic Coach
Caro Matheus,
Obrigado por lembrar pois é uma boa referência.
Abraço
Enviar um comentário