===== INTENSÃO =====
(in. Intension and extension; fr. Intension et extension; al. Sinn und Bedeutung; it. Intensione e estensioné).

Este par de termos foi introduzido por [[lexico:l:leibniz:start|Leibniz]], para expressar a [[lexico:d:distincao:start|distinção]] que a [[lexico:l:logica:start|lógica]] de [[lexico:p:port-royal:start|Port-Royal]] expressara com o par compreensão-extensão e a lógica de [[lexico:s:stuart-mill:start|Stuart Mill]] expressara com o par conotação-denotação. Leibniz diz.- "[[lexico:a:animal:start|animal]] compreende mais indivíduos que [[lexico:h:homem:start|homem]], mas homem compreende mais [[lexico:i:ideias:start|ideias]] e mais formas; um tem mais exemplos, o [[lexico:o:outro:start|outro]] mais graus de [[lexico:r:realidade:start|realidade]]; um tem mais [[lexico:e:extensao:start|extensão]], o outro tem mais intensão" (Nouv. ess., IV, 17, § 9). O emprego destes dois termos foi adotado por Hamilton: "A [[lexico:q:quantidade:start|quantidade]] interna de uma [[lexico:n:nocao:start|noção]], sua intensão ou [[lexico:c:compreensao:start|compreensão]], é constituída por diferentes atributos cuja [[lexico:s:soma:start|soma]] é o [[lexico:c:conceito:start|conceito]], no [[lexico:s:sentido:start|sentido]] de que este reúne os vários [[lexico:c:caracteres:start|caracteres]] conexos num [[lexico:t:todo:start|todo]] pensado. A quantidade externa de uma noção, ou a sua extensão, é constituída pelo [[lexico:n:numero:start|número]] de objetos que são pensados mediatamente através do conceito" (Lectures on Logic, 2a ed., 1866, 1, p. 142). O [[lexico:u:uso:start|uso]] desses dois termos ainda prevalece na lógica contemporânea, que os associou à distinção estabelecida por Frege entre sentido e [[lexico:s:significado:start|significado]]. Frege disse: "Ao pensarmos num [[lexico:s:signo:start|signo]], deveremos ligar a ele duas [[lexico:c:coisas:start|coisas]] distintas: [[lexico:n:nao:start|não]] só o [[lexico:o:objeto:start|objeto]] [[lexico:d:designado:start|designado]], que será denominado significado daquele signo, mas também o sentido ao signo, que denota a maneira como [[lexico:e:esse:start|esse]] objeto nos é [[lexico:d:dado:start|dado]]" ("Über Sinn und Bedeutung", 1892, § 1, trad. it., em [[lexico:a:aritmetica:start|Aritmética]] e lógica, p. 218). Obviamente, o objeto é a extensão; o sentido é a intensão. Essa distinção é repetida ou pressuposta por quase toda a lógica contemporânea.

A intensão de um [[lexico:t:termo:start|termo]] é definida por Lewis como "a conjunção de todos os outros termos, cada um dos quais deve [[lexico:s:ser:start|ser]] aplicável àquilo a que o termo é corretamente aplicável". Nesse sentido, a intensão (ou [[lexico:c:conotacao:start|conotação]]) é delimitada por toda [[lexico:d:definicao:start|definição]] correta do termo e representa a [[lexico:i:intencao:start|intenção]] de [[lexico:q:quem:start|quem]] o emprega, por isso o significado primeiro de "significado". A extensão ou [[lexico:d:denotacao:start|denotação]] de um termo, porém, é a [[lexico:c:classe:start|classe]] das [[lexico:c:coisas-reais:start|coisas reais]] às quais o termo se aplica (Lewis, Analysis of Knowledge and Valuation, 1950, p. 39-41). As mesmas determinações são feitas por Quine: a intensão é o significado; a extensão é a classe das entidades às quais o termo pode ser atribuído com [[lexico:v:verdade:start|verdade]] (From a Logical Point of View, II, 1).

Analogamente são usados os adjetivos [[lexico:i:intensional:start|intensional]] e [[lexico:e:extensional:start|extensional]], este [[lexico:u:ultimo:start|último]] é aplicado a pontos de vista que tomam em consideração a denotação das proposições, sem levar em conta, sempre que [[lexico:p:possivel:start|possível]], seus significados intensionais. Por outro lado, o [[lexico:a:adjetivo:start|adjetivo]] intensional, sobretudo se aplicado ao [[lexico:c:calculo:start|cálculo]] das proposições ou das funções proposicionais, significa que se toma em consideração a [[lexico:m:modalidade:start|modalidade]] das proposições, que não são levadas em conta pela consideração extensional, que se limita a examinar as funções de verdade das próprias proposições (Carnap, Logical Syntax of Language, § 67; [[lexico:r:russell:start|Russell]], Inquiry into Meaning and Truth, 1940, cap. 19) (v. [[lexico:t:tese:start|tese]] da estensionalidade).

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