T2 - mikael cozic

Logique, 1
Théories de la rationaltié
séance 2
M. Cozic
M. Cozic Logique, 1 Théories de la rationaltié séance 2

les arguments valides
M. Cozic Logique, 1 Théories de la rationaltié séance 2

remerciements à ...
I...D. Bonnay
M. Cozic Logique, 1 Théories de la rationaltié séance 2

arguments valides
Irappels:
(i) un argument est la donnée d’une conclusion et d’un
ensemble de prémisses censées la justifier :
(P1) Si Marie boit, Pierre trinque
(P2) Marie boit
(C) Pierre trinque
(ii) prémisses et conclusions sont des énoncés ; un énoncé
est une expression susceptible d’être vraie ou fausse.
ILa logique cherche à caractériser parmi les arguments
ceux qui sont valides: du point de vue de la logique, les
“bons” arguments sont les arguments valides, les mauvais
ceux qui ne sont pas valides
M. Cozic Logique, 1 Théories de la rationaltié séance 2

quelques arguments
IValides ou non ?
(A1)
Si Marie boit, Pierre trinque
Marie boit
Pierre trinque
(A2)
Si Marie boit, Pierre trinque
Pierre trinque
Marie boit
(A3)
Tous les philosophes sont des
mammifères
Descartes est un mammifère
Descartes est philosophe
(A4)
Tous les logiciens sont polonais
Proust est un logicien
Proust est polonais
M. Cozic Logique, 1 Théories de la rationaltié séance 2