Accanto ai libri di logica , Aristotele ha scritto la "Retorica" : fa notare che noi siamo abituati a pensare che la forma classica del discorso è quella in cui si predicano il soggetto ed il predicato : esempio " Socrate corre " ; " Socrate è ad Atene" ...Le proposizioni costituite da predicato e soggetto sono chiamate APOFANTICHE (o dichiarative : dicono qualcosa di qualcosa) : queste proposizioni sono le uniche che possono essere o vere o false : se dico "il libro è sul tavolo " può essere vero (se effettivamente il libro è sul tavolo) , ma anche falso (se non è sul tavolo) . Le preghiere , le esclamazioni , le domande , i comandi non dichiarativi : non sono nè veri nè falsi ; se dico "oimè " non è nè vero nè falso . La retorica può rivolgersi sia al passato (valuto , per esempio , le imprese di un uomo) sia al presente (lodo le caratteristiche di una persona , per esempio) sia al futuro (impartisco comandi) : sono i discorsi suasori , dove l'importante è la tecnica del persuadere ; Aristotele però non si rivela molto interessato ai discorsi suasori , che non sono nè veri nè falsi . Dire " Socrate è un uomo" non è un ragionamento , ma una proposizione (apofantica) che può essere o vera o falsa . Un ragionamento invece è una catena di proposizioni e Aristotele lo chiama " SILLOGISMO " (sun + lego = ragionamento concatenato) ; un sillogismo è costruito da due premesse e una conclusione . Le proposizioni sono anche scomponibili ; le parti che costituiscono una proposizione sono il soggetto ed il predicato , e dato che sono gli estremi della proposizione vengono chiamati "termini della proposizione" . Le proposizioni possono essere divise sotto tre aspetti : 1) QUANTITATIVO 2)QUALITATIVO 3) MODALE . 1) Sul piano quantitativo , le proposizioni possono essere universali o particolari .Se dico "tutti gli uomini sono mortali" è universale ; se invece dico "alcuni esseri viventi sono animali" è particolare. Nel primo caso dico che tutti , senza eccezioni , gli uomini sono mortali . Nel secondo caso dico alcuni . Aristotele nell'ambito delle quntitative riconosce anche le "individuali" , per esempio "Socrate è uomo " il soggetto non ha valenza nè universale nè particolare , bensì individuale o particolarissimo . Un termine individuale in una proposizione non può mai fungere da predicato , ma solo da soggetto . Invece , i termini che rientrano a costituire le proposizioni della scienza possono fungere sia da predicato sia da soggetto : sono quindi termini universali (ad esempio "uomo") . 2)Sul piano qualitativo , possono essere affermative o negative : sia le universali sia le particolari possono essere sia negative sia affermative ;universale affermativa "tutti gli uomini sono mortali" ; particolare affermativa "alcuni esseri viventi sono mortali" ; universale negativa : "Nessun uomo è bianco" ; particolare negativa "qualche uomo non è bianco " . 3) Sul piano modale , le proposizioni possono essere a) possibili b) contingenti c) impossibili d) necessarie : a)non è in un modo , ma potrebbe esserlo (non piove ma potrebbe cominciare) b) è l'opposto del possibile : è in un modo , ma potrebbe non esserlo (piove , ma potrebbe non piovere) c) ciò che non è che non può essere d) ciò che è e che non potrebbe non essere . Le modali stanno tra loro a 2 a 2 : l'impossibilità è una forma di necessità : dire che una cosa è impossibile significa dire che è necessario che non sia .Nel "Parmenide" di Platone questo concetto emergeva molto bene : la necessità è ciò che è e che non può non essere . La logica ci consente di studiare la struttura del pensiero e di cogliere gli aspetti formali , evitando così di incappare in errori formali : essa ci permette di fare ragionamenti coerenti .L'unico modo per non fare errori di ragionamento è separare la forma dal contenuto . Aristotele dice che le proposizioni possono essere CONTRADDITORIE o CONTRARIE : le contrarie hanno la prerogativa di non poter essere entrambe vere , ma di poter essere entrambe false : per esempio le proposizioni "tutti gli uomini sono bianchi" e "nessun uomo è bianco" sono tutte e due false , in quanto qualche uomo è bianco e qualche altro non lo è . Le contrarie però accettano una via di mezzo : in questo caso la via di mezzo è "alcuni uomini sono bianchi" : un buon modo per cogliere due proposizioni contrarie è vedere se hanno una via di mezzo. Le contradditorie invece hanno la prerogativa di essere necessariamente una vera e l'altra falsa : "tutti gli uomini sono bianchi" , "qualche uomo non è bianco" : se la seconda è vera , la prima non lo è .Questa divisione aristotelica tra proposizioni contrarie e contradditorie è di fondamentale importanza perchè noi nei ragionamenti talvolta traiamo conclusioni sbagliate perchè non abbiamo ben chiaro il funzionamento delle proposizioni : a volte diciamo che una cosa è falsa e argomentiamo che l'opposto è vero : questo vale solo per le contradditorie : è il principio della dimostrazione per assurdo . Se non mi accorgo che le proposizioni sono contrarie e ragiono così sbaglio clamorosamente : ad esempio , " Stalin è un imbecille" : questo non mi consente di dire " Hitler è intelligente" : sono due contrarie e quindi ci deve essee una possibilità intermedia . Finchè le forme del pensiero sono intrecciate col contenuto , i ragionamenti sono incoerenti : per ragionare bene bisogna separare la forma dal contenuto , un pò come nella matematica con le lettere , dove si vede il ragionamento allo stato puro . La logica si muove su tre livelli 1) TERMINI : come abbiamo detto sono il soggetto ed il predicato : i termini non sono mai nè veri nè falsi , solo le proposizioni possono essere vere o false : se dico "uomo" non è nè vero nè falso , ma se dico "l'uomo corre" può essere falso ; anche se dico una cosa che non esiste come l'ippogriffo , un animale mitologico , non è sbagliato : infatti costruendo la proposizione potrò dire "l'ippogriffo non esiste " ed è giusto , oppure "l'ippogriffo esiste" ed è sbagliato . 2) le proposizioni , che sono le uniche che possono essere o vere o false . 3) I sillogismi , dati da due premesse e una conclusione : essi non sono nè veri nè falsi , ma coerenti o incoerenti : tutto dipende dalle premesse che avevo in partenza . Ad esempio, prendiamo due premesse sbagliate : "tutte le cose verdi sono vegetali" e "tutte le rane sono verdi" : con il sillogismo arrivo alla conclusione che tutte le rane sono vegetali , ma il sillogismo non è affatto sbagliato : sono sbagliate le premesse ! La conclusione è stata tratta correttamente sfruttando le premesse . si chiama premessa maggiore di un sillogismo quella che fornisce informazioni più generali , mentre premessa minore quella che fornisce informazioni più particolareggiate : ad esempio : premessa maggiore "tutti gli animali sono mortali" ; premessa minore "tutti gli uomini sono animali" ; conclusione "dunque tutti gli uomini sono mortali" . Questo sillogismo viene detto di "prima figura" : le premesse sono universali affermative ed il termine medio è "animali" , che nella prima frase è soggetto , nella seconda è predicato . Il termine "animali" è termine MEDIO perchè mi consente di collegare tra loro nella conclusione gli altri due termini che compaiono invece ciascuno in una sola delle premesse . Accanto a questa prima figura per Aristotele esistono altri due tipi di figure , che si distinguono in base alla posizione del termine medio come soggetto o predicato nelle premesse . Ciascuna figura a sua volta si può articolare in diversi "modi" , a seconda delle qualità delle premesse (affermative o negative) o della quantità (universali o particolari) . Ma solo la prima figura agli occhi di Aristotele è quella propriamente scientifica : essa infatti consente di rispondere alla domanda centrale della scienza "perchè ?" ; nel nostro caso se ci si chiede perchè tutti gli uomini sono mortali , la risposta è insita nel termine medio "animali" . E' il fatto che gli uomini sono animali a spiegare il fatto che essi sono mortali . Il sillogismo partendo dalle premesse arriva a dimostrare che gli uomini sono mortali . Se le premesse sono vere anche la conclusione è necessariamente vera . Proprietà del sillogismo è infatti la trasmissione della verità dalle premesse alla conclusione.Il carattere universale delle premesse consente di raggiungere una conclusione universale e necessario e proprio della scienza è ciò che è vero universalmente in tutti i casi . Il termine medio gioca un ruolo fondamentale perchè mi consente di collegare le premesse per trarre la conclusione . Si possono anche analizzare le mansioni dei termini : il medio svolge le funzioni sia di predicato (tutti gli uomini sono animali) sia di soggetto (tutti gli animali sono mortali) : è proprio il fatto che in una proposizione il medio sia soggetto e nell'altra predicato che mi consente di trarre la conclusione corretta . Se il "medio" fosse solo predicato o solo soggetto in tutte e due le premesse non potremmo trarre conclusioni così semplici : se per esempio avessimo queste due premesse "tutti i vegetali sono verdi " e "tutte le rane sono verdi" finiremmo per dire "tutte le rane sono vegetali" : il medio (rane) è soggetto in tutte e due le proposizioni . In questo caso teoricamente non lo si può neanche chiamare termine medio . La logica , come detto , ci consente di evitare errori perchè separa le forme dai contenuti ; nel passato ci fu chi disse "quel tale ha quel carattere ed è delinquente" "tu hai quel carattere" "di conseguenza sei delinquente" : è sbagliatissimi perchè il termine medio (carattere) è solo predicato . Secondo Aristotele il termine medio serve a spiegare il dioti , il perchè di un qualcosa . Si è però più volte notato che in realtà le conclusioni spesso non derivano dalle premesse : nel nostro caso per dire che gli uomini sono mortali non è necessario dire che sono animali e gli animali ono mortali : tutti sappiamo che gli uomini sono mortali anche senza effettuare questo ragionamento . Sappiamo per altre vie che l'uomo è mortale (per esempio per il fatto che tutti gli uomini esistiti sono morti) , però il sillogismo ci fa capire il legame logico tra le varie proposizioni : ci consente di acquisire il dioti e non solo l'oti ; sappiamo tutti che l'uomo è mortale , ma per capire il perchè occorre il sillogismo . Ciò che ci fa capire il perchè (ed in parte vi si identifica) è il termine medio : il puro e semplice oti (gli uomini sono mortali) non dimostra l'inutilità del sillogismo : è un pò come un sistema . In altre parole il sillogismo non ci fa capire la verità , ma i nessi tra le verità . Perchè gli uomini sono mortali ? La risposta è nel termine medio : perchè sono animali . La struttura del sillogismo è DEDUTTIVA : si parte da verità universali per dimostrare realtà particolari . Il termine deduzione deriva dal latino "deduco" (de+duco = tiro giù da una verità che sta più in alto una verità che sta più in basso) . Ma che origine hanno le premesse ? Possono avere due origini differenti : a) possono essere conclusioni : ogni premessa infatti può essere conclusione di altre premesse : è comunque un processo che non può andare avanti all'infinito . b) In molti casi le premesse generali derivano da processi induttivi (arrivo cioè da casi particolari a casi più generali) ; la conoscenza è un pò come un circolo , ma non vizioso : da casi generali si passa a casi più specifici e viceversa ; sarebbe un circolo vizioso se per arrivare a verità generali si dovessero analizzare tutti i casi : ad esempio se per dimostrare che "tutti gli animali sono mortali" dovessi esaminare uno ad uno tutti gli animali esistenti (ed esistiti) sono mortali : ma non è così ! Aristotele ritiene che mediante processi astrattivi , con un certo numeri di esempi si possa cogliere un'essenza generale comune a tutti gli elementi di una specie : come per Platone , anche per Aristotele esistono realtà universali che vengono compartecipate da tanti individui : per lui però sono forme e non idee: la forma uomo è in tutti gli uomini : se l'essenza uomo è caratterizzata dalla mortalità posso arrivare a tirar fuori da un pò di casi che tutti gli uomini sono mortali . Per capire questo non ho bisogno di andare a vedere che tutti gli uomini esistiti sono morti : da singoli casi con l'astrazione e cogliendo le caratteristiche (sfruttando solo quelle comuni) posso arrivare a dire che tutti gli uomini sono mortali : questo anche se analizzo solo tre uomini : tutti e tre han la forma uomo : se son morti quei tre tutti quanti gli uomini sono mortali : passo dal particolare all'universale . Anche Socrate , per dire , anche se adesso è ancora vivo , è un mortale perchè tutti gli uomini lo sono : dimostro con l'induzione . Quindi abbiamo detto che non è un circolo vizioso perchè non vado ad esaminare tutti gli uomini del mondo , ma solo alcuni : arrivo a dire che è mortale Socrate che non era nel gruppo di coloro che ho analizzato : però arrivo a dire che anche lui è mortale . Per Aristotele esistono gli UNIVERSALI , che a differenza di quanto era per Platone sono calati nella materia : se in un tale colgo l'essenza universale dell'uomo , questo processo vale per qualsiasi uomo . L'intelletto per Aristotele ha funzione DIMOSTRATIVA : consente , partendo da determinati principi , di arrrivare a conseguenze . Ma abbiamo detto che il sillogismo può essere di vari tipi : quello scientifico è quello che parte da premesse vere per arrivare a conclusioni vere . Aristotele fa notare che mentre se una premessa le conclusioni sono vere , se invece le premesse sono false non sempre le conclusioni sono false . Ad esempio , posso arrivae a dire che le rane sono verdi dicendo che sono vegetali . Tutte le rane sono vegetali , tutti i vegetali sono verdi , di conseguenza tutte le rane sono verdi . Si può in qualche misura argomentare in modo contrario : quando le conclusioni son false , allora anche le premesse sono false (argomentazione per assurdo) , ma se mi trovo di fronte a conclusioni vere non sempre le premesse sono vere . Il sillogismo scientifico presuppone che oltre al dimostrare correttamente , ci sia l'intelletto , il saper cogliere principi : c'è la dimostrazione come argomentazione , l'intelletto per cogliere principi : la scienza raccoglie ambedue . Il numero di casi per l'induzione non è sempre lo stesso : per i casi empirici ne occorrono un pò : Aristotele crede di poter stabilire una realazione tra il fatto che un animale sia longevo e il fatto che sia dotato di cistifellea : cita così diverse specie animali e la durata della loro vita . Ma in alcuni frangenti basta un caso solo : è il caso della geometria . Con l'induzione si arriva a tante cose : per Aristotele attraverso l'intelletto si arriva a principi comuni validi per tutte le scienze , e ad altri validi solo per alcune scienze : i principi della geometria per esempio riguardano solo le qualità spaziali . Facciamo un piccolo riassunto : il sillogismo è lo strumento principale della scienza : la scienza è quindi dimostrazione . Ma si può dimostrare tutto ? Nasce qui il problema dell'assunzione delle premesse ; certamente molte premesse di determinati sillogismi (come abbiamo già detto) sono a loro volta conclusioni di altri sillogismi , ma se si vuole evitare di andare all'infinito alla ricerca di premesse , che debbono costituire il saldo punto di partenza della scienza ,occorre rintracciare un tipo di premesse la cui verità non richieda necessariamente una dimostrazione . Occorre quindi uno strumento , diverso dalla dimostrazione , in grado di coglierle nella loro verità . A questa funzione presiede l'intelletto . Esso è dunque una disposizione non innata , ma acquisibile con l'esercizio , a cogliere l'universale per via non dimostrativa . Esso coglie i primi principi indimostrabili che stanno alla base di ogni scienza per via induttiva . Ecco quindi la distinzione di cui parlavamo tra principi propri di ogni singola scienza (quali per la geometria la definizione degli enti e delle figure geometriche , per l'aritmetica la definizione dei numeri in pari , dispari ...) e i principi comuni a tutte le scienze (per esempio "il tutto è maggiore della parte" o "Se da uguali sono sottratti uguali , i resti sono uguali):essi hanno una caratteristica non devono essere dimostrati . Ciascuna scienza li usa in relazione agli oggetti specifici di sua competenza : per esempio la geometria in relazione alle grandezze geometriche , l'aritmetica in relazion ai numeri , e così via . Aristotele trova tre principi fondamentali da cui nessuna scienza può prescindere : 1) IDENTITA' 2) CONTRADDIZIONE 3) TERZO ESCLUSO . 1) A è A e non può essere non-A 2)Aristotele dà 2 formulazioni a questo principio a)è impossibile che la stessa cosa sia e non sia al tempo stesso (sembra uguale a quello di identità , ma non lo è) b) è impossibile che una stessa cosa appartenga e non appartenga nello stesso tempo alla stessa cosa . c)A o è B o non è B : non c'è una terza possibilità : delle due proposizioni contradditorie una deve essere per forza vera . Questi sono i principi generaliossimi della logica : aristotele fa notare che non sono dimostrabili (come abbiamo detto anche noi) ; a rigore non si possono neppure cogliere bene per via induttiva . Aristotele argomenta in loro favore con la CONFUTAZIONE : non dimostra la verità , ma fa notare che sarebbe impossibile ragionare senza di loro ; non solo , è anche impossibile argomentare contro questi tre principi . E' un caso di dimostrazione indiretta (quasi per assurdo) . Aristotele è il primo autore che ammetta una autonomia reciproca delle scienze : per Platone esisteva una sola scienza : chi sapeva i principi , sapeva tutto . Con Aristotele incomincia quel processo per cui le varie scienze hanno acquisito autonomia dal sapere centrale e dalla filosofia . In Aristotele la filosofia è la filosofia , ma poi c'è l'albero della scienza , dove c'è un tronco centrale ma anche tante ramificazioni . Aristotele riconosce sì una certa autonomia alle varie scienze , ma come i rami di un albero sono in stretto contatto con il tronco centrale , così le varie scienze sono imparentate con un tronco centrale : la filosofia e la logica : da notare che i principi della logica sono in buona parte gli stessi della filosofia . Prendiamo per esempio le tesi di Parmenide ed in particolare il principio della contraddizione : in termini logici si dice che non c'è contraddizione , ma sul piano filosofico-ontologico si dice che è impossibile che lo stesso soggetto abbia caratteristiche contradditorie : per noi come per Aristotele le leggi del pensiero e della realtà sono le stesse . Aristotele fa vedere cose della realtà anche nell'ambito della logica , in forma logica . A quei tempi tutto era diverso : pensiamo ai Pitagorici che si stupivano che ciò che scopriva la matematica corrispondeva alla realtà : il teorema di Pitagora vale su un triangolo astratto (sull'idea di triangolo, secondo Platone ) e poi su quelli reali .