Logique classique
La logique classique identifie une classe des logiques formelles qui le plus intensivement ont été étudiées et le plus employé couramment. Elles sont caractérisées par un certain nombre de propriétés ; les logiques non-classical sont ceux qui manquent d'un ou plusieurs de ces propriétés, qui sont : Loi de de l'élimination moyenne exclue de double négatif de et de ;
La logique classique est le bivalent, c. elle emploie seulement les fonctions Booléen-évaluées par et tandis que non nécessitée par les conditions précédentes, les examens contemporains de la logique classique incluent normalement seulement le des logiques de premier ordre propositionnelles de et .
Exemples des logiques classiques
le
Organon de s d'Aristote le 'présente sa théorie des Syllogisms qui est une logique avec une forme restreinte de jugements : les affirmations prennent une de quatre formes, le toute la picoseconde sont Q , le une certaine picoseconde sont Q , le aucune picoseconde sont Q , et le une certaine picoseconde ne sont pas Q . Ces jugements se trouvent si deux paires de deux opérateurs duels, et chaque opérateur est la négation des autres, les rapports qu'Aristote a récapitulés avec sa place de des oppositions que Aristote a explicitement formulé la loi du milieu exclu et la loi de la non-contradiction en justifiant son système, bien que ces lois ne puissent pas être exprimées comme jugements dans le cadre syllogistique.
reformulation algébrique de s de Boole George 'de la logique, son système de la logique booléenne ;
que la logique de premier ordre a trouvé dans le Begriffsschrift de s de Frege Gottlob '.
Logiques Non-classical
La logique de Computability de est une théorie formelle sémantiquement construite de computability, par opposition à la logique classique, qui est une théorie formelle de vérité ; intègre et prolonge des logiques classiques, linéaires et intuitionnistes. La logique floue rejette la loi du milieu exclu et permet comme valeur de vérité n'importe quel vrai nombre entre 0 et 1.
La logique intuitionniste rejette la loi de l'élimination exclue de négatif moyen et double, et des lois de De Morgan ;
La logique linéaire rejette l'idempotency de l'entailment aussi bien ;
La logique modale prolonge la logique classique avec le non-vérité-fonctionnel (" ; modal" ;) opérateurs.
La logique (par exemple, Dialetheism de Paraconsistent de et la logique de pertinence de ) rejette la loi du noncontradiction ;
Logique de pertinence de , logique linéaire , et monotonicity non monotonique de rejet de la logique d'entailment ;
Dans la logique déviante de , logique floue : Au delà du formalisme , du Susan Haack logiques non-classical divisées dans des logiques déviant, quasi-déviant, et prolongé.
| Random links: | Austin Clarke | Langue standard | Vilasrao Deshmukh | Ugress | Michael Jones (soldat) | Lógica_clásica |