WOW !! MUCH LOVE ! SO WORLD PEACE !
Fond bitcoin pour l'amélioration du site: 1memzGeKS7CB3ECNkzSn2qHwxU6NZoJ8o
  Dogecoin (tips/pourboires): DCLoo9Dd4qECqpMLurdgGnaoqbftj16Nvp


Home | Publier un mémoire | Une page au hasard

 > 

Notion de système formel. Prolégomènes à  une logique cognitiviste

( Télécharger le fichier original )
par Tamis MUAMBA NGUESHE
Université de Kinshasa - Licence 2010
  

précédent sommaire suivant

Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy
1. Les axiomes

AX1. (pvq)? p

AX2. p? (pvq)

AX3. (pvq)? (qvp)

AX4. (pvq)? [(rvp) ? (rvq)]

AX5. p? p

AX6. (p?q)? (p?q)

AX7. S p? p

AX6. S (p?q)? (Sp?Sq)

2. Les definitions

Déf.1: p?q = df ~pvq

Déf.2: pËq = df ~ (~pv~q)

Déf.3: (pq) = df.(p?q)Ë(q?p)

= df. ~ (~ (~ pvq)v~ (~ qvp))

Déf.4: p= df. ~ ~p

Déf.5: -3=déf. (?)

Déf.6: = = déf ( -3)Ë (-3)

Déf.7: Sp = p

Déf.8: Sp = p

a.i.3. Règles de deduction

R.D1. les axiomes sont des thèses, c'est-à-dire on peut évoquer n'importe quel axiome pour opérer une déduction.

R.D2. Si A définit B, alors : A ? B ;

B? A ;

A B ;

BA .

R.D.3 : Si (A B) et A, alors B ( règle de détachement) ;

R.D.4. Si A et que B est un élément de A, on peut remplacer de manière uniforme A par B et la thèse restera intacte (substitution uniforme) ;

R.D.5 : Si alors

R.D.6 : Si ( ? ) alors (?)

R.D. 7 : Si ( ) alors ()

R.D.8 : Si ( ? ) alors (?)

R.D. 9 : Si alors S

R.D.  10 : Si ( ? ) alors (S?S)

R.D.11 :il n'y a pas d'autres thèses que celles qui répondent aux règles R.D.1,R.D.2,R.D.3,R.D.4,R.D.5,R.D.6,R.D.7,R.D.8,R.D.9,R.D.10.

a.i.4. Règles secondaires

RSa : si (A?B)

Et (B?C)

Alors (A?C)

RSb : Si A

Et B

Alors (A?B)

RSc : Si A

Et B

Alors (A Ë B)

RSd : on peut remplacer le défini par le définissant et vice versa (substitutionnalité des équivalences ou des définitions)

Nous pouvons maintenant évaluer l'expression :

S{[(p?q)^~q]?~p}

Par la méthode axiomatique à l'aide du système C1 tel que défini ci-haut.

Théorème : S{[(p?q)^~q]?~p}

1. (pvp) ? p Ax1

2. (~p? p) ?p 1, implication matérielle

3. ((pvp) ?p) ?p 2, substitution de ~p/pvp

4. (pvp) ? p AX1

5. p détachement de 3 et 4

6. p? (pvq) Ax2

7. pvq détachement de 6 et 5

8. ~p ?q 7, implication matérielle

9. (pvq) ? (qvp) Ax3

10. (~p ?q) ? (~q ?p) 9, implication matérielle

11. (p ?q) ? (p ?q) 10, substitution de ~ q/p et p/q

12. p?q détachement de 11 et 8

13. q détachement de 12 et 5

14. ~q 5, substitution de p/~q

15. ~p 13, substitution de q/~p

16. (p q) Ëq RSc 12 et 14

17. [(p ?q) Ë~q) ]? ~p RSb 17 et 15

18. S {[(p >q) Ë~q) ]? ~p} R.D.9

C.Q.F.D

A supposer que l'énoncé « si l'univers a un centre, alors il a une circonférence. Or, il n'a pas de circonférence, donc il n'a pas de centre » soit prononcé par un homme un peu fou qui ne comprend rien de ce qu'il affirme, alors la première condition n'allait pas être remplie.

Si, de surcroit, cet homme un peu fou est un pygmée chevronné dans la cueillette des fruits dans la foret équatoriale (condition de qualité), et que par enchantement, il l'exprime en français, lui qui n'a jamais été à l'école (la condition de compétence linguistique) et il le dit au moment où on lui pose des questions sur les techniques de cueillette des fruits, alors, en dépit de sa validité formelle, l'énoncé allait être tout de même non sincère.

Nous pouvons aussi rencontrer des énoncés qui satisfont aux conditions de sincérité mais qui sont invalide, de même nous pouvons aussi avoir des énoncés non sincères et invalides.

précédent sommaire suivant






Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy








"Ceux qui rĂªvent de jour ont conscience de bien des choses qui échappent à ceux qui rĂªvent de nuit"   Edgar Allan Poe