===== ILAÇÃO =====
(lat. illatio; in. Illation; fr. Illation; it. Illazione).

Em Apuleio e [[lexico:b:boecio:start|Boécio]], [[lexico:e:esse:start|esse]] [[lexico:t:termo:start|termo]] traduz o estoico epiphora; indica a [[lexico:p:proposicao:start|proposição]] na qual se conclui um [[lexico:s:silogismo:start|silogismo]]. Esse termo desaparece na [[lexico:l:logica:start|lógica]] medieval, sendo substituído por conclusio, para reaparecer na idade [[lexico:m:moderna:start|moderna]] indicando a complexa [[lexico:o:operacao:start|operação]] mental-discursiva graças à qual se chega a estabelecer determinada proposição, ou essa mesma proposição.

Sinônimo de [[lexico:i:inferencia:start|inferência]] que, segundo Lalande, está desusado; porém [[lexico:n:nao:start|não]] o é nos estudos lógicos. Vide inferência.

Diz-se ilação imediata o [[lexico:a:ato:start|ato]] pelo qual a [[lexico:m:mente:start|mente]] de uma proposição afirma consequentemente outra por [[lexico:f:forca:start|força]] do [[lexico:n:nexo:start|nexo]] que há entre elas. Ao nexo chama-se [[lexico:c:consequencia:start|consequência]], o qual consiste no conter uma a outra. A consequência é imediata se não há um [[lexico:t:terceiro:start|terceiro]] termo, do contrário é mediata.

As ilações imediatas são de três classes: 1) Ilação por equipolencia. Nas proposições equipolentes ambas são simultaneamente verdadeiras ou simultaneamente falsas. Da [[lexico:v:verdade:start|verdade]] ou da [[lexico:f:falsidade:start|falsidade]] de uma, infere-se a verdade ou a falsidade da outra. Ex. de "nem todos os homens são sábios", infere-se imediatamente "alguns homens não são sábios"; 2) Ilação por [[lexico:c:conversao:start|conversão]]. Nesta, cada proposição tem [[lexico:s:significado:start|significado]] diverso, embora com os mesmos termos. As regras são as seguintes: Nas proposições [[lexico:s:simpliciter:start|simpliciter]] convertíveis (que é a conversão legítima), as proposições são ou simultaneamente verdadeiras ou simultaneamente falsas. Da verdade ou da falsidade de uma, infere-se a verdade ou a falsidade da outra. Ex.: "nenhum [[lexico:h:homem:start|homem]] é mineral, logo nenhum mineral é homem". Nas conversões [[lexico:p:por-acidente:start|por acidente]] ([[lexico:p:per-accidens:start|per accidens]]) da [[lexico:u:universal:start|universal]] vale a ilação da [[lexico:p:particular:start|particular]]; da verdade da universal infere-se a verdade da particular; da falsidade da particular infere-se a falsidade da universal, não porém da verdade da particular a verdade da universal. Assim "[[lexico:t:todo:start|todo]] homem é [[lexico:a:animal:start|animal]], logo algum animal (nem todo animal) é homem"; 3) A que se dá entre proposição de [[lexico:s:significacao:start|significação]] diversa com termos também diversos. A esta [[lexico:c:classe:start|classe]] pertence as ilações por [[lexico:o:oposicao:start|oposição]], a de [[lexico:p:predicado:start|predicado]] a predicado e a de [[lexico:s:sujeito:start|sujeito]] a sujeito, e a de [[lexico:m:modalidade:start|modalidade]].

Ilação de oposição é aquela que se verifica pela oposição. Da verdade da proposição infere-se a falsidade da contrária ou da contraditória; da falsidade da proposição, a verdade da contraditória.

Ilação de predicado a predicado sugere as seguintes regras: a) É válida a ilação afirmativa do termo inferior ao termo [[lexico:s:superior:start|superior]], não porém quanto à negativa. Assim: "Pedro é homem, logo é animal." Contudo, não é válido inferir: "Pedro não é mineral, logo não é [[lexico:s:substancia:start|substância]]."; b) É válida a ilação negativa do termo superior ao inferior, não porém a afirmativa. Assim: "mineral não é [[lexico:v:vivente:start|vivente]], logo não é animal." Contudo, não é válida inferência: "mineral é substância, logo é homem." ; c) É válida a ilação de predicado privativo ao [[lexico:n:negativo:start|negativo]]. Assim: "É cego, logo não vê", e não : "a pedra não vê, logo é cega."

Ilação de sujeito a sujeito que consiste em inferir de uma [[lexico:s:suposicao:start|suposição]] do sujeito a [[lexico:o:outro:start|outro]]: a) É válida a ilação, tanto afirmativa quanto negativa, de uma suposição distributiva à particular. Assim: "todo homem é substância, logo algum homem é substância." Não é válida a ilação de uma particular a uma universal; b) Não é válida a ilação ratione formae (segundo a [[lexico:r:razao:start|razão]] da [[lexico:f:forma:start|forma]]) só, porém, de uma suposição distributiva à coletiva e vice-versa, apenas quando é válida ratione materiae (em razão da [[lexico:m:materia:start|matéria]]). Assim: "todo o [[lexico:g:grupo:start|grupo]] realizou este itinerário, logo algum do grupo realizou esse itinerário." Não é válida: "cem anos são um século, logo algum ano é um século", porque o predicado refere-se à coletividade apenas.

Ilação de modalidade é a que decorre do nexo entre ato, [[lexico:p:potencia:start|potência]], [[lexico:n:necessidade:start|necessidade]]. O ato supõe apenas a potência; a necessidade supõe a potência e o ato; a potência, [[lexico:p:por-si:start|por si]] mesma, [[lexico:n:nada:start|nada]] supõe. É válida a ilação que [[lexico:p:parte:start|parte]] do [[lexico:s:ser:start|ser]] para o poder (do ato para a potência). Não o é a ilação do poder para o ser. É válida da potência para o [[lexico:a:agente:start|agente]] nas [[lexico:c:causas:start|causas]] necessárias, não nas causas livres.

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