Com grande clareza, aqui se expõem os caminhos da ciência da Lógica e se precisam os contributos sucessivos dos filósofos e dos matemáticos: a Antiguidade, com Aristóteles, a Idade Média com Abelardo e Guilherme de Occam, o período depois de meados do séc. XIX, com a lógica matemática e a lógica simbólica. O estudo dos sistemas é conduzido até aos nossos dias e inclui uma apresentação das teorias de Frege, Russel, Carnap, Quine e Tarski, bem como de Gödel, Brouwer ou ainda Gentzen.
Sinopse
Com grande clareza, aqui se expõem os caminhos da ciência da Lógica e se precisam os contributos sucessivos dos filósofos e dos matemáticos: a Antiguidade, com Aristóteles, a Idade Média com Abelardo e Guilherme de Occam, o período depois de meados do séc. XIX, com a lógica matemática e a lógica simbólica. O estudo dos sistemas é conduzido até aos nossos dias e inclui uma apresentação das teorias de Frege, Russel, Carnap, Quine e Tarski, bem como de Gödel, Brouwer ou ainda Gentzen.Ficha Técnica
- Actualmente 0 estrelas
- 1
- 2
- 3
- 4
- 5
(0 comentários dos leitores)