LogiqueLa logique — du grec , qui est un terme dérivé de 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. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Law of thoughtThe laws of thought are fundamental axiomatic rules upon which rational discourse itself is often considered to be based. The formulation and clarification of such rules have a long tradition in the history of philosophy and logic. Generally they are taken as laws that guide and underlie everyone's thinking, thoughts, expressions, discussions, etc. However, such classical ideas are often questioned or rejected in more recent developments, such as intuitionistic logic, dialetheism and fuzzy logic.
Identité (philosophie)L’identité est un terme désignant plusieurs formes de relations, en logique, en métaphysique et en psychologie. On distingue l'identité comme relation d'un être à lui-même (« identité numérique » : le fait d'être un), de l'identité comme ressemblance extrême entre deux êtres (« identité qualitative »), et de l'identité comme ce qui fait le caractère d'un sujet dans son devenir temporel (« identité personnelle »). On parle également d'identité pour désigner l'appartenance de plusieurs êtres à une même espèce ou sorte (« identité spécifique »).
Propriété (philosophie)En philosophie moderne et en mathématique, une propriété est une caractéristique d'un objet ; un objet rouge est dit posséder la propriété de « rougeur ». La propriété peut être considérée comme une forme de plein droit de l'objet, qui possède d'ailleurs d'autres propriétés. Mais cette propriété peut aussi être considérée comme différente de l'objet qu'elle caractérise, c'est-à-dire qu'on dit qu'elle est instanciée par cet objet, puisqu'elle l'est souvent en d'autres.
Principe de non-contradictionEn logique, le principe de non-contradiction est la loi qui interdit d'affirmer et nier à la fois le même terme ou la même proposition. Aristote ne nomme pas le principe de non-contradiction mais le définit ainsi dans Métaphysique : « Il est impossible qu’un même attribut appartienne et n’appartienne pas en même temps et sous le même rapport à une même chose ». Assurément, une chose peut être blanche aujourd’hui ou d’une autre couleur demain. De même, cette chose est plus grande ou plus petite qu’une autre à un moment donné.
Substance (philosophie)En philosophie, le mot substance (du latin substantia, ce qui est dessous, le support de substare, se tenir dessous) désigne ce qu'il y a de permanent dans les choses qui changent, c'est le support des qualités (accidentelles et essentielles). Le substratum, ou substance, est une conception de la nature fondamentale des objets ou des personnes selon laquelle un objet (ou une personne) est une « substance » distincte de ses propriétés.
Cogito ergo sumthumb|upright|Le philosophe René Descartes, qui reprit cette formule. Cogito, ergo sum est une locution latine signifiant . Employée en français par le philosophe et mathématicien René Descartes dans le Discours de la méthode (1637), la formule connaît une variante dans les Méditations métaphysiques (1641) : ego sum, ego existo (« je suis, j'existe »). Il revient ensuite à une formulation plus proche de celle de 1637, dans les Principes de la philosophie (1644) : ego cogito, ergo sum.
Nominalismevignette 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. Les choses et les idées ne sont pas intrinsèquement porteuses des concepts par lesquels nous les appréhendons. Par exemple, le terme « homme » ne signifie pas une quelconque essence de l'homme en général.
Gottfried Wilhelm LeibnizGottfried Wilhelm Leibniz (), 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. Esprit polymathe, personnalité importante de la période Frühaufklärung, il occupe une place primordiale dans l'histoire de la philosophie et l'histoire des sciences (notamment des mathématiques) et est souvent considéré comme le dernier « génie universel ».
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 ». est une question considérée comme inaugurale, c'est-à-dire première dans le temps et première dans l'ordre de la connaissance. Elle est celle des premiers penseurs de la Grèce antique, tels Parménide et Platon. Elle déborde très largement le strict cadre de la métaphysique qui, née chez Aristote, étudie les différentes modalités et propriétés de l'être (ne posant déjà plus de problème en soi), avec quoi on a tendance à la confondre.