Principes Fondamentaux de Logique et Méthodologie

Concepts Fondamentaux de Logique

Opérations Logiques Élémentaires

• La conjonction est vraie lorsque les deux propositions sont vraies.
• La disjonction est fausse lorsque les deux propositions sont fausses.
• La disjonction exclusive est vraie quand l'une est vraie et l'autre fausse.
• La condition est fausse si le premier terme est vrai et le second faux.
• L'identité logique est vraie lorsque les deux termes sont faux ou vrais.

La Définition des Classes

Les classes peuvent être définies par extension (la liste des éléments) et par compréhension (exprimant leurs propriétés communes).

La Science et la Méthode

Nature de la Connaissance Scientifique

La science est une connaissance éminemment rationnelle et systématique, et cette caractéristique est rendue possible par l'utilisation de la méthode.

La Définition

Définir signifie poser des limites. Cela consiste en un definiendum (ce qui est défini) et un definiens (la définition).

Définition Nominale

Elle clarifie la signification du nom de l'objet que vous souhaitez définir. Elle peut être synonymique et étymologique.

Définition Réelle

Elle nous dit ce qu'est une chose. Elle a plusieurs formes :

• Définition Essentielle

  Elle se fait par genre et différence spécifique. Le genre prochain est une caractéristique qui est immédiatement utile pour définir d'autres objets de différentes espèces. La différence spécifique est la caractéristique qui distingue l'objet que vous souhaitez définir d'autres objets qui appartiennent à la même espèce.

• Définition Descriptive par Propriété

  La propriété est la caractéristique possédée par tous les membres d'une espèce.

• Définition Descriptive par Caractéristiques

  Elle décrit un ensemble de caractéristiques qui ne sont ni trop restreintes ni la différence spécifique entre les genres.

• Définition Génétique

  Elle nous dit comment produire l'objet à définir.

• Définition Causale

  Elle indique l'une des causes de production de l'objet :

  • Cause Finale

    Elle indique l'objet ou le but pour lequel l'objet est destiné.

  • Cause Efficiente

    Elle indique ce qui fait ou donne l'existence à l'objet.

  • Cause Exemplaire

    Elle indique le modèle ou le motif selon lequel l'objet a été fabriqué.

• Définition Opérationnelle

  C'est une procédure expérimentale susceptible d'être exploitée, construite ou manipulée.

• Définition Récursive

  L'objet est défini par rapport à un ou plusieurs termes d'une suite numérique.

Lois de la Définition

• Le definiens doit être plus clair que le definiendum. Cette loi a été déduite d'autres sous-lois :
  • Le definiendum ne doit pas faire partie du definiens.
  • Le definiens doit être bref, car une longue définition est souvent obscure et confuse.
  • Le definiens ne doit pas être négatif. La seule exception est quand elle ne peut être autrement valable, et c'est alors que nous définissons un manque ou une privation.
• Le definiens doit s'appliquer à l'ensemble du definiendum, et à lui seul. De là, nous tirons :
  • Le definiens ne doit pas être plus strict que le definiendum.
  • Le definiens ne doit pas être plus large que le definiendum.

La Division

Types de Division

• Division Physique

  L'ensemble qui est divisé est physique, et les parties sont différentes les unes des autres. La division physique peut être à son tour :

  • Quantitative Physique

    Un ensemble est divisé en parties homogènes.

  • Essentielle Physique

    Ici, on divise un tout en ses éléments essentiels.

  • Accidentelle Physique

    Un ensemble est divisé en ses composantes comme un agrégat.

• Division Logique

  Les parties se distinguent par la raison humaine.

• Division Morale

  La division est d'abord un ensemble moral, dont les parties sont distinguées, mais restent unies par un lien moral.

Lois de la Division

• Elle doit être complète, c'est-à-dire exprimer toutes les parties possibles de sorte que la somme des parties soit égale à l'ensemble.
• Les parties doivent être mutuellement irréductibles. Chaque partie doit exclure les autres.
• La base ou le critère de la division ne doit pas être modifié au cours du processus.

La Preuve

Types de Preuves

• Preuve A priori et A posteriori

  La preuve a priori est basée sur la cause pour démontrer l'effet. Dans la démonstration a posteriori, nous partons des effets pour remonter à la cause.

• Preuve Rationnelle et Expérimentale

  La démonstration rationnelle est basée sur la spéculation purement rationnelle. La démonstration expérimentale est basée sur des données expérimentales.

• Preuve Directe et Indirecte

  Dans la démonstration directe, on part des prémisses et la conclusion est atteinte. Dans la démonstration indirecte, également connue sous le nom de reductio ad absurdum, on prouve la négation de la thèse pour en déduire une contradiction.

• Preuve Absolue et Ad hominem

  La preuve absolue est valable pour toute information. Dans la démonstration ad hominem, on part d'une proposition acceptée par la personne à qui l'on veut prouver une thèse, bien que cette proposition soit douteuse ou fausse, pour l'amener à une conclusion contraire à celle qu'elle soutenait.

• Preuve Analytique et Synthétique

  Les preuves analytiques doivent procéder du simple au complexe. Dans l'électrolyse, on décompose l'eau en oxygène et hydrogène. En synthèse, le processus est inversé : on reconstitue l'eau à partir d'hydrogène et d'oxygène.