Search results

...ook cover.png|thumb|Cover of ''Homotopy Type Theory: Univalent Foundations of Mathematics''.]] ...]], based on the interpretation of types as objects to which the intuition of (abstract) [[homotopy theory]] applies. ...

{{Short description|Mathematical use of "for all" and "there exists"}} ...ound variable]] and a [[subformula]] specifying a property of the referent of that variable. ...

{{short description|Study of the scope and nature of logic}} ...to the philosophy of logic as the discipline investigating the properties of formal logical systems, like [[consistency]] and [[Completeness (logic)|com ...

...5) Why Most Published Research Findings Are False.pdf|thumb|alt=first page of research paper|Ioannidis (2005): "[[Why Most Published Research Findings Ar ...ries building on them and potentially call into question substantial parts of scientific knowledge. ...

{{see also|List of logicians}} {{wiktionary|Appendix:Glossary of logic}} ...