In logica, un argomento richiede un insieme di (almeno) due frasi dichiarative (o “proposizioni”) note come “premesse” (o “premesse”), insieme a un’altra frase dichiarativa (o “proposizione”), nota come conclusione. Questa struttura di due premesse e una conclusione costituisce la struttura argomentativa di base. Argomenti più complessi possono utilizzare una sequenza di regole per collegare più premesse a una conclusione, o per ricavare una serie di conclusioni dalle premesse originali che poi fungono da premesse per ulteriori conclusioni., Un esempio di questo è l’uso delle regole di inferenza che si trovano all’interno della logica simbolica.

Aristotele sosteneva che qualsiasi argomento logico poteva essere ridotto a due premesse e una conclusione. Le premesse sono a volte lasciate non dichiarate, nel qual caso vengono chiamate premesse mancanti, ad esempio:

Socrate è mortale perché tutti gli uomini sono mortali.

È evidente che un’affermazione tacitamente compresa è che Socrate è un uomo. Il ragionamento pienamente espresso è così:

Perché tutti gli uomini sono mortali e Socrate è un uomo, Socrate è mortale.,

In questo esempio, le clausole indipendenti che precedono la virgola (cioè “tutti gli uomini sono mortali” e “Socrate è un uomo”) sono le premesse, mentre “Socrate è mortale” è la conclusione.

La prova di una conclusione dipende sia dalla verità delle premesse che dalla validità dell’argomento. Inoltre, sono necessarie ulteriori informazioni al di là del significato della premessa per determinare se il significato completo della conclusione coincide con ciò che è.

Per Euclide, premesse costituiscono due delle tre proposizioni in un sillogismo, con l’altra è la conclusione., Queste proposizioni categoriche contengono tre termini: soggetto e predicato della conclusione e il medio termine. Il soggetto della conclusione è chiamato il termine minore mentre il predicato è il termine principale. La premessa che contiene il termine medio e il termine maggiore è chiamata la premessa principale mentre la premessa che contiene il termine medio e il termine minore è chiamata la premessa minore.

Una premessa può anche essere una parola indicatore se le istruzioni sono state combinate in un argomento logico e tali funzioni di parola per contrassegnare il ruolo di una o più delle istruzioni., Indica che la dichiarazione a cui è allegata è una premessa.