Uma lógica para alicerçar o erro experimental da física

Resumo

Neste artigo propomos um embasamento lógico para o erro experimental das medições feitas na física (ou em qualquer outra ciência que utilize medições), a partir de uma lógica destoante da clássica. Iniciamos fazendo uma breve exposição sobre a história do método físico, enfatizando a importância dos experimentos e das medições nesta ciência. Ato contínuo, enfatizamos a presença de erros em quaisquer medições feitas em qualquer experiência (erro que não se pode evitar, já que está ‘atrelado’ ao próprio aparelho que utilizamos para se fazer a medição, como veremos). Em sequência, mostramos como esse erro pode se tornar problemático quando visto a partir da teoria clássica de modelos, alicerçado na lógica clássica. A partir disso, propomos a utilização de uma lógica destoante da clássica para tratar deste problema: a chamada lógica paraclássica (que é um tipo de lógica paraconsistente). Apresentamos a contraparte formal, alguns teoremas e resultados desta lógica, e por fim mostramos como o ‘problema lógico’ do erro nos experimentos científicos pode ser melhor ‘contornado’ com o uso deste aparato formal não-clássico.