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

( 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

a. 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)

AX9. Pp? Sp

AX10. Pp? p

AX11. P (p?q)? (Pp?Pq)

b. Les definitions

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

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

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

Déf.9: Pp = df p

Déf.10: Pp =df. p

précédent sommaire suivant

"I don't believe we shall ever have a good money again before we take the thing out of the hand of governments. We can't take it violently, out of the hands of governments, all we can do is by some sly roundabout way introduce something that they can't stop ..." Friedrich Hayek (1899-1992) en 1984