===== DEDUÇÃO ===== gr. syllogismos; lat. deductio VIDE [[lexico:s:silogismo:start|silogismo]] O [[lexico:r:raciocinio:start|raciocínio]] rigoroso que consiste em aplicar um [[lexico:p:principio:start|princípio]] [[lexico:g:geral:start|geral]] a um caso [[lexico:p:particular:start|particular]]. — O silogismo oferece excelente [[lexico:i:ilustracao:start|ilustração]] da dedução: "[[lexico:t:todo:start|todo]] [[lexico:h:homem:start|homem]] é mortal" ora, [[lexico:s:socrates:start|Sócrates]] é um homem, logo Sócrates é mortal; Nas ciências experimentais, a dedução consiste na [[lexico:v:verificacao:start|verificação]] de uma [[lexico:h:hipotese:start|hipótese]] geral sobre o maior [[lexico:n:numero:start|número]] [[lexico:p:possivel:start|possível]] de observações particulares, e opõe-se à [[lexico:i:inducao:start|indução]]: a dedução é portanto aqui uma "verificação [[lexico:e:experimental:start|experimental]]". Em [[lexico:f:filosofia:start|Filosofia]], a "[[lexico:d:deducao-transcendental:start|dedução transcendental]]" de [[lexico:k:kant:start|Kant]], na [[lexico:c:critica-da-razao-pura:start|Crítica da razão pura]], consiste na dedução dos [[lexico:p:principios:start|princípios]] gerais da [[lexico:c:ciencia:start|ciência]] (de Newton) a partir das estruturas elementares do [[lexico:e:espirito:start|espírito]], ou "[[lexico:c:categorias:start|categorias]]", que a [[lexico:r:reflexao:start|reflexão]] filosófica descobre em nós antes de qualquer [[lexico:e:experiencia:start|experiência]]. (gr. syllogismos; lat. Deductio; in. Deduction; fr. Deduction; al. Deduction; it. Deduzione). [[lexico:r:relacao:start|Relação]] pela qual uma conclusão deriva de uma ou mais premissas. Na [[lexico:h:historia-da-filosofia:start|história da filosofia]], essa relação foi interpretada e fundamentada de várias maneiras. Podem-se distinguir três interpretações principais: 1) a que a considera fundada na [[lexico:e:essencia:start|essência]] necessária ou [[lexico:s:substancia:start|substância]] dos objetos a que se referem as proposições; 2) a que a considera fundada na [[lexico:e:evidencia:start|evidência]] [[lexico:s:sensivel:start|sensível]] que tais objetos apresentam; 3) a que nega que essa relação tenha um [[lexico:u:unico:start|único]] [[lexico:f:fundamento:start|fundamento]] e a considera decorrente de regras cujo [[lexico:u:uso:start|uso]] pode [[lexico:s:ser:start|ser]] [[lexico:o:objeto:start|objeto]] de [[lexico:a:acordo:start|acordo]]. A [[lexico:i:interpretacao:start|interpretação]] tradicional de dedução como "o [[lexico:f:fato:start|fato]] de o particular derivar do [[lexico:u:universal:start|universal]]" ou como "um raciocínio que vai do universal ao particular", etc, ( refere-se apenas à primeira dessas interpretações e por isso é restrita demais para poder abranger todas as alternativas a que essa [[lexico:n:nocao:start|noção]] ; deu [[lexico:o:origem:start|origem]]. 1) A [[lexico:d:definicao:start|definição]] aristotélica de silogismo coincide com a definição geral de dedução. Diz [[lexico:a:aristoteles:start|Aristóteles]]: "O silogismo é um raciocínio em que, postas algumas [[lexico:c:coisas:start|coisas]], seguem-se necessariamente algumas outras, pelo [[lexico:s:simples:start|simples]] fato de aquelas existirem. Quando digo ‘pelo simples fato de aquelas existirem’, pretendo dizer que delas deriva [[lexico:a:alguma-coisa:start|alguma coisa]], e, por [[lexico:o:outro:start|outro]] lado, quando digo ‘delas deriva alguma [[lexico:c:coisa:start|coisa]]’, pretendo dizer que [[lexico:n:nao:start|não]] é preciso acrescentar [[lexico:n:nada:start|nada]] de [[lexico:e:exterior:start|exterior]] para que a dedução se siga necessariamente" (An. pr., I, 1, 24 b 17 ss.). Definido nesses termos, o silogismo nada mais é que a derivação de uma [[lexico:p:proposicao:start|proposição]] de outra, tendo, pois, o [[lexico:s:significado:start|significado]] generalíssimo que ainda hoje se atribui à [[lexico:p:palavra:start|palavra]] dedução. Mas Aristóteles acrescenta que o silogismo [[lexico:p:perfeito:start|perfeito]] é a dedução perfeita, aquela na qual as premissas contêm tudo [[lexico:o:o-que-e:start|o que é]] [[lexico:n:necessario:start|necessário]] à dedução da conclusão (Ibid., 24 b 23). Aristóteles faz a [[lexico:d:distincao:start|distinção]] entre dedução e [[lexico:d:demonstracao:start|demonstração]] e entre [[lexico:d:deducao-e-inducao:start|dedução e indução]]. A dedução se distingue da demonstração porque a demonstração é uma dedução particular (Ibid., 25 b 26), mais precisamente a dedução que tem "premissas verdadeiras, primeiras, imediatas, mais conhecidas do que a conclusão, anteriores a ela e [[lexico:c:causas:start|causas]] dela" (An. post., I, 2, 71 b 18 ss.). E distingue-se de indução porque esta se contrapõe àquela por sua [[lexico:e:estrutura:start|estrutura]] esquemática (An. pr., II, 23, 68 b 30 ss.). Como fundamento da relação entre as premissas e a conclusão, está a relação entre os três termos do silogismo, que Aristóteles exprime com o [[lexico:v:verbo:start|verbo]] hyparchein (inesse = inerir): o significado deste é explicitado por Aristóteles, ao determinar o [[lexico:m:modo:start|modo]] como é possível formular silogismos e adquirir "a [[lexico:c:capacidade:start|capacidade]] de produzi-los". A [[lexico:e:esse:start|esse]] propósito, ele diz que, em primeiro [[lexico:l:lugar:start|lugar]], é necessário considerar o [[lexico:p:proprio:start|próprio]] objeto como tal e sua definição, [[lexico:b:bem:start|Bem]] como as características que lhe são próprias; depois, é preciso considerar as noções que se seguem do objeto, as noções de que o objeto se segue e, enfim, as que ele exclui. Em outros termos, é preciso contemplar a essência ou substância do objeto, que é precisamente expressa pela definição, e tudo o que ela implica ou pelo que é implicada. Aristóteles ainda se expressa dizendo que é necessário contemplar a [[lexico:t:totalidade:start|totalidade]] da coisa, não a [[lexico:p:parte:start|parte]], p. ex., não o que se segue "de alguns homens", isto é, da essência ou substância "homem" como resulta da definição. E é por isso que Aristóteles introduz uma [[lexico:l:limitacao:start|limitação]] importante: o silogismo deve [[lexico:t:ter:start|ter]] premissas [[lexico:u:universais:start|universais]] (Ibid., I, 27, 43 b 14). A estrutura [[lexico:s:substancial:start|substancial]] da [[lexico:r:realidade:start|realidade]], tal como é esclarecida na [[lexico:m:metafisica:start|metafísica]], é, portanto, o fundamento da [[lexico:t:teoria:start|teoria]] aristotélica da dedução. As características fundamentais da teoria aristotélica da dedução são as seguintes: d) [[lexico:m:multiplicidade:start|multiplicidade]] das premissas derivadas da [[lexico:f:funcao:start|função]] indispensável do [[lexico:t:termo:start|termo]] médio; b) universalidade das premissas. Ambas essas características dependem do fundamento substancial da relação dedutiva. Com [[lexico:e:efeito:start|efeito]]: le o termo médio é indispensável porque a [[lexico:a:atribuicao:start|atribuição]] de um [[lexico:p:predicado:start|predicado]] a uma coisa só pode ser feita com [[lexico:r:referencia:start|referência]] à substância da própria coisa, e só em [[lexico:v:virtude:start|virtude]] dessa referência podem ser determinadas a [[lexico:q:qualidade:start|qualidade]] ([[lexico:a:afirmacao:start|afirmação]] ou [[lexico:n:negacao:start|negação]]), a [[lexico:q:quantidade:start|quantidade]] (universal ou particular) e a [[lexico:m:modalidade:start|modalidade]] ([[lexico:e:essencial:start|essencial]] ou acidental) da atribuição deduzida. 2° A universalidade das premissas deriva do fato de elas deverem referir-se ao objeto em sua totalidade, ou seja, à substância ou à essência necessária do objeto. Essa teoria da dedução dominou a filosofia e a [[lexico:l:logica:start|lógica]] antiga, medieval e [[lexico:m:moderna:start|moderna]] (salvo os [[lexico:r:reflexos:start|reflexos]] da concepção estoica de que falaremos em seguida), e, como identifica a dedução com o silogismo, pode ser estudada com este [[lexico:u:ultimo:start|último]] termo. 2) Pode-se presumir que, à [[lexico:m:medida:start|medida]] que os pressupostos substancialistas usados por Aristóteles como fundamentos da teoria da dedução fossem perdendo [[lexico:p:prestigio:start|prestígio]], o mesmo aconteceria com as características da sua teoria, quais sejam, a multiplicidade e a universalidade das premissas. E é exatamente isso o que ocorre na lógica dos estoicos, que, diferentemente de Aristóteles, são sensistas. Os estoicos dividiam os raciocínios em demonstrativos ou apodí-ticos, que concluem por algo de novo, e não demonstrativos ou anapodíticos (v. [[lexico:a:anapoditico:start|anapodítico]]), que não concluem por nada de novo. Mas privilegiavam estes últimos porque "não têm [[lexico:n:necessidade:start|necessidade]] de demonstração para serem encontrados, mas são demonstrativos na medida em que concluem também os outros raciocínios" ([[lexico:s:sexto-empirico:start|Sexto Empírico]], Pirr. hyp., II, 140,156; Adv. dogm., II, 224 ss.). Ora, nos raciocínios anapodíticos (do [[lexico:t:tipo:start|tipo]] "Se é dia, há [[lexico:l:luz:start|luz]]; é dia, logo, há luz"), a conexão que constitui a [[lexico:p:premissa:start|premissa]] "Se é dia, há luz" é clara por [[lexico:s:si-mesmo:start|si mesmo]] e não precisa de demonstração; e é clara, entenda-se, com base em critérios estoicos, pela [[lexico:p:presenca:start|presença]] do fato que ela exprime para os sentidos ou, pelo menos, pela sua possível presença. Nessa teoria, portanto, muda-se o fundamento da relação dedutiva, que já não é, como para Aristóteles, a estrutura substancial dos objetos, mas o fato sensível ou sensivelmente verificável, ou seja, a evidência da [[lexico:r:representacao:start|representação]] [[lexico:c:cataleptica:start|cataléptica]] (Dióg. L., VII, 45). Portanto, na teoria estoica não há vestígios das características que tornam a teoria da dedução de Aristóteles uma teoria do silogismo, ou seja, da necessária multiplicidade universalidade das premissas. O fato de os estoicos haverem assumido como fundamentais os raciocínios anapodíticos e considerado que os raciocínios demonstrativos são redutí-veis a eles significa que o fundamento [[lexico:e:explicito:start|explícito]] de sua teoria da dedução é o [[lexico:d:dado:start|dado]] sensível. O [[lexico:p:ponto:start|ponto]] de vista do fato substituiu o ponto de vista [[lexico:r:racional:start|racional]] da teoria aristotélica. Mas, apesar da [[lexico:i:impossibilidade:start|impossibilidade]] de conciliar esses dois pontos de vista, a teoria estoica não nos chegou através da [[lexico:h:historia:start|história]] em toda a sua pureza, mas confundida e unida com a teoria de Aristóteles. Os peripatéticos ([[lexico:t:teofrasto:start|Teofrasto]], [[lexico:e:eudemo:start|Eudemo]]) acolheram ecleticamente a doutrina estoica da dedução, pondo-a ao lado da aristotélica. Assim, falaram paralelamente em "[[lexico:s:silogismo-categorico:start|silogismo categórico]]" e "[[lexico:s:silogismo-hipotetico:start|silogismo hipotético]]", e sob essa [[lexico:d:denominacao:start|denominação]], desconhecida de Aristóteles, entenderam os silogismos fundados nos raciocínios anapodíticos dos estoicos. [[lexico:b:boecio:start|Boécio]], que nos transmite esses fatos (De syllogismus hypotheticis, I, P. L., 64e col. 83D, transcreveu da mesma [[lexico:f:forma:start|forma]], ou seja, paralelamente e no mesmo [[lexico:p:plano:start|plano]], as duas doutrinas díspares. Na idade moderna, [[lexico:l:locke:start|Locke]] baseou a dedução na relação de concordância ou de discordância entre as [[lexico:i:ideias:start|ideias]], percebida imediatamente na experiência: "Inferir significa apenas deduzir, em virtude de uma proposição posta como verdadeira, uma outra como verdadeira; ou seja, [[lexico:v:ver:start|ver]] ou supor que exista uma ligação entre as duas ideias da proposição inferida" (Ensaio, IV, 17, 4). [[lexico:s:stuart-mill:start|Stuart Mill]] interpretou a dedução de modo [[lexico:a:analogo:start|análogo]], como a aplicação de regras gerais obtidas por indução a casos particulares. E admitiu, por isso, a [[lexico:p:possibilidade:start|possibilidade]] de [[lexico:r:raciocinar:start|raciocinar]] mesmo sem o uso de proposições gerais (Logic, II, 3, 5 ss.). 3) A terceira fase, ou melhor, a terceira [[lexico:a:alternativa:start|alternativa]] que, ao longo da história, se apresentou à teoria da dedução, é a convencionalista, formulada pela lógica contemporânea. As regras da dedução não se baseiam na substância dos objetos a que se refere a dedução nem na evidência sensível de tais objetos, mas são escolhidas arbitrária mas oportunamente. É esse o ponto de vista introduzido por Carnap na [[lexico:o:obra:start|obra]] A [[lexico:v:visao:start|visão]] lógica do [[lexico:m:mundo:start|mundo]] (1928). Essa [[lexico:t:tese:start|tese]] admite "a possibilidade de livre [[lexico:e:escolha:start|escolha]] das regras de dedução", isto é, o [[lexico:c:carater:start|caráter]] convencional de toda a lógica. Diz Carnap: "A lógica, ou seja, as regras da dedução (na nossa [[lexico:t:terminologia:start|terminologia]], as regras sintáticas de [[lexico:t:transformacao:start|transformação]]) podem ser escolhidas arbitrariamente e são convencionais sempre que assumidas como base para a construção do [[lexico:s:sistema:start|sistema]] linguístico e sempre que a interpretação do sistema for imposta num segundo [[lexico:m:momento:start|momento]]" (Foundations of Logic and Mathematics, 1939, § 12). É claro que, desse ponto de vista, a relação em virtude da qual uma proposição se segue de outra não é dada de uma vez por todas, mas pode ser determinada de várias formas por regras ou convenções oportunas. Carnap distinguiu duas formas diferentes de dedução: derivação, que é mais restrita, e consequencialidade, que é mais ampla. A derivação é uma [[lexico:s:serie:start|série]] finita de enunciados na qual cada passo é definido sem que se defina a relação "derivável", que é definida pela cadeia inteira das derivações. Numa série de consequências, até mesmo cada passo da série (isto é, a relação "[[lexico:c:consequencia:start|consequência]] direta") é [[lexico:i:indefinido:start|indefinido]]. A derivação é a relação de dedução usada em lógica e corresponde ao que comumente se entende quando se diz "este [[lexico:e:enunciado:start|enunciado]] se segue àquele" (The Logical Syntax of Language, § 14). As várias formas de [[lexico:i:implicacao:start|implicação]] reconhecidas pela lógica contemporânea podem ser consideradas outros tantos modos possíveis de relação de dedutibilidade. Alguns lógicos restringem hoje a relação de dedutibilidade a certo tipo de implicação, mais precisamente à relação "estrita" ou [[lexico:s:semantica:start|semântica]]: é o que faz, p. ex., Lewis (Knowledge and Valuation, 1946, p. 212). Outros, ao contrário, julgam que, para estabelecer a dedutibilidade, basta a implicação material cujo [[lexico:c:conceito:start|conceito]] foi esclarecido em [[lexico:p:principia-mathematica:start|Principia Mathematica]]: é o que faz [[lexico:r:russell:start|Russell]] (Intr. to Mathematical Phil, cap. XIV; trad. it., p. 173). Na [[lexico:v:verdade:start|verdade]], a menos que não se assuma explicitamente como fundamento da dedução a substância das coisas ou sua evidência sensível, segundo a 1a ou a 2a das alternativas consideradas, todo e qualquer tipo de implicação pode ser considerado relação dedutiva. Do ponto de vista da convencionalidade da lógica, o conceito de dedução não pode sofrer restrições e portanto deve estender-se a todas as formas que a relação de derivação ou de consequencialidade de uma proposição em relação a outra possa assumir. É o raciocínio que conclui do universal para o menos universal ou particular, ou, no caso [[lexico:l:limite:start|limite]], do universal para o igualmente universal. Opõe-se a indução. Desde [[lexico:b:bacon:start|Bacon]] de Verulam que se tem apresentado contra a dedução a seguinte [[lexico:o:objecao:start|objeção]]: ou sabemos que a premissa maior contém o particular, ou não. No primeiro caso, a conclusão já é conhecida na premissa maior; no segundo caso, não se infere com [[lexico:c:certeza:start|certeza]], pois ignoramos se a premissa maior tem [[lexico:v:valor:start|valor]] universal. A objeção desconhece que o [[lexico:c:conceito-universal:start|conceito universal]] empregado na premissa maior inclui unicamente a [[lexico:n:natureza:start|natureza]] comum a todos os objetos que caem sob ele, mas não indica quais sejam esses objetos. Por [[lexico:e:exemplo:start|exemplo]], na maior: "O que é simples, é incorruptível", expressa unicamente a relação essencial existente entre o que é simples e o incorruptível, mas não declara quais objetos sejam simples. Acerca deste ponto deve a premissa menor informar, p. ex., "a [[lexico:a:alma:start|alma]] é simples". De ambas as proposições segue-se então: "a alma é incorruptível". — Kant chama dedução a uma demonstração que, em [[lexico:o:oposicao:start|oposição]] à [[lexico:p:prova:start|prova]] pelos fatos, evidencia uma exigência de [[lexico:d:direito:start|direito]]. A dedução é [[lexico:t:transcendental:start|transcendental]] (ou objetiva), quando explica a maneira como um conceito [[lexico:p:puro:start|puro]] [[lexico:a:a-priori:start|a priori]] se refere a objetos, e empírica (ou subjetiva), quando mostra como um conceito é obtido pela experiência e pela reflexão, VIDE [[lexico:c:criticismo:start|criticismo]]. — Santeler. São muitas as definições que se deram da dedução. Eis algumas delas: 1. É um raciocínio de tipo [[lexico:i:imediato:start|imediato]]; 2. É um [[lexico:p:processo:start|processo]] [[lexico:d:discursivo:start|discursivo]] e descendente que passa do geral ao particular; 3. É um processo discursivo que passa de uma proposição a outras proposições até chegar a uma proposição que considera a conclusão do processo; 4. É a derivação do [[lexico:c:concreto:start|concreto]] a partir do [[lexico:a:abstrato:start|abstrato]]; 5. É a [[lexico:o:operacao:start|operação]] inversa da indução; 6. É um raciocínio equivalente ao silogismo e, portanto, uma operação estritamente distinta da indutiva; 7. É uma operação discursiva na qual se procede necessariamente de umas proposições para outras. Cada uma das definições anteriores enferma de vários inconvenientes, mas, ao mesmo [[lexico:t:tempo:start|tempo]], aponta para uma ou mais caraterísticas esclarecedoras da dedução. Uma definição hoje muito comum e que se aplica a todas as formas de dedução é a que defende que, no processo dedutivo, se derivam certos enunciados de outros enunciados de um modo puramente [[lexico:f:formal:start|formal]], isto é, apenas em virtude da forma (lógica) dos mesmos. O enunciado ou enunciados do qual ou dos quais se parte para efetuar a derivação são a premissa ou premissas; o enunciado último derivado dessas premissas é a conclusão. A derivação, até chegar à conclusão, efetua-se por [[lexico:m:meio:start|meio]] das regras de inferências, às quais se dá também o [[lexico:n:nome:start|nome]] de regras da dedução. O [[lexico:m:metodo-dedutivo:start|método dedutivo]] usa-se em todas as ciências - [[lexico:m:matematica:start|matemática]], [[lexico:f:fisica:start|física]], [[lexico:b:biologia:start|biologia]], [[lexico:c:ciencias-sociais:start|ciências sociais]] -, mas é particularmente [[lexico:a:apropriado:start|apropriado]] nas ciências mais formalizadas tais como a lógica, a matemática a física teórica. Por meio desse [[lexico:m:metodo:start|método]], é possível levar a cabo nessas ciências provas formais nas quais se estabelece que as conclusões a que se chega são formalmente válidas. A dedução é uma forma de raciocínio científico segundo o qual devemos partir do geral para o particular. Assim, devemos primeiro [[lexico:c:criar:start|criar]] uma [[lexico:l:lei:start|lei]] geral e depois observar casos particulares e verificar se essa lei não é falseada. Para os adeptos da dedução, o cientista não precisa de mil provas indutivas. Basta uma única prova dedutiva para que a lei possa ser considerada válida. No exemplo do saco, imaginem que o vendedor nos disse que ele estava cheio de feijões brancos. [[lexico:e:eu:start|eu]] então retiro um feijão de dentro do saco. Se for um feijão branco, então minha hipótese está, por enquanto, correta. Um [[lexico:p:problema:start|problema]] da dedução é que ela geralmente se origina de induções anteriores. Geralmente fazemos uma lei geral depois de já ter observado casos particulares. Operação mediante a qual se conclui rigorosamente, de uma ou de várias proposições tomadas como premissas, uma proposição que é sua consequência necessária, em virtude de regras lógicas. [...] Não é [[lexico:e:exato:start|exato]] definir a dedução como o raciocínio que vai «do geral ao particular», quer se entenda por esta [[lexico:f:formula:start|fórmula]] equívoca e corrente: «do universal ao particular», quer se entenda: «do mais geral ao mais especial.» Isto é [[lexico:v:verdadeiro:start|verdadeiro]] no primeiro [[lexico:s:sentido:start|sentido]]: [[lexico:b:barbara:start|barbara]], [[lexico:c:celarent:start|celarent]], Cesare, etc., são apenas formados por universais; [[lexico:a:alem:start|além]] disso, a dedução pode consistir em concluir da [[lexico:f:falsidade:start|falsidade]] de uma particular a falsidade da universal correspondente, ou da verdade de uma particular a falsidade da universal contraditória; finalmente, nas operações lógicas elementares diversas do silogismo (tais como, por exemplo, a ⊃ b, a ⊃ c. ⊃ .a ⊃ bc) não há qualquer particularidade, no sentido preciso que tem esta palavra em lógica; o mesmo sucede em todos os cálculos aritméticos ou algébricos. Pode também observar-se que aquela concepção da dedução não tem sentido na lógica proposicional propriamente dita, que toma os juízos em bloco (p, q, r ...) e apenas considera o seu valor de verdade ou de falsidade, não a sua quantidade; por exemplo, num silogismo [[lexico:h:hipotetico:start|hipotético]] p ⊃ q. q ⊃ r. ⊃ p ⊃ r. Se se trata de passar do mais geral para o mais especial, observe-se que o método matemático, tipo indisputado de dedução, quer nas suas operações elementares, quer na sua marcha geral, se eleva frequentemente do mais especial ao mais geral, por exemplo quando se «generaliza» uma [[lexico:p:propriedade:start|propriedade]], ou uma demonstração, assente primeiramente para um caso privilegiado, quer dizer, quando dele tiramos, mediante um raciocínio rigoroso, a fórmula geral de que era um caso especial. É bem sabido que os progressos de uma ciência dedutiva consistem muitas vezes em construir [[lexico:c:conceitos:start|conceitos]] cada vez mais gerais que conservam as propriedades de classes mais especiais pelas quais começaram (por exemplo, os números inteiros, fracionários, qualificados, irracionais, etc.). A [[lexico:i:ideia:start|ideia]] verdadeira que se contém confusamente na fórmula contrária é, sem [[lexico:d:duvida:start|dúvida]], que a passagem de uma [[lexico:r:regra:start|regra]] às suas aplicações, de uma variável aos seus valores, é uma das operações fundamentais do raciocínio dedutivo. André Lalande (philosophe), Vocabulaire Technique et Critique de la Philosophie, 7.a ed., 1956, pp. 204-205. {{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}