Engenharia Interface Ciencia Pratica

A Engenharia na Interface entre a Cincia e a Prtica
A Engenharia na
Interface entre a Cincia
e a Prtica
Tpicos
Fernando J. Von Zuben

vonzuben@dca.fee.unicamp.br
Departamento de Engenharia de Computao e
Automao Industrial
DCA/FEEC/Unicamp
Mtodo cientfico
Origem do conhecimento
Limite do conhecimento
Tipos de argumento
Tipos de teoria cientfica
Von Zuben, F. J. DCA/FEEC/Unicamp
No h desprezo mais profundo e mais

justificvel do que aquele dos homens que
fazem para com os homens que explicam.
Exposio, crtica e apreciao trabalho
para mentes de segunda categoria.
Nada mais prtico do que a teoria.

L. Boltzmann, fsico (1844-1906)
(faz todo o sentido)
Na prtica, a teoria outra.

Autor annimo
(no faz sentido algum)
G.H. Hardy
Qualquer um pode zangar-se isso fcil.

Mas zangar-se com a pessoa certa, na
medida certa, na hora certa, pelo motivo
certo e da maneira certa, no fcil.
Aristteles
Nos anos 30, o matemtico austraco Kurt

Gdel demonstrou que qualquer sistema formal
que seja consistente e suficientemente forte a
ponto de formalizar a aritmtica incompleto
no sentido de que sempre haver uma frmula
por ele derivada que no pode ser provada
como sendo verdadeira ou falsa pelo sistema
formal. Gdel inclusive mostrou como construir
esta frmula.
O que cincia?
O que cincia?
Conjunto de conhecimentos adquiridos ou

produzidos, historicamente acumulados,
dotados de universalidade e objetividade
que permitem sua transmisso, e
estruturados com mtodos e linguagens
prprias.
Objetivo: produzir conhecimento (buscar a
verdade).
O que engenharia?
Mtodo Cientfico
Arte de aplicar conhecimentos cientficos

e empricos e certas habilitaes
especficas criao de estruturas,
dispositivos e processos que conduzam
ao atendimento das necessidades
humanas.
Objetivo: dar utilidade ao conhecimento.
observe algum fenmeno do universo;

proponha uma descrio tentativa, ou seja, uma
hiptese, consistente com o fenmeno observado;
use a hiptese para realizar predies;
teste estas predies atravs de experimentos ou
novas observaes e modifique a hiptese com base
nos resultados do teste;
repita os passos 3 e 4 at que no haja mais
discrepncia entre teoria e experimento ou
observao.
teoria
Mtodo Cientfico
ausncia de
discrepncias
hipteses
predies
modificar hipteses
na presena de
discrepncias
testes
Uma verso bsica do mtodo cientfico pode

ser apresentada na forma:
Mtodo Cientfico (viso comum)
observaes
Os conhecimentos cientficos tm um grau

de certeza maior que os outros
conhecimentos (empricos).
Um cientista no busca o conhecimento
pela sua utilidade.
Quando a consistncia (ausncia de discrepncia)

obtida, a hiptese (ou conjunto de hipteses) se torna
uma teoria, a qual fornece um conjunto coerente de
proposies que explica uma classe de fenmenos do
universo.
Logo, uma teoria cientfica no aceita por causa do
prestgio ou poder de convencimento do seu
proponente, mas sim atravs de observaes e/ou
experimentos que podem ser reproduzidos por
qualquer pessoa interessada em valid-la (refut-la ou
aceit-la).
Teoria Cientfica
Teoria Cientfica
Codificao ou repositrio do
conhecimento cientfico
Contribuio de Popper: Toda teoria
cientfica refutvel. Se no for refutvel,
no cincia.
Popper forneceu um sentido rigoroso
para a testabilidade das teorias.
Thomas Kuhn: grande crtico de Popper. Segundo

ele, na prtica, as coisas no funcionam como
disse Popper. Deve-se levar em conta a psicologia
e a sociologia da cincia (ego e status dos
agentes de cincia).
A descoberta cientfica no pode ser
fundamentada na lgica.
Cincia como empreendimento humano.
Teoria Cientfica
Paradigma
Popper (perspectiva lgica) Kuhn

(perspectiva histrica)
diferente de Popper, Kuhn no acredita que
a nova teoria engloba as anteriores
o papel conservador do processo crtico
a revoluo cientfica irracional. coisa
de psicologia de massa.
Termo com o qual Thomas Kuhn designou

as realizaes cientficas (p. ex., a dinmica
de Newton ou a qumica de Lavoisier) que
geram modelos que, por perodo mais ou
menos longo e de modo mais ou menos
explcito, orientam o desenvolvimento
posterior das pesquisas exclusivamente na
busca da soluo para os problemas por
elas suscitados.
Teoria No-Cientfica (1) Teoria Cientfica (2)
1. a lua povoada por homens verdes

pequenos que podem ler a mente de
todos os terrqueos e iro se esconder
toda vez que um terrqueo estiver
observando a lua ou a explorando in
loco, a procura deles.
2. no h homens verdes pequenos na lua.
Teoria Cientfica Teoria No-Cientfica
Sendo assim, a afirmao de que a cincia no

pode incorporar nada que no tenha sido
provado, a qual representa uma crtica
freqente ao mtodo cientfico, no se aplica.
Trata-se de uma interpretao errnea do
mtodo cientfico.
A essncia do mtodo cientfico est no fato de
que a cincia no pode incorporar nada que
no admita ser refutado algum dia.
A navalha de Occam
(Occams razor)
Teoria Cientfica Teoria No-Cientfica
Fatos considerados impossveis no passado (assumindo

a irrefutabilidade das teorias cientficas ento em vigor)
e que hoje representam uma realidade certamente
levaram ao abandono de muitas teorias cientficas. Mas
em virtude da natureza refutvel das teorias cientficas,
esta realidade de hoje em nenhum momento pde ser
considerada uma impossibilidade pela prpria cincia.
H uma clara distino, portanto, entre aquilo que hoje
no pode ser refutado (que sustenta as teorias
cientficas que esto em evidncia) e aquilo que nunca
pde nem poder ser refutado (que nunca poder
sustentar nenhuma teoria cientfica).
A navalha de Occam
(Occams razor)
A navalha de Occam
(Occams razor)
Uma ferramenta adequada a esta funo a navalha de Occam, a

qual representa um princpio proposto pelo frei franciscano William
of Occam, no sculo XIV. Occam era um vilarejo no condado
ingls de Surrey, onde ele nasceu.
Trata-se do princpio (lei, regra) da parcimnia ou simplicidade,
que pode ser expresso de variadas formas (todas igualmente
simples!):
Pluralitas non est ponenda sine neccesitate. ou Frustra fit per plura quod
potest fieri per pauciora. ou Entia non sunt multiplicanda praeter necessitatem.
que significa Entidades no devem ser multiplicadas desnecessariamente.

Verso para cientistas: quando existem 2 ou mais teorias concorrentes e que
realizam exatamente as mesmas predies, a mais simples dentre elas deve
ser a escolhida, at que evidncias adicionais permitam estabelecer uma
comparao mais abrangente entre elas.
As explicaes mais simples para algum fenmeno tm maior probabilidade de
estarem corretas do que as explicaes mais complicadas. Sendo assim, se
voc tiver 2 solues igualmente aceitveis para um problema, fique com a
mais simples.
Repare que a navalha de Occam no garante

que a teoria mais simples a mais correta, ela
apenas estabelece prioridades de escolha.
Portanto, a navalha de Occam no pode ser
tomada como um axioma ou lei, mas apenas
como uma regra geral ou heurstica.
Este princpio no substitui a lgica ou o
mtodo cientfico, j que ele nunca pode ser
usado para fundamentar uma concluso. Quem
pode fundamentar uma concluso so a
consistncia lgica e a evidncia emprica.
O Sucesso da Cincia
Mesmo na presena de um elenco padronizado

e unificado de testes eficazes, muitas hipteses
fundamentadas em assunes contraditrias
podem permanecer consistentes frente aos
testes realizados, fornecendo as mesmas
predies.
Sob estas condies, a escolha por uma dentre
as teorias resultantes da aplicao do mtodo
cientfico deve recorrer a um critrio que as
diferencie em algum aspecto significativo.
As questes do limite da cincia
Argumento Darwiniano: Somente as boas

teorias cientficas sobrevivem.
A cincia como um todo, em suas
sofisticadas relaes inter-tericas e com
a experincia, seus mtodos e sua
evoluo histrica, um empreendimento
bem sucedido.
Existem coisas ainda desconhecidas pela

cincia?
Existem coisas que no podem ser
conhecidas pela cincia?
Existem leis ainda desconhecidas pela
cincia?
Existem leis que no podem ser
conhecidas?
Dois grandes problemas da

epistemologia
Origem: o conhecimento adquirido por

quais processos e em que ele se
fundamenta?
Limite: quais as coisas que podem ser
conhecidas e quais as que no podem?
Empirismo Racionalismo
Experincia Razo
Empirismo: sustenta que o conhecimento se baseia e

se adquire atravs do que se apreende pelos sentidos.
Admite-se, alm dos sentidos "externos" (viso,
audio, tato, olfato e paladar) a participao de um
sentido "interno" (introspeco), que nos informa
acerca de nossos sentimentos, estados de conscincia
e memria. Como quase toda doutrina filosfica, o
empirismo encontra razes na Grcia Antiga; ganhou
novo mpeto com a revoluo cientfica do sculo 17, e
seus principais defensores no perodo moderno foram
Locke, Berkeley e Hume.
Racionalismo: considera que as fontes do

verdadeiro conhecimento encontram-se
no na experincia, mas na razo. Como
no caso do empirismo, tambm essa
doutrina j era defendida entre os
gregos; na era moderna, seus principais
expoentes foram Descartes e Leibniz.
possvel manter uma posio empirista

acerca de determinado tipo de
conhecimento e racionalista acerca de
outro?
Plato: a observao do mundo incapaz de

conduzir a idias puras;
Aristteles: a observao do mundo capaz de
conduzir a idias puras (experincia,
empirismo)
Galileo conduziu a humanidade a uma nova
forma de interpretar as nossas prprias
experincias; fim das concluses ingnuas.
ao contrrio do que muitos dizem, Galileo no

refuta o pensamento aristotlico, pois este j
estava baseado no empirismo, o qual
reforado.
Galileo apresentou a nova teoria da mecnica.
O principal na doutrina de Galileo no est na
experincia, mas na introduo da matemtica
na argumentao.
Astronomia de Ptolomeu: Terra no centro
Astronomia de Coprnico: Terra se move
O cartesianismo veio suprir a lacuna que

passou a existir entre sabedoria e cincia,
perante a constatao de que o universo
ilimitado e que o nvel de sabedoria da
humanidade era incapaz de conduzir
explicao das novas descobertas cientficas do
perodo renascentista.
Era necessrio adotar um novo paradigma em
substituio ao paradigma aristotlico, que
prevaleceu por cerca de 2000 anos.
Mas creio que para [conhecer a verdadeira natureza do

mundo visvel] no seja preciso que desde o incio
consideremos todos [os fenmenos], mas que melhor
tratarmos de encontrar as causas dos mais gerais, que
propus aqui, a fim de ver se posteriormente dessas
mesmas causas podemos tambm deduzir todos os
outros mais particulares que no levamos em conta ao
procurar essas causas. Pois se isso ocorrer, constituir
um argumento muito forte para nos assegurar que
estamos no caminho verdadeiro.
Descartes (Principes)
necessrio imitar os viajantes que, achando-se perdidos em

alguma floresta, no devem ficar perambulando de um lado para
outro, e menos ainda ficar parados num lugar, mas andar sempre
o mais reto que puderem, na mesma direo, e no a modificar
por razes insignificantes, mesmo que talvez, no incio, tenha
sido apenas o acaso que lhes tenha determinado a escolha: pois,
desse modo, se no vo exatamente onde desejam, ao menos
acabaro chegando a algum lugar, onde possivelmente estaro
melhor do que no meio de uma floresta. E assim, como as aes
da vida freqentemente no suportam nenhum adiamento,
uma verdade muito certa que, quando no est em nosso poder
discernir as opinies mais verdadeiras, devemos seguir as mais
provveis. E, ainda que no notemos mais probabilidades numas
que nas outras, mesmo assim devemos nos determinar por
algumas, e consider-las depois, no mais como duvidosas, no
que diz respeito prtica, mas como verdadeiras e certas,
porque a razo que a isso nos determinou o .
Descartes (Discurso do Mtodo)
Limite do Conhecimento
Empirismo e Cincia Moderna
Paradigma aristotlico: perspectiva qualitativa,

descritiva e classificatria, de inteno
contemplativa, e baseada na idia de que o
mundo forma uma totalidade finita, ordenada,
em que todas as coisas tm um lugar definido.
Paradigma cartesiano: rompimento com a
antiga imagem do mundo e com hbitos de
pensamentos vigentes, perspectiva quantitativa,
matemtica e voltada para a aplicao. O
mundo passa a ser visto como uma imensa
mquina.
A cincia moderna ofereceu suporte

posio empirista, atribuindo um papel
fundamental experimentao.
A cincia moderna tambm indicou
inconsistncias junto a abordagens
racionalistas (experimentos de Descartes
sobre a inrcia)
(sob uma perspectiva empirista)
Os limites do conhecimento dependem do

alcance dos sentidos, de modo que a
razo no est na base do conhecimento,
mas sim na elaborao do material
coletado.
Fenmeno: aquilo que diretamente
perceptvel.
Limite dos Sentidos
Tipos de Teorias Cientficas
1. Localizao espao-temporal do objeto:
no se tem acesso ao passado e ao futuro

no se percebe aquilo que est fora do
alcance dos sentidos
2. Atributos do objeto:
Tamanho
Energia
Comprimento de onda
Limite do Conhecimento
(sob uma perspectiva fenomenolgica)
Derivam dos limites sensoriais do tipo 1;

Dificuldade com a fundamentao das proposies
gerais (ns no inspecionamos todos os lugares do
universo em todos os instantes de tempo).
(sob uma perspectiva construtiva)
derivam dos limites sensoriais do tipo 2 (ns no

vemos, apalpamos, etc. certos objetos postulados como
existentes, como eltrons, campos magnticos, etc.)
Cincia e limite do conhecimento
O realismo cientfico afirma que a cincia

tem como transcender os limites do
conhecimento.
O anti-realismo cientfico diz que no.
possvel ser realista em relao a uma
classe ou classes de objetos e antirealista em relao a outras?
Realismo Cientfico
Fenomenolgica: referem-se a propriedades e

relaes empiricamente acessveis entre os
fenmenos (termodinmica, teoria da seleo
natural)
Construtiva ou Explicativas: envolvem
proposies referentes a entidades e processos
inacessveis observao direta, que so
postulados com o objetivo de explicar os
fenmenos (mecnica quntica, gentica
molecular, mecnica estatstica)
Anti-Realismo Cientfico
Doutrina segundo a qual as proposies

sobre os objetos da classe em disputa
possuem um valor de verdade objetivo.
So verdadeiras ou falsas em virtude de
uma realidade que existe
independentemente de ns.
Doutrina que questiona a possibilidade do

conhecimento das entidades e processos inobservveis
postulados pelas teorias cientficas.
Recebe vrias denominaes, dependendo de como a
tese do realismo cientfico negada: instrumentalismo,
redutivismo, empirismo construtivo, relativismo, etc.
As posies anti-realistas por vezes recebem nomes
especiais, de acordo com a classe de objetos em
questo. Assim, o anti-realismo com relao s
entidades matemticas conhecido por construtivismo;
com relao aos objetos materiais ordinrios por
fenomenalismo.
Preo do Anti-Realismo Cientfico
A cincia estaria restrita s

teorias fenomenolgicas e teria
apenas um papel descritivo.
Conseqncias do Realismo Cientfico
o conhecimento cientfico pode avanar

alm dos limites do que diretamente
observvel.
Usar aparelhos
Realizar inferncias
Tipos de argumento
Tipos de argumento
Sentena: seqncia de smbolos com significado.
Deduo
Induo
Abduo
Interrogativas;
Exclamativas;
Imperativas;
Declarativas.
D1
D2
Premissas
D3
__________________
D4
Concluso
Argumentos
Proposio ou enunciado: aquilo que uma sentena

declarativa afirma.
Argumento: seqncia de proposies tais que a ltima
(concluso) , de alguma forma, justificada pelas
anteriores (premissas).
Dedutivos;
Indutivos;
Abdutivos
Inferncia Dedutiva
Lgica Proposicional
Tabela Verdade
AB
V
A concluso segue logicamente das

premissas (est contida nas premissas).
Portanto, a concluso ou juzo geral
lgico.
No acrescenta conhecimento novo;
De argumentos logicamente vlidos se
chega a argumentos logicamente vlidos.
Silogismo aristotlico.
Inferncia Indutiva
Inferncia Indutiva
De juzos (enunciados) particulares se chega a um juzo

(enunciado) geral.
A concluso no segue logicamente das premissas (no
est contida nas premissas). Portanto, a concluso ou
juzo geral no lgico.
Acrescenta conhecimento novo (generalizao).
A concluso necessariamente consiste na extenso
uniforme da evidncia.
na prtica, todo o nosso comportamento se baseia na

induo, pois atravs dela que ganhamos capacidade de
prever o futuro.
muitos acreditam que o papel da induo levar
descoberta. Outros afirmam que a induo leva a justificar o
juzo (a crena).
Hume no aceita que a induo seja usada para justificar,
porque leva a um raciocnio circular (pela experincia).
o Princpio da Unicidade da Natureza (PUN) um dogma da
cincia. Ele sustenta que o futuro vai ser igual ao passado.
mas o PUN no justificvel pela experincia, pois ao tentar
buscar esta justificativa, recorre-se ao PUN, gerando um
raciocnio circular.
Inferncia Abdutiva
Inferncia Abdutiva
postular hipteses
escolher a melhor (por exemplo, de
acordo com o poder explicativo)
postular uma ligao entre poder
explicativo e verdade
Deduo, Induo, Abduo
De modo simplificado, o esquema geral dos

argumentos abdutivos, tais quais aparecem nas
discusses contemporneas, consiste no enunciado de
uma evidncia (um fato ou conjunto de fatos), de
hipteses alternativas para explicar tal evidncia, e de
uma apreciao do valor dessas explicaes.
A concluso a de que a melhor explicao
provavelmente verdadeira se, alm de
comparativamente superior s demais, for boa em
algum sentido absoluto.
Logo, os argumentos indutivos podem ser entendidos
como casos especiais de argumentos abdutivos.
A: Todos os gizes da caixa so brancos.

B: Todos os gizes da mesa vieram da
caixa.
C: Todos os gizes da mesa so brancos.
Deduo: (A & B) C
Induo: (B & C) A
Abduo: (A & C) -> B
Induo Deduo
Este cisne branco.
Este cisne branco.
Este cisne branco.
Este cisne branco.
Este cisne branco.
Induo:
Todo cisne branco.
Este cisne branco.

Este cisne branco.
Este cisne branco.
:
:
:
Este cisne no branco
Deduo:
~( Todo cisne branco.)
Popper
Legitimidade Epistmica da
Inferncia Abdutiva
Justificando o Realismo
Cientfico
Problemas:
subjetividade
dependncia contextual
como optar entre alternativas de igual
poder explicativo?
conflito com os cnones do empirismo
(adequao emprica da melhor
explicao e no a busca da verdade)
Argumento da Coincidncia
Csmica
Consideraes finais
se uma teoria prediz corretamente uma grande

quantidade e variedade de fenmenos,
improvvel que seja falsa acerca do mundo
sub-fenomnico de que suas predies
empricas dependem.
Se as entidades no-observveis postuladas
pela teoria no existissem, e se o que a teoria
diz sobre elas no fosse aproximadamente
verdadeiro, somente uma coincidncia de
propores csmicas poderia explicar seu
sucesso emprico.
Necessidade de um procedimento para se

determinar o mrito relativo dos argumentos.
O realismo cientfico uma tese sobre a
extenso do conhecimento, adicional ao
empirismo propriamente considerado, e que
dele no decorre necessariamente.
A certeza no seria ento condio necessria
para o conhecimento. grau de segurana
A adequao emprica pode, em contraste com
a verdade, constituir objeto genuno de
comprometimento epistmico.
Referncias Bibliogrficas
Mtodo Cientfico (viso comum)

teoria
ausncia de
discrepncias
observaes
a questo da antecipao terica

de uma observao ainda no
realizada um dos pontos mais
empregados para justificar a
eficcia do realismo cientfico.
hipteses
predies
Boa parte do presente material est baseado em textos e

palestras proferidas por Slvio S. Chibeni
(http://www.unicamp.br/~chibeni/)
Moroni, A., Manzolli, J., Von Zuben, F.J. Artificial
abduction: A cumulative evolutionary process. Semiotica,
Special Issue Abduction: Between subjectivity and
objectivity, vol. 153, nos. 1-4, pp. 343-362, 2005.
modificar hipteses
na presena de
discrepncias
testes
10

Engenharia Interface Ciencia Pratica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Engenharia Interface Ciencia Pratica

Enviado por

Direitos autorais:

Formatos disponíveis

A Engenharia na Interface entre a Cincia e a Prtica

Fernando J. Von Zuben

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

No h desprezo mais profundo e mais

Nada mais prtico do que a teoria.

Na prtica, a teoria outra.

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Qualquer um pode zangar-se isso fcil.

Von Zuben, F. J. DCA/FEEC/Unicamp

Nos anos 30, o matemtico austraco Kurt

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Conjunto de conhecimentos adquiridos ou

Von Zuben, F. J. DCA/FEEC/Unicamp

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Arte de aplicar conhecimentos cientficos

observe algum fenmeno do universo;

Von Zuben, F. J. DCA/FEEC/Unicamp

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Uma verso bsica do mtodo cientfico pode

Mtodo Cientfico (viso comum)

Os conhecimentos cientficos tm um grau

Von Zuben, F. J. DCA/FEEC/Unicamp

Quando a consistncia (ausncia de discrepncia)

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Thomas Kuhn: grande crtico de Popper. Segundo

Von Zuben, F. J. DCA/FEEC/Unicamp

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Popper (perspectiva lgica) Kuhn

Termo com o qual Thomas Kuhn designou

Von Zuben, F. J. DCA/FEEC/Unicamp

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Teoria No-Cientfica (1) Teoria Cientfica (2)

1. a lua povoada por homens verdes

Teoria Cientfica Teoria No-Cientfica

Sendo assim, a afirmao de que a cincia no

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Teoria Cientfica Teoria No-Cientfica

Fatos considerados impossveis no passado (assumindo

Von Zuben, F. J. DCA/FEEC/Unicamp

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica

A Engenharia na Interface entre a Cincia e a Prtica

Uma ferramenta adequada a esta funo a navalha de Occam, a

que significa Entidades no devem ser multiplicadas desnecessariamente.

Repare que a navalha de Occam no garante

Von Zuben, F. J. DCA/FEEC/Unicamp

Von Zuben, F. J. DCA/FEEC/Unicamp

A Engenharia na Interface entre a Cincia e a Prtica