Argomento (filosofia): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 41:
Sia K la connessione logica tra la premessa P e la conclusione C dell'argomento. Abbiamo visto, da un lato, che K è l'autentica ragione che consente all'argomento di giustificare C tramite P; dall'altro lato, che K è il contenuto dell'unica asserzione che l'argomento riesce a convalidare - di cui cioè riesce a fondare la verità - tramite la propria forza logica. Chiamiamo F(K) questa asserzione, a significare che K è il contenuto da essa asserito.
Ciò significherà a sua volta che, nell'asserzione F(K), P e C si trovano connesse in modo tale che la connessione K sia ''proprio'' il contenuto asserito da F(K). P e C dovranno dunque essere unite, in F(K), da un connettivo tale che P e C, ciascuna delle quali costituisce una unità proposizionale, si ritrovino racchiuse ''ancora'' in una unità proposizionale (infatti F(K) deve essere una asserzione). Questo connettivo è, in logica, il segno dell'[[connettivo logico|implicazione materiale]], che qui rappresenteremo con <math>\rightarrow</math>.
L'asserzione F(K), in quanto ''unica'' asserzione convalidata dall'argomento tramite la sua forza logica, ha dunque la forma condizionale: P→C, dove P è la congiunzione logica tra le premesse (dunque, una asserzione del tipo P<math>_1</math>∧P<math>_2</math>...∧P<math>_n</math>) e C è la conclusione.
| |||