Preuve scientifiqueUne preuve scientifique est une preuve servant à soutenir ou à infirmer une théorie ou une hypothèse en science. Une preuve devrait être empirique et son interprétation respecter la méthode scientifique. Les critères pour accepter une preuve varient selon le domaine scientifique, mais la force d’une preuve scientifique est généralement basée sur les résultats de l’analyse statistique et de la qualité des témoins (contrôles). On réserve le mot « preuve » aux sciences exactes fondamentales (mathématique, physique théorique, chimie théorique, etc.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Philosophie de la logiqueLa philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
Logique modaleEn 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. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Réalisme (littérature)Le réalisme est un mouvement artistique et littéraire apparu en France vers 1850. Né du besoin de réagir contre le sentimentalisme romantique, il est caractérisé par une attitude de l’artiste face au réel, qui vise à représenter le plus fidèlement possible la réalité, avec des sujets et des personnages choisis dans les classes moyennes ou populaires. Le roman entre ainsi dans l'âge moderne et peut dorénavant aborder des thèmes comme le travail salarié, les relations conjugales, ou les affrontements sociaux.
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é.
Implication (logique)En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
La Structure des révolutions scientifiquesLa Structure des révolutions scientifiques (The Structure of Scientific Revolutions) est un essai rédigé par le philosophe et historien des sciences, Thomas Samuel Kuhn. Paru en 1962, revu en 1970, l'ouvrage est incontestablement son œuvre majeure. Il y modélise notamment la science comme phénomène social et analyse les implications de cette approche, en s'appuyant sur de nombreux exemples tirés de l'Histoire des sciences.
Réalisme magiquevignette|Arturo Uslar Pietri. Le réalisme magique est une appellation introduite en 1925 par le critique d’art allemand Franz Roh pour rendre compte en peinture d'éléments perçus et décrétés comme « magiques », « surnaturels » et « irrationnels » surgissant dans un environnement défini comme « réaliste », à savoir un cadre historique, géographique, ethnique, social ou culturel avéré. Ainsi la réalité reconnaissable ou l'univers familier deviennent-ils le lieu naturel et non problématisé de manifestations paranormales et oniriques.
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.
