Différences entre les versions de « Précis d'épistémologie/Principes logiques »

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, ou d'énoncé) elles sont vraies si et seulement si elles sont vraies dans tous les cas où les variables libres sont remplacées par des constantes.
 
'''La règle de particularisation'''
4 741

modifications