We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Do mesmo modo, a regradeinferência se liga a pequenas decisões que escapam de sua formulação abstrata.
2
Nessas últimas, as premissas e regrasdeinferência estão estipuladas desde o início.
3
Ele começou considerando qualquer conjunto consistente de regrasdeinferência.
4
Para qualquer conjunto de regrasdeinferência, existem provas válidas não designadas como válidas por essas regras.
5
Mas quais regrasdeinferência devemos usar?
6
Desta vez a consistência teria de ser provada, usando um método de prova que por si mesmo seguisse as mesmas regrasdeinferência.
7
Suponha que alguns críticos façam objeção às nossas regrasdeinferência porque acham que nossos símbolos se comportarão de modo diferente das entidades abstratas.
8
É a intuição de que a prova é um tipo especial de objeto, ou seja, uma sequência de declarações que obedecem a regrasdeinferência.
9
Logo, num certo sentido, toda a argumentação é condicional: podemos sempre pôr em causa, em princípio, as premissas ou as regrasdeinferência (ou ambas).
10
As mesmas considerações aplicam-se à intuição de que deve existir uma quantidade finita de regrasdeinferência e de que elas devem ser "diretamente aplicáveis".