Accès plus rapide que le navigateur!
69 relations: Alfred North Whitehead, Alfred Tarski, Algèbre de Boole (structure), Aristote, Aspect (grammaire), Atomisme, Axiome d'extensionnalité, Axiomes de Peano, Équivalence logique, Bateau de Thésée, Bertrand Russell, Calcul des prédicats, Cas grammatical, Christian Godin, Classe (mathématiques), David Lewis (philosophe), Diagramme de Hasse, Edmund Husserl, Ensemble des parties d'un ensemble, Génitif, Georg Cantor, Georges Canguilhem, Giuseppe Peano, Grec ancien, Identité (philosophie), Intelligence artificielle, Ivor Grattan-Guinness, Jean-Paul Delahaye, Langage naturel, Les Études philosophiques, Logique modale, Mathématiques, Métaphysique, Nelson Goodman, Nominalisme, Ontologie (philosophie), Paradoxe de Russell, Philosophie, Philosophie médiévale, Physique, Pierre Guenancia, Polonais, Pour la science, Présocratiques, Principia Mathematica, Publication scientifique, Rasoir d'Ockham, Relation antisymétrique, Relation asymétrique, Relation réflexive, ..., Relation symétrique, Relation transitive, Sémantique, Science de la nature, Singleton (mathématiques), Stanisław Leśniewski, Symbole, Télicité, Théorème, Théorème d'existence, Théorie des ensembles, Théorie des ensembles de von Neumann-Bernays-Gödel, Théorie des ensembles de Zermelo-Fraenkel, Théorie naïve des ensembles, Topologie, Treillis (ensemble ordonné), Unicité (mathématiques), Univers, Univers du discours. Développer l'indice (19 plus) »
Alfred North Whitehead
Alfred North Whitehead, né le à Ramsgate (dans le Kent, en Angleterre) et mort le à Cambridge (Massachusetts), est un philosophe, logicien et mathématicien britannique.
Nouveau!!: Méréologie et Alfred North Whitehead · Voir plus »
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.
Nouveau!!: Méréologie et Alfred Tarski · Voir plus »
Algèbre de Boole (structure)
'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.
Nouveau!!: Méréologie et Algèbre de Boole (structure) · Voir plus »
Aristote
Aristote (384-322) est un philosophe et polymathe grec de l'Antiquité.
Nouveau!!: Méréologie et Aristote · Voir plus »
Aspect (grammaire)
En linguistique, l'aspect est un trait grammatical associé au prédicat (le plus souvent au verbe, mais pas exclusivement), indiquant la façon dont le procès ou l'état exprimé par le verbe est envisagé du point de vue de son développement (commencement, déroulement, achèvement, évolution globale ou au contraire moment précis de cette évolution, etc.). Selon les termes de Paul Imbs, le procès est envisagé sous l'angle de son déroulement interneL'Emploi des temps verbaux en français moderne.
Nouveau!!: Méréologie et Aspect (grammaire) · Voir plus »
Atomisme
Cube de tantale à l'état liquide. L'atomisme est un courant philosophique et physicien affirmant que la matière est discontinue et composée d'éléments insécables.
Nouveau!!: Méréologie et Atomisme · Voir plus »
Axiome d'extensionnalité
L’axiome d’extensionnalité est l’un des axiomes-clés de la plupart des théories des ensembles, en particulier, des théories des ensembles de Zermelo, et de Zermelo-Fraenkel (ZF).
Nouveau!!: Méréologie et Axiome d'extensionnalité · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Méréologie et Axiomes de Peano · Voir plus »
Équivalence logique
En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.
Nouveau!!: Méréologie et Équivalence logique · Voir plus »
Bateau de Thésée
Le bateau de Thésée est une expérience de pensée philosophique concernant la notion d'identité.
Nouveau!!: Méréologie et Bateau de Thésée · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Méréologie et Bertrand Russell · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Méréologie et Calcul des prédicats · Voir plus »
Cas grammatical
En linguistique, le cas est au sens large un trait grammatical principalement associé au nom, au pronom, à l'adjectif et au déterminant, et exprimant leur fonction syntaxique dans la proposition, ou leur rôle sémantique en rapport avec le procès exprimé par le verbe.
Nouveau!!: Méréologie et Cas grammatical · Voir plus »
Christian Godin
Christian Godin, né le à Saint-Maur-des-Fossés (Val-de-Marne) est un philosophe français.
Nouveau!!: Méréologie et Christian Godin · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Méréologie et Classe (mathématiques) · Voir plus »
David Lewis (philosophe)
David Kellogg Lewis, né le à Oberlin (Ohio) et mort le à Princeton (New Jersey), philosophe américain, est l'une des figures majeures de la philosophie analytique contemporaine.
Nouveau!!: Méréologie et David Lewis (philosophe) · Voir plus »
Diagramme de Hasse
En mathématiques, le diagramme de Hasse, du nom du mathématicien allemand Helmut Hasse, est une représentation visuelle d'un ordre fini.
Nouveau!!: Méréologie et Diagramme de Hasse · 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!!: Méréologie et Edmund Husserl · Voir plus »
Ensemble des parties d'un ensemble
En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).
Nouveau!!: Méréologie et Ensemble des parties d'un ensemble · Voir plus »
Génitif
En linguistique, le génitif est un cas grammatical utilisé quand un nom commun ou un nom propre est un complément d'un autre nom.
Nouveau!!: Méréologie et Génitif · 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!!: Méréologie et Georg Cantor · Voir plus »
Georges Canguilhem
Georges Canguilhem, né le à Castelnaudary et mort le à Marly-le-Roi, est un philosophe et résistant français.
Nouveau!!: Méréologie et Georges Canguilhem · Voir plus »
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Nouveau!!: Méréologie et Giuseppe Peano · 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!!: Méréologie et Grec ancien · Voir plus »
Identité (philosophie)
L’identité est un terme désignant plusieurs formes de relations, en logique, en métaphysique et en psychologie.
Nouveau!!: Méréologie et Identité (philosophie) · Voir plus »
Intelligence artificielle
assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine.
Nouveau!!: Méréologie et Intelligence artificielle · Voir plus »
Ivor Grattan-Guinness
Ivor Grattan-Guinness (né le à Bakewell, en Angleterre et mort le) est un historien des mathématiques et de la logique.
Nouveau!!: Méréologie et Ivor Grattan-Guinness · Voir plus »
Jean-Paul Delahaye
Jean-Paul Delahaye est un informaticien et mathématicien français né à Saint-Mandé (Seine) le.
Nouveau!!: Méréologie et Jean-Paul Delahaye · Voir plus »
Langage naturel
Un langage naturel.
Nouveau!!: Méréologie et Langage naturel · Voir plus »
Les Études philosophiques
Les Études philosophiques est une revue trimestrielle de philosophie générale et d'histoire de la philosophie, fondée en 1926 par Gaston Berger et publiée par les Presses universitaires de France.
Nouveau!!: Méréologie et Les Études philosophiques · Voir plus »
Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.
Nouveau!!: Méréologie et Logique modale · 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!!: Méréologie et Mathématiques · Voir plus »
Métaphysique
La métaphysique est la branche de la philosophie qui étudie la nature fondamentale de la réalité.
Nouveau!!: Méréologie et Métaphysique · Voir plus »
Nelson Goodman
Nelson Goodman (-) est un philosophe, logicien et collectionneur d'art américain.
Nouveau!!: Méréologie et Nelson Goodman · Voir plus »
Nominalisme
vignette Le nominalisme est une doctrine philosophique qui considère que les concepts et les noms qui s'y rapportent ne sont que constructions de l'esprit et conventions de langage.
Nouveau!!: Méréologie et Nominalisme · Voir plus »
Ontologie (philosophie)
L'ontologie est une branche de la philosophie et plus spécifiquement de la métaphysique qui, dans son sens le plus général, s'interroge sur la signification du mot « être ».
Nouveau!!: Méréologie et Ontologie (philosophie) · Voir plus »
Paradoxe de Russell
Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles qui a joué un rôle important dans la formalisation de celle-ci.
Nouveau!!: Méréologie et Paradoxe de Russell · 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!!: Méréologie et Philosophie · Voir plus »
Philosophie médiévale
Un cours de philosophie représenté dans une enluminure des ''Grandes Chroniques de France''. La philosophie médiévale est l'ensemble des œuvres et des courants philosophiques développés durant le Moyen Âge dans un espace géographique un peu plus étendu que celui des mondes hellénistique et romain de l'Antiquité et dans lequel se sont développés le judaïsme, le christianisme et l'islam.
Nouveau!!: Méréologie et Philosophie médiévale · Voir plus »
Physique
La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.
Nouveau!!: Méréologie et Physique · Voir plus »
Pierre Guenancia
Pierre Guenancia, né le, est un philosophe français, spécialiste de la pensée de Descartes.
Nouveau!!: Méréologie et Pierre Guenancia · Voir plus »
Polonais
Le polonais (autonyme:, ou simplement) est une langue indo-européenne appartenant au groupe des langues slaves occidentales.
Nouveau!!: Méréologie et Polonais · Voir plus »
Pour la science
Pour la science est une revue mensuelle de vulgarisation scientifique française fondée en 1977.
Nouveau!!: Méréologie et Pour la science · Voir plus »
Présocratiques
Les présocratiques sont des philosophes qui, dans la Grèce antique, ont participé aux origines de la philosophie et ont vécu du milieu du jusqu'au, c'est-à-dire pour la plupart avant Socrate (470-399 av. J.-C.). Certains penseurs considérés comme présocratiques étaient toutefois contemporains de Socrate, comme les atomistes et certains sophistes (voir plus bas: « Critique du mot présocratique »).
Nouveau!!: Méréologie et Présocratiques · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Méréologie et Principia Mathematica · Voir plus »
Publication scientifique
L'expression « publication scientifique » regroupe plusieurs types de communications scientifiques et/ou de diffusions numériques que les chercheurs scientifiques font de leurs travaux en direction de leur pairs et d'un public de spécialistes.
Nouveau!!: Méréologie et Publication scientifique · Voir plus »
Rasoir d'Ockham
''Frater Occham iste'': illustration manuscrite de Guillaume d'Ockham (1341). Le rasoir d'Ockham ou rasoir d'Occam est un principe de raisonnement philosophique entrant dans les concepts de rationalisme et de nominalisme.
Nouveau!!: Méréologie et Rasoir d'Ockham · Voir plus »
Relation antisymétrique
En mathématiques, une '''relation''' (binaire, interne) sur un ensemble est dite antisymétrique si elle vérifie: ce qui signifie que l'intersection de son graphe avec celui de sa relation réciproque est incluse dans la diagonale de, autrement dit: R \cap R^ \subset \Delta_X.
Nouveau!!: Méréologie et Relation antisymétrique · Voir plus »
Relation asymétrique
En mathématiques, une '''relation''' (binaire, interne) est dite asymétrique si elle vérifie: ou encore, si son graphe est disjoint de celui de sa relation réciproque.
Nouveau!!: Méréologie et Relation asymétrique · Voir plus »
Relation réflexive
En mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité).
Nouveau!!: Méréologie et Relation réflexive · Voir plus »
Relation symétrique
En mathématiques, une '''relation''' (binaire, interne) est dite symétrique si elle vérifie: ou encore, si elle est égale à sa relation réciproque.
Nouveau!!: Méréologie et Relation symétrique · Voir plus »
Relation transitive
En mathématiques, une relation transitive est une relation binaire pour laquelle une suite d'objets reliés consécutivement aboutit à une relation entre le premier et le dernier.
Nouveau!!: Méréologie et Relation transitive · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Méréologie et Sémantique · Voir plus »
Science de la nature
Les sciences de la nature, ou sciences naturelles, ont pour objet le monde naturel.
Nouveau!!: Méréologie et Science de la nature · Voir plus »
Singleton (mathématiques)
En mathématiques, un singleton est un ensemble qui comprend exactement un élément.
Nouveau!!: Méréologie et Singleton (mathématiques) · Voir plus »
Stanisław Leśniewski
Stanisław Leśniewski (–) est un mathématicien, philosophe et logicien polonais qui a contribué à créer et développer l'École de Lvov-Varsovie.
Nouveau!!: Méréologie et Stanisław Leśniewski · Voir plus »
Symbole
Un symbole peut être un objet, une image, un mot écrit, un son voire un être vivant, ou une marque particulière qui représente quelque chose d'autre par association, ressemblance ou convention.
Nouveau!!: Méréologie et Symbole · Voir plus »
Télicité
En linguistique, la télicité (du grec, la fin) est la propriété d’un verbe ou d’un syntagme verbal qui présente une action ou un événement comme menés à leur terme en un sens ou un autre.
Nouveau!!: Méréologie et Télicité · Voir plus »
Théorème
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.
Nouveau!!: Méréologie et Théorème · Voir plus »
Théorème d'existence
En mathématiques, un théorème d'existence est un théorème qui affirme l'existence d'un certain objet mathématique, c'est-à-dire que les conclusions du théorème auront la forme « il existe tel objet vérifiant telles propriétés », ou plus généralement, l'objet en question pouvant dépendre d'autres objets, eux-mêmes soumis à certaines conditions, « pour tous x, y, … tels que … il existe … ».
Nouveau!!: Méréologie et Théorème d'existence · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Méréologie et Théorie des ensembles · Voir plus »
Théorie des ensembles de von Neumann-Bernays-Gödel
La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente à la théorie ZFC de Zermelo-Fraenkel avec axiome du choix (et avec les mêmes variantes possibles), mais dont le pouvoir expressif est plus riche.
Nouveau!!: Méréologie et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Méréologie et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Théorie naïve des ensembles
Les ensembles sont d'une importance fondamentale en mathématiques; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles.
Nouveau!!: Méréologie et Théorie naïve des ensembles · Voir plus »
Topologie
Déformation continue d'une tasse avec une anse, en un tore (bouée). Un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des sujets étudiés par la topologie. La topologie est la branche de la géométrie qui étudie les propriétés d'objets géométriques préservées par déformation continue sans arrachage ni recollement, comme un élastique que l’on peut tendre sans le rompre.
Nouveau!!: Méréologie et Topologie · Voir plus »
Treillis (ensemble ordonné)
En mathématiques, un treillis est une des structures algébriques utilisées en algèbre générale.
Nouveau!!: Méréologie et Treillis (ensemble ordonné) · Voir plus »
Unicité (mathématiques)
En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal.
Nouveau!!: Méréologie et Unicité (mathématiques) · Voir plus »
Univers
réseau des structures à grande échelle, le fond diffus cosmologique et, à la périphérie, le plasma invisible du Big Bang. L'Univers, au sens cosmologique, est l'ensemble de tout ce qui existe, décrit à partir d'observations scientifiques et régi par des lois physiques.
Nouveau!!: Méréologie et Univers · Voir plus »
Univers du discours
L’univers du discours ou domaine du discours, désigne, en logique, et plus spécialement dans le calcul des prédicats, l'ensemble (ou la classe) des entités qui est parcouru par les quantificateurs.
Nouveau!!: Méréologie et Univers du discours · Voir plus »
