La domanda che è stata posta in quattro modi diversi

Chiedi a un ateniese del quarto secolo cosa rende un argomento valido e otterrai una risposta riguardo alla <em>forma</em>: la conclusione segue dalle premesse, indipendentemente da ciò di cui trattano. Chiedi a un filosofo Nyāya e otterrai una risposta riguardo alla <em>conoscenza</em>: attraverso quale processo una cognizione viene considerata conosciuta. Chiedi a un Mohista e otterrai una risposta riguardo al <em>naming</em>: questo termine si adatta correttamente a questa cosa, e quale somiglianza lo afferma. Chiedi a un giurista di Samarcanda del quattordicesimo secolo e otterrai una risposta riguardo a <em>procedura e condotta</em>: di chi è il turno, cosa può essere obiettato, cosa è stato concesso, e se ti comporti come qualcuno che cerca la verità o come qualcuno che cerca una vittoria.

Quattro risposte, nessuna delle quali sbagliata, quasi nessuna sovrapposizione. Questa è la scoperta su cui si basa questa serie, ed è più utile della solita storia su chi ha inventato la logica per primo.

Perché se sei mai stato seduto a una riunione che è andata male, sai già che la diagnosi è raramente formale. Nessuno ha affermato il conseguente. Quello che è successo è che una premessa accettata da tutti non è mai stata esaminata, o un'analogia con il trimestre scorso non ha retto, o due persone usavano la stessa parola per cose diverse, o l'argomento semplicemente non è mai finito — non c'era una nozione condivisa di cosa significasse per qualcuno essere stato risposto. Tre di quei quattro modi di fallimento sono invisibili agli strumenti greci, e ognuno di essi è stato nominato, analizzato e insegnato altrove.

Questo articolo è il fulcro della serie Radici del Ragionamento. Schizza le quattro grandi tradizioni e ciò che ciascuna ha contribuito. I post correlati approfondiscono: logica indiana, logica mohista, logica di Aristotele, dialettica islamica, e un analisi comparativa delle cinque strutture argomentative.

Cosa ha effettivamente sistematizzato ogni tradizione

India: Ragionamento come acquisizione di conoscenza e concorso regolato

Le tradizioni indiane sono probabilmente il corrispettivo indipendente su larga scala più chiaro della logica greca — e il meno familiare per i lettori occidentali. Il dibattito pubblico e sponsorizzato dalla corte esisteva ben prima dei manuali sopravvissuti; nel III e II secolo a.C., si prevedeva che monaci e Brahmini avessero una formazione al dibattito.

La domanda iniziale non è "segue questo?" ma con quale processo una cognizione conta come conoscenza? Il Nyāya riconosceva quattro pramāṇas — percezione, inferenza, confronto e testimonianza di un oratore competente. Altre scuole hanno modificato l'elenco. La conseguenza è che la logica si trova all'interno dell'epistemologia: un'inferenza non è un insieme di frasi ma un processo attraverso il quale qualcuno passa da ciò che sa a ciò che non sa.

La forma di argomento ampiamente insegnata ha cinque membri: tesi (c'è fuoco sulla collina), ragione (perché c'è fumo), esempio o regola generale (dove c'è fumo, c'è fuoco — come in una cucina), applicazione (la collina ha fumo di quel tipo), conclusione (quindi c'è fuoco). Una delle prime affermazioni sopravvissute è nel Caraka-saṃhitā, un testo medico — la formazione al dibattito faceva parte dell'educazione di un medico.

Non si tratta di un sillogismo inutilmente lungo. I membri extra svolgono un lavoro dialogico: annunciano l'affermazione contestata, forniscono la ragione, offrono un caso concordato, lo collegano all'argomento, riformulano ciò che è stato stabilito. La forma era inizialmente fortemente analogica; autori successivi hanno reso la connessione universale sempre più esplicita e rigorosa.

Poi la parte senza un corrispondente greco. Il Nyāya classificava i dibattiti in base allo scopo — vāda (ricerca cooperativa della verità), jalpa (competitiva), vitaṇḍā (attaccare senza difendere una propria tesi) — e catalogava non solo pseudo-motivi ma anche nigraha-sthānas, motivi di sconfitta. I Nyāya-sūtra elencano 22, mescolando errori logici con violazioni procedurali: cambiare la propria tesi, mera ripetizione, silenzio, evasione, concedere un punto e continuare a discutere. La sconfitta era un evento definito e osservabile.

Gli autori buddisti hanno affinato l'aspetto evidenziale. Dignāga ha separato l'inferenza per se stessi dall'argomento per un altro, e ha richiesto che una ragione valida fosse presente nel soggetto, presente in casi simili e assente da tutti i casi dissimili — poi ha disposto le possibilità in una matrice a nove celle in cui solo due producono inferenze valide. Il prasaṅga buddista espone conseguenze inaccettabili della visione di un avversario, e il catuṣkoṭi esamina un'affermazione sotto quattro alternative — è, non è, entrambe, né — come una tecnica dialettica la cui esatta interpretazione logica è ancora oggetto di dibattito. I filosofi jainisti hanno aggiunto anekāntavāda, la pluralità, e il sette volte syādvāda: dichiara il rispetto in cui la tua affermazione è valida, così una descrizione parziale non può spacciarsi per esaustiva. Storia completa: Logica Indiana: La Tradizione di 2.500 Anni da Nyāya al Dibattito Buddista.

Cina: Argomento come Distinzione, Adattamento Semantico e Estensione Analogica

La prima argomentazione cinese era grossomodo contemporanea con Aristotele e sorse in modo indipendente. Durante il periodo degli Stati Combattenti, i Mohisti, i Confuciani, i Daoisti e i pensatori successivamente raggruppati sotto la Scuola dei Nomi si impegnarono in <strong>biàn</strong> — disputa, ma più letteralmente <em>distingue</em>.

La domanda centrale non era caratteristicamente "questa conclusione segue?" ma: questo nome, categoria o prescrizione si adatta correttamente a questo oggetto o situazione? Una parte lo chiama "bue", l'altra "non-bue"; non possono entrambe adattarsi, quindi una non lo fa.

I pensatori mohisti ragionavano a partire da fǎ — modelli, standard, esemplari. Si identifica un bue, un'azione giusta o una politica benefica confrontando il caso con un modello affidabile e determinando quali somiglianze siano rilevanti. L'argomentazione mohista precoce si basava su tre standard: i precedenti stabiliti da sovrani esemplari, le evidenze dall'esperienza ordinaria e le conseguenze per il beneficio sociale.

La Selezione Minore nomina quattro tecniche argomentative, e sono ampiamente mal interpretate, quindi ecco qui quelle corrette:

• Pì — analogia: introduci un altro caso per chiarire quello attuale
• Móu — paralleling: posizionare espressioni strutturate in modo simile affiancate
• Yuán — tirare: cita qualcosa che l'avversario accetta già e chiedi perché il caso attuale dovrebbe essere trattato in modo diverso
• Tuī — spingere: estendere un giudizio accettato a un caso rilevantemente simile

Il tirare sposta efficacemente il peso sull'avversario per identificare una disanalogia rilevante; il spingere si basa sulla coerenza con i loro impegni precedenti. Sono un repertorio, non una sequenza fissa. I Mohisti li hanno abbinati a un principio di equità dichiarato — ciò che accettiamo nel nostro caso non lo rifiutiamo in quello dell'avversario — e con un avvertimento guadagnato con fatica: i parallelismi tra le espressioni sono corretti solo fino a un certo punto.

Hanno anche riconosciuto principi simili al non-contraddizione e al terzo escluso, ma formulati semanticamente — "bue" e "non-bue" non possono entrambi riferirsi allo stesso oggetto nella stessa disputa — mantenendo il focus sui termini e sulla classificazione piuttosto che su un calcolo proposizionale astratto. E hanno descritto la deliberazione come una valutazione di benefici e danni: dove tutte le opzioni comportano danni, scegliere la meno dannosa. Resoconto completo: Logica Mohista: L'arte cinese di fare distinzioni.

Grecia: Logica come validità formale

La tradizione greca è quella che la maggior parte dei lettori già conosce, quindi può essere breve. Essa nasce dalla democrazia ateniese tra il 508 e il 322 a.C., dove l'assemblea, la boulè e i tribunali risolvevano le questioni attraverso il dibattito e il voto — rendendo il discorso persuasivo direttamente prezioso e creando il mercato che i Sofisti servivano insegnandolo a pagamento.

Platone promosse invece la dialeettica: una struttura di domande e risposte, con il questionatore che estrae una tesi e cerca di forzare la sua contraddittoria, e il compito esclusivo dell'interlocutore è rimanere non confutato entro un tempo fisso. I Topici e le Confutazioni sofistiche di Aristotele sono la prima sistematizzazione di quella pratica — il primo regolamento scritto per uno sport argomentativo.

Aristotele (384–322 a.C.) costruì quindi ciò che nessun altro aveva costruito. L'Organon tratta delle categorie, delle proposizioni, del sillogismo, della dimostrazione, della dialettica e della fallacia, e la sua innovazione principale è il sillogismo categorico: la validità come proprietà della struttura, indipendente dal contenuto. Sostituisci qualsiasi termine in una forma valida e rimane valida. Quell'astrazione è genuinamente singolare, e dirlo chiaramente è ciò che rende il resto di questo confronto onesto piuttosto che difensivo.

L'Retorica ha aggiunto i tre appelli — ethos, pathos, logos — e l'entimema, il sillogismo con una premessa lasciata al pubblico da fornire. I Topici hanno catalogato schemi argomentativi per la dialettica, l'antenato diretto degli schemi di argomentazione moderni. Dopo Aristotele, i Stoici svilupparono la logica proposizionale, enunciando il modus ponens con numeri per proposizioni intere; era più vicino alla base della logica simbolica moderna ed è stato trasmesso male, quindi il sillogismo ha mantenuto il curriculum fino a Frege. Dettaglio: La logica di Aristotele: La fondazione mediterranea dell'argomentazione occidentale.

Il Mondo Islamico: Tre Tradizioni Intersecanti

Questo caso deve essere suddiviso con attenzione, e una concessione viene prima: la logica formale araba non era indipendente da Aristotele. Mantiq inizia con la traduzione delle opere logiche greche dall'ottavo secolo in poi. Al-Fārābī leggeva la logica come un insieme graduato di strumenti per la dimostrazione, la dialettica, la retorica e la poetica; Ibn Sīnā poi ricostruì la tradizione ereditata in modo così esteso che la logica araba successiva è più aviceniana che aristotelica, con importanti innovazioni nella modalità, nelle proposizioni ipotetiche e disgiuntive, e nella dimostrazione. Questo è ricezione più ricostruzione radicale — non invenzione indipendente.

Ma altre due tradizioni qui erano sostanzialmente autoctone. Kalām, la teologia razionale, generò pratiche dialettiche chiamate jadal le cui prime forme sistematiche si svilupparono in controversie teologiche intorno al passaggio dal nono al decimo secolo, inizialmente separate dalla logica di derivazione greca dei filosofi. I loro trattati specificavano quale parte pone le domande e quale risponde, come viene formulata un'affermazione, cosa conta come obiezione rilevante, come funzionano contraddizione e concessione, regole di condotta e i segni che un partecipante è stato sconfitto. Gli studiosi giuridici poi adattarono il meccanismo per il disaccordo legale.

Uṣūl al-fiqh, teoria legale, sistematizza qiyās con quattro elementi nominati: il aṣl o caso radice, il farʿ o caso ramo, la ʿilla o causa legalmente operativa condivisa da entrambi, e il ḥukm o ruling trasferito dalla radice al ramo. Un divieto su un intossicante si estende a un altro perché l'intossicazione è identificata come la causa operativa. Questo è più strutturato di una semplice somiglianza: il passo difficile non è notare la somiglianza ma giustificare perché questa somiglianza è legalmente operativa mentre altre non lo sono — e difendere ciò contro controesempi e testi conflittuali.

Dalla fine del tredicesimo secolo, ādāb al-baḥth wa-l-munāẓara divenne una disciplina distinta — le regole e le maniere dell'inchiesta e della disputa. I ruoli sono asimmetrici: un richiedente enuncia e sostiene una tesi; un rispondente mette alla prova la tesi, le sue prove e il legame tra di esse. L'obiettivo dichiarato è la manifestazione della verità, non la vittoria, e la disciplina governa il carattere del partecipante così come le loro mosse — rilevanza, equità, evitamento delle liti, disponibilità a criticare, disponibilità a concedere. Veniva insegnata nelle madrase insieme alla logica e alle scienze linguistiche. Storia completa: Dialettica Islamica: Dal Dibattito Teologico alla Scienza della Disputa.

Cosa vede (e perde) ogni tradizione

Messi fianco a fianco, i contrasti sono istruttivi:

Nessuna tradizione è completa e le lacune non sono simmetriche. La logica indiana lega l'inferenza strettamente all'epistemologia — un punto di forza quando ti interessa <em>perché</em> le premesse sono credibili, un costo quando devi solo controllare la forma. La logica greca astrae dal contenuto — decisiva per la prova formale, silenziosa quando le premesse stesse sono quelle contestate. La logica cinese gestisce l'analogia e la denominazione con una cura che l'Occidente ha in gran parte trascurato e non ha mai costruito macchinari per concatenare deduzioni. La teoria della disputa islamica aggiunge procedura ed etica e presuppone l'apparato formale greco.

Il confronto struttura per struttura — la forma Nyāya a cinque membri, il sillogismo a tre membri, la tecnica Mohista, il qiyās e il tetralemma — è in Cinque Sillogismi: Confrontare le Strutture Argomentative tra le Civiltà.

Perché questo è importante ora

La teoria moderna dell'argomentazione, l'argomentazione computazionale e il ragionamento dell'IA attingono — spesso senza saperlo — a tutto ciò.

Schemi argomentativi (Walton, Reed, Macagno) catalogano schemi ricorrenti come l'argomento dall'opinione di esperti, dall'analogia, dalla causa all'effetto, ciascuno con domande critiche per testarlo. Questo è l'Argomento di Aristotele che incontra l'analisi analogica Mohista, con uno strato di consapevolezza procedurale di jadal.

Frameworks di argomentazione astratta (Dung, 1995) rappresentano gli argomenti come nodi con relazioni di attacco e calcolano quali insiemi possono essere accettati razionalmente insieme. La domanda sottostante — quali argomenti sopravvivono? — è la domanda jadal, formalizzata nella teoria dei grafi.

Mappatura degli argomenti e il modello di Toulmin rendono esplicita la struttura: affermazione, motivazioni, garanzia, supporto, confutazione, qualificatore. Toulmin è in diretta conversazione con l'enfisema di Aristotele; l'insistenza su un supporto esplicito riecheggia l'udāharaṇa del Nyāya; e il qualificatore è il "in qualche modo" del syādvāda in abiti moderni.

E il programma di ricerca sulla intelligenza collettiva — dal teorema del giurì di Condorcet agli studi sul fattore c — continua a confermare ciò che le tradizioni di dibattito già sapevano: la struttura decide se i gruppi diventano più intelligenti. Input indipendenti, aggregazione esplicita, equità procedurale, un registro del ragionamento. Queste sono le condizioni, e sono ciò che Argumentree integra nel processo decisionale.

La lezione comparativa più grande è quella per cui esiste tutta questa serie: "la logica" è solo una parte dell'argomentazione strutturata. Molto prima della teoria moderna dell'argomentazione, queste tradizioni trattavano il ragionamento simultaneamente come un processo cognitivo, una performance linguistica, un'interazione sociale, una disciplina etica e una pratica istituzionale. Non stavano costruendo curiosità. Stavano costruendo la macchina dell'accordo ragionato — l'alternativa alla coercizione, alla tradizione e all'incidente. Venticinque secoli dopo, il progetto continua.

Le Radici del Ragionamento Serie

Questo articolo è il fulcro. I raggi vanno in profondità: