Univers observableL'Univers observable est, en cosmologie, la partie visible de notre Univers. Il est donc une boule dont la limite est située à l'horizon cosmologique et dont la Terre constitue le centre. C'est ainsi une notion relative, d'autres observateurs situés ailleurs dans l'Univers n'ont pas la même boule observable, mais une similaire de même rayon.
ContradictionEn logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie. La contradiction est une relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie : « A » et « non-A » sont contradictoires, les phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Universvignette|redresse=1.8|Représentation à l'échelle logarithmique de l'Univers observable. Au centre figure le Système solaire et, à mesure qu'on s'en éloigne, les étoiles proches, le bras de Persée, la Voie lactée, les galaxies proches, le réseau des structures à grande échelle, le fond diffus cosmologique et, à la périphérie, le plasma invisible du Big Bang. L'Univers, au sens cosmologique, est l'ensemble de tout ce qui existe, décrit à partir d'observations scientifiques et régi par des lois physiques.
Inflation cosmiquevignette |upright=1.5 |Inflation cosmique (en beige), avant seconde. L'inflation cosmique est un modèle cosmologique s'insérant dans le paradigme du Big Bang lors duquel une région de l'Univers comprenant l'Univers observable a connu une phase d'expansion très rapide qui lui aurait permis de grossir d'un facteur considérable : au moins 10 en un temps extrêmement bref, compris entre 10 et 10 secondes après le Big Bang. Ce modèle cosmologique offre une solution à la fois au problème de l'horizon et au problème de la platitude.
Raisonnement par l'absurdeLe raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant soit à démontrer la véracité d’une proposition en prouvant l’absurdité de la proposition complémentaire (ou « contraire »), soit à montrer la fausseté d’une proposition en déduisant logiquement d’elle des conséquences absurdes.
Énergie noirevignette|redresse=1.1|Répartition de la densité d'énergie de l'Univers après exploitation des premières données obtenues par le satellite Planck. L'énergie noire en serait la composante principale. En cosmologie, lénergie noire ou énergie sombre (dark energy) est une forme d'énergie hypothétique remplissant uniformément tout l'Univers et dotée d'une pression négative, elle se comporte comme une force gravitationnelle répulsive.
Modèle ΛCDMEn cosmologie, le (se prononce « Lambda CDM », qui signifie en anglais Lambda - Cold Dark Matter, c'est-à-dire le modèle « lambda - matière noire froide ») ou modèle de concordance est un modèle cosmologique du Big Bang paramétré par une constante cosmologique notée par la lettre grecque Λ et associée à l'énergie sombre.
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é.
Argument ontologiqueL'argument ontologique est un argument qui vise à prouver l'existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu'est l'être (ontos) de Dieu : il est dans l'être de Dieu d'exister. On considère généralement que Boèce () est le premier à avoir proposé un argument de ce genre, mais c'est sa formulation par Anselme de Cantorbéry au qui rend l'argument célèbre. À l'époque moderne, la version cartésienne de l'argument a été particulièrement influente, faisant l'objet de plusieurs critiques qui conduisent à rejeter la valeur des arguments ontologiques en général.
