« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 119 :
Les énoncés d'une théorie sont construits avec ses concepts fondamentaux (propriétés ou relations), les noms d'individus et les connecteurs logiques. Un nom d'individu est une constante ou une variable et il peut être construit avec des fonctions. '''x+y''' par exemple est un nom d'individu construit avec la fonction d'addition et les variables '''x''' et '''y'''. Une constante est un nom d'individu qui lui appartient en propre. Une variable est un nom un peu paradoxal. Elle est un nom d'individu sans nommer aucun individu en particulier. Elle sert à nommer n'importe quel individu sans préciser lequel, dans un certain domaine.
Les règles logiques affirment qu'un énoncé est une conséquence logique d'autres énoncés. Quand elles contiennent des variables libres (d'individu, de propriété, de relation, de fonction, d'énoncé ou de liste finie d'
'''La règle de particularisation'''
| |||