Poucas ciências trabalham tanto com a mente quanto a Lógica. O autor não só explica em que ela consiste, como também percorre os seus meandros. Desvenda o que vem a ser inferência, dedução, indução e outras conceituações. Mostra, ainda, as diferenças entre a lógica clássica e a não-lógica, além de apresentar lógicas alternativas, como as polivalentes, a intuicionista e as relevantes.
Possui graduação em Filosofia (Licenciatura) pela Universidade Federal de Santa Catarina (1978), mestrado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (1982) e doutorado em Filosofia pela Eberhard-Karls-Universität Tübingen (1991). Atualmente é professor associado da Universidade Federal de Santa Catarina. Tem experiência na área de Filosofia, com ênfase em lógica modal e semântica de mundos possíveis.
