===== DEMONSTRAÇÃO =====
(gr. [[lexico:a:apodeixis:start|apodeixis]]; lat. demonstratio; in. Demonstration; fr. Demonstration; al. Demonstration; it. Dimostrazione).

Em [[lexico:s:sentido:start|sentido]] [[lexico:e:estrito:start|estrito]] (1), é o [[lexico:r:raciocinio:start|raciocínio]] de premissas verdadeiras e certas, mediante o qual um [[lexico:o:objeto:start|objeto]], anteriormente discutível se torna conhecido [[lexico:n:nao:start|não]] só como logicamente conexo com elas, mas como [[lexico:v:verdadeiro:start|verdadeiro]] e certo. Em sentido mais amplo (2), recebe o [[lexico:n:nome:start|nome]] de demonstração toda [[lexico:o:operacao:start|operação]] mental que, por um [[lexico:m:metodo:start|método]] diferente do raciocínio, apresenta como certo ou [[lexico:p:provavel:start|provável]] um [[lexico:e:enunciado:start|enunciado]] ou objeto discutível. Verifica-se isto na passagem imediata de uma [[lexico:p:proposicao:start|proposição]] a outra (exemplos:  [[lexico:o:oposicao:start|oposição]], [[lexico:m:modalidade:start|modalidade]]) ou quando se mostra a [[lexico:e:evidencia:start|evidência]] imediata de uma proposição por [[lexico:m:meio:start|meio]] da [[lexico:a:analise:start|análise]] e comparação de [[lexico:c:conceitos:start|conceitos]]. Toda demonstração é uma fundamentação, na [[lexico:m:medida:start|medida]] em que por ela se indica a [[lexico:r:razao:start|razão]] ou [[lexico:f:fundamento:start|fundamento]] em que se apoia o [[lexico:a:assentimento:start|assentimento]] do [[lexico:e:entendimento:start|entendimento]] ao objeto. Só no caso de se dirigir a determinado adversário, é válido o argumentum [[lexico:a:ad-hominem:start|ad hominem]], que fundamenta um objeto partindo das pressuposições daquele. — Enquanto a demonstratio quia indica apenas a razão ou fundamento do [[lexico:c:conhecimento:start|conhecimento]], a demonstratio propter [[lexico:q:quid:start|quid]] dá também a conhecer a [[lexico:c:causa:start|causa]] da [[lexico:c:coisa:start|coisa]]. Quanto às restantes classes de demonstração: ([[lexico:d:demonstracao-indireta:start|demonstração indireta]], [[lexico:d:deducao:start|dedução]], [[lexico:i:inducao:start|indução]], [[lexico:a:a-priori:start|a priori]], [[lexico:a:a-posteriori:start|a posteriori]]). — Incorre no [[lexico:s:sofisma:start|sofisma]] [[lexico:c:chamado:start|chamado]] metabasis eis allo [[lexico:g:genos:start|genos]] ("passagem para [[lexico:o:outro:start|outro]] [[lexico:g:genero:start|gênero]]"), [[lexico:q:quem:start|quem]], numa demonstração, passa de um domínio logicamente fechado a outro, p. ex., da [[lexico:o:ordem:start|ordem]] da [[lexico:p:possibilidade:start|possibilidade]] à ordem da [[lexico:r:realidade:start|realidade]]. — Santeler.

Na [[lexico:t:teoria:start|teoria]] platônica, a demonstração é essencialmente a [[lexico:d:definicao:start|definição]], demonstra-se que uma coisa é [[lexico:o:o-que-e:start|o que é]] quando se torna patente que é essa coisa. Para [[lexico:a:aristoteles:start|Aristóteles]], a demonstração equivale a mostrar que algo é [[lexico:n:necessario:start|necessário]]. Por este [[lexico:m:motivo:start|motivo]], a demonstração é o [[lexico:p:processo:start|processo]] por meio do qual se manifestam os [[lexico:p:principios:start|princípios]] das [[lexico:c:coisas:start|coisas]] e, como processo, é [[lexico:s:superior:start|superior]] à [[lexico:s:simples:start|simples]] definição. O [[lexico:i:instrumento:start|instrumento]] mais [[lexico:a:apropriado:start|apropriado]] da demonstração é o [[lexico:s:silogismo:start|silogismo]] baseado no [[lexico:s:saber:start|saber]], cujas premissas são verdadeiras e, [[lexico:a:alem:start|além]] disso, imediatas. A teoria aristotélica da demonstração baseia-se, pois, numa busca das [[lexico:c:causas:start|causas]] pelas quais uma coisa é o que é, e permite descobrir , além disso, que não é [[lexico:p:possivel:start|possível]] que a coisa seja diferente daquela que é. Por isso, o [[lexico:e:estudo:start|estudo]] da demonstração equivale à [[lexico:i:investigacao:start|investigação]] sobre os princípios da [[lexico:c:ciencia:start|ciência]].

Os escolásticos aderiram em [[lexico:g:geral:start|geral]] à [[lexico:t:tese:start|tese]] segundo a qual a demonstração é uma [[lexico:a:argumentacao:start|argumentação]] mediante a qual se extrai uma conclusão de premissas certas. Portanto, a demonstração efetua-se também, como em Aristóteles, por meio do silogismo. Durante a [[lexico:e:epoca:start|época]] [[lexico:m:moderna:start|moderna]], propuseram-se muitos tipos de demonstração. Podem classificar-se em dois grupos: o [[lexico:t:tipo:start|tipo]] [[lexico:e:empirico:start|empírico]] e o tipo [[lexico:r:racional:start|racional]]. O primeiro efetua a demonstração pela passagem da [[lexico:o:observacao:start|observação]] do objeto [[lexico:s:singular:start|singular]] à sua [[lexico:i:ideia:start|ideia]] mental, a qual representa o [[lexico:m:modo:start|modo]] como a [[lexico:m:mente:start|mente]] reflete a “[[lexico:a:apresentacao:start|apresentação]]” da coisa. O segundo tende a basear qualquer demonstração na [[lexico:r:relacao:start|relação]] princípio-consequência, reduzindo inclusive a ela a relação causa-efeito.

O [[lexico:t:termo:start|termo]] demonstração e seu [[lexico:c:conceito:start|conceito]] (gr. apodeixis, lat. demonstratio) foram introduzidos na [[lexico:l:logica:start|Lógica]] por Aristóteles (Top., I, 100 a 27; An. post., I, 2 e passim) como silogismo que deduz uma conclusão de princípios primeiros e verdadeiros ou de outras proposições deduzidas silogisticamente de princípios primeiros e evidentes. Sua [[lexico:e:estrutura:start|estrutura]] [[lexico:f:formal:start|formal]] é a do silogismo; distingue-se, porém, do silogismo dialético porque, como dirão os lógicos medievais, facit scire, é demonstrativa da [[lexico:e:essencia:start|essência]] das coisas através do conhecimento das suas "causas". Substancialmente é [[lexico:e:esse:start|esse]] o conceito de demonstração que passou para a [[lexico:f:filosofia-moderna:start|filosofia moderna]]. Mas, enquanto do [[lexico:p:ponto:start|ponto]] de vista gnosiológico se acentuaram os [[lexico:c:caracteres:start|caracteres]] de [[lexico:n:necessidade:start|necessidade]] e evidência [[lexico:i:intuitiva:start|intuitiva]] da demonstração ([[lexico:d:descartes:start|Descartes]], [[lexico:k:kant:start|Kant]]), do ponto de vista [[lexico:l:logico:start|lógico]] evidenciou-se o [[lexico:c:carater:start|caráter]] de dedução formal a partir de premissas (Descartes, [[lexico:l:leibniz:start|Leibniz]]), o que distingue a demonstração (cujo tipo ou [[lexico:i:ideal:start|ideal]] continua sendo a demonstração [[lexico:m:matematica:start|matemática]]) de outros gêneros de [[lexico:p:prova:start|prova]]. Na Lógica contemporânea, o termo demonstração não é muito usado: em geral designa uma [[lexico:s:sequencia:start|sequência]] de enunciados tais que cada um deles é um enunciado [[lexico:p:primitivo:start|primitivo]] ou então é diretamente derivável de um ou mais enunciados que o precedem na sequência (Carnap, Logical Syntax of Language, § 10). Durante muito [[lexico:t:tempo:start|tempo]] a demonstração foi considerada a própria essência da ciência.

**A [[lexico:n:natureza:start|natureza]] da demonstração.**

Na trilha de Aristóteles, a [[lexico:f:filosofia:start|Filosofia]] tradicional conservou duas definições da demonstração: a primeira por sua causa final; a segunda, que se liga à precedente, por sua causa material ou por seus [[lexico:e:elementos:start|elementos]] constitutivos.

**Definição da causa final.**

A demonstração é essencialmente um silogismo, e um silogismo que conduz à ciência.

Demonstratio est syllogismus faciens scire.

É, portanto, a [[lexico:n:nocao:start|noção]] de ciência ou de "saber" que comanda a própria noção de demonstração. Ora, a ciência é definida de maneira geral, por Aristóteles, como o conhecimento pelas causas.

Scire est cognoscere causam propter quam res est, [[lexico:q:quod:start|quod]] hujus causa est, et nora potest aliter se habere.

Como essas são noções absolutamente essenciais ao [[lexico:a:aristotelismo:start|aristotelismo]], vamos voltar, com algumas precisões a mais, a estas definições da ciência e de seu instrumento [[lexico:p:proprio:start|próprio]], o [[lexico:s:silogismo-demonstrativo:start|silogismo demonstrativo]] (cf. Aristóteles, II Anal., I, C. 2, 71 b 9. Com. de [[lexico:t:tomas-de-aquino:start|Tomás de Aquino]], 1, 4, n. 2).

O termo ciência tomou entre os modernos um [[lexico:s:significado:start|significado]] ao mesmo tempo mais geral e mais [[lexico:v:vago:start|vago]]: poder-se-ia estendê-lo praticamente a [[lexico:t:todo:start|todo]] o conhecimento metódico, organizado e dotado de um [[lexico:g:grau:start|grau]] suficiente de [[lexico:c:certeza:start|certeza]]. Entre os antigos, scientia pode [[lexico:t:ter:start|ter]], às vezes, seu sentido ampliado, porém, em aristotelismo, deve-se restringi-lo, como já o dissemos, a um objeto muito mais limitado e preciso, o conhecimento pelas causas: "Estimamos possuir a ciência de uma coisa de uma maneira absoluta, e não à maneira dos [[lexico:s:sofistas:start|sofistas]], que é uma maneira puramente acidental, quando estamos certos de que conhecemos a causa pela qual a coisa é, quando sabemos que essa causa é a causa dessa coisa, e que além disto;, não é possível que a coisa seja diferente do que ela é.

De [[lexico:a:acordo:start|acordo]] com este [[lexico:t:texto:start|texto]], o [[lexico:c:conhecimento-cientifico:start|conhecimento científico]] supõe três condições: o conhecimento da causa; a [[lexico:p:percepcao:start|percepção]] de sua relação com o [[lexico:e:efeito:start|efeito]] ou de sua aplicação a este; e, consequentemente, a necessidade da coisa que se acha causada e que não pode [[lexico:s:ser:start|ser]] de outro modo senão como é.

Que é que se deve entender aqui exatamente pelo termo causa? Exatamente aquilo que, comumente, [[lexico:a:a-gente:start|a gente]] pensa quando [[lexico:f:fala:start|fala]] de causa! A causa é o que faz uma coisa [[lexico:e:existir:start|existir]], quod dat esse rei alterium, e isto acontece dentro das [[lexico:q:quatro:start|Quatro]] linhas clássicas de [[lexico:c:causalidade:start|causalidade]]. Se analisarmos o [[lexico:f:fato:start|fato]] mais detidamente, observaremos que a causa designa, em primeiro [[lexico:l:lugar:start|lugar]], um [[lexico:e:elemento:start|elemento]] [[lexico:o:ontologico:start|ontológico]] [[lexico:o:objetivo:start|objetivo]]: a causa é aquilo que faz ser. Considerada porém em sua relação com a [[lexico:i:inteligencia:start|inteligência]], a causa passa a ter, igualmente, [[lexico:v:valor:start|valor]] de razão explicativa. t; por isso que a causa intervém na demonstração: considera-se uma coisa demonstrada quando se percebe a razão de seu ser.

O caráter próprio desse conhecimento pela causa é o de poder-se chegar ao necessário. Segundo esta concepção, o [[lexico:c:contingente:start|contingente]] como tal, ou o mero provável, não figuram como objeto da ciência, que se vê muito restringido, por este fato. As ciências da natureza, em grande [[lexico:p:parte:start|parte]], também lhes escapam. Só resta, em seu conjunto, o domínio das matemáticas e, em um nível superior, o da [[lexico:m:metafisica:start|metafísica]].

Vê-se [[lexico:a:agora:start|agora]] porque o silogismo é o processo lógico que mais exatamente se proporciona à ciência. A ciência é o conhecimento pela razão de ser; ora, fazer um silogismo não é outra coisa senão justificar, por um termo médio [[lexico:e:explicativo:start|explicativo]], a dependência de um [[lexico:p:predicado:start|predicado]] a um [[lexico:s:sujeito:start|sujeito]], quer dizer, [[lexico:e:explicar:start|explicar]] pela causa. A ciência aristotélica será essencialmente composta de silogismos que chegam a conclusões necessárias, seguindo um processo de causalidade ao mesmo tempo metafísico e lógico.

**Definição pela causa material.**

Os elementos de que uma coisa é constituída dependem de seu [[lexico:f:fim:start|fim]]. Se uma casa é construída com tais materiais, é porque ela é destinada a nos abrigar das intempéries. A natureza dos elementos do silogismo demonstrativo acha-se do mesmo modo determinada por sua [[lexico:f:finalidade:start|finalidade]]: chegar a conclusões científicas ou necessárias. Donde, a definição de Aristóteles que explicita as condições de tal silogismo:

Demonstratio est syllogismus constans ex veris, primis, immediatis, prioribus, notioribus, causisque conclusionis.

Sem entrar na [[lexico:e:explicacao:start|explicação]] detalhada destas condições, que iremos reencontrar mais adiante digamos simplesmente que as três primeiras dentre elas, vens, primis, immediatis, se relacionam imediatamente com o caráter de [[lexico:v:verdade:start|verdade]] que deve ter o raciocínio demonstrativo, enquanto que as três últimas condições, prioribus, notioribus, causisque interessam à anterioridade das premissas sobre a conclusão.

**Os elementos da demonstração.**

O capítulo 1. dos II [[lexico:a:analiticos:start|Analíticos]] é consagrado ao estudo do que é necessário conhecer antes da demonstração, de proecognitis, e frequentemente Aristóteles volta a esse assunto neste livro. Antes de precisar com ele a natureza desse pré-conhecimento, observemos três coisas.

Pode-se tratar de pré-conhecimento seja dos elementos necessários para que haja demonstração (e é do que se tratará aqui), seja do pré-conhecimento da conclusão (a conclusão é virtualmente conhecida nos princípios antes de o ser atualmente no termo da demonstração).

Há dois modos possíveis de pré-conhecimento, como aliás de todo conhecimento: o pré-conhecimento da natureza de uma coisa, quid sit, e o de sua [[lexico:e:existencia:start|existência]] [[lexico:a:an-sit:start|an sit]] (quia est).

Como toda demonstração consiste em atribuir uma [[lexico:p:propriedade:start|propriedade]], [[lexico:p:passio:start|passio]] propria, a um sujeito, subjectum, por meio de premissas representando o papel de princípios, principia, dever-se-á colocar a [[lexico:q:questao:start|questão]] do pré-conhecimento relativamente a cada um desses elementos. Trataremos sucessivamente do pré-conhecimento do sujeito, da propriedade e dos princípios, depois relacionaremos com este [[lexico:u:ultimo:start|último]] ponto tudo o que Aristóteles disse dos princípios, nos Segundos Analíticos (Cf. Texto IX B, p. 209).

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}