Deuxième cours

Lors du deuxième cours, nous avons établi les définitions des notions suivantes :

-Logique
-Inférence
-Raisonnement
-Proposition assertorique ou énoncé assertorique ou assertion

Nous avons établi la structure générale du raisonnement :

-Un raisonnement est constitué de deux parties distinctes : les prémisses et la conclusion. La relation logique existant entre les deux est nommée inférence et est symbolisée par une barre horizontale séparant les prémisses de la conclusion.

Note : il ne faut pas trop s'en faire avec la notion d'assertion ! Ce n'est pas compliqué (!). Une assertion est un énoncé (une phrase) qui a la propriété de pouvoir être vrai ou faux (i.e. qui possède une valeur de vérité). Comme on présume que le langage n'est pas utilisé pour mentir (!), alors on présume aussi que si quelqu'un asserte quelque chose, il pense que cette chose est vraie. Ce n'est pas important de savoir si cela est vrai ou faux ! On s'en fout !

- «Ma copine est la femme la plus adorable du monde.»
- «Je suis la personne la plus méchante du monde.»
- «Le ciel est bleu.»
- (Un homme du Moyen Age) «Dieu a créé le monde et le soleil tourne autour de la Terre.»
- «Les jeunes d'aujourd'hui n'ont plus de valeurs.»
- «Le tableau est vert.»

... sont toutes des assertions !

-«Qu'est-ce qu'on mange ce soir ?»
-«M'aimes-tu ?»
-«Quittez cette pièce immédiatement !»
-«Ah ! que la neige a neigé ...»
-«Ayoye !»

... ne sont pas des assertions.