Accès plus rapide que le navigateur!
133 relations: Algèbre de Boole (logique), Analogie, Analyse non standard, Archimède, Aristote, Arts libéraux, Augustin d'Hippone, Averroès, Éléments (Euclide), Bible, Bouddhisme, Calcul infinitésimal, Catégories (Aristote), Chine, Christian Huygens, Claude Ptolémée, Code de Hammurabi, Codex Atlanticus, Coq (logiciel), Correspondance de Curry-Howard, Criticisme, Critique de la raison pure, David Hilbert, Décidabilité, Démonstration constructive, Dharmakīrti, Dialectique, Dignāga, Discours, Dynastie Qin, Edmund Husserl, Emmanuel Kant, Empire byzantin, Encyclopédie des sciences philosophiques, Euclide, Europe, Galilée (savant), Géocentrisme, Georg Cantor, Georg Wilhelm Friedrich Hegel, Gottfried Wilhelm Leibniz, Gottlob Frege, Gravitation, Grèce antique, Grec ancien, Haskell, Hexagone logique, Histoire de la médecine, Histoire de la philosophie en Occident, Histoire des mathématiques, ..., Idéographie, Inde, Induction, Inférence (logique), Inférence bayésienne, Informatique, Institut national de recherche en informatique et en automatique, Intuitionnisme, Isaac Newton, Jacques de Venise, Jan Łukasiewicz, Jérôme Cardan, Józef Maria Bocheński, Johannes Kepler, Kurt Gödel, La Science de la logique, Lambda-calcul, Légisme, Léonard de Vinci, Leighton Durham Reynolds, Limite d'une suite, Liste de concepts logiques, Logiciel, Logique, Logique chinoise, Logique classique, Logique déontique, Logique floue, Logique formelle, Logique intuitionniste, Logique linéaire, Logique mathématique, Loi physique, Luitzen Egbertus Jan Brouwer, Lunette astronomique, Matériel informatique, Mathématiques, Mathématiques de la Grèce antique, Métaphysique, Métaphysique (Aristote), Moïsme, Monde arabo-musulman, Moyen Âge, Mozi, Navya-Nyaya, Nombre complexe, Nombre imaginaire pur, Nyâya, Occident, Organon, Pape, Paradoxe, Paradoxes de Zénon, Pensée, Philon de Mégare, Philosophie, Philosophie bouddhiste, Philosophie indienne, Pierre d'Espagne, Platon, Postulat, Prémisse, Problème P ≟ NP, Quadrature de la parabole, Quadrivium, Réalisme, Révolution copernicienne, Reims, Renaissance, Renaissance du XIIe siècle, Renaissances médiévales, Robert Blanché, Roger Bacon, Siddhartha Gautama, Stoïcisme, Syllogisme, Sylvestre II, Tétralemme, Thomas d'Aquin, Traductions latines du XIIe siècle, Vaisheshika, Vérité, 999. Développer l'indice (83 plus) »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Histoire de la logique et Algèbre de Boole (logique) · Voir plus »
Analogie
Une analogie est un processus de pensée par lequel on remarque une similitude de forme entre deux choses, par ailleurs de différentes natures ou classes.
Nouveau!!: Histoire de la logique et Analogie · Voir plus »
Analyse non standard
En mathématiques, et plus précisément en analyse, l'analyse non standard est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'infiniment petit de manière rigoureuse.
Nouveau!!: Histoire de la logique et Analyse non standard · Voir plus »
Archimède
Archimède de Syracuse (en grec ancien: /), né à Syracuse vers 287 av. J.-C. et mort en cette même ville en 212 av. J.-C., est un grand scientifique grec de Sicile (Grande-Grèce) de l'Antiquité, physicien, astronome, mathématicien et ingénieur.
Nouveau!!: Histoire de la logique et Archimède · Voir plus »
Aristote
Aristote (384-322) est un philosophe et polymathe grec de l'Antiquité.
Nouveau!!: Histoire de la logique et Aristote · Voir plus »
Arts libéraux
Les sept arts libéraux sont une grande part de la matière de l'enseignement concernant les lettres latines et les sciences des écoles de second niveau de l'Antiquité, qui se poursuit sous diverses formes au Moyen Âge.
Nouveau!!: Histoire de la logique et Arts libéraux · Voir plus »
Augustin d'Hippone
Augustin d'Hippone (Aurelius Augustinus) ou saint Augustin, né le à Thagaste (l'actuelle Souk Ahras, Algérie), un municipe de la province d'Afrique, et mort le à Hippone (l'actuelle Annaba, Algérie), est un philosophe et théologien chrétien romain ayant occupé le rôle d'évêque d'Hippone en Numidie.
Nouveau!!: Histoire de la logique et Augustin d'Hippone · Voir plus »
Averroès
Mezquita'' de Cordoue (salle des colonnes), où Averroès a effectué plusieurs passages, pour se recueillir ou converser avec ses amis ou ses élèves. Son nom complet est.
Nouveau!!: Histoire de la logique et Averroès · Voir plus »
Éléments (Euclide)
texte.
Nouveau!!: Histoire de la logique et Éléments (Euclide) · Voir plus »
Bible
La Bible est un terme générique désignant les ensembles de textes sacrés des chrétiens et, par extension, ceux des juifs qui préfèrent le plus souvent le terme d'Écrits ou de Tanakh à ceux de Bible juive ou Bible hébraïque.
Nouveau!!: Histoire de la logique et Bible · Voir plus »
Bouddhisme
II. Musée national de Tokyo. Une des premières représentations connues du Bouddha. Le bouddhisme est une religion et une philosophie dont les origines se situent en Inde aux à la suite de l'éveil de Siddhartha Gautama à Bodhgaya dans le Bihar et de la diffusion de son enseignement.
Nouveau!!: Histoire de la logique et Bouddhisme · Voir plus »
Calcul infinitésimal
Le calcul infinitésimal (ou calcul différentiel et intégral) est une branche des mathématiques, développée à partir de l'algèbre et de la géométrie, qui implique deux idées majeures complémentaires.
Nouveau!!: Histoire de la logique et Calcul infinitésimal · Voir plus »
Catégories (Aristote)
Catégories est le titre donné à une œuvre d'Aristote, placée en tête de son Organon (l'ensemble de ses traités de logique).
Nouveau!!: Histoire de la logique et Catégories (Aristote) · Voir plus »
Chine
La Chine (en chinois), en forme longue la république populaire de Chine (RPC), également appelée Chine populaire et Chine communiste, est un pays d'Asie de l'Est.
Nouveau!!: Histoire de la logique et Chine · Voir plus »
Christian Huygens
Christiaan Huygens, Christianus Hugenius en latin et Christian Huygens en français, né le à La Haye (dans les Provinces-Unies) et mort le dans la même ville, est un mathématicien, astronome et physicien néerlandais.
Nouveau!!: Histoire de la logique et Christian Huygens · Voir plus »
Claude Ptolémée
Claude Ptolémée (en grec ancien Claúdios Ptolemaîos, en latin Claudius Ptolemaeus), communément appelé Ptolémée (Ptolémaïs de Thébaïde (Haute-Égypte)), né vers 100 et mort vers 168 à Canope, est un astronome, astrologue, mathématicien et géographe grec qui vécut à Alexandrie (Égypte).
Nouveau!!: Histoire de la logique et Claude Ptolémée · Voir plus »
Code de Hammurabi
Le Code de Hammurabi est un texte juridique babylonien daté d'environ 1750, à ce jour le plus complet des codes de lois connus de la Mésopotamie antique.
Nouveau!!: Histoire de la logique et Code de Hammurabi · Voir plus »
Codex Atlanticus
Le ou est un recueil de dessins et de notes de Léonard de Vinci conservé à la bibliothèque Ambrosienne de Milan.
Nouveau!!: Histoire de la logique et Codex Atlanticus · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Histoire de la logique et Coq (logiciel) · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Histoire de la logique et Correspondance de Curry-Howard · Voir plus »
Criticisme
Kritik der reinen Vernunft'', 1781 Le criticisme, ou « philosophie critique », promeut l'idée que toute véritable recherche philosophique.
Nouveau!!: Histoire de la logique et Criticisme · Voir plus »
Critique de la raison pure
La Critique de la raison pure, en allemand, Kritik der reinen Vernunft, est une œuvre d'Emmanuel Kant, publiée en 1781 et remaniée en 1787.
Nouveau!!: Histoire de la logique et Critique de la raison pure · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Histoire de la logique et David Hilbert · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Histoire de la logique et Décidabilité · Voir plus »
Démonstration constructive
Une première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu.
Nouveau!!: Histoire de la logique et Démonstration constructive · Voir plus »
Dharmakīrti
Dharmakīrti (milieu du), est un important philosophe et logicien indien de l'école bouddhiste du Yogacara.
Nouveau!!: Histoire de la logique et Dharmakīrti · Voir plus »
Dialectique
La dialectique (également méthode ou art dialectique) est une méthode de discussion, de raisonnement, de questionnement et d'interprétation qui occupe depuis l'Antiquité une place importante dans les philosophies occidentales et orientales.
Nouveau!!: Histoire de la logique et Dialectique · Voir plus »
Dignāga
Dignāga (Diṅnāga, (陳那論師/域龍, दिग्नाग, Tibetain: ཕྱོགས་ཀྱི་གླང་པོ་) (480-540 ou 430-500), célèbre bouddhiste indien du au, réformateur et fondateur de la nouvelle logique (Hetuvidyā ou nyāya) bouddhique.
Nouveau!!: Histoire de la logique et Dignāga · Voir plus »
Discours
Un discours est un genre de communication qui consiste généralement en un développement oral fait devant une audience, le plus souvent à l’occasion d’un événement particulier.
Nouveau!!: Histoire de la logique et Discours · Voir plus »
Dynastie Qin
La dynastie Qin est la première dynastie impériale de la Chine, qui dure de 221 à C'est la conquête des six États issus de la chute de la dynastie Zhou par l'État de Qin, conquête unifiant de facto le pays, qui l'installe au pouvoir.
Nouveau!!: Histoire de la logique et Dynastie Qin · Voir plus »
Edmund Husserl
Edmund Husserl (-) est un philosophe et logicien, autrichien de naissance, puis prussien, fondateur de la phénoménologie, qui eut une influence majeure sur l'ensemble de la philosophie du.
Nouveau!!: Histoire de la logique et Edmund Husserl · Voir plus »
Emmanuel Kant
Emmanuel Kant, né le à Königsberg en Prusse (aujourd'hui appelée Kaliningrad en Russie), et mort le dans cette même ville, est un philosophe prussien, fondateur du criticisme et de la doctrine dite « idéalisme transcendantal ».
Nouveau!!: Histoire de la logique et Emmanuel Kant · Voir plus »
Empire byzantin
L’Empire byzantin ou Empire romain d'Orient désigne l'État apparu vers le dans la partie orientale de l'Empire romain, au moment où celui-ci se divise progressivement en deux.
Nouveau!!: Histoire de la logique et Empire byzantin · Voir plus »
Encyclopédie des sciences philosophiques
LEncyclopédie des sciences philosophiques est un ouvrage publié par le philosophe allemand Hegel, en 1817 à Heidelberg.
Nouveau!!: Histoire de la logique et Encyclopédie des sciences philosophiques · Voir plus »
Euclide
Euclide (en Eukleídês), dit parfois Euclide d'Alexandrie, est un mathématicien de la Grèce antique, auteur d’un traité de mathématiques, qui constitue l'un des textes fondateurs de cette discipline en Occident.
Nouveau!!: Histoire de la logique et Euclide · Voir plus »
Europe
L’Europe est un territoire considéré conventionnellement comme un continent, délimité à l’ouest par l’océan Atlantique et le détroit de Danemark, au nord par l’océan Arctique.
Nouveau!!: Histoire de la logique et Europe · Voir plus »
Galilée (savant)
Galilée, né à Pise le et mort à Arcetri près de Florence le, est un mathématicien, géomètre, physicien et astronome italien du.
Nouveau!!: Histoire de la logique et Galilée (savant) · Voir plus »
Géocentrisme
portugais Bartolomeu Velho (Bibliothèque nationale de France, Paris). Le géocentrisme est un modèle physique ancien selon lequel la Terre se trouve immobile, au centre de l'Univers.
Nouveau!!: Histoire de la logique et Géocentrisme · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Histoire de la logique et Georg Cantor · Voir plus »
Georg Wilhelm Friedrich Hegel
Georg Wilhelm Friedrich Hegel (Prononciation en allemand standard retranscrite selon la norme API.), né le à Stuttgart et mort le à Berlin, est un philosophe allemand.
Nouveau!!: Histoire de la logique et Georg Wilhelm Friedrich Hegel · Voir plus »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.
Nouveau!!: Histoire de la logique et Gottfried Wilhelm Leibniz · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Histoire de la logique et Gottlob Frege · Voir plus »
Gravitation
La gravitation, l'une des quatre interactions fondamentales qui régissent l'Univers, est l' physique responsable de l'attraction des corps massifs.
Nouveau!!: Histoire de la logique et Gravitation · Voir plus »
Grèce antique
V La Grèce antique est une civilisation de l'Antiquité des peuples de langue et de culture grecque développée en Grèce et dans la partie occidentale de l'Asie Mineure, puis, à la suite de plusieurs phases d'expansion, dans d'autres régions du bassin méditerranéen (Chypre, Sicile, Italie du sud, Égypte, Cyrénaïque) et du Proche-Orient (Syrie, Palestine), constituant des points d'implantation jusque dans les actuelles Espagne et France à l'ouest et sur le territoire de l’actuel Afghanistan (Bactriane) à l'est.
Nouveau!!: Histoire de la logique et Grèce antique · Voir plus »
Grec ancien
Le grec ancien est l’étape historique de la langue grecque qui s'étend du au Principale langue parlée et écrite en Grèce antique, elle devient le vecteur de la littérature grecque antique qui produit de nombreuses œuvres littéraires et scientifiques à l'influence durable, dont l’Iliade et l’Odyssée attribuées dans l'Antiquité au poète légendaire Homère.
Nouveau!!: Histoire de la logique et Grec ancien · Voir plus »
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Nouveau!!: Histoire de la logique et Haskell · Voir plus »
Hexagone logique
L'hexagone logique (également appelé hexagone d'opposition) met en évidence des connexions entre six types d'assertions qui sont reliées entre elles par leurs valeurs de vérité.
Nouveau!!: Histoire de la logique et Hexagone logique · Voir plus »
Histoire de la médecine
Antiquité grecque attribués au médecin grec Hippocrate ou du moins rapportant ses enseignements collectés par ses disciples. L'histoire de la médecine représente une branche essentielle de l'histoire des sciences, explorant l'évolution des connaissances et des pratiques médicales et chirurgicales au fil du temps.
Nouveau!!: Histoire de la logique et Histoire de la médecine · Voir plus »
Histoire de la philosophie en Occident
L'Histoire de la philosophie est l'histoire des théories et des doctrines qui ont été formulées par les philosophes à travers les époques.
Nouveau!!: Histoire de la logique et Histoire de la philosophie en Occident · Voir plus »
Histoire des mathématiques
L’histoire des mathématiques s'étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale.
Nouveau!!: Histoire de la logique et Histoire des mathématiques · Voir plus »
Idéographie
Begriffschrift'' (''Idéographie''). L'idéographie est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique.
Nouveau!!: Histoire de la logique et Idéographie · Voir plus »
Inde
LInde, historiquement et constitutionnellement aussi appelé le Bharat (en भारत /) et en forme longue la république de l'Inde (en भारत गणराज्य /), est un pays d'Asie du Sud occupant la majeure partie du sous-continent indien.
Nouveau!!: Histoire de la logique et Inde · Voir plus »
Induction
Le terme induction a plusieurs acceptions.
Nouveau!!: Histoire de la logique et Induction · Voir plus »
Inférence (logique)
L’inférence est un mouvement de la pensée qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion.
Nouveau!!: Histoire de la logique et Inférence (logique) · Voir plus »
Inférence bayésienne
Illustration comparant les approches fréquentiste et bayésienne (Christophe Michel, 2018). L’inférence bayésienne est une méthode d'inférence statistique par laquelle on calcule les probabilités de diverses causes hypothétiques à partir de l'observation d'événements connus.
Nouveau!!: Histoire de la logique et Inférence bayésienne · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Histoire de la logique et Informatique · Voir plus »
Institut national de recherche en informatique et en automatique
L'Institut national de recherche en informatique et en automatique (Inria) est un établissement public à caractère scientifique et technologique français spécialisé en mathématiques et informatique, placé sous la double tutelle du ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation et du ministère de l'Économie et des Finances.
Nouveau!!: Histoire de la logique et Institut national de recherche en informatique et en automatique · Voir plus »
Intuitionnisme
L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du.
Nouveau!!: Histoire de la logique et Intuitionnisme · Voir plus »
Isaac Newton
Isaac Newton (J – J, ou G – G) est un mathématicien, physicien, philosophe, alchimiste, astronome et théologien anglais, puis britannique.
Nouveau!!: Histoire de la logique et Isaac Newton · Voir plus »
Jacques de Venise
Jacques de Venise (fl. deuxième quart du - mort après 1147) est un clerc et canoniste vénitien surtout connu pour ses traductions d'Aristote, dans l'important mouvement de traductions latines de l'époque.
Nouveau!!: Histoire de la logique et Jacques de Venise · Voir plus »
Jan Łukasiewicz
Jan Łukasiewicz, né le à Léopol et mort le à Dublin, est un philosophe et logicien polonais, connu pour sa critique du principe de contradiction d'Aristote.
Nouveau!!: Histoire de la logique et Jan Łukasiewicz · Voir plus »
Jérôme Cardan
Jérôme Cardan (en italien: Gerolamo Cardano ou Girolamo Cardano, en latin: Hieronymus Cardanus), né à Pavie le et mort à Rome le L'encyclopédie italienne Trecaani est la seule à donner la date du, est un mathématicien, philosophe, astrologue, inventeur et médecin italien.
Nouveau!!: Histoire de la logique et Jérôme Cardan · Voir plus »
Józef Maria Bocheński
Józef Maria Bocheński, né à Czuszów en Pologne, le et décédé à Fribourg en Suisse, le, est un dominicain polonais, philosophe et logicien.
Nouveau!!: Histoire de la logique et Józef Maria Bocheński · Voir plus »
Johannes Kepler
Johannes KeplerPlusieurs traducteurs de ses ouvrages ont traduit son prénom par Jean et son nom par Képler.
Nouveau!!: Histoire de la logique et Johannes Kepler · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Histoire de la logique et Kurt Gödel · Voir plus »
La Science de la logique
La Science de la logique, ou Grande Logique (1812 - 1816 pour la première, 1832 pour la deuxième édition).
Nouveau!!: Histoire de la logique et La Science de la logique · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Histoire de la logique et Lambda-calcul · Voir plus »
Légisme
Le légisme ou école des Lois regroupe des penseurs chinois ayant vécu de la fin du jusqu'à la fin de la période des Royaumes combattants.
Nouveau!!: Histoire de la logique et Légisme · Voir plus »
Léonard de Vinci
Léonard de Vinci (dit Leonardo da Vinci), né le du calendrier actuel à Vinci (Toscane) et mort le à Amboise (Touraine), est un peintre polymathe, simultanément artiste, organisateur de spectacles et de fêtes, scientifique, ingénieur, inventeur, anatomiste, sculpteur, peintre, architecte, urbaniste, botaniste, musicien, philosophe et écrivain.
Nouveau!!: Histoire de la logique et Léonard de Vinci · Voir plus »
Leighton Durham Reynolds
Leighton Reynolds (–), professeur émérite de Langues et de Littératures Classiques à l'Université d'Oxford (1996 et 1997), a été enseignant-chercheur en Lettres Classiques au Brasenose College entre 1957 et 1997.
Nouveau!!: Histoire de la logique et Leighton Durham Reynolds · Voir plus »
Limite d'une suite
En mathématiques, de manière intuitive, la limite d'une suite est l'élément dont les termes de la suite se rapprochent quand les indices deviennent très grands.
Nouveau!!: Histoire de la logique et Limite d'une suite · Voir plus »
Liste de concepts logiques
Cet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique).
Nouveau!!: Histoire de la logique et Liste de concepts logiques · Voir plus »
Logiciel
Démarche de construction d'un logiciel. En informatique, un logiciel est un ensemble de séquences d’instructions interprétables par une machine et d’un jeu de données nécessaires à ces opérations.
Nouveau!!: Histoire de la logique et Logiciel · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Histoire de la logique et Logique · Voir plus »
Logique chinoise
La logique chinoise est la logique développée en Chine, principalement sous l’influence de l’École confucéenne, l’École moïste et l’École des Noms, entre le et le siècle avant l’ère commune.
Nouveau!!: Histoire de la logique et Logique chinoise · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Histoire de la logique et Logique classique · Voir plus »
Logique déontique
"Justicia", Giotto di Bondone (1267-1337), Capilla Scrovegni, Padoue, Italie. La logique déontique (du grec déon, déontos: devoir, ce qu'il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre caractéristiques d'une loi: l'obligation, l'interdiction, la permission et le facultatif.
Nouveau!!: Histoire de la logique et Logique déontique · Voir plus »
Logique floue
La logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1.
Nouveau!!: Histoire de la logique et Logique floue · Voir plus »
Logique formelle
La logique formelle est l’étude purement abstraite de l’Inférence, en linguistique.
Nouveau!!: Histoire de la logique et Logique formelle · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Histoire de la logique et Logique intuitionniste · Voir plus »
Logique linéaire
date.
Nouveau!!: Histoire de la logique et Logique linéaire · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Histoire de la logique et Logique mathématique · Voir plus »
Loi physique
Plan incliné Une définit, en physique, un rapport immuable entre plusieurs grandeurs.
Nouveau!!: Histoire de la logique et Loi physique · Voir plus »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer (né le à Overschie et mort le à Blaricum) est un mathématicien néerlandais sur Encyclopædia Britannica.
Nouveau!!: Histoire de la logique et Luitzen Egbertus Jan Brouwer · Voir plus »
Lunette astronomique
Une lunette astronomique ou lunette de Kepler est un instrument d'optique composé de lentilles et permettant d'augmenter la luminosité et la taille apparente des objets du ciel lors de leur observation.
Nouveau!!: Histoire de la logique et Lunette astronomique · Voir plus »
Matériel informatique
Un matériel informatique (en anglais) est une pièce ou composant d'un appareil informatique.
Nouveau!!: Histoire de la logique et Matériel informatique · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Histoire de la logique et Mathématiques · Voir plus »
Mathématiques de la Grèce antique
Illustration de la preuve d'Euclide du théorème de Pythagore. Les mathématiques de la Grèce antique sont les mathématiques développées en langue grecque, autour de la mer Méditerranée, durant les époques classique et hellénistique.
Nouveau!!: Histoire de la logique et Mathématiques de la Grèce antique · Voir plus »
Métaphysique
La métaphysique est la branche de la philosophie qui étudie la nature fondamentale de la réalité.
Nouveau!!: Histoire de la logique et Métaphysique · Voir plus »
Métaphysique (Aristote)
Buste d'Aristote (copie romaine d'un original grec en bronze de Lysippe). La Métaphysique (en grec ancien: τὰ μετὰ τὰ φυσικά) est une des œuvres principales d'Aristote.
Nouveau!!: Histoire de la logique et Métaphysique (Aristote) · Voir plus »
Moïsme
Le moïsme ou mohisme est l'ensemble des doctrines philosophiques d'une des « cent écoles » nées en Chine au cours de la période des Royaumes combattants.
Nouveau!!: Histoire de la logique et Moïsme · Voir plus »
Monde arabo-musulman
Le monde arabo-musulman désigne proprement l'intersection entre le monde arabe et le monde musulman.
Nouveau!!: Histoire de la logique et Monde arabo-musulman · Voir plus »
Moyen Âge
371x371px 347x347px 280x280pxLe Moyen Âge est une période de l'histoire de l'Europe, s'étendant du début du à la fin du, qui débute avec le déclin de l'Empire romain d'Occident et se termine par la Renaissance et les grandes découvertes.
Nouveau!!: Histoire de la logique et Moyen Âge · Voir plus »
Mozi
Mozi, appelé encore Mö-tseu ou MötiPhilosophes Taoïstes 1, édition La Pléiade 1980, p.XVIII.
Nouveau!!: Histoire de la logique et Mozi · Voir plus »
Navya-Nyaya
Le Navya-Nyāya, terme sanskrit signifiant « nouvelle logique » (sanskrit: नव्य-न्याय), représente une école de logique et de philosophie indiennes.
Nouveau!!: Histoire de la logique et Navya-Nyaya · Voir plus »
Nombre complexe
En mathématiques, l'ensemble des nombres complexes est actuellement défini comme une extension de l'ensemble des nombres réels, contenant en particulier un nombre imaginaire noté Le nombre est normalement représenté par un caractère romain, l'italique étant réservé aux noms de variables.
Nouveau!!: Histoire de la logique et Nombre complexe · Voir plus »
Nombre imaginaire pur
Plan des nombres complexes avec les imaginaires purs en bas à droite. nombres complexes. Les coordonnées du point A décrivent un nombre réel pur, celles du point B décrivent un nombre imaginaire pur, et celles du point C décrivent un nombre complexe. Un nombre imaginaire pur est un nombre complexe qui s'écrit sous la forme avec réel, étant l'unité imaginaire.
Nouveau!!: Histoire de la logique et Nombre imaginaire pur · Voir plus »
Nyâya
Le nyāya, l'une des six écoles philosophiques hindoues dites « orthodoxes » (sanskrit en devanāgarī: न्याय; signifie: la « méthode », le « système » ou la « règle ») sans doute fondée par le brahmane Akshapada Gautama, est une doctrine semblable, par certains aspects, au vaiśeṣika.
Nouveau!!: Histoire de la logique et Nyâya · Voir plus »
Occident
L'Occident ou la civilisation occidentale est une aire culturelle dont les définitions recouvrent généralement la majorité de l'Europe, l'Amérique septentrionale et l'Australasie dans sa définition la plus restrictive.
Nouveau!!: Histoire de la logique et Occident · Voir plus »
Organon
L'Organon (« outil » ou « instrument » en grec ancien) est le nom scolastique utilisé pour désigner un ensemble de traités, principalement de logique, attribués à Aristote.
Nouveau!!: Histoire de la logique et Organon · Voir plus »
Pape
Le pape est l'évêque de Rome, chef de l'Église catholique et le chef d'État monarchique du Vatican.
Nouveau!!: Histoire de la logique et Pape · Voir plus »
Paradoxe
M. Escher sont des représentations graphiques paradoxales. Un paradoxe, d'après l'étymologie (grec ancien, « contraire à l'opinion commune », de, « contre », et, « opinion »), est une idée ou une proposition à première vue surprenante ou choquante, c'est-à-dire allant contre le sens commun.
Nouveau!!: Histoire de la logique et Paradoxe · Voir plus »
Paradoxes de Zénon
Les paradoxes de Zénon forment un ensemble de paradoxes imaginés par Zénon d'Élée pour soutenir la doctrine de Parménide, selon laquelle toute évidence des sens est trompeuse et le mouvement est impossible.
Nouveau!!: Histoire de la logique et Paradoxes de Zénon · Voir plus »
Pensée
Au sens large du terme, la pensée est une activité psychique, consciente dans son ensemble (mais parfois incontrôlée), qui recouvre les processus par lesquels sont élaborées, en réponse aux perceptions venues des sens, la synthèse des images et des sensations réelles et imaginaires qui produisent les concepts que l'être humain associe pour apprendre, créer, agir et communiquer dans la réalité.
Nouveau!!: Histoire de la logique et Pensée · Voir plus »
Philon de Mégare
Philon de Mégare, surnommé le Dialecticien, était un philosophe et logicien dialecticien de l'École mégarique.
Nouveau!!: Histoire de la logique et Philon de Mégare · Voir plus »
Philosophie
La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.
Nouveau!!: Histoire de la logique et Philosophie · Voir plus »
Philosophie bouddhiste
Cet article traite du bouddhisme comme philosophie.
Nouveau!!: Histoire de la logique et Philosophie bouddhiste · Voir plus »
Philosophie indienne
La philosophie indienne est un ensemble de systèmes philosophiques originaires de l'Inde.
Nouveau!!: Histoire de la logique et Philosophie indienne · Voir plus »
Pierre d'Espagne
Plusieurs personnages sont désignées par ce nom: le pape Jean XXI, Pierre d'Espagne le Logicien, Pierre d'Espagne le Portugais, Pierre d'Espagne le Médecin de Compostelle, Pierre d'Espagne l'Inconnu, Pierre d'Espagne l'Alchimiste.
Nouveau!!: Histoire de la logique et Pierre d'Espagne · Voir plus »
Platon
Platon (en grec ancien), né en 428 / 427 av. J.-C. et mort en 348 / 347 av. J.-C. à Athènes, est un philosophe antique de la Grèce classique, contemporain de la démocratie athénienne et des sophistes qu'il critiqua vigoureusement.
Nouveau!!: Histoire de la logique et Platon · Voir plus »
Postulat
Le postulat (du latin qui signifie « demander ») est un principe non démontré utilisé dans la construction d'une théorie mathématique.
Nouveau!!: Histoire de la logique et Postulat · Voir plus »
Prémisse
Une prémisse est une proposition, une affirmation avancée en support à une conclusion.
Nouveau!!: Histoire de la logique et Prémisse · Voir plus »
Problème P ≟ NP
Représentation visuelle des deux configurations possibles. Le problème est une conjecture en mathématiques, et plus précisément en informatique théorique, considérée par de nombreux chercheurs comme une des plus importantes conjectures du domaine, et même des mathématiques en général.
Nouveau!!: Histoire de la logique et Problème P ≟ NP · Voir plus »
Quadrature de la parabole
La quadrature de la parabole est le calcul de l'aire d'un segment de parabole, surface délimitée par une parabole et une droite.
Nouveau!!: Histoire de la logique et Quadrature de la parabole · Voir plus »
Quadrivium
Le terme quadrivium désigne l'ensemble des quatre sciences mathématiques dans la théorie antique: arithmétique, géométrie, musique, astronomie.
Nouveau!!: Histoire de la logique et Quadrivium · Voir plus »
Réalisme
Le terme réalisme peut se rapporter à plusieurs domaines ou mouvements.
Nouveau!!: Histoire de la logique et Réalisme · Voir plus »
Révolution copernicienne
La révolution copernicienne, appelée aussi copernicianisme, est le renversement de la représentation du monde et de l'Univers du, provoqué par l'œuvre De revolutionibus orbium cœlestium de Nicolas Copernic.
Nouveau!!: Histoire de la logique et Révolution copernicienne · Voir plus »
Reims
Reims (orthographe ancienne Rheims) est une commune française qui se situe dans le département de la Marne en région Grand Est.
Nouveau!!: Histoire de la logique et Reims · Voir plus »
Renaissance
Renaissance artistique. La Renaissance est un mouvement de l'histoire européenne associé à la remise à l'honneur de la littérature, de la philosophie et des arts de l'Antiquité gréco-romaine.
Nouveau!!: Histoire de la logique et Renaissance · Voir plus »
Renaissance du XIIe siècle
La renaissance du est une période majeure de renouveau du monde culturel au Moyen Âge, mise en évidence par les travaux des historiens Charles H. Haskins, Jacques Le Goff ou encore Jacques Verger.
Nouveau!!: Histoire de la logique et Renaissance du XIIe siècle · Voir plus »
Renaissances médiévales
Les renaissances médiévales sont des périodes du Moyen Âge occidental qui se caractérisent par un renouveau culturel significatif à l'échelle européenne.
Nouveau!!: Histoire de la logique et Renaissances médiévales · Voir plus »
Robert Blanché
Robert Blanché (1898-1975) est un philosophe et logicien français.
Nouveau!!: Histoire de la logique et Robert Blanché · Voir plus »
Roger Bacon
Roger Bacon, né vers 1220 à Ilchester ou Bisley et mort vers 1292 à Oxford, surnommé Doctor mirabilis (« Docteur admirable ») en raison de sa science hors du commun, est un philosophe, savant et alchimiste anglais.
Nouveau!!: Histoire de la logique et Roger Bacon · Voir plus »
Siddhartha Gautama
Musée Guimet. Siddhārtha Gautama (sanskrit; pāli: Siddhattha Gotama), dit Shakyamuni (« sage des Śākyas ») ou le Bouddha (« l’Éveillé »), est un chef spirituel qui vécut au ou au, fondateur historique d'une communauté de moines errants qui donna naissance au bouddhisme.
Nouveau!!: Histoire de la logique et Siddhartha Gautama · Voir plus »
Stoïcisme
Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes.
Nouveau!!: Histoire de la logique et Stoïcisme · Voir plus »
Syllogisme
En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions: deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ».
Nouveau!!: Histoire de la logique et Syllogisme · Voir plus »
Sylvestre II
Gerbert d'Aurillac (né entre 945 et 950, probablement près d'Aurillac en Auvergne, et mort le à Rome), dit le « savant Gerbert », pape de l'an Mil sous le nom de de 999 à 1003, est un philosophe, un mathématicien et un mécanicien.
Nouveau!!: Histoire de la logique et Sylvestre II · Voir plus »
Tétralemme
En philosophie et en logique, un tétralemme est l'ensemble des quatre valeurs de vérité possibles pour une proposition.
Nouveau!!: Histoire de la logique et Tétralemme · Voir plus »
Thomas d'Aquin
Thomas d'Aquin, né en 1225 ou 1226 au château de Roccasecca près d'Aquino, dans la partie péninsulaire du royaume de Sicile (Latium), et mort le à l'abbaye de Fossanova près de Priverno dans les États pontificaux (dans le Latium également), est un religieux italien de l'ordre dominicain, célèbre pour son œuvre théologique et philosophique.
Nouveau!!: Histoire de la logique et Thomas d'Aquin · Voir plus »
Traductions latines du XIIe siècle
La e est intimement liée à la recherche de nouveaux savoirs par les lettrés européens, aux franges grecques et arabes de l'Occident chrétien, en particulier dans l’Espagne musulmane et en Sicile où l'on note une intense activité de traduction.
Nouveau!!: Histoire de la logique et Traductions latines du XIIe siècle · Voir plus »
Vaisheshika
Le Vaisheshika (IAST: Vaiśeṣika; devanāgarī: वैशॆषिक), mot sanskrit signifiant particulier, excellent, est l'une des six écoles philosophiques hindoues dites «orthodoxes», fondée par le sage Kanadad'après Encyclopédie des religions de Gerhard J. Bellinger, dont les bases sont exposés dans le Vaisheshika-sutra de ce dernier.
Nouveau!!: Histoire de la logique et Vaisheshika · Voir plus »
Vérité
Walter Seymour Allward, ''Veritas'', 1920 ''Nec mergitur'' ou ''La Vérité sortant du puits'', toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère.
Nouveau!!: Histoire de la logique et Vérité · Voir plus »
999
L'année 999 est une année commune qui commence un dimanche.
Nouveau!!: Histoire de la logique et 999 · Voir plus »
