Logique formelle

La logique formelle est l’étude purement abstraite de l’Inférence, en linguistique. La logique dite « informelle » est cette branche de logique qui étudie, examine la structure de l’argumentation dans les langues naturelles.

Notes et références

Annexes

Articles connexes
Domaines académiques Argumentation · Axiologie · Esprit critique · Philosophie · Histoire de la logique · Logique mathématique · Mathématique · Métamathématique · Théorie des modèles · Philosophie de la logique · Philosophie des mathématiques · Théorie des ensembles · Théorie de la démonstration
Concepts fondamentaux Abduction · A priori · Jugement synthétique a priori · Déduction · Définition · Description · Implication · Inférence · Induction · Sens · Paradoxe · Mondes possibles · Présupposition · Probabilité · Raison · Référence · Sémantique · Syllogisme · Vérité · Valeur de vérité · Valide
Esprit critique et logique informelle Affirmation · Analyse · Ambiguïté · Conclusion · Crédibilité · Évidence · Explication · Sophisme · Opinion · Parcimonie · Prémisse · Propagande · Prudence · Rhétorique
Théories de la déduction Constructivisme · Atomisme logique · Logicisme · Nominalisme · Pragmatisme · Réalisme
Métalogique et métamathématique Théorème de Cantor · Thèse de Church · Fondements des mathématiques · Théorème de complétude de Gödel · Théorème d'incomplétude de Gödel · Complétude · Décidabilité · Théorème de Löwenheim-Skolem
Logique mathématique Algèbre de Boole · Calcul des prédicats · Calcul des propositions · Théorie de la calculabilité · Déduction naturelle · Logique traditionnelle · Logique classique · Logique linéaire · Lois de De Morgan · Théorie de la démonstration · Théorie des ensembles · Théorie des modèles
Logiques non classiques Logique de description · Logique intuitionniste · Logique minimale · Logique floue · Logique modale · Logique non monotone · Logique paracohérente · Logiques sous-structurelles · Logique de Łukasiewicz
Logiciens Aristote · Avicenne · Averroès · Bain · Barwise · Bernays · Boole · Cantor · Carnap · Church · Chrysippe de Soles · Curry · De Morgan · Frege · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Guillaume d'Ockham · Peano · Peirce · Popper · Putnam · Quine · Russell · Schröder · Scot · Skolem · Smullyan · Tarski · Turing · Whitehead · Wittgenstein · Zermelo
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Logique_formelle) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Logique formelle » :
SniperMaské, Ahbon?, Denispir, Grelot-de-Bois, Mywiz, Wiolshit, Giov, Else If Then, Freewol, Lydie Noria, Blobitomousse.