Logique mathématiqueLa 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. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Expérience de penséeUne expérience de pensée, expérience par la pensée, expérience mentale ou expérience en imagination, est une méthode qui permet de résoudre un problème en utilisant la seule puissance de l'imagination humaine. Une expérience par la pensée peut être utilisée parce que les conditions de l'expérimentation ne sont pas réalisables ou pas souhaitables. L'expression d'expérience de pensée est la traduction de l'anglais thought experiment. Cela se dit, en allemand, Gedankenexperiment.
Idéalisme allemandvignette|Les philosophes de l'idéalisme allemand. Kant (en haut à gauche), Fichte (en haut à droite), Schelling (en bas à gauche), Hegel (en bas à droite) Lidéalisme allemand est le nom générique que l'on donne à un ensemble de philosophies développées en Allemagne à la fin du et au début du . Ses principaux représentants sont : Emmanuel Kant (1724-1804), Johann Gottlieb Fichte (1762-1814), Georg Wilhelm Friedrich Hegel (1770-1831) et Friedrich Wilhelm Joseph von Schelling (1775-1854).
Zombie (philosophie)Dans le vocabulaire contemporain de la philosophie de l'esprit, on entend par zombie (philosophical zombie ou p-zombie en anglais) un être physiquement et extérieurement indiscernable d'un être conscient, par son comportement comme par sa constitution physique, mais qui, cependant, n'a aucune conscience de son existence ou du monde, aucun ressenti ni aucun vécu personnel. Bien qu'il se comporte comme s'il éprouvait des émotions, le zombie n'en éprouve aucune, alors même que les processus biologiques et physiques qui déterminent son comportement sont ceux d'une personne qui éprouve des émotions.
Philosophie occidentaleLa philosophie occidentale désigne la pensée philosophique et son élaboration en Occident, se distinguant ainsi de la philosophie orientale ou d'autres tendances diverses observées chez plusieurs peuples autochtones. Le terme est récent et est inventé pour désigner la pensée philosophique de la civilisation occidentale depuis ses racines grecques, en Grèce antique (voir philosophie antique) et couvrant éventuellement une grande partie du globe incluant l'Amérique du Nord et l'Australie.
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.
Controlled Substances ActLe Controlled Substances Act (CSA) (loi sur les substances contrôlées) est une loi fédérale américaine, codifié dans le chapitre 13 du , qui classe drogues récréatives illicites dans cinq catégories (en anglais, schedules) et réglemente ou prohibe leur production, importation, distribution, ou possession. La loi prévoit des règles qui régissent la production et la distribution des drogues contrôlées par des entreprises légitimes pour des fins médicales et de recherche.
École de penséeUne école de pensée désigne un ensemble de personnes qui partage des opinions semblables ou un point de vue similaire en philosophie, dans leur discipline académique, dans leurs croyances, dans un mouvement social, dans un mouvement culturel ou dans un mouvement artistique. Les écoles de pensée sont souvent nommées selon l'initiateur de celles-ci.
Notation de Leibnizvignette|Portrait de Gottfried Wilhelm Leibniz En analyse, la notation de Leibniz, nommée en l'honneur de Gottfried Wilhelm Leibniz, consiste en l'usage des notations « d droit » (d) suivies d'une quantité x pour représenter une variation infinitésimale de x, de même que « delta » (Δ) sert à représenter une variation finie. Par extension, c'est une notation couramment utilisée pour écrire les dérivées. En physique, cette notation est interprétée comme une modification infinitésimale (de position, de vitesse.
