Theistic evolutionTheistic evolution (also known as theistic evolutionism or God-guided evolution) is a view that God acts and creates through laws of nature. It posits that the concept of God is compatible with the findings of modern science, including evolution. Theistic evolution is not in itself a scientific theory, but includes a range of views about how science relates to religious beliefs and the extent to which God intervenes. It rejects the strict creationist doctrines of special creation, but can include beliefs such as creation of the human soul.
Expérience de hors-corpsL’expérience de hors-corps (out-of-body expérience ou OBE en anglais) désigne une expérience vécue par un individu impliquant la sensation de flotter en dehors du corps. À la différence de l'autoscopie où le sujet se voit sans avoir nullement la sensation de quitter son corps, et dont le phénomène est souvent tout à fait ordinaire (reflet dans un miroir, photographie, etc.), et parfois hallucinatoire (voir l'expérience de dédoublement décrite par Goethe dans Poésie et Vérité) dans l'expérience de hors-corps, le sujet prétend avoir aperçu son corps depuis un autre endroit que celui qu'il occupe.
Critiques des théories de l'évolutionEn tant que théorie scientifique, la théorie darwinienne de l'évolution des espèces par sélection naturelle fait l'objet de diverses critiques. L'idée d'évolution biologique est souvent rejetée car elle s'oppose à une vision spirituelle de l'homme, en le présentant comme le simple résultat du hasard, obéissant uniquement à des lois mécaniques et matérielles, et non le résultat d'un dessein où l'homme pourrait trouver du sens, en particulier par des croyants qui refusent l'idée d'évolution par fidélité à certains textes sacrés comme la Torah, la Bible ou le Coran.
Sciences de l'information et de la communicationthumb|Schéma simpliste de la transmission linéaire de l'information dans la communication (paradigme mécaniste) Les sciences de l'information et de la communication (SIC) forment un champ de recherches universitaires, connu sous ce nom en France, Belgique, Suisse, Algérie et au Maroc. Au Québec, on se réfère aux études en « Communication » ou « Science de l'information ». Créée en France au cours du , en écho aux américaines ou à la allemande, cette nouvelle discipline se fonde sans que les chercheurs qui y participent ne partagent un paradigme commun.
Évolutionnisme (anthropologie)L’évolutionnisme, en anthropologie, est une théorie sociale qui postule qu'il est possible de générer des lois explicatives de l'évolution des sociétés. Certains anciens courants furent critiqués pour avoir postulé un mode d'évolution linéaire sur le modèle unique du développement de la société occidentale. Mais les différents anthropologues qui se qualifient d'évolutionnistes de nos jours, tel qu'Alain Testart et Christophe Darmangeat, proposent quant à eux des théories évolutives non téléologiques et non ethnocentrées.
Models of communicationModels of communication are simplified representations of the process of communication. Most models try to describe both verbal and non-verbal communication and often understand it as an exchange of messages. Their function is to give a compact overview of the complex process of communication. This helps researchers formulate hypotheses, apply communication-related concepts to real-world cases, and test predictions. Despite their usefulness, many models are criticized based on the claim that they are too simple because they leave out essential aspects.
Mise en œuvreLa mise en œuvre est le fait de mettre en place un projet. En ingénierie et plus particulièrement en informatique, la mise en œuvre désigne la création d’un produit fini à partir d’un document de conception, d’un document de spécification, voire directement depuis une version originelle ou un cahier des charges. L’utilisation de l’anglicisme « implémentation », de l'anglais to implement, est courante (et acceptée).
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
PreuveUne preuve, (en science ou en droit) est un fait ou un raisonnement propre à établir la vérité. Une preuve est associée à son niveau d'incertitude quand elle est utilisée. Les éléments inductifs et déductifs qui y sont attachés lui confèrent donc un certain niveau d'incertitude. L'évaluation intuitive de ce niveau détermine le degré de confiance qu'on peut apporter à la preuve. La plupart des preuves utilisées dans la vie courante sont communément admises comme étant dignes de confiance.
