Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Transport en communvignette|Un tramway à Cracovie (2014). vignette|Gare de Paris-Nord, rencontre du Thalys et du métro parisien. Le transport en commun ou transport public est un mode de transport consistant à transporter plusieurs personnes ensemble sur un même trajet. Il est généralement accessible en contrepartie d'un titre de transport comme un billet, un ticket ou une carte. Néanmoins il peut être mis à disposition du public à titre gracieux dans certaines circonstances (pic de pollution par exemple).
Main-d'œuvrevignette|Équipe de travail dans une aciérie à Rio de Janeiro (Brésil). La main-d'œuvre est littéralement la ou les mains d'une œuvre, et désigne la part du travail dans le coût de revient d'un objet fabriqué. Ainsi, dans une facture de réparation, on a l'habitude de distinguer le coût des pièces et celui de la main-d'œuvre. Par extension, ce mot composé désigne l'ensemble des ouvriers et travailleurs qui fabriquent et construisent dans le cadre d'une usine, d'une entreprise ou d'une région donnée (voir population active).
Logique traditionnelleEn philosophie, certains nomment logique traditionnelle celle qui a existé en Occident après Aristote et avant l'avènement de la logique mathématique moderne. Elle fut dominante en Europe depuis l'Antiquité jusqu'à la fin du . La logique d'Aristote est présentée dans six documents connus sous le nom dOrganon. Deux de ces documents, les Premiers Analytiques et De l'interprétation, contiennent l'étude des jugements et de l'inférence formelle et c'est cette partie des œuvres d'Aristote qui est passée à la postérité.
Sémantique de KripkeEn logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles.
LogicismeLe logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique. Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général. Bertrand Russell et Alfred North Whitehead ont défendu cette approche, créée par le mathématicien Gottlob Frege. Le logicisme a joué un rôle clé dans le développement de la philosophie analytique au .
