Definiție
Un argument logic (sau doar argument) este un proces de creare a unui nou enunț din unul sau mai multe enunțuri existente.
Un argument pornește de la un set de premise la o concluzie, prin intermediul implicației logice, printr-o procedură numită inferență logică.
Un argument poate avea mai multe premise, dar numai o singură concluzie.
În timp ce enunțurile pot fi clasificate ca fiind fie adevărate, fie false, un argument poate fi clasificat ca fiind fie valid, fie invalid.
Din punct de vedere general, un argument valid este acela care conduce în mod de neclintit de la afirmații adevărate la alte afirmații adevărate, în timp ce un argument invalid este acela care te poate conduce, de exemplu, la o afirmație falsă pornind de la una care este adevărată.
Astfel:
Un argument poate fi valid, chiar dacă premisele sale sunt false. Un argument poate fi invalid, chiar dacă premisele sale sunt adevărate. Un argument poate fi invalid, iar premisele sale false.
Pentru a fi siguri de adevărul unei concluzii, este necesar să ne asigurăm atât că premisele sunt adevărate, cât și că argumentul este valid.
Cu toate acestea, deși este posibil să nu știți de fapt dacă un enunț este adevărat sau nu, puteți investiga consecințele faptului că este adevărat sau fals și să vedeți ce efect are acest lucru asupra valorii de adevăr a propoziției (propozițiilor) din care face parte. În asta constă, pe scurt, procesul de argumentare logică.
Un argument poate fi descris simbolic prin intermediul secvențelor, care specifică fluxul unui argument.
Argument finitar
Un argument finitar este un argument logic care pornește de la un număr finit de axiome și care poate fi tradus într-un număr finit de enunțuri.
Surse
- 1964: Donald Kalish și Richard Montague: Logică: Tehnici de raționament formal … (anterior) … (Următorul): $\text{I}$: ‘NOT’ și ‘IF’: $\S 3$
- 1965: E.J. Lemmon: Începutul logicii … (anterior) … (Următorul): $\S 1.1$: Natura logicii
- 1973: Irving M. Copi: Logică simbolică (ed. a 4-a) … (precedent) … (Următorul): $1$ Introducere: Logică și limbaj: $1.2$: Natura argumentului
- 1980: D.J. O’Connor și Betty Powell: Logică elementară … (Următorul): $\S \text{I}: 1$: Logica enunțurilor $(1)$
- 1998: David Nelson: Dicționarul Penguin de matematică (ed. a 2-a) … (anterior) … (următor): Intrare: argument: 2.
- 2008: David Joyner: David Joyner: Adventures in Group Theory (2nd ed.) … (anterior) … (următoarea): Capitolul $1$: Elementar, dragul meu Watson: $\S 1.1$: Ai o minte logică dacă….: Definiția $1.1.3$
- 2008: David Nelson: The Penguin Dictionary of Mathematics (ed. a 4-a) … (anterior) … (următoarea): Intrare: argument: 2.
.