Logique (homonymie)

Plus généralement, on se reportera au portail de la logique.^{[pertinence contestée]}

Disciplines principales

Logique
- Connecteur logique, opérateur booléen utilisé dans le calcul des propositions
  - Carré logique, modèle conceptuel de type diagramme
    - Hexagone logique, modèle conceptuel et extension du carré logique
  - Conjonction logique, opération mise en œuvre par le connecteur binaire « et »
  - Disjonction logique, opération non exclusive de deux assertions permettant d'affirmer qu'au moins une de ces deux assertions est vraie
  - Négation logique, opération logique
  - Vérité logique, un des concepts fondamentaux de la logique
- Logique philosophique, un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques
Logique formelle, étude des concepts, jugements et raisonnements considérés abstraitement et sans considération des objets qu'ils désignent
- Logique du premier ordre
- Logique d'ordre supérieur, logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats
- Système logique, système formel dédié au raisonnement et aux déductions logiques
Logique informelle, étude des principes de la logique et de la pensée logique en dehors d'une théorie formelle, c'est-à-dire abstraite

Logique mathématique, discipline des mathématiques étudiant celles-ci en tant que langage
- Déduction logique, concept fondamental en logique mathématique
- Logique et raisonnement mathématique
- Logique probabiliste, système formel qui permet de faire du raisonnement déductif avec des probabilités

Logique classique^{[pertinence contestée]}
- Équivalence logique, opérateur logique entre deux propositions permettant d'affirmer que ces propositions ont la même valeur de vérité

Logique non classique, logique formelle qui diffère de façon significative de la logique classique
Logique déontique^{[pertinence contestée]}
Logique des graphes, spécification formelle de propriétés de graphe en utilisant des propositions de la logique mathématique dans les domaines mathématiques de la théorie des graphes et de la théorie des modèles finis.

Logique intuitionniste^{[pertinence contestée]}
Logique minimale^{[pertinence contestée]}
Logique modale^{[pertinence contestée]}
- Logique épistémique, logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents
- Logique temporelle, branche de la logique mathématique et plus précisément de la logique modale
Logique paracohérente (aussi appelé logique paraconsistante), un système logique qui tolère les contradictions, contrairement au système de la logique classique
Logique polyvalente, alternative à la logique classique aristotélicienne, bivalente
- Logique floue^{[pertinence contestée]}
- Logique ternaire

Atomisme logique, doctrine philosophique soutenue par Bertrand Russell et Ludwig Wittgenstein au cours de la première partie du XXe siècle.
Empirisme logique (parfois nommé positivisme logique, néo-positivisme, ou empirisme rationnel), école philosophique principalement illustrée par le Cercle de Vienne.
Logique et raisonnement mathématique, bases de la démonstration en mathématiques
Logique de Basho, cadre philosophique développé par Kitaro Nishida.
Logique du chaudron, un argument fallacieux évoqué par Freud.^{[pertinence contestée]}
Logique quantique^{[pertinence contestée]}, base de raisonnements et conclusions en accord avec les postulats de la mécanique quantique.

Logique ou ''logica'' est un titre notamment porté par :

Logica vetus, un corpus antique de logique.^{[pertinence contestée]}
Logique de Port-Royal (1662), un ouvrage écrit par les philosophes et théologiens Antoine Arnauld et Pierre Nicole.^{[pertinence contestée]}
Logique du sens (1969), un ouvrage écrit par le philosophe contemporain Gilles Deleuze.^{[pertinence contestée]}
La Science de la logique (1812-1816 et 1832), un ouvrage écrit par Georg Wilhelm Friedrich Hegel.
Martin Heidegger et la logique, articles de Heideger consacrés à la logique

Logique est un titre notamment porté par :

En sécurité informatique:
- Bombe logique, dispositif programmé dont le déclenchement s'effectue à un moment déterminé en exploitant la date du système, le lancement d'une commande, ou n'importe quel appel au système.