[151] (467) 



77. 



Se nello .sclieina del i:^ 7.S, alle due sintesi ( ; ), ( : ) si 

 sostituisce, una Aolta ad entrambe la congiunzione, un'al- 

 tra volta ad cnti'aiiihe la disgiunzione, s'ottengono i due: 



I. (^a = b qi) e {b = c q^i) segue : a = cqi q-i ; 



IL (a = & -f gì) e{p = c^ r/-2) segue : a = e -f q^ -\- q^^ ; 



l'ordine dei sindìoli e, q\, q^ nelle tesi è ora indifferente, 

 per quanto s' è visto (^). 



S'hanno rispettivamente ne' due schemi i tipi de' sil- 

 logismi di comprensione e d'estensione : assumendo ("^) co- 

 me comprensione d'una classe, il numero de' fattori di cui 

 cui essa è il })rodotto (o più in generale, che la compren- 

 sione d'un prodotto è maggiore di quella di ciascun fat- 

 tore) ; e come estensione d'una classe, il numero dei ter- 

 niini di cui essa è la somma (che l'estensione d'una som- 

 ma é maggiore di quella di ciascun termine). Dov' è da 

 notare, che l'incertezza derivante dal dubbio, se un pro- 



a caso. Notiamo, che non ò stata nostra intenzione di preparare il let- 

 tore allo studio delle opere di logica-matematica ; nò di far progredire 

 questa teoria ; non affermiamo, anzi non siamo propensi a credere, che 

 nello indagini puramente filosofiche il calcolo logico possa essere di grande 

 utìlitit. Lo scopo di qviesta ricerca non è istrumentale, ma analitico. Il 

 simbolismo di cui al Gap. precedente ha permesso di concludere alla 

 possibilità del sillogismo senza postulati ; il simbolismo del calcolo lo- 

 gico permetterà di spingere X analisi un passo (un breve passo) più 

 innanzi. Come già venne accennato (§ 74) ciò non ó punto necessario ; 

 ma servirà a rendere più intelligibile la teorica precedente, col darle 

 un contenuto positivo, e, vinta che sia la difficoltà della notazione per 

 chi non c'è avvezzo, notissimo : stantechè i sillogismi consueti sono sil- 

 logismi di classe. 



(1) § 75. 



(2) § 50. 



