O teorema da interpolação de Craig e a dispensabilidade das entidades teóricas Ideia geral da parte final, que ficou pouco clara:

Entidades teóricas e observáveis nas teorias científicas Referências

Lógica e Reducionismo – Parte II Referências e Errata

Lógica e Reducionismo – Parte I Referências e Errata

Entramos em recesso até o próximo período letivo.

Teoria da Decisão: Risco

Teoria da Decisão: Ignorância

Teoria da Decisão: Introdução

Formalismos: Análise, comparação e aplicações – Parte III A lógica trivalente de Łukasiewicz, uma solução ao determinismo lógico No sentido amplo da palavra, o determinismo é a tese que tudo o que existe ou acontece não pode não acontecer, isto é, tudo existe ou acontece por necessidade. O Princípio da Bivalência diz que só o…

Formalismos: Análise, comparação e aplicações – Parte II Referências A questão sobre quais das noções da lógica simbólica devem ser tomadas como indefiníveis, e quais das proposições como indemonstráveis, é, como o Professor Peano insistiu, até certo ponto arbitrária. Mas é importante estabelecer todas as relações mútuas entre as noções mais simples da lógica, e…